利用OH发射谱进行的高温低浓度甲烷着火研究

采用激波管进行低浓度甲烷和空气混合气的着火实验,通过测量压力和OH发射光谱,得到不同工况下的着火延迟,并与甲烷的详细反应机理计算结果作比较。结果表明:不同浓度下甲烷着火延迟的对数与温度倒数呈线性关系,着火延迟随甲烷浓度的降低而减少;贫燃条件下,采用详细动力学机理计算的表观活化能与实验数据拟合较好。     

基于输出饱和条件下磁浮列车悬浮控制参数优化

低速磁浮列车利用电磁吸力支撑车体,相比轮轨列车具有噪音小、转弯半径小、爬坡能力强等优点。研究控制器输出饱和条件下悬浮系统的稳定性问题,可以避免由于电网电压约束而可能出现的失稳现象,提高了系统运行的可靠性。基于磁浮列车单点悬浮模型,使用电流-位置双环设计方法设计得到可稳定悬浮的控制算法。由于磁浮列车悬浮控制器的输出饱和环节,进一步提出了一种基于搜索极大椭球的控制参数优化方法,在不改变控制算法设计的前提下实现了参数优化。通过仿真和试验均验证了优化后的控制效果,有效指导了实际系统的工程调试。     

Rational Rose在HLA联邦开发中的应用

作为“建模与仿真”(M&S)的高层体系结构 ,HLA能带给用户的好处将是巨大的。HLA联邦开发与运行过程 (FEDEP)的自动化是促进HLA应用的关键。文中研究了将功能强大的CASE工具RationalRose用于支持FEDEP自动化的可行性 ,指出了应用中应特别注意的问题 ,重点说明了应用中的关键技术 ,并给出一应用实例     

C~2系统的信息论建模

该文论述了基于信息论的信息处理组织与决策组织的建模与分析方法。首先介绍了用于决策者建模的基本图示工具Petri Net 和基本数学工具信息划分定律。然后介绍了用上述工具建立起来的单个决策者和决策组织的数学模型,而后又评述了分析决策组织结构的方法,说明了该领域的研究状况,最后对这一研究的应用前景作出了分析。     

二维带限信号代数正则外推算法

用代数正则化方法直接将连续的数学模型离散化,然后用Tikhonov正则化方法求解代数方程组,构造稳定的正则化算法,并进行数值仿真,结果是满意的。     

武器精度截尾SPOT 检验最大风险计算

就正态圆分布的武器命中精度的截尾序惯验后加权检验犯两类错误概率上界的计算问题,指出了目前沿用的计算公式的错误,推导了新的计算公式,并给出了算例,分析了计算结果的合理性;同时,指出了目前截尾点选取方法存在的问题     

混合物薄膜折射率与膜孔洞率关系研究

本文对TiO_2和Ta_2O_5混合膜进行了单源共蒸发实验研究。在实验结果的基础上,提出了一个拟合TiO_2、Ta_2O_5混合膜系孔洞率的经验公式,并对混合膜的折射率的计算过程进行了改进。结果表明:理论计算与实验数据符合较好;混合物薄膜可能形成孔洞率较小的膜层,从而导致混合物薄膜折射率随混合百分比的变化曲线出现峰值。     

基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

基于任务和角色的分布式工作流安全模型

针对现有基于角色访问控制的缺陷和分布式工作流管理系统的特性,在传统的基于角色的访问控制模型中引入任务集(Tasks)、任务实例集(TaskInstances)和任务上下文(TaskContext)的概念,将传统的user role permission权限赋予结构修改为user role task permission权限赋予结构,建立了基于任务和角色的访问控制模型,给出了其形式化定义。该模型解决了传统的基于角色访问控制中的动态适应性差和最小权限约束假象的问题,用于分布式工作流管理系统,提高了安全性、实用性。     

基于面向对象技术的载人长征二号F应急救生半实物仿真系统

概要介绍了基于面向对象技术的长征二号F火箭应急救生半实物仿真系统的组成和应用.