Seriously,revisability of logic is referred to logical systems,but not the logic itself.If logic can be referred to formal structure of argument,if we regard logic as objects of study,if revisability of logic is refer...Seriously,revisability of logic is referred to logical systems,but not the logic itself.If logic can be referred to formal structure of argument,if we regard logic as objects of study,if revisability of logic is referred to logical validity,we should believe that logic is not revisable.If we regard logic as some study,this logical systems may contains mistakes and then is revisable.If revisability of logic is referred to logical systems,in the sense of replacement,we can think that the logical systems can be revisable.The diversify of logical systems,the emergence of new logical theories is a development tendency of modern logic.展开更多
New exact solutions in terms of the Jacobi elliptic functions are obtained to the (2+1)-dimensional breakingsoliton equation by means of the modified mapping method. Limit cases are studied, and new solitary wave solu...New exact solutions in terms of the Jacobi elliptic functions are obtained to the (2+1)-dimensional breakingsoliton equation by means of the modified mapping method. Limit cases are studied, and new solitary wave solutionsand triangular periodic wave solutions are obtained.展开更多
Due to the lack of pre-recognition and post- prediction in existing survivable systems, a recognition model of survival situations for survivable systems is proposed. First, the survival situation data is clustered in...Due to the lack of pre-recognition and post- prediction in existing survivable systems, a recognition model of survival situations for survivable systems is proposed. First, the survival situation data is clustered into several survival clusters with different service levels based on the Ward method, and then the survival clusters are classified and recognized by means of the error-eliminating decision-making method, which can realize the pre-recognition of the system＇s survival situation. Secondly, the differentiated survival situation data is used to generate stationary predicting sequences. The autoregressive integrated moving average （ARIMA） model is constructed, and the stability, randomness and reversibility index of the model are verified by the auto- correlation function and partial auto-correlation function. Finally, fuzzy particles and the residual correction for the support vector regression （SVR） model are applied to realize the post-prediction of the survival situation. Compared with traditional decision-making methods, the simulation experiments show that the pre-recognition module can not only cluster the survival situation data and identify the service ranks, but can also recognize the illegal users. According to the prediction of abnormal situations numbers and residual correction, the model can effectively realize the post- prediction of survival situations for survivable systems.展开更多
This paper focuses on the problem of control law optimization for marine vessels working in a dynamical positioning （DP） regime. The approach proposed here is based on the use of a special unified multipurpose contr...This paper focuses on the problem of control law optimization for marine vessels working in a dynamical positioning （DP） regime. The approach proposed here is based on the use of a special unified multipurpose control law structure constructed on the basis of nonlinear asymptotic observers, that allows the decoupling of a synthesis into simpler particular optimization problems. The primary reason for the observers is to restore deficient information concerning the unmeasured velocities of the vessel. Using a number of separate items in addition to the observers, it is possible to achieve desirable dynamical features of the closed loop connection. The most important feature is the so-called dynamical corrector, and this paper is therefore devoted to solving its optimal synthesis in marine vessels controlled by DP systems under the action of sea wave disturbances. The problem involves the need for minimal intensity of the control action determined by high frequency sea wave components. A specialized approach for designing the dynamical corrector is proposed and the applicability and effectiveness of the approach are illustrated using a practical example of underwater DP system synthesis.展开更多
A various effective resist diffusion lengths methodology for OPC model calibration is proposed,which considers the discrepancy of effective resist diffusion lengths between 1D and 2D patterns. An important step of thi...A various effective resist diffusion lengths methodology for OPC model calibration is proposed,which considers the discrepancy of effective resist diffusion lengths between 1D and 2D patterns. An important step of this methodology is to set up a new calibration flow that lets 1D and 2D patterns have the same optical parameters but different effective diffusion lengths. Furthermore, a design for manufacturing （DFM） interaction is suggested in the calibration flow of the pro- posed model. From the CD errors of fitting results and the comparison between simulated contours and SEM images,it is found that the various effective resist diffusion lengths model calibration methodology results in a more accurate and stable model.展开更多
The application of organic amendments on soils poor in organic matter(OM) can improve long-term soil fertility, but may also enhance the mineralization of native soil organic matter. Three organic amendments, compost,...The application of organic amendments on soils poor in organic matter(OM) can improve long-term soil fertility, but may also enhance the mineralization of native soil organic matter. Three organic amendments, compost, sewage sludge and horse manure, used by urban market gardeners in Dakar, Senegal were analyzed for their OM maturity. Their fate was evaluated in a 45-d agronomic trial in a sandy Arenosol with lettuce. In each case, water-extractable organic matter(WEOM) and humic-like substances(HLS)were isolated from raw amendments and amended soils, and characterized using ultraviolet-visible(UV/Vis) spectroscopy. Results highlighted the general more aromatic character of HLS and WEOM fractions extracted from compost compared to the other two amendments. When applied to soils, however, these differences were not clearly observed. The aromaticity and humification degree of the labile fraction(WEOM) increased with depth in the first 30 cm for all amendments. This indicated the high lixiviation rates that fresh OM underwent in the studied sandy soil. Finally, a statistical analysis of the results was able to discriminate between surface and deeper horizons and between amended- and non-amended soil samples. Spectroscopic indices showed indeed strong increase/decrease with depth linked with the mineralization/humification processes that the fresh OM from amendments underwent during the 45 d of the agronomic trial. This study highlights the potential of spectroscopic techniques to study agricultural amendment organic matter fractions and their fate in soils.展开更多
Human reliability analysis(HRA) is an expansion of man-machine engineering. It is also a new multidisciplinary based on behavioral science, cognitive science, information processing, system analysis and probability st...Human reliability analysis(HRA) is an expansion of man-machine engineering. It is also a new multidisciplinary based on behavioral science, cognitive science, information processing, system analysis and probability statistics in order to analyze, predict, reduce and prevent human errors. Firstly, the quantitative analysis model of HRA is proposed based on Markov process theory by using human error probability(HEP) and error correction cycle(ECC) as parameters. And human reliability evaluation criterion is built. Then, the HRA process considering error correction is proposed based on cognitive reliability and error analysis method(CREAM). Finally, according to the characteristics of armored vehicle system, common performance condition(CPC) in CREAM is improved.A reliability impact index is characterized by the overall contexts of tasks. Human reliability evaluation criterion of armored vehicle system is formulated. And the result of HRA is obtained based on the method presented in this paper. In addition, the relative weights are estimated by combining scale of 10/10—18/2 and analytical hierarchy process(AHP), and the triangular fuzzy number considering confidence factor and optimism index is adopted in order to reduce the subjectivity. The analysis results show that the method presented in this paper is reasonable and feasible. Meantime, the method can provide guidance for human reliability analysis of other weapon systems.展开更多
文摘Seriously,revisability of logic is referred to logical systems,but not the logic itself.If logic can be referred to formal structure of argument,if we regard logic as objects of study,if revisability of logic is referred to logical validity,we should believe that logic is not revisable.If we regard logic as some study,this logical systems may contains mistakes and then is revisable.If revisability of logic is referred to logical systems,in the sense of replacement,we can think that the logical systems can be revisable.The diversify of logical systems,the emergence of new logical theories is a development tendency of modern logic.
文摘New exact solutions in terms of the Jacobi elliptic functions are obtained to the (2+1)-dimensional breakingsoliton equation by means of the modified mapping method. Limit cases are studied, and new solitary wave solutionsand triangular periodic wave solutions are obtained.
基金The National Natural Science Foundation of China(No.61202458,61403109)the Natural Science Foundation of Heilongjiang Province(No.F2017021)Harbin Science and Technology Innovation Research Funds(No.2016RAQXJ036)
文摘Due to the lack of pre-recognition and post- prediction in existing survivable systems, a recognition model of survival situations for survivable systems is proposed. First, the survival situation data is clustered into several survival clusters with different service levels based on the Ward method, and then the survival clusters are classified and recognized by means of the error-eliminating decision-making method, which can realize the pre-recognition of the system＇s survival situation. Secondly, the differentiated survival situation data is used to generate stationary predicting sequences. The autoregressive integrated moving average （ARIMA） model is constructed, and the stability, randomness and reversibility index of the model are verified by the auto- correlation function and partial auto-correlation function. Finally, fuzzy particles and the residual correction for the support vector regression （SVR） model are applied to realize the post-prediction of the survival situation. Compared with traditional decision-making methods, the simulation experiments show that the pre-recognition module can not only cluster the survival situation data and identify the service ranks, but can also recognize the illegal users. According to the prediction of abnormal situations numbers and residual correction, the model can effectively realize the post- prediction of survival situations for survivable systems.
基金Partially Supported by the Russian Foundation for Basic Research(RFBR) under Research Project No.14-07-00083a
文摘This paper focuses on the problem of control law optimization for marine vessels working in a dynamical positioning （DP） regime. The approach proposed here is based on the use of a special unified multipurpose control law structure constructed on the basis of nonlinear asymptotic observers, that allows the decoupling of a synthesis into simpler particular optimization problems. The primary reason for the observers is to restore deficient information concerning the unmeasured velocities of the vessel. Using a number of separate items in addition to the observers, it is possible to achieve desirable dynamical features of the closed loop connection. The most important feature is the so-called dynamical corrector, and this paper is therefore devoted to solving its optimal synthesis in marine vessels controlled by DP systems under the action of sea wave disturbances. The problem involves the need for minimal intensity of the control action determined by high frequency sea wave components. A specialized approach for designing the dynamical corrector is proposed and the applicability and effectiveness of the approach are illustrated using a practical example of underwater DP system synthesis.
文摘A various effective resist diffusion lengths methodology for OPC model calibration is proposed,which considers the discrepancy of effective resist diffusion lengths between 1D and 2D patterns. An important step of this methodology is to set up a new calibration flow that lets 1D and 2D patterns have the same optical parameters but different effective diffusion lengths. Furthermore, a design for manufacturing （DFM） interaction is suggested in the calibration flow of the pro- posed model. From the CD errors of fitting results and the comparison between simulated contours and SEM images,it is found that the various effective resist diffusion lengths model calibration methodology results in a more accurate and stable model.
基金supported by the Swiss National Science Foundation (No. 207021-109689/1)
文摘The application of organic amendments on soils poor in organic matter(OM) can improve long-term soil fertility, but may also enhance the mineralization of native soil organic matter. Three organic amendments, compost, sewage sludge and horse manure, used by urban market gardeners in Dakar, Senegal were analyzed for their OM maturity. Their fate was evaluated in a 45-d agronomic trial in a sandy Arenosol with lettuce. In each case, water-extractable organic matter(WEOM) and humic-like substances(HLS)were isolated from raw amendments and amended soils, and characterized using ultraviolet-visible(UV/Vis) spectroscopy. Results highlighted the general more aromatic character of HLS and WEOM fractions extracted from compost compared to the other two amendments. When applied to soils, however, these differences were not clearly observed. The aromaticity and humification degree of the labile fraction(WEOM) increased with depth in the first 30 cm for all amendments. This indicated the high lixiviation rates that fresh OM underwent in the studied sandy soil. Finally, a statistical analysis of the results was able to discriminate between surface and deeper horizons and between amended- and non-amended soil samples. Spectroscopic indices showed indeed strong increase/decrease with depth linked with the mineralization/humification processes that the fresh OM from amendments underwent during the 45 d of the agronomic trial. This study highlights the potential of spectroscopic techniques to study agricultural amendment organic matter fractions and their fate in soils.
基金the Technical Basis Projects of China’s Ministry of Industry and Information Technology(No.ZQ092012B003)
文摘Human reliability analysis(HRA) is an expansion of man-machine engineering. It is also a new multidisciplinary based on behavioral science, cognitive science, information processing, system analysis and probability statistics in order to analyze, predict, reduce and prevent human errors. Firstly, the quantitative analysis model of HRA is proposed based on Markov process theory by using human error probability(HEP) and error correction cycle(ECC) as parameters. And human reliability evaluation criterion is built. Then, the HRA process considering error correction is proposed based on cognitive reliability and error analysis method(CREAM). Finally, according to the characteristics of armored vehicle system, common performance condition(CPC) in CREAM is improved.A reliability impact index is characterized by the overall contexts of tasks. Human reliability evaluation criterion of armored vehicle system is formulated. And the result of HRA is obtained based on the method presented in this paper. In addition, the relative weights are estimated by combining scale of 10/10—18/2 and analytical hierarchy process(AHP), and the triangular fuzzy number considering confidence factor and optimism index is adopted in order to reduce the subjectivity. The analysis results show that the method presented in this paper is reasonable and feasible. Meantime, the method can provide guidance for human reliability analysis of other weapon systems.
