基于ATML标准的UUT信号信息标准化描述研究

为实现测试信息在自动测试系统中透明地传输与交换,基于ATML标准,建立了UUT信号信息描述XML Schema模型,同时结合某装备测试系统对其进行了简要说明,取得了良好的效果。     

基于ATML的TPS可移植性设计

传统自动测试系统以面向仪器开发为核心,测试程序严重依赖具体仪器,造成测试信息无法交互,测试程序不可移植,系统互操作性差等一系列问题。针对上述问题,文中提出了基于ATML的可移植性TPS设计方法。该方法采用ATML标准统一描述测试资源信息,通过对多个XML Schema进行定义,使测试信息以一致的格式存储。将TPS相关信息逐类分离并保持相互独立,并采用STD标准对信号进行定义。新方法以信号的方式描述了测试需求和仪器能力,解决了过去TPS跨平台移植问题,有效提高了系统的互操作性。     

一种新型的软件体系结构描述方法研究

UML2．0与XYZ／ADL在软件体系结构描述方面具有很强的互补性，如果将两者结合起来描述软件体系结构．不仅便于开发人员之间的理解和交流，也可以对体系结构进行下一步的分析和验证。文章分析了UML2．0跟UML1.X相比在软件体系结构描述方面的改进之处．根据UML2．0与XYZ／ADL在软件体系结构描述中的对应关系，提出一种通过定义UML2．0的XYZ／E语义．将UML2.0与XYZ／ADL结合起来描述软件体系结构的一种新的途径。     

指控能力包中军事领域应用服务的全信息描述框架研究

着眼于面向服务的一体化联合作战指控平台综合集成中指控能力包的军事领域应用服务描述问题,针对军事领域用户使用服务过程中的特点和需求,按照内容要素完备、信息层次完整的原则,从语法、语义和语用三个信息层次构建了一个可扩展的服务描述框架--全信息描述框架HiDF,并对框架的组成和内容进行研究.     

仿真想定规范化描述方法研究

想定包括军事想定和仿真想定两种类型,仿真想定是仿真系统不可或缺的重要组成部分,是取得仿真运行结果、结论的条件。探讨了想定的相关概念,阐述了想定的分类依据、内容组成、开发原则,总结出了基于软件工程、系统分析、形式化结构三类描述方法,着重分析了基于XML的四视图想定描述方法,归纳出了当前想定描述存在的问题,为进一步规范化描述想定指明了方向。     

基于MPEG-7的多媒体内容描述方法研究

如何准确地描述多媒体信息是多媒体信息检索必须要解决的问题。文中介绍了MPEG-7标准多媒体内容的描述工具,然后从结构和内容两个方面研究MPEG-7描述多媒体内容的方法,并给出了实际的例子。     

无线通信波形描述方法研究

对波形描述语言的起源、特点、开发及编译进行了分析,提出了符合SCA规范的无线通信波形描述方法,对波形协议层次、资源内容、波形功能分配、通信功能划分等方面进行了深入研究.     

设计模式的一种形式化描述方法

设计模式是人们在实践过程中总结出来的成功设计范例,实现在设计模武应用过程中自动选择,有着重大的意义.而形式化描述设计模式是自动选择的基础,为此文中提出了基于时序逻辑语言XYZ/E来表示设计模式的静态和动态形式化语义的方法.通过对设计模式静态结构、动态行为及其特点的分析,找出形式化描述规则,利用转换法实现了设计模式XYZ/E的形式化描述.     

算术运算的VHDL描述方法探讨

针对在VHDL语言教学过程中,如何进行算术运算的VHDL描述问题进行了探讨.文中首先论述了VHDL语言描述算术运算的局限性;重点阐述了加运算、减运算、乘运算、除运算、取模运算、取余运算的VHDL描述方法;由于设计的结果是一个专用的算式电路,不运行任何程序,工作的可靠性和稳定性都优于用CPU设计.     

ASON组网能力研究

ASON是一种具有高灵活性和高可扩展性的基础光网络设施,它能在光层上直接提供服务,从而快速地满足用户的需求,并有效地解决网络的可扩展性、可管理性、快速配置用户带宽和端到端保护等问题.本文介绍了ASON的体系结构,包括三个平面、三种接口和三类连接,并详细分析了ASON的组网方式和组网结构,最后给出了朗讯公司的ASON组网方案.     

