基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

基于网口轨迹的空间绳网捕获

空间绳网是一种柔性的捕获技术,为更准确地研究绳网捕获空间目标的过程,提出了一种基于网口轨迹的分析方法。采用集中质量法和Hertz接触理论构建了绳网捕获目标的动力学模型。将绳网捕获目标的过程按时间先后顺序分为自由展开、包裹目标以及利用收口装置捕获目标3个阶段进行研究。基于对网口轨迹的分析,提出了绳网成功捕获目标的评价指标,重点对捕获过程中涉及的相关参数进行分析,评估了包括发射速度、捕获距离、收口时间以及偏心距离等在内的捕获参数对绳网捕获目标过程的影响。仿真结果表明,基于网口轨迹的分析方法可以更直观全面地分析绳网捕获目标的过程,并为捕获参数的选择提供参考依据,以提高绳网捕获目标的成功率。     

基于扩展Petri网的飞机装配系统设备调度方法

针对飞机装配过程中设备调度的复杂性,提出了基于扩展Petri网构建设备调度模型的新方法。结合飞机装配的实际特点,论述了模型定义过程和建立方法。该模型以面向对象Petri网表达飞机装配过程,以赋时Petri网将装配过程与辅助设备相关联,利用混合算法以时间和设备利用率为目标对模型进行优化求解。以某模型飞机中机身装配过程为例,应用该方法进行建模并求解,实例应用与分析表明该方法对实际装配设备调度具有较大的指导意义。     

基于Petri网的UML状态迁移策略

分析了统一建模语言(UML,Unified Modeling Language)状态图相关语义,阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力.为得到UML状态图无二义性的、可执行的和可验证的模型,在着色Petri网和层次化Petri网研究成果基础上,研究提出层次着色Petri网(HCPN,Hierarchical Colored Petri Net).HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联.通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Petri网.标注Petri网可用于指导基于事件驱动的仿真过程,而标注Petri网转换得到的基本Petri网可用来进行特性分析,从而对所描述的UML状态图模型给出合理的评价,有利于建模系统的改进.      

北五味子光合日变化特性的研究

用LI-6400型光合测定系统,测定了北五味子Schisandra chinensis Baill叶片光合作用的日变化,结果表明,北五味子叶片净光合速率(Pn)呈双峰型变化.清晨随着日出,Pn随光照强度和温度的增加而增加,在11:00达到高峰,随后下降,到15:00时出现第2个高峰,但峰值比第1个的低.5:00-11:00及15:00-19:00的光合变化与光照强度和温度的变化趋势基本一致,11:00-14:00光合作用随光照强度和温度的增加而下降,出现了明显的光合"午休"现象.相关性分析表明,光合午休与中午高光强、高温和低湿有关.气孔导度(Gs)和蒸腾速率(Tr)也为双峰型曲线,Pn与Gs、Tr呈显著正相关,通过对胞间二氧化碳浓度的分析表明,气孔限制在北五味子叶片的"光合午休"中起了一定作用.     

周边桁架可展开天线网面初始平衡态寻求方法

针对周边桁架可展开天线索网反射面的特点，以结构的几何外形为已知量（设计者给定），给定一组初始预应力为迭代初值，并给模型的各节点施加一个小△的位移量，迭代反算求解出一组预拉力以及与之相应的几何参数，即可确定网面的初始平衡态，并通过ANSYS反算验证。算例表明该法简单实用。     

基于Petri网和UML的工作流模型设计

介绍了工作流的概念及发展过程,讨论工作流建模的基本方法。重点分析Petri网和UM L在工作流模型设计过程中的应用,结合Petri网语义定义工具和图形化界面以及UM L的面向对象特点,形成基于Petri网和UM L的工作流建模方法。工作流模型的语义定义采用Petri网表达,给出工作流网的形式化描述。工作流系统的设计模型采用UM L进行定义,对于业务逻辑、执行过程、数据结构分别采用用户实例图、顺序图、类图进行描述。在工作流的实现上,采用软组件实现工作流服务组件的分布布置,并通过接口定义语言对功能组件中的服务进行发布。最后给出工作流的发展趋势,并计划开展工作流仿真和优化方面的研究。     

基于NBF网络的导弹航向平面滑模控制导引一体化

提出了一种反舰导弹针对水面机动目标的航向平面控制导引一体化设计方案。建立了航向平面的一体化控制导引模型,然后基于NBF网络切换增益调节和滑模控制的思想进行了控制导引律的设计,为了验证该一体化设计的有效性和正确性,进行了仿真计算。仿真结果表明,针对高机动的水面目标命中精度很高。     

任务准备期内的军用飞机瞬时可用度

军用飞机是一种复杂的可修系统,其瞬时可用度计算是装备综合保障领域研究的难点。本文构建了基于作战任务和飞机技术状态驱动的随机维修网络(SMTN),SMTN中各项活动的维修时间服从不同分布,定义了SMTN的矩母函数并求解系统维修度函数的数字特征,将得到的期望和方差分别代入不同分布形式函数进行验证,从而选定符合实际情况的SMTN的维修度函数,并对任务准备期内的军用飞机可用度进行仿真。在计算过程中基于蒙特卡罗技术设计了一种新方法,在提高计算效率的同时,可以较好地反映维修保障过程的逻辑性、拓扑性和随机性,仿真结果可以真实反映装备在任务准备期内瞬时可用度的波动规律。该方法可以广泛应用到各种复杂的可修系统,为装备的使用决策提供依据,为保障系统的保障效能评估提供量化指标,对于综合保障领域"动态"指标的研究有着一定探索价值。     

基于价值链的企业竞争优势构建

首先提出了衡量企业竞争优势有两大指标:"市场占有率"、"净资产收益率",指出获取企业竞争优势的工具是以作业为基础的"价值链";然后分别对"市场占有率"为基点的经营活动价值链和以"净资产收益率"为基点的财务活动价值链进行了分析,最后提出通过全面预算管理与平衡计分卡两项工具来执行与落实上述价值链,构建企业的竞争优势。