In the typhoon adaptive observation based on conditional nonlinear optimal perturbation (CNOP), the ‘on-off’ switch caused by moist physical parameterization in prediction models prevents the conventional adjoint me...In the typhoon adaptive observation based on conditional nonlinear optimal perturbation (CNOP), the ‘on-off’ switch caused by moist physical parameterization in prediction models prevents the conventional adjoint method from providing correct gradient during the optimization process. To address this problem, the capture of CNOP, when the "on-off" switches are included in models, is treated as non-smooth optimization in this study, and the genetic algorithm (GA) is introduced. After detailed algorithm procedures are formulated using an idealized model with parameterization "on-off" switches in the forcing term, the impacts of "on-off" switches on the capture of CNOP are analyzed, and three numerical experiments are conducted to check the effectiveness of GA in capturing CNOP and to analyze the impacts of different initial populations on the optimization result. The result shows that GA is competent for the capture of CNOP in the context of the idealized model with parameterization ‘on-off’ switches in this study. Finally, the advantages and disadvantages of GA in capturing CNOP are analyzed in detail.展开更多
Conditionally t-diagnosable and t-diagnosable are important in system level diagnosis. Therefore,it is valuable to identify whether the system is conditionally t-diagnosable or t-diagnosable and derive the correspondi...Conditionally t-diagnosable and t-diagnosable are important in system level diagnosis. Therefore,it is valuable to identify whether the system is conditionally t-diagnosable or t-diagnosable and derive the corresponding conditional diagnosability and diagnosability. In the paper,distinguishable measures of pairs of distinct faulty sets with a new perspective on establishing functions are focused.Applying distinguishable function and decision function,it is determined whether a system is conditionally t-diagnosable( or t-diagnosable) or not under the PMC( Preparata,Metze,and Chien)model directly. Based on the decision function,a novel conditional diagnosability algorithm under the PMC model is introduced which can calculate conditional diagnosability rapidly.展开更多
Aiming at the problem that the data-driven automatic correlation methods which are difficult to adapt to the automatic correlation of oil-bearing strata with large changes in lateral sedimentary facies and strata thic...Aiming at the problem that the data-driven automatic correlation methods which are difficult to adapt to the automatic correlation of oil-bearing strata with large changes in lateral sedimentary facies and strata thickness,an intelligent automatic correlation method of oil-bearing strata based on pattern constraints is formed.We propose to introduce knowledge-driven in automatic correlation of oil-bearing strata,constraining the correlation process by stratigraphic sedimentary patterns and improving the similarity measuring machine and conditional constraint dynamic time warping algorithm to automate the correlation of marker layers and the interfaces of each stratum.The application in Shishen 100 block in the Shinan Oilfield of the Bohai Bay Basin shows that the coincidence rate of the marker layers identified by this method is over 95.00%,and the average coincidence rate of identified oil-bearing strata reaches 90.02% compared to artificial correlation results,which is about 17 percentage points higher than that of the existing automatic correlation methods.The accuracy of the automatic correlation of oil-bearing strata has been effectively improved.展开更多
Intelligent assembly of large-scale,complex structures using an intelligent manufacturing platform represents the future development direction for industrial manufacturing.During large-scale structural assembly proces...Intelligent assembly of large-scale,complex structures using an intelligent manufacturing platform represents the future development direction for industrial manufacturing.During large-scale structural assembly processes,several bottleneck problems occur in the existing auxiliary assembly technology.First,the traditional LiDARbased assembly technology is often limited by the openness of the manufacturing environment,in which there are blind spots,and continuous online assembly adjustment thus cannot be realized.Second,for assembly of large structures,a single-station LiDAR system cannot achieve complete coverage,which means that a multi-station combination method must be used to acquire the complete three-dimensional data;many more data errors are caused by the transfer between stations than by the measurement accuracy of a single station,which means that the overall system's measurement and adjustment errors are increased greatly.Third,because of the large numbers of structural components contained in a large assembly,the accumulated errors may lead to assembly interference,but the LiDAR-assisted assembly process does not have a feedback perception capability,and thus assembly component loss can easily be caused when assembly interference occurs.Therefore,this paper proposes to combine an optical fiber sensor network with digital twin technology,which will allow the test data from the assembly entity state in the real world to be applied to the"twin"model in the virtual world and thus solve the problems with test openness and data transfer.The problem of station and perception feedback is also addressed and represents the main innovation of this work.The system uses an optical fiber sensor network as a flexible sensing medium to monitor the strain field distribution within a complex area in real time,and then completes real-time parameter adjustment of the virtual assembly based on the distributed data.Complex areas include areas that are laser-unreachable,areas with complex contact surfaces,and areas with large-scale bending deformations.An assembly condition monitoring system is designed based on the optical fiber sensor network,and an assembly condition monitoring algorithm based on multiple physical quantities is proposed.The feasibility of use of the optical fiber sensor network as the real-state parameter acquisition module for the digital twin intelligent assembly system is discussed.The offset of any position in the test area is calculated using the convolutional neural network of a residual module to provide the compensation parameters required for the virtual model of the assembly structure.In the model optimization parameter module,a correction data table is obtained through iterative learning of the algorithm to realize state prediction from the test data.The experiment simulates a largescale structure assembly process,and performs virtual and real mapping for a variety of situations with different assembly errors to enable correction of the digital twin data stream for the assembly process through the optical fiber sensor network.In the plane strain field calibration experiment,the maximum error among the test values for this system is 0.032 mm,and the average error is 0.014 mm.The results show that use of visual calibration can correct the test error to within a very small range.This result is equally applicable to gradient curvature surfaces and freeform surfaces.Statistics show that the average measurement accuracy error for regular surfaces is better than 11.2%,and the average measurement accuracy error for irregular surfaces is better than 14.8%.During simulation of large-scale structure assembly experiments,the average position deviation accuracy is 0.043 mm,which is in line with the designed accuracy.展开更多
Nonlinear feedback shift register(NFSR)is one of the most important cryptographic primitives in lightweight cryptography.At ASIACRYPT 2010,Knellwolf et al.proposed conditional differential attack to perform a cryptana...Nonlinear feedback shift register(NFSR)is one of the most important cryptographic primitives in lightweight cryptography.At ASIACRYPT 2010,Knellwolf et al.proposed conditional differential attack to perform a cryptanalysis on NFSR-based cryptosystems.The main idea of conditional differential attack is to restrain the propagation of the difference and obtain a detectable bias of the difference of the output bit.QUARK is a lightweight hash function family which is designed by Aumasson et al.at CHES 2010.Then the extended version of QUARK was published in Journal of Cryptology 2013.In this paper,we propose an improved conditional differential attack on QUARK.One improvement is that we propose a method to select the input difference.We could obtain a set of good input differences by this method.Another improvement is that we propose an automatic condition imposing algorithm to deal with the complicated conditions efficiently and easily.It is shown that with the improved conditional differential attack on QUARK,we can detect the bias of output difference at a higher round of QUARK.Compared to the current literature,we find a distinguisher of U-QUARK/D-QUARK/S-QUARK/C-QUARK up to 157/171/292/460 rounds with increasing 2/5/33/8 rounds respectively.We have performed the attacks on each instance of QUARK on a 3.30 GHz Intel Core i5 CPU,and all these attacks take practical complexities which have been fully verified by our experiments.As far as we know,all of these results have been the best thus far.展开更多
Since the point-to-set maps were introduced by Zangwill in the study of conceptual algorithms, various sufficient conditions for the algorithms to be of global convergence have been established.In this paper, the rela...Since the point-to-set maps were introduced by Zangwill in the study of conceptual algorithms, various sufficient conditions for the algorithms to be of global convergence have been established.In this paper, the relations among all these conditions are illustrated by a unified approach;still more, unlike the sufficient conditions previously given in the literature,a new necessary condition is put forward at the end of the paper, so that it implies more applications.展开更多
基金Application investigation of conditional nonlinear optimal perturbation in typhoon adaptive observation (40830955)
文摘In the typhoon adaptive observation based on conditional nonlinear optimal perturbation (CNOP), the ‘on-off’ switch caused by moist physical parameterization in prediction models prevents the conventional adjoint method from providing correct gradient during the optimization process. To address this problem, the capture of CNOP, when the "on-off" switches are included in models, is treated as non-smooth optimization in this study, and the genetic algorithm (GA) is introduced. After detailed algorithm procedures are formulated using an idealized model with parameterization "on-off" switches in the forcing term, the impacts of "on-off" switches on the capture of CNOP are analyzed, and three numerical experiments are conducted to check the effectiveness of GA in capturing CNOP and to analyze the impacts of different initial populations on the optimization result. The result shows that GA is competent for the capture of CNOP in the context of the idealized model with parameterization ‘on-off’ switches in this study. Finally, the advantages and disadvantages of GA in capturing CNOP are analyzed in detail.
基金Supported by the National Natural Science Foundation of China(No.61562046)Science and Technology Project of Jiangxi Provincial Education Department(No.GJJ150777,GJJ160742)
文摘Conditionally t-diagnosable and t-diagnosable are important in system level diagnosis. Therefore,it is valuable to identify whether the system is conditionally t-diagnosable or t-diagnosable and derive the corresponding conditional diagnosability and diagnosability. In the paper,distinguishable measures of pairs of distinct faulty sets with a new perspective on establishing functions are focused.Applying distinguishable function and decision function,it is determined whether a system is conditionally t-diagnosable( or t-diagnosable) or not under the PMC( Preparata,Metze,and Chien)model directly. Based on the decision function,a novel conditional diagnosability algorithm under the PMC model is introduced which can calculate conditional diagnosability rapidly.
基金Supported by the National Natural Science Foundation of China(42272110)CNPC-China University of Petroleum(Beijing)Strategic Cooperation Project(ZLZX2020-02).
文摘Aiming at the problem that the data-driven automatic correlation methods which are difficult to adapt to the automatic correlation of oil-bearing strata with large changes in lateral sedimentary facies and strata thickness,an intelligent automatic correlation method of oil-bearing strata based on pattern constraints is formed.We propose to introduce knowledge-driven in automatic correlation of oil-bearing strata,constraining the correlation process by stratigraphic sedimentary patterns and improving the similarity measuring machine and conditional constraint dynamic time warping algorithm to automate the correlation of marker layers and the interfaces of each stratum.The application in Shishen 100 block in the Shinan Oilfield of the Bohai Bay Basin shows that the coincidence rate of the marker layers identified by this method is over 95.00%,and the average coincidence rate of identified oil-bearing strata reaches 90.02% compared to artificial correlation results,which is about 17 percentage points higher than that of the existing automatic correlation methods.The accuracy of the automatic correlation of oil-bearing strata has been effectively improved.
基金supported by the National Science Foundation of China(Theoretical Model and Experimental Research on the Novel FBG Sensing System based on the Fusion Algorithm,No.61703056)the Jilin Province Science and Technology Development Plan Project(No.20190103154JH)。
文摘Intelligent assembly of large-scale,complex structures using an intelligent manufacturing platform represents the future development direction for industrial manufacturing.During large-scale structural assembly processes,several bottleneck problems occur in the existing auxiliary assembly technology.First,the traditional LiDARbased assembly technology is often limited by the openness of the manufacturing environment,in which there are blind spots,and continuous online assembly adjustment thus cannot be realized.Second,for assembly of large structures,a single-station LiDAR system cannot achieve complete coverage,which means that a multi-station combination method must be used to acquire the complete three-dimensional data;many more data errors are caused by the transfer between stations than by the measurement accuracy of a single station,which means that the overall system's measurement and adjustment errors are increased greatly.Third,because of the large numbers of structural components contained in a large assembly,the accumulated errors may lead to assembly interference,but the LiDAR-assisted assembly process does not have a feedback perception capability,and thus assembly component loss can easily be caused when assembly interference occurs.Therefore,this paper proposes to combine an optical fiber sensor network with digital twin technology,which will allow the test data from the assembly entity state in the real world to be applied to the"twin"model in the virtual world and thus solve the problems with test openness and data transfer.The problem of station and perception feedback is also addressed and represents the main innovation of this work.The system uses an optical fiber sensor network as a flexible sensing medium to monitor the strain field distribution within a complex area in real time,and then completes real-time parameter adjustment of the virtual assembly based on the distributed data.Complex areas include areas that are laser-unreachable,areas with complex contact surfaces,and areas with large-scale bending deformations.An assembly condition monitoring system is designed based on the optical fiber sensor network,and an assembly condition monitoring algorithm based on multiple physical quantities is proposed.The feasibility of use of the optical fiber sensor network as the real-state parameter acquisition module for the digital twin intelligent assembly system is discussed.The offset of any position in the test area is calculated using the convolutional neural network of a residual module to provide the compensation parameters required for the virtual model of the assembly structure.In the model optimization parameter module,a correction data table is obtained through iterative learning of the algorithm to realize state prediction from the test data.The experiment simulates a largescale structure assembly process,and performs virtual and real mapping for a variety of situations with different assembly errors to enable correction of the digital twin data stream for the assembly process through the optical fiber sensor network.In the plane strain field calibration experiment,the maximum error among the test values for this system is 0.032 mm,and the average error is 0.014 mm.The results show that use of visual calibration can correct the test error to within a very small range.This result is equally applicable to gradient curvature surfaces and freeform surfaces.Statistics show that the average measurement accuracy error for regular surfaces is better than 11.2%,and the average measurement accuracy error for irregular surfaces is better than 14.8%.During simulation of large-scale structure assembly experiments,the average position deviation accuracy is 0.043 mm,which is in line with the designed accuracy.
基金This work was supported by the National Natural Science Foundation of China(Grant No.61872359,62122085 and 61936008)the National Key R&D Program of China(Grant No.2020YFB1805402),and the Youth Innovation Promotion Association of Chinese Academy of Sciences.
文摘Nonlinear feedback shift register(NFSR)is one of the most important cryptographic primitives in lightweight cryptography.At ASIACRYPT 2010,Knellwolf et al.proposed conditional differential attack to perform a cryptanalysis on NFSR-based cryptosystems.The main idea of conditional differential attack is to restrain the propagation of the difference and obtain a detectable bias of the difference of the output bit.QUARK is a lightweight hash function family which is designed by Aumasson et al.at CHES 2010.Then the extended version of QUARK was published in Journal of Cryptology 2013.In this paper,we propose an improved conditional differential attack on QUARK.One improvement is that we propose a method to select the input difference.We could obtain a set of good input differences by this method.Another improvement is that we propose an automatic condition imposing algorithm to deal with the complicated conditions efficiently and easily.It is shown that with the improved conditional differential attack on QUARK,we can detect the bias of output difference at a higher round of QUARK.Compared to the current literature,we find a distinguisher of U-QUARK/D-QUARK/S-QUARK/C-QUARK up to 157/171/292/460 rounds with increasing 2/5/33/8 rounds respectively.We have performed the attacks on each instance of QUARK on a 3.30 GHz Intel Core i5 CPU,and all these attacks take practical complexities which have been fully verified by our experiments.As far as we know,all of these results have been the best thus far.
文摘Since the point-to-set maps were introduced by Zangwill in the study of conceptual algorithms, various sufficient conditions for the algorithms to be of global convergence have been established.In this paper, the relations among all these conditions are illustrated by a unified approach;still more, unlike the sufficient conditions previously given in the literature,a new necessary condition is put forward at the end of the paper, so that it implies more applications.
