To solve the first-order differential equation derived from the problem of a free-falling object and the problem arising from Newton’s law of cooling, the study compares the numerical solutions obtained from Picard’...To solve the first-order differential equation derived from the problem of a free-falling object and the problem arising from Newton’s law of cooling, the study compares the numerical solutions obtained from Picard’s and Taylor’s series methods. We have carried out a descriptive analysis using the MATLAB software. Picard’s and Taylor’s techniques for deriving numerical solutions are both strong mathematical instruments that behave similarly. All first-order differential equations in standard form that have a constant function on the right-hand side share this similarity. As a result, we can conclude that Taylor’s approach is simpler to use, more effective, and more accurate. We will contrast Rung Kutta and Taylor’s methods in more detail in the following section.展开更多
The axiomatization of physical theories is a fundamental issue of science. The first-order axiomatic system SpecR el for special relativity proposed recently by Andr′eka et al. is not enough to explain all the main r...The axiomatization of physical theories is a fundamental issue of science. The first-order axiomatic system SpecR el for special relativity proposed recently by Andr′eka et al. is not enough to explain all the main results in the theory, including the twin paradox and energy-mass relation. In this paper, from a four-dimensional spacetime perspective, we introduce the concepts of world-line, proper time and four-momentum to our axiomatic system SpecR el^+. Then we introduce an axiom of mass(Ax Mass) and take four-momentum conservation as an axiom(Ax CFM)in SpecR el^+. It turns out that the twin paradox and energy-mass relation can be derived from SpecR el+logically. Hence,as an extension of SpecR el, SpecR el^+is a suitable first-order axiomatic system to describe the kinematics and dynamics of special relativity.展开更多
In this paper,we study the asymptotic relation between the first crossing point and the last exit time for Gaussian order statistics which are generated by stationary weakly and strongly dependent Gaussian sequences.I...In this paper,we study the asymptotic relation between the first crossing point and the last exit time for Gaussian order statistics which are generated by stationary weakly and strongly dependent Gaussian sequences.It is shown that the first crossing point and the last exit time are asymptotically independent and dependent for weakly and strongly dependent cases,respectively.The asymptotic relations between the first crossing point and the last exit time for stationary weakly and strongly dependent Gaussian sequences are also obtained.展开更多
The lottery has long captivated the imagination of players worldwide, offering the tantalizing possibility of life-changing wins. While winning the lottery is largely a matter of chance, as lottery drawings are typica...The lottery has long captivated the imagination of players worldwide, offering the tantalizing possibility of life-changing wins. While winning the lottery is largely a matter of chance, as lottery drawings are typically random and unpredictable. Some people use the lottery terminal randomly generates numbers for them, some players choose numbers that hold personal significance to them, such as birthdays, anniversaries, or other important dates, some enthusiasts have turned to statistical analysis as a means to analyze past winning numbers identify patterns or frequencies. In this paper, we use order statistics to estimate the probability of specific order of numbers or number combinations being drawn in future drawings.展开更多
In recent years,fractional-order chaotic maps have been paid more attention in publications because of the memory effect.This paper presents a novel variable-order fractional sine map(VFSM)based on the discrete fracti...In recent years,fractional-order chaotic maps have been paid more attention in publications because of the memory effect.This paper presents a novel variable-order fractional sine map(VFSM)based on the discrete fractional calculus.Specially,the order is defined as an iterative function that incorporates the current state of the system.By analyzing phase diagrams,time sequences,bifurcations,Lyapunov exponents and fuzzy entropy complexity,the dynamics of the proposed map are investigated comparing with the constant-order fractional sine map.The results reveal that the variable order has a good effect on improving the chaotic performance,and it enlarges the range of available parameter values as well as reduces non-chaotic windows.Multiple coexisting attractors also enrich the dynamics of VFSM and prove its sensitivity to initial values.Moreover,the sequence generated by the proposed map passes the statistical test for pseudorandom number and shows strong robustness to parameter estimation,which proves the potential applications in the field of information security.展开更多
Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and elec...Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions.展开更多
This paper investigates logical stochastic resonance(LSR)in a cross-bifurcation non-smooth system driven by Gaussian colored noise.In this system,a bifurcation parameter triggers a transition between monostability,bis...This paper investigates logical stochastic resonance(LSR)in a cross-bifurcation non-smooth system driven by Gaussian colored noise.In this system,a bifurcation parameter triggers a transition between monostability,bistability and tristability.By using Novikov's theorem and the unified colored noise approximation method,the approximate Fokker-Planck equation is obtained.Then we derive the generalized potential function and the transition rates to analyze the LSR phenomenon using numerical simulations.We simulate the logic operation of the system in the bistable and tristable regions respectively.We assess the impact of Gaussian colored noise on the LSR and discover that the reliability of the logic response depends on the noise strength and the bifurcation parameter.Furthermore,it is found that the bistable region has a more extensive parameter range to produce reliable logic operation compared with the tristable region,since the tristable region is more sensitive to noise than the bistable one.展开更多
logical testing model and resource lifecycle information,generate test cases and complete parameters,and alleviate inconsistency issues through parameter inference.Once again,we propose a method of analyzing test resu...logical testing model and resource lifecycle information,generate test cases and complete parameters,and alleviate inconsistency issues through parameter inference.Once again,we propose a method of analyzing test results using joint state codes and call stack information,which compensates for the shortcomings of traditional analysis methods.We will apply our method to testing REST services,including OpenStack,an open source cloud operating platform for experimental evaluation.We have found a series of inconsistencies,known vulnerabilities,and new unknown logical defects.展开更多
Pedestrian self-organizing movement plays a significant role in evacuation studies and architectural design.Lane formation,a typical self-organizing phenomenon,helps pedestrian system to become more orderly,the majori...Pedestrian self-organizing movement plays a significant role in evacuation studies and architectural design.Lane formation,a typical self-organizing phenomenon,helps pedestrian system to become more orderly,the majority of following behavior model and overtaking behavior model are imprecise and unrealistic compared with pedestrian movement in the real world.In this study,a pedestrian dynamic model considering detailed modelling of the following behavior and overtaking behavior is constructed,and a method of measuring the lane formation and pedestrian system order based on information entropy is proposed.Simulation and analysis demonstrate that the following and avoidance behaviors are important factors of lane formation.A high tendency of following results in good lane formation.Both non-selective following behavior and aggressive overtaking behavior cause the system order to decrease.The most orderly following strategy for a pedestrian is to overtake the former pedestrian whose speed is lower than approximately 70%of his own.The influence of the obstacle layout on pedestrian lane and egress efficiency is also studied with this model.The presence of a small obstacle does not obstruct the walking of pedestrians;in contrast,it may help to improve the egress efficiency by guiding the pedestrian flow and mitigating the reduction of pedestrian system orderliness.展开更多
In an effort to clarify the formation mechanism of LPSO structure in Mg-Y-Zn alloy,the chemical environment and structural ordering in liquid Mg-rich Mg-Y-Zn system are investigated with the aid of ab-initio molecular...In an effort to clarify the formation mechanism of LPSO structure in Mg-Y-Zn alloy,the chemical environment and structural ordering in liquid Mg-rich Mg-Y-Zn system are investigated with the aid of ab-initio molecular dynamics simulation.In liquid Mg-rich Mg-Y alloys,the strong Mg-Y interaction is determined,which promotes the formation of fivefold symmetric local structure.For Mg-Zn alloys,the weak Mg-Zn interaction results in the fivefold symmetry weakening in the liquid structure.Due to the coexistence of Y and Zn,the strong attractive interaction is introduced in liquid Mg-Y-Zn ternary alloy,and contributes to the clustering of Mg,Y,Zn launched from Zn.What is more,the distribution of local structures becomes closer to that in pure Mg compared with that in binary Mg-Y and Mg-Zn alloys.These results should relate to the origins of the Y/Zn segregation zone and close-packed stacking mode in LPSO structure,which provides a new insight into the formation mechanism of LPSO structure at atomic level.展开更多
In this paper,we investigate the reverse order law for Drazin inverse of three bound-ed linear operators under some commutation relations.Moreover,the Drazin invertibility of sum is also obtained for two bounded linea...In this paper,we investigate the reverse order law for Drazin inverse of three bound-ed linear operators under some commutation relations.Moreover,the Drazin invertibility of sum is also obtained for two bounded linear operators and its expression is presented.展开更多
Understanding the structural origin of the competition between oxygen 2p and transition-metal 3d orbitals in oxygen-redox(OR)layered oxides is eminently desirable for exploring reversible and high-energy-density Li/Na...Understanding the structural origin of the competition between oxygen 2p and transition-metal 3d orbitals in oxygen-redox(OR)layered oxides is eminently desirable for exploring reversible and high-energy-density Li/Na-ion cathodes.Here,we reveal the correlation between cationic ordering transition and OR degradation in ribbon-ordered P3-Na_(0.6)Li_(0.2)Mn_(0.8)O_(2) via in situ structural analysis.Comparing two different voltage windows,the OR capacity can be improved approximately twofold when suppressing the in-plane cationic ordering transition.We find that the intralayer cationic migration is promoted by electrochemical reduction from Mn^(4+)to Jahn–Teller Mn^(3+)and the concomitant NaO_(6) stacking transformation from triangular prisms to octahedra,resulting in the loss of ribbon ordering and electrochemical decay.First-principles calculations reveal that Mn^(4+)/Mn^(3+)charge ordering and alignment of the degenerate eg orbital induce lattice-level collective Jahn–Teller distortion,which favors intralayer Mn-ion migration and thereby accelerates OR degradation.These findings unravel the relationship between in-plane cationic ordering and OR reversibility and highlight the importance of superstructure protection for the rational design of reversible OR-active layered oxide cathodes.展开更多
As government agencies continue to tighten emissions regulations due to the continued increase in greenhouse gas production, automotive industries are seeking to produce increasingly efficient vehicle technology. Hybr...As government agencies continue to tighten emissions regulations due to the continued increase in greenhouse gas production, automotive industries are seeking to produce increasingly efficient vehicle technology. Hybrid electric vehicles (HEVs) have been introduced to mitigate problems while improving fuel economy. HEVs have led to the demand of creating more advanced controls software to consider multiple components for propulsive power in a vehicle. A large section in the software development process is the implementation of an optimal energy management strategy meant to improve the overall fuel efficiency of the vehicle. Optimal strategies can be implemented when driving conditions are known a prior. The Equivalent Consumption Minimization Strategy (ECMS) is an optimal control strategy that uses an equivalence factor to equate electrical to mechanical power when performing torque split determination between the internal combustion engine and electric motor for propulsive and regenerative torque. This equivalence factor is determined from offline vehicle simulations using a sensitivity analysis to provide optimal fuel economy results while maintaining predetermined high voltage battery state of charge (SOC) constraints. When the control hierarchy is modified or different driving styles are applied, the analysis must be redone to update the equivalence factor. The goal of this work is to implement a fuzzy logic controller that dynamically updates the equivalence factor to improve fuel economy, maintain a strict charge sustaining window of operation for the high voltage battery, and reduce computational time required during algorithm development. The adaptive algorithm is validated against global optimum fuel economy and charge sustaining results from a sensitivity analysis performed for multiple drive cycles. Results show a maximum fuel economy improvement of 9.82% when using a mild driving style and a 95% success rate when maintaining an ending SOC within 5% of the desired SOC regardless of starting SOC.展开更多
This paper is a continuation of recent work by Guo-Xiang-Zheng[10].We deduce the sharp Morrey regularity theory for weak solutions to the fourth order nonhomogeneous Lamm-Rivière equation △^{2}u=△(V▽u)+div(w▽...This paper is a continuation of recent work by Guo-Xiang-Zheng[10].We deduce the sharp Morrey regularity theory for weak solutions to the fourth order nonhomogeneous Lamm-Rivière equation △^{2}u=△(V▽u)+div(w▽u)+(▽ω+F)·▽u+f in B^(4),under the smallest regularity assumptions of V,ω,ω,F,where f belongs to some Morrey spaces.This work was motivated by many geometrical problems such as the flow of biharmonic mappings.Our results deepens the Lp type regularity theory of[10],and generalizes the work of Du,Kang and Wang[4]on a second order problem to our fourth order problems.展开更多
In this paper,we consider entire solutions of higher order homogeneous differential equations with the entire coefficients having the same order,and prove that the entire solutions are of infinite lower order.The prop...In this paper,we consider entire solutions of higher order homogeneous differential equations with the entire coefficients having the same order,and prove that the entire solutions are of infinite lower order.The properties on the radial distribution,the limit direction of the Julia set and the existence of a Baker wandering domain of the entire solutions are also discussed.展开更多
The long-period-stacking-ordered(LPSO)structure affects the mechanical,corrosion and hydrolysis properties of Mg alloys.The current work employs high angle annular dark field-scanning transmission electron microscopy(...The long-period-stacking-ordered(LPSO)structure affects the mechanical,corrosion and hydrolysis properties of Mg alloys.The current work employs high angle annular dark field-scanning transmission electron microscopy(HAADF-STEM)and atom probe tomography(APT)to investigate the structural and local chemical information of LPSO phases formed in Mg-Ni-Y/Sm ternary alloys after extended isothermal annealing.Depending on the alloying elements and their concentrations,Mg-Ni-Y/Sm develops a two-phase LPSO+α-Mg structure in which the LPSO phase contains defects,hybrid LPSO structure,and Mg insertions.HAADF-STEM and APT indicate non-stoichiometric LPSO with incomplete Ni_(6)(Y/Sm)_(8) clusters.In addition,the APT quantitatively determines the local composition of LPSO and confirms the presence of Ni within the Mg bonding layers.These results provide insight into a better understanding of the structure and hydrolysis properties of LPSO-Mg alloys.展开更多
Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as s...Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.展开更多
The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. Th...The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. The work I have done in my research includes: improving logical structure and logical engineering, using my theory to study the innovation of the development path of artificial intelligence, using my theory to create biomimetic logic, a new intersection of artificial intelligence and biological research, and exploring the innovation of human methodology through the previous two works. The results of the research are as follows: 1) Introduction to bionic logic, incorporating simulations of people, society, and life as core principles. 2) Definition of the logical structure as the primary focus of research, with logic mechanics serving as foundational research principles. 3) Examination of the logical structure’s environment through logical fields and networks. 4) Study of logical structure communication via logical networks and main lines. 5) Proposal of data logic. 6) Investigation into the logic of logical structures, employing structural diagrams of logical equations. 7) Development of a theory of life activity within logical structures, encompassing information reasoning, its corresponding control structure, and structural reasoning. 8) Introduction of the lifecycle theory for logical structures and examination of the clock equation. 9) Exploration of logical structure intelligence. 10) Study of logical structures in mathematical forms. 11) Introduction of logic engineering. 12) Examination of artificial intelligence’s significance. 13) Investigation into the significance of human methodology.展开更多
Increasing Internet of Things(IoT)device connectivity makes botnet attacks more dangerous,carrying catastrophic hazards.As IoT botnets evolve,their dynamic and multifaceted nature hampers conventional detection method...Increasing Internet of Things(IoT)device connectivity makes botnet attacks more dangerous,carrying catastrophic hazards.As IoT botnets evolve,their dynamic and multifaceted nature hampers conventional detection methods.This paper proposes a risk assessment framework based on fuzzy logic and Particle Swarm Optimization(PSO)to address the risks associated with IoT botnets.Fuzzy logic addresses IoT threat uncertainties and ambiguities methodically.Fuzzy component settings are optimized using PSO to improve accuracy.The methodology allows for more complex thinking by transitioning from binary to continuous assessment.Instead of expert inputs,PSO data-driven tunes rules and membership functions.This study presents a complete IoT botnet risk assessment system.The methodology helps security teams allocate resources by categorizing threats as high,medium,or low severity.This study shows how CICIoT2023 can assess cyber risks.Our research has implications beyond detection,as it provides a proactive approach to risk management and promotes the development of more secure IoT environments.展开更多
文摘To solve the first-order differential equation derived from the problem of a free-falling object and the problem arising from Newton’s law of cooling, the study compares the numerical solutions obtained from Picard’s and Taylor’s series methods. We have carried out a descriptive analysis using the MATLAB software. Picard’s and Taylor’s techniques for deriving numerical solutions are both strong mathematical instruments that behave similarly. All first-order differential equations in standard form that have a constant function on the right-hand side share this similarity. As a result, we can conclude that Taylor’s approach is simpler to use, more effective, and more accurate. We will contrast Rung Kutta and Taylor’s methods in more detail in the following section.
基金Supported by the National Science Foundation of China under Grant Nos.11235003 and 11475023National Social Sciences Foundation of China under Grant No.14BZX078+1 种基金the Research Fund for the Doctoral Program of Higher Education of Chinathe Undergraduate Training Program of Beijing
文摘The axiomatization of physical theories is a fundamental issue of science. The first-order axiomatic system SpecR el for special relativity proposed recently by Andr′eka et al. is not enough to explain all the main results in the theory, including the twin paradox and energy-mass relation. In this paper, from a four-dimensional spacetime perspective, we introduce the concepts of world-line, proper time and four-momentum to our axiomatic system SpecR el^+. Then we introduce an axiom of mass(Ax Mass) and take four-momentum conservation as an axiom(Ax CFM)in SpecR el^+. It turns out that the twin paradox and energy-mass relation can be derived from SpecR el+logically. Hence,as an extension of SpecR el, SpecR el^+is a suitable first-order axiomatic system to describe the kinematics and dynamics of special relativity.
基金Supported by the National Natural Science Foundation of China(11501250)Zhejiang Provincial Natural Science Foundation of China(LY18A010020)Innovation of Jiaxing City:a program to support the talented persons。
文摘In this paper,we study the asymptotic relation between the first crossing point and the last exit time for Gaussian order statistics which are generated by stationary weakly and strongly dependent Gaussian sequences.It is shown that the first crossing point and the last exit time are asymptotically independent and dependent for weakly and strongly dependent cases,respectively.The asymptotic relations between the first crossing point and the last exit time for stationary weakly and strongly dependent Gaussian sequences are also obtained.
文摘The lottery has long captivated the imagination of players worldwide, offering the tantalizing possibility of life-changing wins. While winning the lottery is largely a matter of chance, as lottery drawings are typically random and unpredictable. Some people use the lottery terminal randomly generates numbers for them, some players choose numbers that hold personal significance to them, such as birthdays, anniversaries, or other important dates, some enthusiasts have turned to statistical analysis as a means to analyze past winning numbers identify patterns or frequencies. In this paper, we use order statistics to estimate the probability of specific order of numbers or number combinations being drawn in future drawings.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.62071496,61901530,and 62061008)the Natural Science Foundation of Hunan Province of China(Grant No.2020JJ5767).
文摘In recent years,fractional-order chaotic maps have been paid more attention in publications because of the memory effect.This paper presents a novel variable-order fractional sine map(VFSM)based on the discrete fractional calculus.Specially,the order is defined as an iterative function that incorporates the current state of the system.By analyzing phase diagrams,time sequences,bifurcations,Lyapunov exponents and fuzzy entropy complexity,the dynamics of the proposed map are investigated comparing with the constant-order fractional sine map.The results reveal that the variable order has a good effect on improving the chaotic performance,and it enlarges the range of available parameter values as well as reduces non-chaotic windows.Multiple coexisting attractors also enrich the dynamics of VFSM and prove its sensitivity to initial values.Moreover,the sequence generated by the proposed map passes the statistical test for pseudorandom number and shows strong robustness to parameter estimation,which proves the potential applications in the field of information security.
基金the National Natural Science Foundation of China(Nos.61562026,61962020)Academic and Technical Leaders of Major Disciplines in Jiangxi Province(No.20172BCB22015)+1 种基金Special Fund Project for Postgraduate Innovation in Jiangxi Province(No.YC2020-B1141)Jiangxi Provincial Natural Science Foundation(No.20224ACB202006).
文摘Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions.
基金Project supported by the National Natural Science Foundation of China(Grant No.12072262)the Shaanxi Computer Society&Xiangteng Company Foundation.
文摘This paper investigates logical stochastic resonance(LSR)in a cross-bifurcation non-smooth system driven by Gaussian colored noise.In this system,a bifurcation parameter triggers a transition between monostability,bistability and tristability.By using Novikov's theorem and the unified colored noise approximation method,the approximate Fokker-Planck equation is obtained.Then we derive the generalized potential function and the transition rates to analyze the LSR phenomenon using numerical simulations.We simulate the logic operation of the system in the bistable and tristable regions respectively.We assess the impact of Gaussian colored noise on the LSR and discover that the reliability of the logic response depends on the noise strength and the bifurcation parameter.Furthermore,it is found that the bistable region has a more extensive parameter range to produce reliable logic operation compared with the tristable region,since the tristable region is more sensitive to noise than the bistable one.
文摘logical testing model and resource lifecycle information,generate test cases and complete parameters,and alleviate inconsistency issues through parameter inference.Once again,we propose a method of analyzing test results using joint state codes and call stack information,which compensates for the shortcomings of traditional analysis methods.We will apply our method to testing REST services,including OpenStack,an open source cloud operating platform for experimental evaluation.We have found a series of inconsistencies,known vulnerabilities,and new unknown logical defects.
基金Project supported by the National Natural Science Foundation of China(Grant No.71603146).
文摘Pedestrian self-organizing movement plays a significant role in evacuation studies and architectural design.Lane formation,a typical self-organizing phenomenon,helps pedestrian system to become more orderly,the majority of following behavior model and overtaking behavior model are imprecise and unrealistic compared with pedestrian movement in the real world.In this study,a pedestrian dynamic model considering detailed modelling of the following behavior and overtaking behavior is constructed,and a method of measuring the lane formation and pedestrian system order based on information entropy is proposed.Simulation and analysis demonstrate that the following and avoidance behaviors are important factors of lane formation.A high tendency of following results in good lane formation.Both non-selective following behavior and aggressive overtaking behavior cause the system order to decrease.The most orderly following strategy for a pedestrian is to overtake the former pedestrian whose speed is lower than approximately 70%of his own.The influence of the obstacle layout on pedestrian lane and egress efficiency is also studied with this model.The presence of a small obstacle does not obstruct the walking of pedestrians;in contrast,it may help to improve the egress efficiency by guiding the pedestrian flow and mitigating the reduction of pedestrian system orderliness.
基金supported by National Natural Science Foundation of China,China(No.51901117,51801116)Youth Innovation and Technology Support Program of Shandong Provincial Colleges and Universities,China(No.2020KJA002)+2 种基金Youth Fund of Shandong Academy of Sciences,China(2020QN0021)Innovation Pilot Project for Fusion of Science,Education and Industry(International Cooperation)from Qilu University of Technology(Shandong Academy of Sciences),China(No.2020KJC-GH03)Several Policies on Promoting Collaborative Innovation and Industrialization of Achievements in Universities and Research Institutes,China(No.2019GXRC030)。
文摘In an effort to clarify the formation mechanism of LPSO structure in Mg-Y-Zn alloy,the chemical environment and structural ordering in liquid Mg-rich Mg-Y-Zn system are investigated with the aid of ab-initio molecular dynamics simulation.In liquid Mg-rich Mg-Y alloys,the strong Mg-Y interaction is determined,which promotes the formation of fivefold symmetric local structure.For Mg-Zn alloys,the weak Mg-Zn interaction results in the fivefold symmetry weakening in the liquid structure.Due to the coexistence of Y and Zn,the strong attractive interaction is introduced in liquid Mg-Y-Zn ternary alloy,and contributes to the clustering of Mg,Y,Zn launched from Zn.What is more,the distribution of local structures becomes closer to that in pure Mg compared with that in binary Mg-Y and Mg-Zn alloys.These results should relate to the origins of the Y/Zn segregation zone and close-packed stacking mode in LPSO structure,which provides a new insight into the formation mechanism of LPSO structure at atomic level.
基金supported by the NNSF of China(12261065)the NSF of Inner Mongolia(2022MS01005)+1 种基金the Basic Science Research Fund of the Universities Directly under the Inner Mongolia Autonomous Re-gion(JY20220084)the Program for Innovative Research Team in Universities of Inner Mongolia Autonomous Region(NMGIRT2317).
文摘In this paper,we investigate the reverse order law for Drazin inverse of three bound-ed linear operators under some commutation relations.Moreover,the Drazin invertibility of sum is also obtained for two bounded linear operators and its expression is presented.
基金funding supports from the National Key R&D Program of China(Grant Nos.2022YFB2404400 and 2019YFA0308500)Beijing Natural Science Foundation(Z190010)National Natural Science Foundation of China(Grant Nos.51991344,52025025,52072400,and 52002394)。
文摘Understanding the structural origin of the competition between oxygen 2p and transition-metal 3d orbitals in oxygen-redox(OR)layered oxides is eminently desirable for exploring reversible and high-energy-density Li/Na-ion cathodes.Here,we reveal the correlation between cationic ordering transition and OR degradation in ribbon-ordered P3-Na_(0.6)Li_(0.2)Mn_(0.8)O_(2) via in situ structural analysis.Comparing two different voltage windows,the OR capacity can be improved approximately twofold when suppressing the in-plane cationic ordering transition.We find that the intralayer cationic migration is promoted by electrochemical reduction from Mn^(4+)to Jahn–Teller Mn^(3+)and the concomitant NaO_(6) stacking transformation from triangular prisms to octahedra,resulting in the loss of ribbon ordering and electrochemical decay.First-principles calculations reveal that Mn^(4+)/Mn^(3+)charge ordering and alignment of the degenerate eg orbital induce lattice-level collective Jahn–Teller distortion,which favors intralayer Mn-ion migration and thereby accelerates OR degradation.These findings unravel the relationship between in-plane cationic ordering and OR reversibility and highlight the importance of superstructure protection for the rational design of reversible OR-active layered oxide cathodes.
文摘As government agencies continue to tighten emissions regulations due to the continued increase in greenhouse gas production, automotive industries are seeking to produce increasingly efficient vehicle technology. Hybrid electric vehicles (HEVs) have been introduced to mitigate problems while improving fuel economy. HEVs have led to the demand of creating more advanced controls software to consider multiple components for propulsive power in a vehicle. A large section in the software development process is the implementation of an optimal energy management strategy meant to improve the overall fuel efficiency of the vehicle. Optimal strategies can be implemented when driving conditions are known a prior. The Equivalent Consumption Minimization Strategy (ECMS) is an optimal control strategy that uses an equivalence factor to equate electrical to mechanical power when performing torque split determination between the internal combustion engine and electric motor for propulsive and regenerative torque. This equivalence factor is determined from offline vehicle simulations using a sensitivity analysis to provide optimal fuel economy results while maintaining predetermined high voltage battery state of charge (SOC) constraints. When the control hierarchy is modified or different driving styles are applied, the analysis must be redone to update the equivalence factor. The goal of this work is to implement a fuzzy logic controller that dynamically updates the equivalence factor to improve fuel economy, maintain a strict charge sustaining window of operation for the high voltage battery, and reduce computational time required during algorithm development. The adaptive algorithm is validated against global optimum fuel economy and charge sustaining results from a sensitivity analysis performed for multiple drive cycles. Results show a maximum fuel economy improvement of 9.82% when using a mild driving style and a 95% success rate when maintaining an ending SOC within 5% of the desired SOC regardless of starting SOC.
基金supported by the National Natural Science Foundation of China(12271296,12271195).
文摘This paper is a continuation of recent work by Guo-Xiang-Zheng[10].We deduce the sharp Morrey regularity theory for weak solutions to the fourth order nonhomogeneous Lamm-Rivière equation △^{2}u=△(V▽u)+div(w▽u)+(▽ω+F)·▽u+f in B^(4),under the smallest regularity assumptions of V,ω,ω,F,where f belongs to some Morrey spaces.This work was motivated by many geometrical problems such as the flow of biharmonic mappings.Our results deepens the Lp type regularity theory of[10],and generalizes the work of Du,Kang and Wang[4]on a second order problem to our fourth order problems.
基金supported partly by the National Natural Science Foundation of China(11926201,12171050)the National Science Foundation of Guangdong Province(2018A030313508)。
文摘In this paper,we consider entire solutions of higher order homogeneous differential equations with the entire coefficients having the same order,and prove that the entire solutions are of infinite lower order.The properties on the radial distribution,the limit direction of the Julia set and the existence of a Baker wandering domain of the entire solutions are also discussed.
基金the financial support provided by ANR(Project ANR-22-PEHY-0007)DGA(French Direction Générale des Armées,2018600045)Région Nouvelle Aquitaine(agreement 2018–1R10126).
文摘The long-period-stacking-ordered(LPSO)structure affects the mechanical,corrosion and hydrolysis properties of Mg alloys.The current work employs high angle annular dark field-scanning transmission electron microscopy(HAADF-STEM)and atom probe tomography(APT)to investigate the structural and local chemical information of LPSO phases formed in Mg-Ni-Y/Sm ternary alloys after extended isothermal annealing.Depending on the alloying elements and their concentrations,Mg-Ni-Y/Sm develops a two-phase LPSO+α-Mg structure in which the LPSO phase contains defects,hybrid LPSO structure,and Mg insertions.HAADF-STEM and APT indicate non-stoichiometric LPSO with incomplete Ni_(6)(Y/Sm)_(8) clusters.In addition,the APT quantitatively determines the local composition of LPSO and confirms the presence of Ni within the Mg bonding layers.These results provide insight into a better understanding of the structure and hydrolysis properties of LPSO-Mg alloys.
基金The work is partially supported by Natural Science Foundation of Ningxia(Grant No.AAC03300)National Natural Science Foundation of China(Grant No.61962001)Graduate Innovation Project of North Minzu University(Grant No.YCX23152).
文摘Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.
文摘The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. The work I have done in my research includes: improving logical structure and logical engineering, using my theory to study the innovation of the development path of artificial intelligence, using my theory to create biomimetic logic, a new intersection of artificial intelligence and biological research, and exploring the innovation of human methodology through the previous two works. The results of the research are as follows: 1) Introduction to bionic logic, incorporating simulations of people, society, and life as core principles. 2) Definition of the logical structure as the primary focus of research, with logic mechanics serving as foundational research principles. 3) Examination of the logical structure’s environment through logical fields and networks. 4) Study of logical structure communication via logical networks and main lines. 5) Proposal of data logic. 6) Investigation into the logic of logical structures, employing structural diagrams of logical equations. 7) Development of a theory of life activity within logical structures, encompassing information reasoning, its corresponding control structure, and structural reasoning. 8) Introduction of the lifecycle theory for logical structures and examination of the clock equation. 9) Exploration of logical structure intelligence. 10) Study of logical structures in mathematical forms. 11) Introduction of logic engineering. 12) Examination of artificial intelligence’s significance. 13) Investigation into the significance of human methodology.
文摘Increasing Internet of Things(IoT)device connectivity makes botnet attacks more dangerous,carrying catastrophic hazards.As IoT botnets evolve,their dynamic and multifaceted nature hampers conventional detection methods.This paper proposes a risk assessment framework based on fuzzy logic and Particle Swarm Optimization(PSO)to address the risks associated with IoT botnets.Fuzzy logic addresses IoT threat uncertainties and ambiguities methodically.Fuzzy component settings are optimized using PSO to improve accuracy.The methodology allows for more complex thinking by transitioning from binary to continuous assessment.Instead of expert inputs,PSO data-driven tunes rules and membership functions.This study presents a complete IoT botnet risk assessment system.The methodology helps security teams allocate resources by categorizing threats as high,medium,or low severity.This study shows how CICIoT2023 can assess cyber risks.Our research has implications beyond detection,as it provides a proactive approach to risk management and promotes the development of more secure IoT environments.