基于迭代LMI的航天器的姿态静态输出反馈

研究了挠性航天器的姿态控制器设计问题。结合Lyapunov矩阵成形的不变椭圆,使用多目标综合技术集成干扰抑制,鲁棒稳定和控制输入约束问题。基于迭代的线性矩阵不等式(ILMI)给出了静态输出反馈控制器。仿真结果表明,该方法虽然具有一定的保守性,但可以较好的满足系统的鲁棒性能要求,对工程实现具有一定的参考价值。     

基于综合平面波技术的近远场变换

近场散射数据的远场变换研究是具有发展前景的由近场测量目标,获取目标远场雷达截面的方法之一。根据近场获得的散射数据,外推获取远场的目标散射特性。主要是利用平面波谱展开,推导了近远场转换公式;以导体圆柱、平板等简单物体作为散射体仿真了近场散射数据的远场变换,证明了方法的可行性和正确性。     

角色访问控制技术在管理信息系统中的应用

基于角色的访问控制作为一种安全机制,已引起人们越来越多的关注.介绍了传统的自主访问控制模型和强制访问控制模型并分析了他们的特点,提出了一种基于RBAC2(Role Based Access Contrd 2)模型之上的新的访问控制模型,该模型兼顾了RBAC2模型的优点,并扩展了RBAC2模型中对于个体权限的修改能力,应用于实际的管理信息系统中的事实证明了该模型是可行的.讨论了权限的分级管理.     

多媒体课件中教学流程和教学呈现的表示方法

引入了通用转换网络对多媒体课件的教学流程作了形式化描述,并在此基础上讨论了教学流程及教学呈现在多媒体课件写作系统中的内部表示方法.该方法将课件中的教学流程描述和教学呈现的表示相分离,使课件写作系统更加灵活;其次,引入呈现描述来表示教学呈现内容,实现了教学内容的并发呈现.本文同时给出了相应表示方法实现的内部结构.     

三值逻辑方程和组合逻辑电路函数险象的检测

对于组合逻辑电路中函数险象的检测提出一种新的方法－解三值逻辑方程法，此方法的显著特点是可以检测出在任何输入状态下电路所可能产生的所有函数险象，所给的算法很容易在计算机上实现。     

矩阵方程（AX，XB）=（C，D）和AXB=C的对称正定解

讨论了矩阵方程（ＡＸ，ＸＢ）＝（Ｃ，Ｄ）和ＡＸＢ＝Ｃ的对称正定解。利用奇异值分解和广义奇异值分解导出了这些矩阵方程有对称正定解的充分必要条件，并且给出了一般对称正定解的表达式     

线程集成技术在嵌入式系统中的应用

介绍了线程集成技术在通用和微处理器或微控制器上实现实时任务并行性的新方法。利用后级编译技术在指令级代码中融合多个控制线程，实现指令级并行，提高了系统资源的利用，改善了系统性能，从而达到用软件代替专用外围硬件的功能，文中介绍了线程集成的概念，线程集成过程的主，客线程的表示方法，代码转移的原理，应用及实验结果。     

二维物体相交检验的线性四叉树方法

在物体的平面布局问题中，判别两个物体是否相交是一个难点，以往的方法数据结构不统一，计算量大，算法复杂，本文首先讨论了二值图象的线性四叉树的表示及其有关术语和性质，然后在此基础上首次提出了二维物体相交检验的线性四叉树方法及其实现的算法，最后进行了算法的时空分析，与以往的方法相经，本文所提方法具有数据结构统一，算法简单，时空效率高等优点。     

调和微分求积法权系数矩阵的一种显式计算式

简要介绍了调和微分求积法，导出了求一阶导数权系数矩阵的显式计算公式。利用该公式和其中反心对称的性能，可进一步提高计算效率。由于均匀网点有时不能给出可靠的解，本文导出了几种能出可靠结果的不等距网点公式，其中一种公式虽然用不同的方法导出，但结果与Ｇａｕｓｓ－Ｌｏｂａｔｔｏ方法等价，本文还证明了调和微分求积法权系数矩阵具有中心对称或中心反对称的性质（取决于导数的阶数），利用这些性质可以进一步减少计算工程     

矩阵A的{1}逆、{2}逆的秩

本文就矩阵的两种广义逆{1}逆和{2}逆的秩进行了讨论，得到了一些有用的结果。