EOS MLS Science Data Processing System: a description of architecture and capabilities

The Earth Observing System (EOS) Microwave Limb Sounder (MLS) is an atmospheric remote sensing experiment led by the Jet Propulsion Laboratory of the California Institute of Technology. The objectives of the EOS MLS are to learn more about stratospheric chemistry and causes of ozone changes, processes affecting climate variability, and pollution in the upper troposphere. The EOS MLS is one of four instruments on the National Aeronautics and Space Administration (NASA) EOS Aura spacecraft launched on July 15, 2004, with an operational period extending at least 5 years after launch. This paper describes the architecture and capabilities of the Science Data Processing System (SDPS) for the EOS MLS. The SDPS consists of two major components-the Science Computing Facility and the Science Investigator-led Processing System. The Science Computing Facility provides the facilities for the EOS MLS Science Team to perform the functions of scientific algorithm development, processing software development, quality control of data products, and scientific analyses. The Science Investigator-led Processing System processes and reprocesses the science data for the entire mission and delivers the data products to the Science Computing Facility and to the Goddard Space Flight Center Earth Science Distributed Active Archive Center, which archives and distributes the standard science products. The Science Investigator-led Processing System is developed and operated by Raytheon Information Technology and Scientific Services of Pasadena under contract with Jet Propulsion Laboratory.     

防空导弹装备红外伪装能力评估研究

针对防空导弹装备红外伪装实施的局限性和零散性,提出了一种综合评估其红外伪装能力的指标体系和方法。该体系基于伪装与侦察这对矛盾关系,从红外侦察能力、红外隐身能力、红外示假能力、环境支持能力、人员任职能力、维护保障能力和组织管理能力7个方面系统分析防空导弹装备红外伪装能力,通过熵值法确定各评估指标的权重;提出基于加权秩和比的综合评估方法,并对评估等级进行客观分档。最后,通过算例分析,对该评估体系及方法进行验证。     

自动信任协商的形式化描述与验证研究

首先提出了自动信任协商的通用形式化框架,并将典型的信任协商策略规约到上述框架内;其次,基于上述形式化框架对自动信任协商的形式化验证问题进行了定义,确定了形式化验证的目标以及一般流程;再次,研究了典型信任协商策略的形式化验证问题,讨论了相关问题的计算复杂性并得到系列结论;最后,利用逻辑编程方法和模型检测方法实现了自动信任协商的形式化验证。实验结果表明,规则数是影响形式化验证系统运行时间的关键因素,逻辑编程方法和模型检测方法在规则较少时效率较高,但逻辑编程方法的可扩展性不及模型检测方法。     

基于写相关支持向量描述的入侵防护审计模型研究

设计了基于写相关支持向量描述的安全审计模型来实现一个新的单类分类器,对系统调用中“写性质”子集进行监视和分析,并以此训练单类分类器,使偏离正常模式的活动都被认为是潜在的入侵。该模型仅利用正常样本建立了单分类器,因此系统还具有对新的异常行为进行检测的能力。通过对主机系统执行迹国际标准数据集的优化处理,只利用少量的训练样本,实验获得了对异常样本100%的检测率,而平均虚警率接近为0。     

New viewpoint on communication channel capabilities

A channel modeling technique is described that looks at the communication problem from a new viewpoint. A quantity called unfolding capacity--the capacity of a channel as it happens to unfold--is defined. A theorem is derived that proves for the assumed channel model, a feedback scheme can be devised that for sufficiently largeN, achieves arbitrarily Iow probability of error at any rate less than unfolding capacity, no matter what capacity happens to unfold. The theorem also proves that this type of performance can not be achieved without feedback.     

Expanding the switching capabilities of optical crossconnects

Optical-switching technologies exhibit many characteristics that the electronic-switching technologies do not have. One such characteristic lies in switching states. An electronic crosspoint, having open and close as its two switching states, only allows one traversing signal. But an optical-switching crosspoint, such as a directional coupler or a microelectromechanical systems mirror, usually allows two traversing signals. This paper studies how to exploit the characteristic to expand the switching capabilities of an optical switch, and shows new ways of building more crosspoint-efficient rearrangeable nonblocking switches. We show that an optical 2n/spl times/2n rearrangeable nonblocking switch can be created by cascading only two n/spl times/n optical crossbars.