检索结果-南通市图书馆

State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第5期11卷 1274-1291页

作者： Yifan dong Naiqi wu Zhiwu Li The authors are with the Institute of Systems Engineering Macao University of Science and TechnologyTaipa 999078MacaoChina

The opaque property plays an important role in the operation of a security-critical system,implying that pre-defined secret information of the system is not able to be inferred through partially observing its behavior.This paper addresses the verification of current-state,initial-state,infinite-step,and K-step opacity of networked discrete event systems modeled by labeled Petri nets,where communication losses and delays are considered.Based on the symbolic technique for the representation of states in Petri nets,an observer and an estimator are designed for the verification of current-state and initial-state opacity,respectively.Then,we propose a structure called an I-observer that is combined with secret states to verify whether a networked discrete event system is infinite-step opaque or K-step opaque.Due to the utilization of symbolic approaches for the state-based opacity verification,the computation of the reachability graphs of labeled Petri nets is avoided,which dramatically reduces the computational overheads stemming from networked discrete event systems.

关键词： infinite system symbolic

Brain Cognition Mechanism-Inspired Hierarchical Navigation Method for Mobile Robots

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

Journal of Bionic Engineering 2024年第2期21卷 852-865页

作者： Qiang Zou Chengdong wu Ming Cong dong Liu Faculty of Robot Science and Engineering Northeastern UniversityShenyang110819China School of Mechanical Engineering Dalian University of TechnologyDalian116024China

Autonomous navigation is a fundamental problem in robotics.Traditional methods generally build point cloud map or dense feature map in perceptual space;due to lack of cognition and memory formation mechanism,traditional methods exist poor robustness and low cognitive ability.As a new navigation technology that draws inspiration from mammal’s navigation,bionic navigation method can map perceptual information into cognitive space,and have strong autonomy and environment adaptability.To improve the robot’s autonomous navigation ability,this paper proposes a cognitive map-based hierarchical navigation method.First,the mammals’navigation-related grid cells and head direction cells are modeled to provide the robots with location cognition.And then a global path planning strategy based on cognitive map is proposed,which can anticipate one preferred global path to the target with high efficiency and short distance.Moreover,a hierarchical motion controlling method is proposed,with which the target navigation can be divided into several sub-target navigation,and the mobile robot can reach to these sub-targets with high confidence level.Finally,some experiments are implemented,the results show that the proposed path planning method can avoid passing through obstacles and obtain one preferred global path to the target with high efficiency,and the time cost does not increase extremely with the increase of experience nodes number.The motion controlling results show that the mobile robot can arrive at the target successfully only depending on its self-motion information,which is an effective attempt and reflects strong bionic properties.

关键词： Bionic navigation Spatial localization cells Global path planning Hierarchical motion controlling

Investigation of high rate mechanical flow followed by ignition for high-energy propellant under dynamic extrusion loading

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Defence Technology（防务技术） 2024年第2期32卷 336-347页

作者： Liying dong Yanqing wu Kun Yang Xiao Hou State Key Laboratory of Explosion Science and Technology Beijing Institute of TechnologyBeijing 100081China School of Aerospace Engineering Beijing Institute of TechnologyBeijing 100081China

Investigating the ignition response of nitrate ester plasticized polyether(NEPE) propellant under dynamic extrusion loading is of great significant at least for two cases. Firstly, it helps to understand the mechanism and conditions of unwanted ignition inside charged propellant under accident stimulus.Secondly, evaluates the risk of a shell crevice in a solid rocket motor(SRM) under a falling or overturning scene. In the present study, an innovative visual crevice extrusion experiment is designed using a dropweight apparatus. The dynamic responses of NEPE propellant during extrusion loading, including compaction and compression, rapid shear flow into the crevice, stress concentration, and ignition reaction, have been firstly observed using a high-performance high-speed camera. The ignition reaction is observed in the triangular region of the NEPE propellant sample above the crevice when the drop weight velocity was 1.90 m/s. Based on the user material subroutine interface UMAT provided by finite element software LS-DYNA, a viscoelastic-plastic model and dual ignition criterion related to plastic shear dissipation are developed and applied to the local ignition response analysis under crevice extrusion conditions. The stress concentration occurs in the crevice location of the propellant sample, the shear stress is relatively large, the effective plastic work is relatively large, and the ignition reaction is easy to occur. When the sample thickness decreases from 5 mm to 2.5 mm, the shear stress increases from 22.3 MPa to 28.6 MPa, the critical value of effective plastic work required for ignition is shortened from 1280 μs to 730 μs, and the triangular area is easily triggering an ignition reaction. The propellant sample with a small thickness is more likely to stress concentration, resulting in large shear stress and effective work, triggering an ignition reaction.

关键词： NEPE propellant Crevice extrusion Shear flow Sample thickness Ignition reaction

Method for triangular fuzzy multiple attribute decision making based on two-dimensional density operator method

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2024年第1期35卷 178-185页

