AADL 测试模型的构造研究

目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用.为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误.研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果.     

瑞利衰落信道有限状态Markov模型的研究

提出了一种能够准确描述瑞利衰落特性的有限状态Markov模型. 通过对平稳概率的分析,给出了Markov模型中信噪比门限和状态总数的选取方法;通过对电平通过率等瑞利衰落特性参数的计算,得到了Markov模型各个状态的转移概率和错误概率. 仿真结果验证了Markov模型描述瑞利衰落信道的准确性与有效性.     

基于Kriging模型的齿轮副机构不确定性分析

乏组件水下检测装置中的齿轮副机构参数具有不确定性,在地震工况下,结构产生随机振动时有可能发生失效。为评估其失效概率,针对乏组件水下检测装置中的关键齿轮副机构,首先通过有限元分析软件ANSYS计算结构在地震下的响应,然后结合不确定性参数进行多次有限元分析迭代,进而建立齿轮轴半径、峰值功率谱密度、轴弹性模量与随机振动下3σ应力的Kriging模型并计算出结构失效概率,最后以核密度估计得到模型3σ应力的概率密度曲线。曲线显示3σ应力在[200, 370]MPa区间内概率密度值较高,在区间两侧概率密度较低,表明齿轮副机构失效概率较低,模型3σ应力的概率密度与工程经验相符。     

用马尔可夫链模型化两个密码分析问题

将马尔可夫链作为模型,解决了SPN型分组密码差分分析中差分扩散率的计算问题和RSA-OAEP体制IND-CCA安全性证明中仿真程序错误概率的估算问题。事实表明,马尔可夫链模型对上述两个密码分析问题是简单有效的。     

Markov模型的软件可靠性测试充分性问题的研究

在分析现有Markov模型的软件可靠性的充分性判别的基础上,定义了严格转移概率的概念,提出了基于严格转移概率的测试充分性判别方法。将Markov模型转化为严格Markov模型,在每个边或者状态的差异计算时引入严格转移概率,对可达相异转移集中所有可达相异转移k的转移概率进行原转移概率对应计算后进行求和再平均运算,得到的结果作为每个边或者状态的差异值。实验表明严格测试充分性判别方法比非严格Markov模型方法更稳定、有效。     

贝叶斯网络在模型诊断中的应用

把贝叶斯网络引入到模型诊断框架中,依据观测量,研究了一种建立系统贝叶斯网络观测模型的方法。利用网络观测模型,可计算系统诊断解的后验概率,从而找出系统最可能的故障组件。最后,以卫星两轴姿态控制系统为例,应用本文方法进行了分析。     

基于状态转移模型的光伏电站可靠性评估

针对光伏电站可靠性评估模型考虑因素单一的情况,提出了一种综合考虑光资源输入和系统故障的光伏电站可靠性评估模型。文中采用马尔科夫链描述光资源状态转移模型,利用统计数据求出转移概率;进而对系统故障进行状态划分,参照发电系统故障概率计算出相应概率;将两类故障进行排列组合形成光伏电站可靠性状态矩阵,在假设相互独立的前提下计算稳态概率;最后给出模型计算方法和步骤。该模型同时考虑了光资源输入和光伏电站可靠性两类因素,通过状态转移模型和概率模型模拟了光伏电站实际的光资源输入和可靠性状态,具备一定的实际应用价值。     

雷达之间电磁干扰预测模型研究

针对雷达与雷达之间的电磁干扰问题,建立了发射源模型、传输通道模型、接受器模型和天线之间的耦合模型,给出了雷达系统的干扰预测方程。据此模型可方便地编制预测分析软件,由给定的雷达参数和工作环境参数计算出干扰噪声比;在雷达天线处于扫描工作状态时可得到干扰概率,同时提出了一个便于计算干扰概率的简化模型,可快速有效地对雷达之间的电磁干扰状况进行预测分析。     

多状态串并联系统工作性能及其状态概率分析

多状态串并联系统的性能和状态取决于其组件间的结构形式及组件不同状态的组合,为对其可靠性进行有效的评估,基于多状态系统理论和概率论提出了一种多状态串并联系统状态及工作性能的定量分析方法.分别建立了多状态串联系统、并联系统和串并联系统在不同状态下的等同集,依据其性能水平对等同集进行划分,在此基础上建立了各状态下的平均加权性能水平和状态概率的计算模型,并给出了多状态串并联系统平均性能的计算方法.构建了基于系统性能与状态分析的评估与维修决策框架.以全悬挂转炉倾动装置二级减速机多状态串并联系统的工作性能分析为例,对建立的分析模型的有效性和可行性进行了验证.     

主机系统安全实时风险量化评估方法的研究

为了评价主机系统的安全风险变化,建立了一个描述主机安全状态的隐马尔可夫模型.利用该模型计算主机处于被攻击状态的概率,分析了影响攻击执行过程的因素,提出了一种计算攻击成功概率的方法,并最终计算主机系统的风险指数.该方法可以动态获取主机系统的风险态势曲线,有利于指导安全管理人员调整安全策略.     

基于D-Markov模型的金融波动模式识别

将小波变换与符号时间序列分析相结合,引入工程领域的D-Markov模型,提出了一种用于金融波动变化模式识别和异常检测的方法。波动序列经过离散小波变换,产生小波系数序列,将小波系数序列符号化产生符号时间序列,建立符号时间序列的D-Markov模型,并求状态转移概率矩阵,计算各状态转移概率矩阵的状态概率向量与标准状态转移概率矩阵的状态概率向量之间的欧拉距离,从而得到异常度。基于得到的异常度识别金融波动变化模式,检测异常波动的发生。以上证综指的5分钟序列为样本实证分析,对该方法的可行性和有效性进行了验证。     

