三种局部环的同调刻划

给出了C-M环、Gorenstein环和正则环上C-M模的同调性质,并用这种性质描述了这三种环的联系与区别     

应用于飞控系统评估的风洞虚拟飞行试验系统与关键技术分析

基于传统意义上的飞控系统评估方法的不足,分析了风洞虚拟飞行试验应用于飞控系统评估的优势;按飞控系统常用的姿态控制回路及制导控制回路的组成形式,介绍了风洞虚拟飞行试验系统方案与工作原理,详细分析了它与半实物仿真系统的差异;分析了风洞虚拟飞行试验应用于飞控系统评估需解决的关键技术问题,包括风洞虚拟飞行试验评估方法、飞行器模型设计技术、飞控系统改进技术及模型支撑技术。     

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

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

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

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

子弹均匀散布子母弹最有利火力分配方法

在将子弹均匀散布的椭圆区域等效转换为矩形区域的基础上,建立了适宽射向射击子母弹对矩形目标毁伤全概率计算的数学模型。通过函数转换和泛函分析给出了子弹均匀散布子母弹理想射击密度,得到了理想射击密度下对目标的毁伤概率计算公式。讨论了最有利火力分配方式的确定方法,给出了最优射向间隔和表尺差的计算公式,为便于实际应用,给出了最优火力分配计算中所需的3个参数的近似计算公式,最后给出了应用算例。     

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

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

离散随机系统的一类综合控制

研究离散线性随机系统在方差约束下的综合控制设计问题,即设计期望的静态输出反馈控制器,使闭环极点位于单位圆内的一个环形区域内。同时,每个稳态状态方差都满足给定的上界约束,从而使闭环系统具有良好的稳定特性和动态性能。本文利用修正的代数Ｌｙａｐｕｎｏｖ方程,推导出控制器存在的充分条件和解集刻划,并提供了说明性的数值算例。文中所得结果具有形式简洁、易于工程实现的特点     

FTLAN系统故障检测技术

FTLAN(Fanlt Tolerant Local Area Network）系统是在Novell网环境下开发的一个基于消息驱动与同步的容错局域网系统,故障检测是该系统中需解决的关键技术之一。本文介绍了FTLAN系统中的各个节点机发生故障时,系统是如何检测的,并对其进行了简要的分析。     

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

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

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

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