动态环境中的概率信息流安全

在概率安全进程代数的基础上，研究了概率系统在动态环境中的信息流安全，以解决可动态配置的恶意进程对系统带来的危害．同时，提出了动态环境中的概率互拟复合不可演绎性质，即持久P_PBNDC．使用敌意环境下的弱概率互拟和动态敌意环境等概念讨论了P_PBNDC是概率系统在动态环境中合适的信息流安全性质，该性质能够揭露出概率互拟复合不可演绎性质（PBNDC）所不能暴露的潜在的安全隐患．最后，证明了PPBNDC和SBSPNI性质的一致性，在限制算子和前缀算子下的P_PBNDC具有复合性质，而在并行算子下不具有复合性质．     

概率模型检验的CBTC系统通信协议的形式化验证

通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响.鉴于通信协议中某些参数具有随机特征,本文采用概率模型检验对其进行形式化验证.分析了概率模型检验的语义及语法,建立了通信协议的概率模型,用概率模型检验工具PRISM验证了典型的概率规范.结果证明,当信道正常概率为99%,系统无延时概率为99%时,通信协议失效率小于1.5×1010.说明了用概率模型检验验证具有随机特征参数的通信协议,方法简单快捷,结论清晰明了.     

智能CAA中基于语法树的程序正确性验证研究

基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性.文章在介绍基于语法树的程序正确性验证方法的基础上,借鉴了无序标签树匹配的相关研究成果,结合软件构件的查询技术,提出了一种新的XML路径查询模型和树匹配算法,在理论和方法上对这个方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法切实可行的解决方案.     

时间自动机与信号自动机的互模拟算法

基于时间自动机的验证工具已被广泛应用于实时系统模型验证。信号自动机为一类实时系统建立了比时间自动机更适合的模型,但是它还不能用于实际的实时系统模型验证,因为没有验证算法可用。把信号自动机验证问题归约到了时间自动机验证问题：证明了两种自动机具有相同的识别语言能力,证明了二者具有双向模拟关系,并在此基础上提出了线性的互模拟算法。把互模拟算法和已有的时间自动机验证算法结合起来,就得到了信号自动机的验证算法,从而解决了对信号自动机模型的验证问题。     

基于响应面和MCMC的齿轮接触疲劳可靠性

针对齿轮接触失效,建立带有安装与制造误差的齿轮参数化模型,通过大变形显式动力学仿真软件来模拟齿面动态接触应力.然后,根据应力-强度干涉模型,建立齿轮响应面状态函数.为了提高齿轮响应面功能函数的拟合精度,提出了一种基于响应面和Markov chain Monte Carlo(MCMC)的可靠性分析方法,并进行可靠性灵敏度分析,以定量概率反映安装误差、制造误差及外载荷等随机因素对齿轮传动可靠性的影响程度.最后,将Monte Carlo模拟100 000次的计算结果与所提方法的结果进行比较,验证了可靠性分析方法的正确性.     

A visualization method of requirement checking based on software behavior

In order to verify the consistency between software requirements model/document and users’ true minds,we present a software behavior-oriented requirements visualization method.The implementation method for software behavior-oriented requirements visualization is advanced in this paper first.Then,the basis language is introduced as the foundation of the method.At last,we put forward the tool platform that can achieve the requirement visualization.The result demonstrates that the method can generate requirement animation rapidly to check the correctness of the requirement.It can effectively reduce the requirements change and save a lot of software development costs.     

基于N叉树供应链的风险评估及优化

针对传统供应链模型缺乏对风险的定量评估, 且设计过于复杂, 未给出成熟的优化方式的问题, 提出了基于产品的N叉树供应链的风险定量评估及供应链优化方案。算法建立了基于不同企业提供统一的基于N叉树供应链模型; 采用全概率公式和贝叶斯公式对企业内部风险以及企业间风险的传递进行了定量评估; 通过选择合适供应商和用户优化供应链结构。实验结果表明, 该算法能有效降低供应链风险, 较好地实现了企业利益最大化。     

面向机械产品可视优化设计的参数化建模

创建三维模型的速度直接影响可视优化设计方法的研究效率.参数化建模技术可以通过参数驱动来快速实现模型的创建,因而可以很好地服务于可视优化设计.研究了面向机械产品可视优化设计的参数化建模方法,分析了参数化建模与可视优化设计的关系,提出了创建参数化建模系统一般流程,包括确定功能模块、参数分析、零件的参数化建模和自动装配等关键步骤.最后,以3-TPT并联运动机床为研究对象,利用VB软件在SolidWorks平台下,开发了面向可视优化设计的参数化建模系统,证明了所提方法的有效性.     

基于环境的软件正确性形式化描述

软件的运行依赖于环境,在考察软件正确性时需要考虑环境的因素。软件在开发和设计过程中,其正确性是一个逐渐改进的过程,也就是说,通过不断地修改,软件越来越接近于正确。为了刻画软件的这种动态正确性并考虑环境的因素,本文将以三分之二互模拟为基础,利用网极限的观点,建立软件动态正确性的形式化描述。首先建立三分之二互模拟的无限演化理论,给出三分之二极限互模拟的定义。其次建立三分之二互模拟极限,这个极限在一定程度上反映软件规范是其实现的极限形式。最后证明三分之二互模拟极限与三分之二互模拟的相容性等性质。     

人字齿轮在Pro/E中的参数化精确建模

探讨Pro/E wildfire2.0中文版软件环境下人字齿轮精确建模的参数化方法,利用其开发工具程序(Program)模块对人字齿轮进行参数化设计和自动造型.     

互模拟的含义、特征及主要应用

