基于UPPAAL软件的实时系统设计研究

UPPAAL是丹麦Aalborg和瑞士Uppsala大学联合开发,具有世界先进水平的实时系统模拟,校核的软件,基于对实时系统严密逻辑,真实时间的抽象,而构建时间状态机动态模型网络,模拟,校核系统,检测潜在失败,保证设计可靠性,雷达传感器内存接口实时系统是航天雷达系统重要组成部分。本文UPPAAL软件对此系统精确的动态数学模型,模拟,校核系统,覆盖各设计阶段,保证实时系统设计可靠性。     

基于赋时可重构Petri网的可重构制造系统建模

系统建模是可重构制造系统生产管理控制技术的基础。分析了可重构制造系统的建模需求,提出基于赋时可重构Petri网的可重构制造系统建模的方法。该建模方法是先建立可重构制造系统当前系统的赋时可重构Petri网模型,再通过修改其建模元素得到可重构制造系统重构后系统的赋时可重构Petri网模型。实例研究表明基于赋时可重构Petri网的可重构制造系统建模方法能够满足可重构制造系统的建模需求,因此它是可重构制造系统的正确的形式化表示。     

基于改进LF算法的雷达信号分选

在现代战争中随着新体制雷达的不断涌现,电磁环境变得越来越复杂,雷达脉冲相互交错,雷达信号的处理面临高密度信号环境。目前普遍采用的基于直方图统计的信号分选方法越来越不适应现代雷达信号环境。将蚁群聚类算法引入到雷达信号分选中,并对其进行了改进,提出了一种新的雷达信号分选方法。该方法不需要雷达信号的先验知识,适用于处理未知信...     

基于混合动态系统理论的事故过程建模方法

为了研究系统事故机理,建立有效的事故过程模型,分析了事故过程的特征,指出其呈现离散与连续动态行为交互的混合特性.针对现有事故过程建模方法在描述该混合特性时的不足,提出了基于混合动态系统理论的建模方法,建立了事故过程的混合自动机模型,在Simulink/Stateflow环境下进行仿真.实现了事故过程的连续机理与状态运转...     

模拟金属表面局部腐蚀的CA方法

模拟金属的局部腐蚀,采用元胞自动机方法(CA),提出模拟金属表面局部腐蚀的元胞自动机模型框架,将金属-溶剂体系离散成元胞网格,对金属腐蚀中涉及的转化、渗透、扩散等过程进行局部规则的定义。引入参数,λ和ε,建立腐蚀速率的参数化模型。在此基础上利用Matlab编程实现了对无防护层和有防护层金属表面局部腐蚀的复杂模拟。模拟结果表明:=1时,无防护层的金属表面发生普遍的均匀腐蚀,金属内部发生多种形式的局部腐蚀;而含防护层的金属表面腐蚀,在不同的参数λ和ε条件下,可得到不同的点腐蚀形貌。结果表明,CA方法可以实现对金属表面局部腐蚀的复杂模拟,而参数化模型的λ和ε则引起了腐蚀形貌的差异。     

热塑性成形过程微观组织模拟研究新进展

金属在热塑性成形过程中微观组织发生晶粒形核、长大、相变、再结晶等一系列的复杂变化,直接影响加工过程与产品的机械性能。本文对目前应用在热成形微观组织演变模拟方面的主要模拟技术作了比较全面的评述,对比了不同微观组织模拟方法,总结了利用各种模拟技术所取得的最新研究成果。     

关于格子Boltzmann方法的几个问题(Ⅰ)

格子气方法及后续发展的格子Boltzmann方法,是一种完全不同于传统流场计算的基于介观物理的新方法.由于其内在的优势,尽管该方法问世不过几十年的时间,就在传统计算流体力学难于处理的研究领域得到了广泛的应用,被誉为是现代流体力学的一场变革.文章主要论述了格子Boltzmann方法有关学术思想的源头,论述在该论题发展过程中的一些关键性工作.     

包过滤防火墙在仿真平台中的研究与实现

网络安全仿真是进行网络安全研究的重要手段,而防火墙的仿真是该手段的必要组成部分.本文重点研究防火墙仿真技术,对防火墙规则进行了形式化描述,并给出包过滤过程的自动机设计,基于此,在GTNetS仿真平台中实现了一个包过滤防火墙,并使用适当的测试用例验证了其正确性.     

基于时间自动机的AADL端到端流的延迟分析

对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议.      

基于STPA的飞机交流系统供电转换安全性分析方法研究

飞机交流发电系统是整机的主要电力来源,应对其进行完善的安全性分析。传统安全性分析方法对系统组件间非线性交互引起的安全问题关注较少,当研制型号支持数据不足时,存在分析遗漏风险。根据典型交流发电系统供电转换过程基本特点,基于STPA方法构建安全控制结构图,识别不安全控制行为（UCA）,引入相似系统的失效模式及影响分析（FMEA）结果,分析UCA致因因素和致因场景,使用时间自动机理论的形式化工具进行系统建模与验证;通过专家评判及事故对比来验证该方法的正确性。结果表明：在传统分析方法的基础上引入STPA方法,能够有效识别出不安全控制行为和事故发生的原因,该方法可以作为传统方法的有效补充。