信息网格安全体系结构的研究

阐述了信息网格Grid环境的独特的安全需求以及现有安全技术的不足,基于协议分层的模式建立了Grid安全体系结构,并着重研究了一站式认证、安全组通信等关键技术,为满足Grid环境的安全需求提供了一体化的解决方案.将该安全体系结构运用于电子商务领域,构建了共享的电子交易场的安全模型,为电子商务提供了安全平台.      

多层次多策略的分布式网络信息过滤系统模型

在分析现有网络信息过滤技术的基础上,描述了一种多层次、多策略、可扩展的分布式网络信息过滤系统模型框架.该模型框架包括网络信息数据分析、过滤及转发等功能,采用细粒度的内容过滤策略,在保证信息数据安全性的基础上,提高了数据转发的速度,缩短了数据传送的延时,并可以插件的形式灵活地挂载过滤程序,具有很好的开放性和可扩展性.该系统模型可以根据具体的需求,以模块的形式灵活地重组和配置各项功能,可在分布式环境下协同工作,提高了系统的性能.本系统的各种数据处理过程对用户是完全透明的,减少了对用户的影响.      

类比推理协处理器设计中的加速策略

分析了实现高效的嵌入式类比推理协处理器系统ARC(Analogical Reasoning Coprocessor)所面临的困难,在软件模拟、测试、验证的基础上给出了提高ARC效率的解决方案.由于ARC采用了符合类比推理机制的处理器体系结构和加速策略,推理速度有了大幅度的提高.     

非相似余度作动系统静态力均衡控制策略

由功率电传作动器EHA(Electro-Hydrostatic Actuator)与EMA(Electro-Mechanical Actuator)构成的非相似余度作动系统取消了中央液压源和遍布机身的液压管路,同时克服了共性故障,是飞机多电化的发展趋势.阐述了非相似余度作动系统的结构组成与工作原理,考虑舵面空气负载和连接刚度,建立了在主动/主动工作模式下闭环系统数学模型.在此基础上,论述了非相似余度作动系统静态力纷争的产生机理,提出了采用调整电气参数偏差的方法补偿静态力纷争的思想,基于上述原理提出了3种减小静态力纷争的力均衡控制策略,并对其进行理论和仿真分析.最后,对3种力均衡控制策略在静态力纷争消除性、隔离性等方面进行了综合对比分析.分析结果对非相似余度作动系统的设计及力纷争的解决提供了理论依据.     

基于时间自动机的AADL端到端流的延迟分析

对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议.      

存储网格的体系结构及关键技术研究

代表未来计算模式的网格计算对现有存储模式提出了新的挑战,存储网格是适应未来需要的新型存储体系结构.描述了存储网格的基本特性,研究并设计了存储网格的一种体系结构,对存储网格的核心问题及关键技术进行了探讨.     

星载即插即用协议转换模块的SOC设计与实现

微小型卫星即插即用技术的发展取决于不同总线标准接口设备能够快速集成到同一网络中的能力。SpaceWire总线技术是一种星载网络总线标准,已成为网络拓扑结构中的主干网络,而空间即插即用协议（Space plug-and-play architecture,SPA）是美国航空航天学会（American institute of aeronautics and astronautics,AIAA）在SpaceWire标准基础上为了实现快速响应计划而提出的微小型卫星即插即用标准。目前国内正在使用的卫星载荷的通信协议都是非SpaceWire接口的,比如许多小型卫星上的光纤陀螺载荷采用RS442串口通信标准,红外摄像头载荷一般采用1394b标准。本文研究了将1394b接口高速红外摄像头与RS422低速串口光纤陀螺接口集成到SPA网络的协议转换原理和片上处理器（System on chip,SOC）设计,并且在现场可编程门阵列（Field programmable gate array,FPGA）开发板上进行了软硬件验证。     

Development of a PC-based Open Architecture Software-CNC System

As a key technology in the field of advanced manufacturing, an open architecture controller is studied. In order to develop an open architecture software-CNC system on personal computer (PC) according to open modular architecture controllers (OMAC). First, the software and hardware platform is chosen and software realization methodology for the CNC system is determined. Second, static mod- eling methods of an open architecture controller inclusive of object-oriented (OO) programming technology, dynamic link library (DLL) technology and system modules partition are investigated. Third, the dynamical behavioral modeling and the data flow representation of open architecture controller are discussed, which are both described in hierarchy finite state machine (FSM) model. Fourth, a reusable software module model is established to develop software function module library. Finally, a 3-axis milling machine tool test-bed, named for HIT-CNC, is successfully designed by means of the constructed software function module library and the system configuring method. The experimental results show that, besides increasing the degree of reusability and openness, application of above-mentioned method- ology leads to significant decrease of development time as well as maintenance cost.     

SAE AS4893《通用开放式结构(GOA)框架》评析

介绍和分析了SAE AS4893《通用开放式结构(GOA)框架》的编制背景、主要内容和应用原则;并与目前流行的开放式结构ASAAC、ISO OSI及POSIX进行了比较;最后分析了我国制定相应标准的必要性和可行性,并提出了相关标准化工作的建议。     

沥青及织物结构对C/C复合材料致密化的影响

选取四种不同软化点的浸渍剂沥青和四种不同结构织物，采用低压浸渍-常压碳化的致密化工艺，制备C／C复合材料。结果表明：浸渍剂种类和织物结构对致密化效果都有影响，并指明造成传统工艺致密化效率低下的主要原因是碳化时沥青的流淌。