期刊文献+
共找到256篇文章
< 1 2 13 >
每页显示 20 50 100
上海世博会出行方式选择意愿建模与场景分析 被引量:11
1
作者 杜豫川 蒋盛川 +1 位作者 朱迪 孙立军 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2010年第4期515-520,共6页
针对2010年上海世博会客流来源广泛、背景差异大的特点,设计了两阶段递进式的SP(stated preference survey)调查方法,进行了大规模的世博客流出行方式选择意愿调查,多层次地分析了各种影响因素的效用;以此为基础,建立了描述本地、外地... 针对2010年上海世博会客流来源广泛、背景差异大的特点,设计了两阶段递进式的SP(stated preference survey)调查方法,进行了大规模的世博客流出行方式选择意愿调查,多层次地分析了各种影响因素的效用;以此为基础,建立了描述本地、外地住宿、外地一日游等不同类型游客出行方式选择行为的多项Logit模型;利用这些出行方式离散选择模型,分析对比了多种交通管理措施和政策的组合场景实施效果,针对性地给出了世博交通管理的建议措施. 展开更多
关键词 世博交通管理 出行方式选择 递进式SP(stated PREFERENCE survey)调查 离散选择模型 场景分析
在线阅读 下载PDF
Independent dual-band bound states in the continuum based on terahertz all-dielectric metasurfaces
2
作者 WANG Yu LIU Yang +5 位作者 HAO Xiao-yu ZHENG Si-yu LIU Meng ZHANG Yu-ping ZHAN Yi ZHANG Hui-yun 《中国光学(中英文)》 北大核心 2025年第5期1230-1242,共13页
Compared to traditional single-frequency bound states in the continuum(BIC),dual-band BIC of-fers higher degrees of freedom and functionality.Moveover,implementing independent control of dual-band BICs can further enh... Compared to traditional single-frequency bound states in the continuum(BIC),dual-band BIC of-fers higher degrees of freedom and functionality.Moveover,implementing independent control of dual-band BICs can further enhance their advantages and maximize their performance.This study presents a design for a dielectric metasurface that achieves dual-band BICs in the terahertz(THz)range.By adjusting two asym-metry parameters of the structure,independent control of the two symmetry-protected BICs is achieved.Fur-thermore,by varying the shape of the silicon holes,the design's robustness to geometric variations is demon-strated.Finally,the test results show that the figures of merit(FOMs)for both BICs reach 109.This work provides a new approach for realizing and tuning dual-frequency BICs,offering expanded possibilities for applications in multimode lasers,nonlinear optics,multi-channel filtering,and optical sensing. 展开更多
关键词 dual-band bound states in the continuum metasurface terahertz sensing symmetry protection
在线阅读 下载PDF
Advances in integrated polarization detectors with innovative features
3
作者 BU Yong-Hao ZHOU Jing +8 位作者 DENG Jie WANG Ruo-Wen YE Tao SHI Meng-Die HUANG Jun-Wei ZHANG Yu-Jie NING Jun LU Wei CHEN Xiao-Shuang 《红外与毫米波学报》 北大核心 2025年第3期371-383,共13页
The polarization properties of light are widely applied in imaging,communications,materials analy⁃sis,and life sciences.Various methods have been developed that can measure the polarization information of a target.How... The polarization properties of light are widely applied in imaging,communications,materials analy⁃sis,and life sciences.Various methods have been developed that can measure the polarization information of a target.However,conventional polarization detection systems are often bulky and complex,limiting their poten⁃tial for broader applications.To address the challenges of miniaturization,integrated polarization detectors have been extensively explored in recent years,achieving significant advancements in performance and functionality.In this review,we focus mainly on integrated polarization detectors with innovative features,including infinitely high polarization discrimination,ultrahigh sensitivity to polarization state change,full Stokes parameters measure⁃ment,and simultaneous perception of polarization and other key properties of light.Lastly,we discuss the oppor⁃tunities and challenges for the future development of integrated polarization photodetectors. 展开更多
关键词 integrated polarization detector infinite polarization extinction ratio polarization state change detection full-Stokes multidimensional detection
在线阅读 下载PDF
Normalized Positive Ground State Solutions for Nonhomogeneous Kirchhoff Equations
4
作者 ZHANG Xiaocang XU Liping 《应用数学》 北大核心 2025年第3期711-720,共10页
This article studies a class of nonlinear Kirchhoff equations with exponential critical growth,trapping potential,and perturbation.Under appropriate assumptions about f and h,the article obtained the existence of norm... This article studies a class of nonlinear Kirchhoff equations with exponential critical growth,trapping potential,and perturbation.Under appropriate assumptions about f and h,the article obtained the existence of normalized positive solutions for this equation via the Trudinger-Moser inequality and variational methods.Moreover,these solutions are also ground state solutions.Additionally,the article also characterized the asymptotic behavior of solutions.The results of this article expand the research of relevant literature. 展开更多
关键词 Normalized positive ground state solution Nonhomogeneous Kirchhoff equation Variational method Exponential critical growth Trapping potential
在线阅读 下载PDF
Second-Order Topological Insulators in 2D Electronic Materials
5
作者 FENG Xiao-ran NIU Cheng-wang +1 位作者 HUANG Bai-biao DAI Ying 《物理学进展》 北大核心 2025年第1期1-31,共31页
Higher-order band topology not only enriches our understanding of topological phases but also unveils pioneering lower-dimensional boundary states,which harbors substantial potential for next-generation device applica... Higher-order band topology not only enriches our understanding of topological phases but also unveils pioneering lower-dimensional boundary states,which harbors substantial potential for next-generation device applications.The distinct electronic configurations and tunable attributes of two-dimensional materials position them as a quintessential platform for the realization of second-order topological insulators(SOTIs).This article provides an overview of the research progress in SOTIs within the field of two-dimensional electronic materials,focusing on the characterization of higher-order topological properties and the numerous candidate materials proposed in theoretical studies.These endeavors not only enhance our understanding of higher-order topological states but also highlight potential material systems that could be experimentally realized. 展开更多
关键词 second order topological insulator corner state 2D electronic material
在线阅读 下载PDF
非集计模型在停车换乘选择行为中的应用 被引量:7
6
作者 熊萍 杨东援 《深圳大学学报(理工版)》 EI CAS 北大核心 2008年第2期206-210,共5页
应用非集计Logit模型,建立停车换乘选择行为的效用函数.针对2010年上海世界博览会自驾车参观者,讨论停车换乘选择行为SP调查的问卷设计与实施方法,建立停车换乘选择行为模型,并对模型进行求解分析,提出相关交通对策,指出非集计模型在停... 应用非集计Logit模型,建立停车换乘选择行为的效用函数.针对2010年上海世界博览会自驾车参观者,讨论停车换乘选择行为SP调查的问卷设计与实施方法,建立停车换乘选择行为模型,并对模型进行求解分析,提出相关交通对策,指出非集计模型在停车换乘行为研究方面可应用于停车换车设施需求预测支持、相关交通政策与服务模式决策支持,以及停车换乘设施的选址决策与评价支持. 展开更多
关键词 交通规划 非集计模型 停车换乘 行为研究 效用函数 stated preference调查
在线阅读 下载PDF
Evaluation of detonation performance of explosives ICM-101,ONC,and TNAZ based on improved VHL equation of state
7
作者 Yong Han Qin Liu +2 位作者 Yingliang Duan Yaqi Zhao Xinping Long 《Defence Technology(防务技术)》 2025年第2期83-97,共15页
Detonation performance is crucial for evaluating the power of high explosives(HEs),and the equation of state(EOS)that accurately describes the high-temperature,high-pressure,and high-temperature,medium-pressure states... Detonation performance is crucial for evaluating the power of high explosives(HEs),and the equation of state(EOS)that accurately describes the high-temperature,high-pressure,and high-temperature,medium-pressure states of detonation products is key to assessing the damage efficiency of these energetic materials.This article examines the limitations of the VLW EOS in representing the thermodynamic states of explosive detonation gas products under high-temperature and medium-to high-pressure conditions.A new gas EOS for detonation products,called VHL(Virial-Han-Long),is proposed.The accuracy of VHL in describing gas states under high-temperature and medium-to high-pressure conditions is verified,and its performance in evaluating explosive detonation and working capabilities is explored.The results demonstrate that VHL exhibits high precision in calculating detonation performance.Subsequently,the detonation performance of three new HEs(ICM-101,ONC,and TNAZ)was calculated and compared to traditional HEs(TATB,CL-20,and HMX).The results indicate that ONC has superior detonation performance compared to the other explosives,while ICM-101 shows a detonation velocity similar to CL-20 but with slightly lower detonation pressure.The detonation characteristics of TNAZ are comparable to those of the standard HE HMX.From the perspective of products,considering the comprehensive work performance(mechanical work and detonation heat),both ONC and ICM-101demonstrate relatively superior performance. 展开更多
关键词 Equation of state Detonation performance Working capability THERMODYNAMICS High explosive
在线阅读 下载PDF
Static compressive mechanical properties and disturbed state concept-based theoretical model of gypsum rocks with coupled influences of wet-dry cycles and flow rates
8
作者 JIANG Song HUANG Ming +2 位作者 WANG Gang XU Chao-shui XIONG Jun 《Journal of Central South University》 2025年第7期2638-2660,共23页
Gypsum rocks are highly susceptible to mechanical deterioration under the coupled effects of wet-dry(W-D)cycles and flow rates,which significantly influence the stability of underground excavations.Despite extensive r... Gypsum rocks are highly susceptible to mechanical deterioration under the coupled effects of wet-dry(W-D)cycles and flow rates,which significantly influence the stability of underground excavations.Despite extensive research on the effects of W-D cycles,the coupling influence of flow rates and W-D cycles on gypsum rocks remains poorly understood.This study investigates the mechanical behavior and deterioration mechanisms of gypsum rocks subjected to varying W-D cycles and flow rate conditions.Axial compression tests,along with nuclear magnetic resonance(NMR)techniques,were employed to analyze the stress-strain response and microstructural changes.Based on the disturbed state concept(DSC)theory,a W-D deterioration model and a DSC-based constitutive model were developed to describe the degradation trends and mechanical responses of gypsum rocks under different conditions.The results demonstrate that key mechanical indices,elastic modulus,cohesion,uniaxial compressive strength(UCS),and internal friction angle,exhibit logarithmic declines with increasing W-D cycles,with higher flow rates accelerating the deterioration process.The theoretical models accurately capture the nonlinear compaction behavior,peak stress,and post-peak response of gypsum specimens.This study provides valuable insights for predicting the mechanical behavior of gypsum rocks and improving the stability assessments of underground structures under complex environmental conditions. 展开更多
关键词 gypsum rocks wet-dry cycles flow rates mechanical properties disturbed state concept
在线阅读 下载PDF
Development and experimental validation of the dynamic constitutive model and equation of state for Mo-10Cu alloy
9
作者 Bihui Hong Wenbin Li +3 位作者 Yiming Li Weihang Li Peng Chen Yalong Wang 《Defence Technology(防务技术)》 2025年第9期145-158,共14页
This study systematically investigates the mechanical response characteristics of Mo-10Cu pseudo-alloy under various conditions,including temperatures ranging from 298 K to 550 K,strain rates from1×10^(-2)s^(-1)t... This study systematically investigates the mechanical response characteristics of Mo-10Cu pseudo-alloy under various conditions,including temperatures ranging from 298 K to 550 K,strain rates from1×10^(-2)s^(-1)to 5.2×10^(3)s^(-1),and dynamic impact loads from 134 m/s to 837 m/s.The investigation is conducted using a combination of multi-method crossover experiment and numerical simulations,with accuracy validated through X-ray testing and static penetration test.Using a universal testing machine,Split-Hopkinson Pressure Bar(SHPB)system,and a light-gas gun,the dynamic constitutive behavior and shock adiabatic curves of the alloy under complex loading conditions are revealed.Experimental results demonstrate that the flow stress evolution of Mo-10Cu alloy exhibits significant strain hardening,and strain-rate strengthening.Based on these observations,a Johnson-Cook(J-C)constitutive model has been developed to describe the material's dynamic behavior.Through free-surface particle velocity measurements,the shock adiabatic relationship was obtained,and a Gruneisen equation of state was established.X-ray experimental results confirm that the Mo-10Cu liner can generate well-formed,cohesive jets.The penetration test results show that the maximum penetration depth can reach243.10 mm.The maximum error between the numerical simulation and the X-ray test is less than 7.70%,and the error with the penetration test is 4.73%,which confirms the accuracy of the constitutive parameters and the state equation.In conclusion,the proposed J-C model and Gruneisen equation effectively predict the dynamic response and jet formation characteristics of Mo-10Cu alloy under extreme loads.This work provides both theoretical support and experimental data for material design and performance optimization in shaped charge applications. 展开更多
关键词 Shaped charge Mo-10Cu alloy Johnson-cook Gruneisen equation of state X-RAY PENETRATION
在线阅读 下载PDF
Factor graph method for target state estimation in bearing-only sensor network
10
作者 CHEN Zhan FANG Yangwang +1 位作者 ZHANG Ruitao FU Wenxing 《Journal of Systems Engineering and Electronics》 2025年第2期380-396,共17页
For target tracking and localization in bearing-only sensor network,it is an essential and significant challenge to solve the problem of plug-and-play expansion while stably enhancing the accuracy of state estimation.... For target tracking and localization in bearing-only sensor network,it is an essential and significant challenge to solve the problem of plug-and-play expansion while stably enhancing the accuracy of state estimation.This paper pro-poses a distributed state estimation method based on two-layer factor graph.Firstly,the measurement model of the bearing-only sensor network is constructed,and by investigating the observ-ability and the Cramer-Rao lower bound of the system model,the preconditions are analyzed.Subsequently,the location fac-tor graph and cubature information filtering algorithm of sensor node pairs are proposed for localized estimation.Building upon this foundation,the mechanism for propagating confidence mes-sages within the fusion factor graph is designed,and is extended to the entire sensor network to achieve global state estimation.Finally,groups of simulation experiments are con-ducted to compare and analyze the results,which verifies the rationality,effectiveness,and superiority of the proposed method. 展开更多
关键词 factor graph cubature information filtering bearing-only sensor network state estimation
在线阅读 下载PDF
Distributed event-triggered control for UAV swarm target fencing with network connectivity preservation and collision avoidance
11
作者 Xiuxia Yang Hao Yu +1 位作者 Yi Zhang Wenqiang Yao 《Defence Technology(防务技术)》 2025年第8期412-427,共16页
This paper proposes a distributed event-triggered control(ETC)framework to address cooperative target fencing challenges in UAV swarm.The proposed architecture eliminates the reliance on preset formation parameters wh... This paper proposes a distributed event-triggered control(ETC)framework to address cooperative target fencing challenges in UAV swarm.The proposed architecture eliminates the reliance on preset formation parameters while achieving multi-objective cooperative control for target fencing,network connectivity preservation,collision avoidance,and communication efficiency optimization.Firstly,a differential state observer is constructed to obtain the target's unmeasurable states.Secondly,leveraging swarm selforganization principles,a geometric-constraint-free distributed fencing controller is designed by integrating potential field methods with consensus theory.The controller dynamically adjusts inter-UAV distances via single potential function,enabling coordinated optimization of persistent network connectivity and collision-free motion during target fencing.Thirdly,a dual-threshold ETC mechanism based on velocity consensus deviation and fencing error is proposed,which can be triggered based on task features to dynamically adjust the communication frequency,significantly reduce the communication burden and exclude Zeno behavior.Theoretical analysis demonstrates the stability of closed-loop systems.Multi-scenario simulations show that the proposed method can achieve robust fencing under target maneuverability,partial UAV failures,and communication disturbances. 展开更多
关键词 Dual-threshold ETC mechanism UAV swarm Cooperative control Distributed control Target fencing Differential state observer
在线阅读 下载PDF
Non-singular fast terminal sliding mode control for roll-pitch seeker based on extended state observers
12
作者 XIAO Bowen XIA Qunli 《Journal of Systems Engineering and Electronics》 2025年第2期537-551,共15页
For air-to-air missiles, the terminal guidance’s preci-sion is directly contingent upon the tracking capabilities of the roll-pitch seeker. This paper presents a combined non-singular fast terminal sliding mode contr... For air-to-air missiles, the terminal guidance’s preci-sion is directly contingent upon the tracking capabilities of the roll-pitch seeker. This paper presents a combined non-singular fast terminal sliding mode control method, aimed at resolving the frame control problem of roll-pitch seeker tracking high maneu-vering target. The sliding mode surface is structured around the principle of segmentation, which enables the control system’s rapid attainment of the zero point and ensure global fast conver-gence. The system’s state is more swiftly converged to the slid-ing mode surface through an improved adaptive fast dual power reaching law. Utilizing an extended state observer, the overall disturbance is both identified and compensated. The validation of the system’s stability and its convergence within a finite-time is grounded in Lyapunov’s stability criteria. The performance of the introduced control method is confirmed through roll-pitch seeker tracking control simulation. Data analysis reveals that newly proposed control technique significantly outperforms existing sliding mode control methods by rapidly converging the frame to the target angle, reduce the tracking error of the detec-tor for the target, and bolster tracking precision of the roll-pitch seeker huring disturbed conditions. 展开更多
关键词 air-to-air missile roll-pitch seeker finite-time con-vergence combined sliding mode control extended state observer
在线阅读 下载PDF
Risk adjustable optimal operation for electricity-hydrogen integrated energy system based on chance constrained goal programming
13
作者 ZHOU Xiao-jun HU Jia-ming +1 位作者 LI Chao-jie YANG Chun-hua 《Journal of Central South University》 2025年第6期2224-2238,共15页
The electricity-hydrogen integrated energy system(EH-IES)enables synergistic operation of electricity,heat,and hydrogen subsystems,supporting renewable energy integration and efficient multi-energy utilization in futu... The electricity-hydrogen integrated energy system(EH-IES)enables synergistic operation of electricity,heat,and hydrogen subsystems,supporting renewable energy integration and efficient multi-energy utilization in future low carbon societies.However,uncertainties from renewable energy and load variability threaten system safety and economy.Conventional chance-constrained programming(CCP)ensures reliable operation by limiting risk.However,increasing source-load uncertainties that can render CCP models infeasible and exacerbate operational risks.To address this,this paper proposes a risk-adjustable chance-constrained goal programming(RACCGP)model,integrating CCP and goal programming to balance risk and cost based on system risk assessment.An intelligent nonlinear goal programming method based on the state transition algorithm(STA)is developed,along with an improved discretized step transformation,to handle model nonlinearity and enhance computational efficiency.Experimental results show that the proposed model reduces costs while controlling risk compared to traditional CCP,and the solution method outperforms average sample sampling in efficiency and solution quality. 展开更多
关键词 electricity-hydrogen integrated energy system chance constrained goal programming risk adjustment state transition algorithm
在线阅读 下载PDF
Attitude estimation for spacecraft docking based on EMVS array via PARAFAC algorithm
14
作者 LIU Bingqi CHEN Guangdong +1 位作者 LIU Zhuhang SONG He 《Journal of Systems Engineering and Electronics》 2025年第3期623-633,共11页
A spacecraft attitude estimation method based on electromagnetic vector sensors(EMVS)array is proposed,which employs the orthogonally constrained parallel factor(PARAFAC)algorithm and makes use of measurements of the ... A spacecraft attitude estimation method based on electromagnetic vector sensors(EMVS)array is proposed,which employs the orthogonally constrained parallel factor(PARAFAC)algorithm and makes use of measurements of the two-dimensional direction-of-arrival(2D-DOA)and polarization angles,aiming to address the issues of incomplete,asynchronous,and inaccurate third-party reference used for attitude estimation in spacecraft docking missions by employing the electromagnetic wave’s three-dimensional(3D)wave structure as a complete third-party reference.Comparative analysis with state-ofthe-art algorithms shows significant improvements in estimation accuracy and computational efficiency with this algorithm.Numerical simulations have verified the effectiveness and superiority of this method.A high-precision,reliable,and cost-effective method for rapid spacecraft attitude estimation is provided in this paper. 展开更多
关键词 parallel factor(PARAFAC)analysis electromagnetic vector sensors attitude estimation state of polarization spacecraft docking
在线阅读 下载PDF
Determining the parameters and chemical behaviour of the overdriven detonation reaction zone of CL-20-based aluminized explosives
15
作者 Moyan Liu Yan Liu +3 位作者 Fan Bai Hongfu Wang Shanyong Chu Fenglei Huang 《Defence Technology(防务技术)》 2025年第5期46-66,共21页
The new CL-20(hexanitrohexaazaisowurtzitane)type aluminized explosives in the overdrive detonation(ODD)conditions of the core problem is how to accurately represent the state of the overdrive detonation products.To th... The new CL-20(hexanitrohexaazaisowurtzitane)type aluminized explosives in the overdrive detonation(ODD)conditions of the core problem is how to accurately represent the state of the overdrive detonation products.To this end,this paper is based on the impedance matching method to test the ODD conditions of CL-20 type aluminium explosive particle velocity.Calculated the interfacial pressure of the shock wave in different media.Determined the characteristic parameters of the reaction zone of the detonation of CL-20 aluminized explosives.Calibrated the parameters of the JoneseWilkinseLee(JWL)+γ equation for the detonation products(DPs).Revealed the effect of different DPs equation of state(EOS)on the Hugoniot pressure of ODD.The results indicate that when the content of aluminum powder ranges from 0%to 30%,the duration of the ODD reaction zone and the width of the detonation reaction zone of the CL-20-based aluminized explosive are directly proportional to the content of aluminum powder.The width of the detonation reaction zone is increased by 1.97 times to 2.7 times compared to that of the reaction zone without the addition of aluminum powder.However,the energy release efficiency of the detonation reaction zone is inversely proportional to the content of aluminum powder.When the aluminum powder content was held constant,the incorporation of AP caused a 25%reduction in the energy release efficiency of the detonation reaction zone.Compared with existing ODD state equations,the JWL +γ equation is superior in calibrating overpressure Hugoniot data and the isentropic expansion in the C-J state.The deviation between calculated pressure results and experimental measurements is within 6%. 展开更多
关键词 Equation of state for ODD CL-20-based aluminized explosives Detonation reaction zone Impedance matching Interfacial particle velocity
在线阅读 下载PDF
观察电针健康受试者不同经穴对Resting-state fMRI脑功能连接的影响 被引量:9
16
作者 石文英 李平 +7 位作者 娄必丹 李金香 范磊 罗容 唐健 周有君 廖玲 章薇 《中华中医药学刊》 CAS 北大核心 2017年第12期3029-3032,I0017,共5页
目的:观察比较电针心经穴与心包经穴时激活脑区的功能连接变化差异,为临床运用针刺心经、心包经穴治疗相关疾病提供实验依据。方法:将符合纳入标准的29例健康受试者随机分为电针心经穴组14例和电针心包经穴组15例,以双侧后扣带回为种子... 目的:观察比较电针心经穴与心包经穴时激活脑区的功能连接变化差异,为临床运用针刺心经、心包经穴治疗相关疾病提供实验依据。方法:将符合纳入标准的29例健康受试者随机分为电针心经穴组14例和电针心包经穴组15例,以双侧后扣带回为种子点,采用功能连接作为观察指标,分析两组电针刺激状态下脑功能连接的差异。结果:两组电针前静息状态下的脑功能连接比较未发现存在明显差异的脑区。电针心经穴与心包经穴时脑内功能网络均发生改变,前者出现功能连接增强的区域为右侧额下回、左侧颞下回、右侧顶下小叶、右侧海马旁回,新激活脑区为双侧中央后回、左侧中央前回、右侧楔前叶、左侧角回、左侧枕下回、左侧脑岛(P<0.05);后者出现功能连接增强的区域为右侧顶上小叶,新激活脑区为左侧小脑舌、左侧顶叶楔前叶、右侧枕下回、左侧豆状核、右侧脑岛(P<0.05)。结论:(1)大脑在无任务的安静、清醒状态下存在一定的功能活动。(2)电针心经、心包经穴广泛激活的脑区主要与精神、神志、智力等密切相关,为临床上选用二者治疗与上述脑区相关的精神、神志类疾病提供了重要的客观依据。电针心经激活的中央前回为皮质运动前区,与对侧肢体运动功能密切相关,它的激活为临床上治疗中风肢体功能障碍选用手少阴心经穴提供了佐证。两组均激活的脑岛与心血管的功能关系密切,为临床上选用心经、心包经穴治疗心血管病提供了部分影像学依据。两条经脉的主治有交叉性,均可用于治疗心脑相关疾病,同时又各有偏颇,心包经多用于治疗与心相关疾病,而心经更多用于治疗精神神志类疾病。 展开更多
关键词 电针 心经 心包经 Resting—state fMRI 功能连接
在线阅读 下载PDF
基于时间抽象状态机的AADL模型验证 被引量:10
17
作者 杨志斌 胡凯 +2 位作者 赵永望 马殿富 Jean-Paul BODEVEIX 《软件学报》 EI CSCD 北大核心 2015年第2期202-222,共21页
提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的元语言形式定义转换规则.在此基础... 提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的元语言形式定义转换规则.在此基础上,基于AADL开源建模环境OSATE(open source AADL tool environment)设计并实现了AADL模型验证与分析工具AADL2TASM,并基于航天器导航、制导与控制系统(guidance,navigation and control)进行了实例性验证. 展开更多
关键词 AADL(architecture analysis and design language) TASM(timed ABSTRACT state machine) 模型转换 形式验证
在线阅读 下载PDF
基于Petri网的锂电池故障诊断系统 被引量:6
18
作者 高迪驹 兰熙 沈爱弟 《系统仿真学报》 CAS CSCD 北大核心 2018年第2期614-621,共8页
为了提高锂电池故障诊断系统的效率,提出一种基于Petri网的锂电池故障诊断系统。通过对锂电池组在充放电过程中会出现单体电池间电压不一致的故障进行分析,建立了基于Petri网的故障诊断模型。该系统能够根据传感器检测到的异常信号,诊... 为了提高锂电池故障诊断系统的效率,提出一种基于Petri网的锂电池故障诊断系统。通过对锂电池组在充放电过程中会出现单体电池间电压不一致的故障进行分析,建立了基于Petri网的故障诊断模型。该系统能够根据传感器检测到的异常信号,诊断出相应的故障原因。利用state flow根据所建立的故障诊断模型绘制出相应的控制逻辑图,并用simulink进行仿真。模型验证和仿真的结果表明该诊断系统对导致电压不一致的故障原因能够给出更加细致的诊断结果,从而提高电池管理系统的工作效率。 展开更多
关键词 PETRI网 在线故障诊断 锂电池 STATE FLOW
在线阅读 下载PDF
复杂系统建模的ε机理论方法及应用研究 被引量:5
19
作者 张淑清 李盼 +2 位作者 师荣艳 翟欣沛 姜兴广 《仪器仪表学报》 EI CAS CSCD 北大核心 2014年第8期1758-1765,共8页
提出一种ε机理论发现复杂系统中隐含模式的新思路。该方法能在对系统内部结构无法知晓的情况下,不需要假设而根据系统自身的特性建模。先对时间序列进行符号化处理,生成符号序列。再采取因果态分割重构法重构ε机,重构后能够显示出原... 提出一种ε机理论发现复杂系统中隐含模式的新思路。该方法能在对系统内部结构无法知晓的情况下,不需要假设而根据系统自身的特性建模。先对时间序列进行符号化处理,生成符号序列。再采取因果态分割重构法重构ε机,重构后能够显示出原始序列中的隐含信息。通过对工程中配电网系统故障选线的多组实验证明,4个评判指标:熵率、统计复杂度、状态数和相对熵率能够一致地显示出各条线路的隐含信息,在几个关键影响因素改变的情况下均能有效地区分故障线路和非故障线路。从而验证了ε机理论在复杂系统建模中的优越性,为复杂系统建模提供了一种有效途径,也为配电网故障选线提供了一种新的方法。 展开更多
关键词 复杂系统建模 ε机重构 符号化 因果态分割重构 故障选线 casual STATE SPLITTING RECONSTRUCTION (CSSR)
在线阅读 下载PDF
多频听觉稳态反应研究进展 被引量:9
20
作者 张森 王斌全 皇甫辉 《听力学及言语疾病杂志》 CAS CSCD 2006年第4期316-318,共3页
关键词 稳态电位 听觉系统 反应 40Hz相关电位 STATE 频率特异性 生理测试 结果判断 声刺激 国内外
在线阅读 下载PDF
上一页 1 2 13 下一页 到第
使用帮助 返回顶部