A soitable data model and data structure make underground survey objects maintained and operated easier. This paper gives a formal definition for underground survey objects. By making use of the quotient topological s...A soitable data model and data structure make underground survey objects maintained and operated easier. This paper gives a formal definition for underground survey objects. By making use of the quotient topological space, the author studies the logical relations among underground survey objects, a partiallyordered space uuder some conditions. An example is given to show the data model’s possible applications.展开更多
This paper mainly investigates the semicontinuity of solution mappings for set optimization problems under a partial order set relation instead of upper and lower set less order relations. To this end, we propose two ...This paper mainly investigates the semicontinuity of solution mappings for set optimization problems under a partial order set relation instead of upper and lower set less order relations. To this end, we propose two types of monotonicity definition for the set-valued mapping introduced by two nonlinear scalarization functions which are presented by these partial order relations. Then, we give some sufficient conditions for the semicontinuity and closedness of solution mappings for parametric set optimization problems. The results presented in this paper are new and extend the main results given by some authors in the literature.展开更多
This paper studies the chaotic behaviours of a relative rotation nonlinear dynamical system under parametric excitation and its control. The dynamical equation of relative rotation nonlinear dynamical system under par...This paper studies the chaotic behaviours of a relative rotation nonlinear dynamical system under parametric excitation and its control. The dynamical equation of relative rotation nonlinear dynamical system under parametric excitation is deduced by using the dissipation Lagrange equation. The. criterion of existence of chaos under parametric excitation is given by using the Melnikov theory. The chaotic behaviours are detected by numerical simulations including bifurcation diagrams, Poincare map and maximal Lyapunov exponent. Furthermore, it implements chaotic control using nomfeedback method. It obtains the parameter condition of chaotic control by the Melnikov theory. Numerical simulation results show the consistence with the theoretical analysis. The chaotic motions can be controlled to periodmotions by adding an excitation term.展开更多
To describe the dynamic propcrty of trust relationship, wt propose atime-related trust model and extend Joang's subjective logic to fit for time-related trust model.The extension includes prepositional conjunction...To describe the dynamic propcrty of trust relationship, wt propose atime-related trust model and extend Joang's subjective logic to fit for time-related trust model.The extension includes prepositional conjunction, disjunction and negation for traditional logic anddiscounting and consensus operators that are evidential operators specially designed for thepropagation and computation of trust relationships. With the extension of subjective logic fortime-related trust, our time-related trust modelis suitable to model the dynamic trust relationshipin practice. Finally an example of reputation assessment is offered to demonstrate the usage of ourtrust model.展开更多
Relative navigation is a key feature in the joint tactical information distribution system(JTIDS).A parametric message passing algorithm based on factor graph is proposed to perform relative navigation in JTIDS.Firs...Relative navigation is a key feature in the joint tactical information distribution system(JTIDS).A parametric message passing algorithm based on factor graph is proposed to perform relative navigation in JTIDS.First of all,the joint posterior distribution of all the terminals' positions is represented by factor graph.Because of the nonlinearity between the positions and time-of-arrival(TOA) measurement,messages cannot be obtained in closed forms by directly using the sum-product algorithm on factor graph.To this end,the Euclidean norm is approximated by Taylor expansion.Then,all the messages on the factor graph can be derived in Gaussian forms,which enables the terminals to transmit means and covariances.Finally,the impact of major error sources on the navigation performance are evaluated by Monte Carlo simulations,e.g.,range measurement noise,priors of position uncertainty and velocity noise.Results show that the proposed algorithm outperforms the extended Kalman filter and cooperative extended Kalman filter in both static and mobile scenarios of the JTIDS.展开更多
he logical tree methods are used for evaluate quantitatively relationship between frequency and magnitude, and deduce uncertainties of annual occurrence rate of earthquakes in the periods of lower magnitude earthquake...he logical tree methods are used for evaluate quantitatively relationship between frequency and magnitude, and deduce uncertainties of annual occurrence rate of earthquakes in the periods of lower magnitude earthquake. The uncertainties include deviations from the self-similarity of frequency-magnitude relations, different fitting methods, different methods obtained the annual occurrence rate, magnitude step used in fitting, start magnitude, error of magnitude and so on. Taking Xianshuihe River source zone as an example, we analyze uncertainties of occurrence rate of earthquakes M4, which is needed in risk evaluation extrapolating from frequency-magnitude relations of stronger earthquakes. The annual occurrence rate of M4 is usually required for seismic hazard assessment.The sensitivity analysis and examinations indicate that, in the same frequencymagnitude relations fitting method, the most sensitive factor is annual occurrence rate, the second is magnitude step and the following is start magnitude. Effect of magnitude error is rather small.Procedure of estimating the uncertainties is as follows:①Establishing a logical tree described uncertainties in frequencymagnitude relations by available data and knowledge about studied region.② Calculating frequencymagnitude relations for each end branches. ③ Examining sensitivities of each uncertainty factors, amending structure of logical tree and adjusting original weights. ④ Recalculating frequencymagnitude relations of end branches and complementary cumulative distribution function (CCDF) in each magnitude intervals.⑤ Obtaining an annual occurrence rate of M4 earthquakes under given fractiles.Taking fractiles as 20% and 80%, annual occurrence rate of M 4 events in Xianshuihe seismic zone is 0.643 0. The annual occurrence rate is 0.631 8 under fractiles of 50%, which is very close to that under fractiles 20% and 80%.展开更多
The concepts of logically constrained overall systems and subsystems of recon-structability analysis are introduced. Then the paper gave an important basis for furtherresearches of the author-the sufficient conditions...The concepts of logically constrained overall systems and subsystems of recon-structability analysis are introduced. Then the paper gave an important basis for furtherresearches of the author-the sufficient conditions for their structural representation graphsto become Boolean lattices, and proved it.展开更多
After a brief review of the basic notions the paper defines the G^L-structuresand their partial ordering. On this basis, the paper proves the necessary and sufficientconditions for G^L-structures to form bounded latti...After a brief review of the basic notions the paper defines the G^L-structuresand their partial ordering. On this basis, the paper proves the necessary and sufficientconditions for G^L-structures to form bounded lattices.展开更多
To achieve high work performance for compliant mechanisms of motion scope,continuous work condition,and high frequency,we propose a new hybrid algorithm that could be applied to multi-objective optimum design.In this ...To achieve high work performance for compliant mechanisms of motion scope,continuous work condition,and high frequency,we propose a new hybrid algorithm that could be applied to multi-objective optimum design.In this investigation,we use the tools of finite element analysis(FEA)for a magnificationmechanism to find out the effects of design variables on the magnification ratio of the mechanism and then select an optimal mechanism that could meet design requirements.A poly-algorithm including the Grey-Taguchi method,fuzzy logic system,and adaptive neuro-fuzzy inference system(ANFIS)algorithm,was utilized mainly in this study.The FEA outcomes indicated that design variables have significantly affected on magnification ratio of the mechanism and verified by analysis of variance and analysis of the signal to noise of grey relational grade.The results are also predicted by employing the tool of ANFIS in MATLAB.In conclusion,the optimal findings obtained:Its magnification is larger than 40 times in comparison with the initial design,the maximum principal stress is 127.89MPa,and the first modal shape frequency obtained 397.45 Hz.Moreover,we found that the outcomes obtained deviation error compared with predicted results of displacement,stress,and frequency are 8.76%,3.6%,and 6.92%,respectively.展开更多
Without the geometry of light and logic of photon,observer-observability forms a paradox in modern science,truthequilibrium finds no unification,and mind-light-matter unity is unreachable in spacetime.Subsequently,qua...Without the geometry of light and logic of photon,observer-observability forms a paradox in modern science,truthequilibrium finds no unification,and mind-light-matter unity is unreachable in spacetime.Subsequently,quantum mechanics has been shrouded with mysteries preventing itself from reaching definable causality for a general purpose analytical quantum computing paradigm.Ground-0 Axioms are introduced as an equilibrium-based,dynamic,bipolar set-theoretic unification of the first principles of science and the second law of thermodynamics.Related literatures are critically reviewed to justify the self-evident nature of Ground-0 Axioms.A historical misinterpretation by the founding fathers of quantum mechanics is identified and corrected.That disproves spacetime geometries(including but not limited to Euclidean and Hilbert spaces)as the geometries of light and truth-based logics(including but not limited to bra-ket quantum logic)as the logics of photon.Backed with logically definable causality and Dirac 3-polarizer experiment,bipolar quantum geometry(BQG)and bipolar dynamic logic(BDL)are identified as the geometry of light and the logic of photon,respectively,and wave-particle complementarity is shown less fundamental than bipolar complementarity.As a result,Ground-0 Axioms lead to a geometrical and logical illumination of the quantum and classical worlds as well as the physical and mental worlds.With logical resolutions to the EPR and Schr?dinger’s cat paradoxes,an analytical quantum computing paradigm named quantum intelligence(QI)is introduced.It is shown that QI makes mind-light-matter unity and quantum-digital compatibility logically reachable for quantumneuro-fuzzy AI-machinery with groundbreaking applications.It is contended that Ground-0 Axioms open a new era of science and philosophy—the era of mind-light-matter unity in which humanlevel white-box AI&QI is logically prompted to join Einstein’s grand unification to foster major scientific advances.展开更多
文摘A soitable data model and data structure make underground survey objects maintained and operated easier. This paper gives a formal definition for underground survey objects. By making use of the quotient topological space, the author studies the logical relations among underground survey objects, a partiallyordered space uuder some conditions. An example is given to show the data model’s possible applications.
文摘This paper mainly investigates the semicontinuity of solution mappings for set optimization problems under a partial order set relation instead of upper and lower set less order relations. To this end, we propose two types of monotonicity definition for the set-valued mapping introduced by two nonlinear scalarization functions which are presented by these partial order relations. Then, we give some sufficient conditions for the semicontinuity and closedness of solution mappings for parametric set optimization problems. The results presented in this paper are new and extend the main results given by some authors in the literature.
基金supported by the National Natural Science Foundation of China (Grant No.60704037)the Natural Science Foundation of Hebei Province,China (Grant No.F2010001317)the Doctor Foundation of Yanshan University of China (Grant No.B451)
文摘This paper studies the chaotic behaviours of a relative rotation nonlinear dynamical system under parametric excitation and its control. The dynamical equation of relative rotation nonlinear dynamical system under parametric excitation is deduced by using the dissipation Lagrange equation. The. criterion of existence of chaos under parametric excitation is given by using the Melnikov theory. The chaotic behaviours are detected by numerical simulations including bifurcation diagrams, Poincare map and maximal Lyapunov exponent. Furthermore, it implements chaotic control using nomfeedback method. It obtains the parameter condition of chaotic control by the Melnikov theory. Numerical simulation results show the consistence with the theoretical analysis. The chaotic motions can be controlled to periodmotions by adding an excitation term.
文摘To describe the dynamic propcrty of trust relationship, wt propose atime-related trust model and extend Joang's subjective logic to fit for time-related trust model.The extension includes prepositional conjunction, disjunction and negation for traditional logic anddiscounting and consensus operators that are evidential operators specially designed for thepropagation and computation of trust relationships. With the extension of subjective logic fortime-related trust, our time-related trust modelis suitable to model the dynamic trust relationshipin practice. Finally an example of reputation assessment is offered to demonstrate the usage of ourtrust model.
基金supported by the National Natural Science Foundation of China(6120118161471037+1 种基金61571041)the Foundation for the Author of National Excellent Doctoral Dissertation of China(201445)
文摘Relative navigation is a key feature in the joint tactical information distribution system(JTIDS).A parametric message passing algorithm based on factor graph is proposed to perform relative navigation in JTIDS.First of all,the joint posterior distribution of all the terminals' positions is represented by factor graph.Because of the nonlinearity between the positions and time-of-arrival(TOA) measurement,messages cannot be obtained in closed forms by directly using the sum-product algorithm on factor graph.To this end,the Euclidean norm is approximated by Taylor expansion.Then,all the messages on the factor graph can be derived in Gaussian forms,which enables the terminals to transmit means and covariances.Finally,the impact of major error sources on the navigation performance are evaluated by Monte Carlo simulations,e.g.,range measurement noise,priors of position uncertainty and velocity noise.Results show that the proposed algorithm outperforms the extended Kalman filter and cooperative extended Kalman filter in both static and mobile scenarios of the JTIDS.
文摘he logical tree methods are used for evaluate quantitatively relationship between frequency and magnitude, and deduce uncertainties of annual occurrence rate of earthquakes in the periods of lower magnitude earthquake. The uncertainties include deviations from the self-similarity of frequency-magnitude relations, different fitting methods, different methods obtained the annual occurrence rate, magnitude step used in fitting, start magnitude, error of magnitude and so on. Taking Xianshuihe River source zone as an example, we analyze uncertainties of occurrence rate of earthquakes M4, which is needed in risk evaluation extrapolating from frequency-magnitude relations of stronger earthquakes. The annual occurrence rate of M4 is usually required for seismic hazard assessment.The sensitivity analysis and examinations indicate that, in the same frequencymagnitude relations fitting method, the most sensitive factor is annual occurrence rate, the second is magnitude step and the following is start magnitude. Effect of magnitude error is rather small.Procedure of estimating the uncertainties is as follows:①Establishing a logical tree described uncertainties in frequencymagnitude relations by available data and knowledge about studied region.② Calculating frequencymagnitude relations for each end branches. ③ Examining sensitivities of each uncertainty factors, amending structure of logical tree and adjusting original weights. ④ Recalculating frequencymagnitude relations of end branches and complementary cumulative distribution function (CCDF) in each magnitude intervals.⑤ Obtaining an annual occurrence rate of M4 earthquakes under given fractiles.Taking fractiles as 20% and 80%, annual occurrence rate of M 4 events in Xianshuihe seismic zone is 0.643 0. The annual occurrence rate is 0.631 8 under fractiles of 50%, which is very close to that under fractiles 20% and 80%.
文摘The concepts of logically constrained overall systems and subsystems of recon-structability analysis are introduced. Then the paper gave an important basis for furtherresearches of the author-the sufficient conditions for their structural representation graphsto become Boolean lattices, and proved it.
文摘After a brief review of the basic notions the paper defines the G^L-structuresand their partial ordering. On this basis, the paper proves the necessary and sufficientconditions for G^L-structures to form bounded lattices.
基金This work is funded by Hung Yen University of Technology and Education and Industrial University of Ho Chi Minh City.
文摘To achieve high work performance for compliant mechanisms of motion scope,continuous work condition,and high frequency,we propose a new hybrid algorithm that could be applied to multi-objective optimum design.In this investigation,we use the tools of finite element analysis(FEA)for a magnificationmechanism to find out the effects of design variables on the magnification ratio of the mechanism and then select an optimal mechanism that could meet design requirements.A poly-algorithm including the Grey-Taguchi method,fuzzy logic system,and adaptive neuro-fuzzy inference system(ANFIS)algorithm,was utilized mainly in this study.The FEA outcomes indicated that design variables have significantly affected on magnification ratio of the mechanism and verified by analysis of variance and analysis of the signal to noise of grey relational grade.The results are also predicted by employing the tool of ANFIS in MATLAB.In conclusion,the optimal findings obtained:Its magnification is larger than 40 times in comparison with the initial design,the maximum principal stress is 127.89MPa,and the first modal shape frequency obtained 397.45 Hz.Moreover,we found that the outcomes obtained deviation error compared with predicted results of displacement,stress,and frequency are 8.76%,3.6%,and 6.92%,respectively.
文摘Without the geometry of light and logic of photon,observer-observability forms a paradox in modern science,truthequilibrium finds no unification,and mind-light-matter unity is unreachable in spacetime.Subsequently,quantum mechanics has been shrouded with mysteries preventing itself from reaching definable causality for a general purpose analytical quantum computing paradigm.Ground-0 Axioms are introduced as an equilibrium-based,dynamic,bipolar set-theoretic unification of the first principles of science and the second law of thermodynamics.Related literatures are critically reviewed to justify the self-evident nature of Ground-0 Axioms.A historical misinterpretation by the founding fathers of quantum mechanics is identified and corrected.That disproves spacetime geometries(including but not limited to Euclidean and Hilbert spaces)as the geometries of light and truth-based logics(including but not limited to bra-ket quantum logic)as the logics of photon.Backed with logically definable causality and Dirac 3-polarizer experiment,bipolar quantum geometry(BQG)and bipolar dynamic logic(BDL)are identified as the geometry of light and the logic of photon,respectively,and wave-particle complementarity is shown less fundamental than bipolar complementarity.As a result,Ground-0 Axioms lead to a geometrical and logical illumination of the quantum and classical worlds as well as the physical and mental worlds.With logical resolutions to the EPR and Schr?dinger’s cat paradoxes,an analytical quantum computing paradigm named quantum intelligence(QI)is introduced.It is shown that QI makes mind-light-matter unity and quantum-digital compatibility logically reachable for quantumneuro-fuzzy AI-machinery with groundbreaking applications.It is contended that Ground-0 Axioms open a new era of science and philosophy—the era of mind-light-matter unity in which humanlevel white-box AI&QI is logically prompted to join Einstein’s grand unification to foster major scientific advances.