用VB实现复杂控制系统原理演示的多媒体模拟

介绍了VB在多媒体编程上的优势;说明了用VB实现控制系统原理模拟的各种多媒体方法:信号流、声响效果的实现和控制;各种仪表、信号波形的动画显示;各元件及系统数学模型的建立;控制原理的实现过程等,并给出了实现的一般框图.     

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

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

参数估计的质量评定

本文综述了参数估计的种种标准,特别介绍了推广意义下的强、弱一致性。这些推广意义下的新标准,可以扩展传统标准的应用范围。并给予了实例论证。     

(H)型映射的拓扑度及其应用

本文将(S)_+型映射度的有关理论扩展到(H)型映射类。基于经典的Brouwer度理论,笔者构造了(H)型映射的拓扑度,所得结果进一步丰富和发展了非线性单调型映射度理论。     

病态线性回归模型系数的0─c型岭估计

针对病态线性模型病态的实质,提出回归系数的０－ｃ型岭估计。首先研究它的均方误差的最优化问题,给出了参数的最优值或最优值的一个上界和下界,证明可以选择参数,使它在均方误差的意义下优于ＬＳ估计。其次,研究它的偏差,证明存在０－ｃ型岭估计优于ＬＳ估计,且比岭估计β（ｋ）具有较小偏差。最后证明它的可容许性,并讨论在实用中它的岭参数选择方法的优点。     

防空导弹控制系统数字仿真原始数据预处理方法

防空导弹控制系统数字仿真建模过程中,要对大量原始表格函数进行处理。针对插值计算的缺点,采用最小二乘法来拟合多项式的方法,利用MATLAB语言编程实现了防空导弹控制系统仿真计算原始数据的预处理,并构造了通用拟合函数模块,在仿真中利用拟合函数直接进行计算。利用该处理方法,对某型防空导弹的原始数据进行了预处理,结果表明这种预处理方法提高了仿真运算的速度和精度。     

快速传送语法的设计与实现

国际标准化组织提出的抽象语法ASN-1和传送语法ASN-BER功能强,通用灵活,但在一般实现中存在编码效率低和开销大的缺点。本文讨论提高编码效率和速度的一般方法,以及描述快速传送语法的设计与实现技术。     

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

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

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

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

电流密度方程的相对论协变式

从相对论协变性原理出发,得到了电流密度方程满足相对论协变性的自洽展开式.研究表明,只有在考虑了磁场对电流密度的影响情况下,才能得到电流密度四维矢量的自洽的相对论协变式.为满足相对论协变性,电流密度关于电磁场的三阶近似方程应该包括电场强度的三次方非线性项.