基于边界扫描的簇测试系统设计

在对边界扫描及簇测试技术研究的基础上,以边界扫描测试总线控制器芯片为核心设计实现了一个簇测试系统,选择W-A的GNS算法对所设计的测试系统进行了簇测试实例验证.实验结果表明,该测试系统能够快速准确地检测出被测系统的固定逻辑故障和短路故障.     

无线网络中基于地理区域的RBAC模型

针对移动计算环境下访问控制的需求,在传统RBAC模型的基础上引入了地理区域的概念,提出了基于地理区域的RBAC模型.利用目前发展较为成熟的各种位置感知系统,获取访问者的地理位置信息;在地理区域上定义了集合运算,为避免区域的重复定义,提出了最少区域集合的概念;对改进后的模型给出了形式化定义,利用最小区域集合为角色在不同的区域分配权限,并描述了基于地理区域的RBAC模型中实现访问控制的具体步骤.     

迎风格式在接触间断的数值耗散及其诱导误差

在不同流场参数条件下对三种迎风格式在接触间断中的数值耗散问题进行了数值实验,并对数值耗散产生的机理进行了分析。数值计算结果和理论分析表明,矢通量分裂格式计算接触间断问题时,若流场静止或流场内存在亚声速区域,密度耗散的产生会诱导出以特征速度运动的数值扰动误差,该误差对数值耗散的大小无影响,但会影响流场的速度及压力参数分布,从而改变流场的结构。在二维问题中,诱导误差相互干扰会产生大量的复杂小尺度结构,给流场结构分析带来困难。同时,在密度参数线性分布的流场中,若空间离散格式重构的对象为对流通量,使用矢通量分裂格式计算流场会产生数值误差,使计算精度难以到达二阶。     

空间区域划分的战场空间建模

复杂作战交互所具有的区域性特征,对作战仿真系统战场空间建模提出了新的要求.首先阐述了基于空间区域划分的战场空间模型的实现思想、概述了模型实现方法,并给出了模型的形式化描述;然后,就基于空间区域划分的战场空间模型对于区域性复杂作战交互建模的支持进行了简单探讨;最后,通过一个简单的实例,分析了基于空间划分的战场空间模型对于作战仿真系统运行性能的影响.     

差分离散方法分布式并行计算的重叠边界优化

针对分布式存储环境下显式差分方法的并行计算问题 ,依据分布式存储多处理机的体系结构特点 ,提出了一个重叠边界优化模型 ;该模型目前已成功应用于中国科学院第三代海洋环流模式的分布式并行计算优化。     

逃逸飞行器喷流干扰流场的分区数值模拟

基于拼接网格系统 ,应用三维区域边界格式 ;通过区域边界格式对区域边界上的通量进行守恒性处理 ,发展了一个超音速复杂流场分区算法 ;对不同攻角下的逃逸飞行器喷流干扰流场进行了分区数值模拟 ,取得了较好的结果     

双调和方程边界加权残值法及其应用

本文证明了可用复变函数的广义多项式逼近解析函数,并给出了用加权残值法解双调和方程的若干可供选择的试函数模式。文章还导出了广义调和函数系,并证明了它在平面边界上是一个完备系,可作为权函数系。将这种方法用于解各类边界板的弯曲问题和弹性平面问题,具有计算量较小、精度较高的特点。     

一类递推关系的最佳计算格式及其在图像处理中的应用

本文给出了一类递推关系在递推函数可恢复与不可恢复条件下的最佳计算格式,并讨论了它们在图像的平滑、模化及文本图像版面分析处理中的应用。     

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

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

用C语言实现对TANGO的PCB图形文件调用

本文详细讨论了计算机电子线路辅助设计软件ＴＡＮＧＯ的印制电路板（ＰＣＢ）图形文件的存储格式,介绍了用Ｃ语言调用ＰＣＢ图形文件的方法,并给出了软件流程框图的说明。