作者： LIN Youliang LI wu LIU Gang HUANG dong School of Economics and Management Hunan Institute of Science and TechnologyYueyang 414000China Hunan Vocational College for Nationalities Yueyang 414000China School of Information Science and Engineering Hunan Institute of Science and TechnologyYueyang 414000China

Aiming at the triangular fuzzy(TF)multi-attribute decision making(MADM)problem with a preference for the distribution density of attribute(DDA),a decision making method with TF number two-dimensional density(TFTD)operator is proposed based on the density operator theory for the decision maker(DM).Firstly,a simple TF vector clustering method is proposed,which considers the feature of TF number and the geometric distance of vectors.Secondly,the least deviation sum of squares method is used in the program model to obtain the density weight vector.Then,two TFTD operators are defined,and the MADM method based on the TFTD operator is proposed.Finally,a numerical example is given to illustrate the superiority of this method,which can not only solve the TF MADM problem with a preference for the DDA but also help the DM make an overall comparison.

关键词： fuzzy decision making clustering density operator multi-attribute decision making(MADM)

Sensitivity analysis of modeling parameters to soot and PAHs prediction in ethylene inverse diffusion flame

在线全文

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 2024年第2期67卷 486-498页

作者： wu BingKun LI TianJiao LIU dong MIIT Key Laboratory of Thermal Control of Electronic Equipment School of Energy and Power EngineeringNanjing University of Science and TechnologyNanjing 210094China Advanced Combustion Laboratory School of Energy and Power EngineeringNanjing University of Science and Technology Nanjing 210094China

The soot formation model based on inverse ethylene diffusion flames was performed to study the sensitivity of the soot formation process to the prediction results.The effects of efficiency parameters such as soot inception,surface growth and coagulation on the simulation results were studied by using the adjustable efficiency model.In addition,the reversible soot model and conjugate heat transfer(CHT)model were also introduced to explore their advantages.Results indicated that,among adjustable efficiency parameters,the nucleation efficiency had the greatest influence on the predicted soot and PAHs distributions,while the Habstraction-C2H2-addition(HACA)process and PAH adsorption surface growth efficiencies impacted little.The adjustable efficiency parameters had a significant effect on the concentration of soot gaseous precursors and soot particles,but their effects on temperature,gas phase molecules,and intermediate species were not obvious.When the nucleation efficiency increased from 2×10^(-6)to 1×10^(-4),the predicted value of the integrated soot was increased by nearly 50%,and the maximum primary particle number density and the number of aggregates were increased by an order of magnitude.The maximum concentration of BAPYR was doubled.However,the peak temperature along the axial direction increased by only 3.5 K.Using the reversible soot model,the approximation results of the adjustable efficiency parameters could be modified,which showed the feasibility of the model.The use of the CHT model promoted pyrolysis of the fuel below the outlet of the fuel tube,with high-temperature zones,soot zones,and PAHs zones moving towards higher flame heights.Besides,when using the reversible model and the CHT model,the maximum soot volume fraction decreased by 39%compared with the basic efficiency parameters,while the concentration of BAPYR increased by 162%,and the concentrations of gas phase species were decreased.

关键词： inverse diffusion flames soot formation soot model ethylene

Double-stranded DNA-nucleic acid dye complex-sensitized biocatalytic photosynthesis:Base pairing-switched regeneration of nicotinamide cofactor

在线全文

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2024年第7期94卷 618-624页

作者： Zhen dong Yanying Wang Dan Li Peng wu College of Chemistry Sichuan UniversityChengdu 610064SichuanChina Analytical&Testing Centre State Key Laboratory of Hydraulics and Mountain River EngineeringSichuan UniversityChengdu 610064SichuanChina School of Chemistry and Chemical Engineering Henan Normal UniversityXinxiang 453007HenanChina

Photo-biocatalysis,the combination of photosensitization and biocatalysis,is an emerging solution for sunlight-based renewable energy.It is thus important to develop light antennas with both good light har-vesting and efficient electron transfer.Herein,the intriguing electrical conductivity of dsDNA and its host effect(for nucleic acid dyes to harvest light)were explored simultaneously to develop a dsDNA-based light antenna for photo-biocatalysis.With SYBR Green I(SG)as the example of the nucleic acid dye,the proposed SG-dsDNA system was found to be capable for visible-light-driven reduced nicotinamide adenine dinucleotide(NADH)regeneration,and the turnover frequency of which(1.35 min^(-1))exceeded most of the existing photocatalytic systems.Since SG can only be hosted by dsDNA,meanwhile dsDNA can be formed through hybridization between single strand DNA and its complementary strand,the pro-posed system adds an extra control of the photocatalytic activity(DNA base pairing-based switch).When integrating the SG-dsDNA system with NADH-dependent horse liver alcohol dehydrogenase(HLADH),successful synthesis of 2-phenylpropanol(a crucial intermediates of profens manufacturing)was achieved.

关键词： Photosynthesis dsDNA SYBRGreenI TICT 2-phenylpropanol

