基于情景演算的动态访问控制模型

访问控制模型定义了安全系统访问控制的整体框架。现有的访问控制模型大多是静态授权模型,尽管可以通过扩展来实现局部动态性(比如可以通过定义条件来实现角色的临时激活等),但在应用时受到了扩展元素的限制,并且已有的大部分模型无法描述授权的动态变化过程。针对以上问题,提出了一种基于情景演算的动态访问控制模型(SCDAC)。SCDAC用逻辑事实和规则来描述访问控制属性和策略,把授权在某一时刻的状态(逻辑事实和规则集合)看作一个情景,通过动作来实现情景的变化,同时刻画了动作执行的前提条件和后续状态的变化情况。最后通过一个实例说明了用SCDAC来描述授权状态的动态变化是可行的。     

70 MPa车用轻质高压储氢容器自增强理论建模

高压储氢是目前燃料电池汽车的主要储氢方式.采用碳纤维增强树脂复合材料制成的70 MPa轻质高压储氢容器,容积储氢密度和单位质量储氢密度都较高,是世界各国高压储氢的研究重点.自增强是轻质高压储氢容器制造中的关键工艺.为确定容器整体在各种工况下的应力分布和最佳自增强压力,采用复合材料的层合分析方法,将内衬视为弹塑性材料,纤维树脂复合材料视为各向异性和线弹性材料,建立了容器自增强过程的理论模型.通过有限元分析模拟,数值结果表明该模型可用于轻质高压储氢容器的强度分析和设计计算.     

优良综合性能的正激式高频环节交－交变换器

新颖的正激式高频环节交-交变换器,是实现新型电子变压器、正弦交流稳压器和交流调压器的关键技术基础,其电路结构由输入周波变换器、高频变压器、输出周波变换器以及输入、输出滤波器构成,能够将一种不稳定的劣质交流电变换成另一种稳定、优质的同频交流电,具有高频电气隔离、拓扑简洁、两级功率变换(LFAC-HFAC-LFAC)、双向功率流等优点。研究了该类变换器的电路结构与拓扑、控制策略,给出了关键电路参数设计准则。设计并研制成功的1kVA220V±10PHzAC/110V50HzAC正激式高频环节交-交变换器工程样机表明,该类变换器具有输出波形质量高、变换效率高、功率密度高、网侧功率因数高、负载适应和过载能力强、音频噪音低、体积重量小等优良的综合性能。     

新型高频链逆变器的设计与实现

双向高频环节逆变器具有双向功率流、高频电气隔离、拓扑简洁、功率变换级数少等优点,特别适用于要求双向功率流的逆变场合。本文深入研究了一种新型的双向高频环节逆变器的电路结构、拓扑与移相控制策略,对逆变器稳态原理进行了分析,并给出了关键电路参数的设计准则。原理试验结果证实了理论分析的正确性。     

防空兵火控雷达网及抗干扰效能评价

雷达组网作战是防空兵武器系统的发展趋势,给出了防空兵火控雷达组网的基本形式、系统组成模型和指挥控制过程,指出了火控雷达网的发展思路,构建了火控雷达网抗干扰效能综合评估指标体系,提出了火控雷达网、抗干扰效能评判方法,并通过实例分析结果表明了该模型具有实用性,为防空兵雷达组网提供辅助决策依据.     

网络实验仿真与网络技术实践

探讨了网络仿真软件NS的工作原理和仿真机制,通过一个算法实例说明了网络实验的仿真过程,提出了进行网络实验仿真的方法和途径。利用IP协议路由选项和TTL字段,进行了探测网络拓扑结构的实践。通过截获并分析网络信息,加深了对网络协议的理解。     

一种可扩展的高效全序组通信算法

全序组通信是构建分布式应用程序的一种重要通信原语,它能够保证一个通信组中的所有成员都按照同样的顺序接收消息.现有的全序组通信算法缺乏可扩展性,即当通信组中的成员数目较大时,算法的延迟时间和吞吐量都显著下降,因此这些算法不能适用于大规模的计算系统.本文提出了一种可扩展的全序组通信算法,它通过对通信进程进行分层,从而有效地平衡系统的容错性和性能开销.模拟试验结果表明,在通信进程数目较多时,该算法在延迟时间和吞吐量等性能指标方面都优于已有算法.     

基于ARM的广播发射机微控制器硬件系统设计

应用Samsung公司的S3C44B0X嵌入式芯片构建硬件平台,设计广播发射机微控制器。按照其在广播发射机监测控制系统中的控制特点,介绍和论述该微控制器的硬件结构。与传统的基于8/16位单片机构建的系统相比,由于S3C44B0X芯片内置多种实用外设可大大简化电路,从而提高了系统的可靠性,增强了系统抗干扰能力。     

基于嵌入式Linux系统的时间统一平台

通过描述硬件体系结构、嵌入式操作系统等，提出了一种时间统一平台的设计方法。嵌入式操作系统是在标准Linux系统的基础上，经过系统裁减和实时性支持生成的。测试结果表明，基于嵌入式Linux系统的时间统一平台可以明显提高时间校准精度。     

一处室内轮式自主移动机器人的导航控制研究

介绍了一种室内移动机器人CASIA-I.对该机器人的运动机构做了较为详细地阐述, 针对该运动机构给出了机器人的运动方程和一种导航控制算法,并根据该算法进行了软件仿真 和实物实验.在软件仿真和实物实验两种环境下,机器人都能够实时避开障碍物奔向目标.仿真 和实验表明:该移动平台具有良好的可靠性,且该导航控制算法是一种有效的导航算法.