给出互模拟精确且具有概括性定义（B）,给出并证明了互模拟的5个特征,最后给出最大互模拟一定义,证明了～是一个等价关系,进一步证明了～是R中（B）的最大固定点。概括了互模拟在模态逻辑和并发系统中的非凡的应用价值,并提出了某些尚待解决的问题。互模拟具有美好的发展前案和极大的发展空间。     

基于概率鲁棒的水轮机调速系统鲁棒性评估

针对常规鲁棒性评估方法不能定量给出评估结果的问题,提出了一种基于概率鲁棒方法的控制律鲁棒性定量评估方法。首先确定水轮机调速系统的数学模型和控制策略,并确定参数的摄动范围、置信水平等;然后对系统进行蒙特卡洛仿真,得到阶跃响应曲线簇并绘制性能指标的累计频率曲线;最后计算性能指标的可接受概率、样本均值等统计量,实现鲁棒性的定量评估。以紧水滩水力发电厂水轮机调速系统为研究对象,分别设计了基于PID和模糊内模的调速系统控制器,并用上述方法对两种控制器的鲁棒性进行评估。结果表明,模糊内模控制器的鲁棒性更优,与概率鲁棒的鲁棒性评估结果一致,验证了概率鲁棒对控制律鲁棒性定量评估的有效性。     

连栋整体型大棚结构稳定性仿真检测研究

在对连栋大棚结构稳定性进行分析时,需综合考虑薄膜受载变形、受荷载情况与骨架间相互作用等因素的影响,运用ANSYS软件建立连栋整体型大棚参数化模型,分析实际雪荷载,对SPG-8型系列大棚进行稳定性仿真检测分析与研究.     

SISO动态矩阵控制的鲁棒性

为解决单输入单输出 (SISO)动态矩阵控制的鲁棒稳定问题 ,采用过程阶跃响应的变化界来描述模型的不确定度 ,利用 Jury定理推导了系统稳定的充分条件。在此基础上 ,对一类阶跃响应系数具有递增性质的系统 ,分析了具体的参数设计方案。最后针对一般的动态矩阵控制 ,通过引入具有多项式形式的失配滤波器 ,给出了一种鲁棒改进措施。该措施可有效地扩大鲁棒稳定域 ,有助于动态矩阵控制的工业应用。仿真结果表明了文中相关理论分析的正确性和鲁棒改进措施的有效性。     

SDH复用段共享保护环协议实现的计算机模拟研究

ＳＤＨ复用段共享保护环是一种先进的自愈环系统，它实现的关键是在ＡＤＭ设备中加入ＡＰＳ协议控制。作者采用软件方法，建立一个模拟系统，把编制好的ＡＰＳ协议软件进行复用段共享保护环协议实现的计算机模拟研究，从而验证所开发的ＡＰＳ协议软件的正确性，提高了软件的可靠性和可维护性。     

结构模式识别的概率文法及其应用

描述了概率文法的基本特性及其在铁路路轨探伤中的应用,文章首先给出了概率文法的定义,描述了它的树型结构,并为了得到非岐义的产生规则序更,对概率语文法进行了修改,然后利用概率文法构造了模式的识别器,介绍了应用于路轨探伤的识别程序的实现过程,并结合实例讨论了概率文法在提高识别器的可靠性,减少共出错率方面的实用意义。     

程控交换软件设计和维护中的图模型

在程控交换软件设计和维护的问题空间，有两类问题对软件的性能和可靠性有决定性的影响：共享资源的一致性和进程创建顺序的正确性．以一种计算模型——图模型，描述上述两类问题的解空间．叙述了所使用的图模型的概念，给出了图模型的数据表示，对图模型在程控交换软件设计和维护中的实际应用进行了探讨     

电加热器敏捷设计系统研究

提出了一种电加热器产品的敏捷设计平台结构,研究了CAD系统与PDM／ERP软件的接口、数据通信及基于产品定制的参数化设计方法,阐述了CAD软件与SQL Server数据库相联的二次开发及基于图库的多文档参数化设计技术。在AutoCAD软件平台上采用C＋＋语言及Objec—tARX技术,开发了整个系统功能,实现了优化计算、参数化绘图、数据管理、工艺设计一体化等,提高了产品设计质量和设计速度。     

基于SolidWorks环境的可转位车刀快速参数化建模技术研究

在可转位车刀的三维参数化建模过程中,车刀刀槽的三维设计通常是在SolidWorks环境下通过反复、烦琐的拉伸切除命令实现,其效率低、容错能力差。通过对可转位车刀刀槽几何角度、刀片几何角度与车刀角度之间转换关系的推导和分析,并根据刀具头部形式的结构特点进行分类,在此基础上,在SolidWorks环境下运用Visual Basic二次开发工具开发了可转位车刀的参数化建模软件包,通过刀尖点定位,利用布尔实体运算快速实现刀槽的三维建模;通过交互界面的参数输入可实现可转位车刀的快速装配与仿真。     

内燃机配气机构传动链脱节概率

以某型发动机配气机构传动链为研究对象,应用随机摄动和概率可靠性等分析方法,建立了配气机构脱节概率可靠性数学模型.当配气机构基本随机变量为正态分布时,提出了传动链脱节的可靠性分析方法.通过算例分析获得了凸轮在不同运动阶段的传动链脱节概率,以及在不同转速下的脱节失效概率,并且随着转速升高传动链发生脱节的概率也会升高,与实际情况相符合,进一步表明了所提方法的正确性.此外,通过分析脱节的原因,提出了为降低脱节概率而应采取的方法,为今后内燃机配气机构传动链的可靠性设计提供了理论依据.