一种情感极性感知的信任模型

针对在线评论中文字评论和等级评价不一致的问题,提出基于情感极性分析的综合评价生成算法,并依据隐马尔可夫模型(Hidden Markov Model,HMM)构建了信任计算模型,将按时间排序的综合评价作为观测序列用于寻找最优的信任状态序列,把实体处于最可信状态的概率作为其可信度.该模型不仅提高了信任计算的准确性,还体现了信任的动态性.仿真实验验证了所提模型的有效性.     

拉伸型橡胶联轴节变形机理的研究

以某拉伸型橡胶联轴节为对象,研究橡胶的变形状态。使用UG软件建立橡胶联轴节组件的三维模型并导入ANSYS WORKBENCH,在ANSYS WORKBENCH软件中对组件进行网格划分;依据联轴节的结构及工作原理建立模型的边界条件、设置材料、施加载荷;对模型进行有限元计算求解。结果表明:拉伸式橡胶联轴节工作时,橡胶处于压缩而不是拉伸状态,在极限工作力矩下此橡胶联轴节中材料的强度均在可使用范围之内。     

馈线自动化网络可靠性模型算法及其可靠性评估

本文在分析常见的单，双侧电源线自动化网络的基础上，提出了馈线自动化网络元件的可靠性模型，列出状态概率方程，并进行平稳状态的概率计算，最后利用故障模式及后果分析法对常见的单，双侧民源馈线自动化网络进行了可靠性评估。     

OFDM频域子信道FSMM

首先分析了正交频分复用技术(OFDM)频域信道统计特性,说明了Nakagami-m分布能更好地描述衰落信道;然后针对高速移动及OFDM信号传输的特点,采用状态持续时间相等法建立了OFDM频域信道有限状态马尔可夫模型（FSMM）,分别给出了计算持续时间、状态门限及状态数、转移概率、状态差错率的一般方法及m=0.5\1\2典型值的闭式解,该模型能为自适应模型控制（AMC）、混合自动重传请求(HARQ) HARQ、动态资源分配等技术提供良好的基础。 理论计算结果与仿真符合较好,验证了模型的准确性。     

屏蔽电机振动特性的有限元分析

运用Ansys软件对屏蔽电机及组件进行有限元模态分析,得到电机及其组件的各阶固有频率和振形。分析时对电机及组件模型进行了简化处理,并用叠片结构模拟电机定子,使模拟实体更加接近物理模型,得到的计算结果接近于实际值。仿真得到的频率值,均高于外界工作环境激振力的频率范围,避免了屏蔽电机产生共振,保证了电机工作时的安全性。电机的模态分析为后续进行的拓扑优化及优化设计提供了参考依据。     

网络安全威胁态势评估方法研究

目的为了评估网络的安全威胁态势,提出了一种基于隐马尔可夫模型的评估方法.方法建立了一个简单的用于描述主机安全状态的隐马尔可夫模型,利用该模型计算主机处于被攻击状态的概率.在此基础上,结合主机重要度计算主机的威胁指数,进而评估网络的整体威胁态势.结果实验结果表明,通过对威胁指数的分析和处理,能够获得主机和网络两个层次的威胁态势曲线,安全管理人员可以从中发现目标主机和网络的安全规律.结论利用该方法获得的评估结果能够指导安全管理人员调整安全策略,以便提高主机和网络的安全性.     

基于UML进行无状态组件的建模

简要说明了现代软件组件的两种类型——有状态组件和无状态组件，以及无状态组件在企业应用中的应用。分析了面向对象软件工程方法对无状态组件的建模中存在的问题，提出了解决方案，并基于UML对这种建模进行了描述。     

基于软件定义的移动信息物理融合系统

在汽车和飞机等交通工具上安装传感器等设备，导致了新一代移动信息物理融合系统MCPS（Mobile Cyber-Physical System）的出现.针对MCPS主要以硬件资源为核心，自动化水平不高的问题，本文提出了一种基于软件定义的MCPS建模方法.通过结构分析与设计语言AADL（Architectural Analysis and Design Language）对硬件资源虚拟化，然后使用软件定义的方法对硬件资源进行分析和处理，可以有效提高MCPS系统的自动化水平.以移动车辆自主处理分析传感器数据并控制车辆的驾驶为案例，详细介绍系统的组成和建模过程.并通过添加安全附件对该模型的安全性进行分析验证，证实了基于软件定义建模的可行性与有效性.     

基于部件HMM级联的联机手写体汉字识别方法

为了对自由手写汉字进行有效地表征和识别,提出了一种识别自由手写体汉字的级联HMM方法,在部件HMM模型基础上将各模型按照统计概率连接,它扩展了HMM的模式描述方式,允许在级联模型上表征状态的跳跃、转移和驻留等。通过共享手写汉字部件模型来描述级联状态转移概率,可以更可靠地刻画自由手写体的行为特点。采用面向级联的Viterbi算法,无需做部件的分割和标注。通过一定条件下的对比实验训练与识别表明,该方法的第一候选识别率为87.89％,而基于分段HMM识别方法的第一候选识别率为86.17％,降低错误识别率12.4％。