Synthesis and Modulation of Low-Dimensional Transition Metal Chalcogenide Materials via Atomic Substitution

在线全文

学校读者我要写书评

暂无评论

Nano-Micro Letters 2024年第9期16卷 49-94页

作者： Xuan Wang Akang Chen XinLei wu Jiatao Zhang Jichen dong Leining Zhang Key Laboratory of Cluster Science Ministry of Education of ChinaBeijing Key Laboratory of Photoelectronic and Electrophonic Conversion MaterialsSchool of Chemistry and Chemical EngineeringBeijing Institute of TechnologyBeijing 100081People’s Republic of China Beijing National Laboratory for Molecular Sciences Key Laboratory of Organic SolidsInstitute of Chemistry Chinese Academy of SciencesBeijing 100190People’s Republic of China

In recent years,low-dimensional transition metal chalcogenide(TMC)materials have garnered growing research attention due to their superior electronic,optical,and catalytic properties compared to their bulk counterparts.The controllable synthesis and manipulation of these materials are crucial for tailoring their properties and unlocking their full potential in various applications.In this context,the atomic substitution method has emerged as a favorable approach.It involves the replacement of specific atoms within TMC structures with other elements and possesses the capability to regulate the compositions finely,crystal structures,and inherent properties of the resulting materials.In this review,we present a comprehensive overview on various strategies of atomic substitution employed in the synthesis of zero-dimensional,one-dimensional and two-dimensional TMC materials.The effects of substituting elements,substitution ratios,and substitution positions on the structures and morphologies of resulting material are discussed.The enhanced electrocatalytic performance and photovoltaic properties of the obtained materials are also provided,emphasizing the role of atomic substitution in achieving these advancements.Finally,challenges and future prospects in the field of atomic substitution for fabricating low-dimensional TMC materials are summarized.

关键词： Transition metal chalcogenides Atomic substitution Ion exchange Low-dimensional materials Controllable synthesis

Development of an automatic measurement system using atmospheric pressure photoionization ultrahigh-resolution mass spectrometry and application for on-line analysis of particulate matter

在线全文

学校读者我要写书评

暂无评论

Journal of Environmental Sciences 2024年第4期138卷 516-530页

作者： Yayuan dong Ranran Liu Ling Xie Xiaole Pan Yele Sun Lin wu ZifaWang State Key Laboratory of Atmospheric Boundary Layer Physics and Atmospheric Chemistry Institute of Atmospheric PhysicsChinese Academy of SciencesBeijing 100029China College of Earth and Planetary Sciences University of Chinese Academy of SciencesBeijing 100049China Center for Excellence in Regional Atmospheric Environment Chinese Academy of SciencesInstitute of Urban EnvironmentXiamen 361021China

On-line chemical characterization of atmospheric particulate matter(PM)with soft ionization technique and ultrahigh-resolution Mass Spectrometry(UHRMS)provides molecular information of organic constituents in real time.Here we describe the development and application of an automatic measurement system that incorporates PM_(2.5)sampling,thermal desorption,atmospheric pressure photoionization,and UHRMS analysis.Molecular formulas of detected organic compounds were deducted from the accurate(±10 ppm)molecular weights obtained at a mass resolution of 100,000,allowing the identification of small organic compounds in PM_(2.5).Detection efficiencies of 28 standard compounds were determined and we found a high sensitivity and selectivity towards organic amines with limits of detection below 10 pg.As a proof of principle,PM_(2.5)samples collected off-line in winter in the urban area of Beijing were analyzed using the Ionization Module and HRMS of the system.The automatic system was then applied to conduct on-line measurements during the summer time at a time resolution of 2 hr.The detected organic compounds comprised mainly CHON and CHN compounds below 350 m/z.Pronounced seasonal variations in elemental composition were observed with shorter carbon backbones and higher O/C ratios in summer than that in winter.This result is consistent with stronger photochemical reactions and thus a higher oxidation state of organics in summer.Diurnal variation in signal intensity of each formula provides crucial information to reveal its source and formation pathway.In summary,the automatic measurement system serves as an important tool for the on-line characterization and identification of organic species in PM_(2.5).

关键词： PM_(2.5) Chemical composition On-line measurement technique High resolution mass spectrometry

Ergodicity of 3D Stochastic Burgers Equation

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2024年第2期40卷 498-510页

作者： Zhao dong Jiang Lun wu Guo Li ZHOU RCSDS Academy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing 100190P.R.China Department of Mathematics Computational FoundrySwansea UniversitySwansea SA18ENUK College of Mathematics and Statistics Chongqing UniversityChongqing 400044P.R.China

3D Burgers equation is an important model for turbulence.It is natural to expect the long-time behaviour for this hydrodynamics equation.However,there is no result about the long-time behaviour for this deterministic model.Surprisingly,if the system is perturbed by stochastic noise,we establish the existence and uniqueness of invariant measure for 3D stochastic Burgers equation.

关键词： 3D stochastic Burgers equations maximum principle ergodicity