机载UMS分布式容错计算机系统设计

综合控制管理是机载机电设备发展的趋势 .针对航空机电设备综合控制管理预研项目 ,利用分布式容错技术、高可靠航空电子总线技术和嵌入式实时多任务操作系统应用技术 ,设计并实现了一个分布式容错计算机系统 .讨论了系统的工作特点、系统结构、通信网络、冗余管理和实时容错分布执行软件 .

计算机网络入侵检测系统的研究

入侵检测是近年来网络安全研究的热点之一，该文简述了入侵检测研究的背景和意义，介绍了入侵的定义和入侵检测的分类，对比分析了各种入侵检测方法和入侵检测系统的体系结构的优缺点，最后指出了今后入侵检测的研究方向。

计算机科学中的一些逻辑理论的推理性质研究

由于一阶谓词逻辑的基本特征是具有可靠性、完全性，在推广一阶谓词逻辑表达能力及扩充其推理能力时，可以定义一些具有可靠性、完全性的逻辑，对此，在分析逻辑理论特征的基础上，给出一些逻辑的推理系统之间相似性的实质，证明这些逻辑在实质上并不能扩充一阶谓词逻辑的推理能力，并指出非单调推理中的缺省推理及限定推理所采用的技术是扩充时必需的．

一种用于机载计算机测试的模拟综合系统

为了对一种机载嵌入式计算机进行可靠性测试 ,我们研制了一套能模拟多个机载设备工作状态并完成系统综合的计算机装置 ,本文介绍了该装置的系统组成、工作原理、硬件与软件设计 ,该系统功能完善、操作简易、易于维护 ,已经成功的应用在某型号飞机的测试试验中。

计算机虚拟北航的建造与人机交互的实现

提出了虚拟北航校园场景数据库的层次结构 ,给出了基于碰撞检测的模型控制面场景调度控制方法 ,实现了冗余建模数据删减、纹理映射、多级层次细节模型三种场景复杂度消减策略 ,着重讨论了基于标准二维输入设备的实体选择算法并实现了对受限运动实体的操纵 ,最后简要介绍了一个通用的。

计算机生成全息图的研究与实现

1.引言计算机生成全息图(Computer-Generated Holography,简称CGH)是继光学全息之后于1965年由Kozma和Kelly提出的,CGH是计算机技术与全息技术的结合,为真三维显示技术开创了全新的局面。但由于受计算机运算速度、容量、高分辨率显示器以及传输带宽等因素的约束,七十、八十年代CGH的研究未取得大的进展。1989年,美国麻省理工学院(MIT)媒体实验室以S.A.

DVENET中计算机生成兵力的初步实现

计算机生成兵力 (CGF—— computer generated forces)是 DVENET中的 7种仿真实体之一 ,它由计算机程序 (算法 )控制实体的行为 .计算机生成兵力的目的在于增加虚拟战场环境中仿真实体的数量 ,提高虚拟战场环境的复杂度和真实性 .文中阐述了目前版本的 DVENET中计算机生成兵力实体 (歼击机和坦克 )的部分低级智能行为的初步实现 。

计算机图形学CAI教学软件设计

主要论述了计算机图形学的CAI教学软件的实现过程 ,同时深入探讨了这一学科中的真实感图形生成技术———消隐技术 ,并用VC实现了几种常见的算法 ,最后完成了这门学科的CAI教学软件。

计算机指令集仿真器的时间仿真技术研究

本文介绍了计算机系统的时间概念,讨论了计算机指令集仿真器中时间仿真的一般原理和方法,并以时钟中断仿真为核心分析了各种时钟仿真技术及其应用。

计算机接口与通信多媒体CAI教学软件设计

本文介绍了计算机接口与通信CAI教学软件的结构内容以及制作过程。本软件以友好的界面 ,强大的交互功能使得学习者在轻松的环境下 ,完成学习 ,复习 ,自测 。

PC平台上计算机2000年问题的测试方法

计算机2000年问题具有其特殊性。以往我们求解问题的模型是先有问题,我们要做的只是寻找这个问题的解答方案,而计算机2000年问题却需要自己寻找问题的所在。要解决2000年问题,首先是要进行分析和测试,其目的在于发现问题,然后才是想办法解决问题、改进系统,最后又要通过分析测试,检查系统的2000年问题是否真的得到了解决。

汉语计算机自动分词知识

汉语分词是汉语言计算机处理的一项不可缺少的工作。使用自动分词知识可以进一步提高自动切分精度,满足高标准的需求。本文在[1][2][3]的研究基础上,介绍了一些行之有效的自动分词知识。根据对48,092个汉字的语言材料统计结果表明(统计材料分社会科学和自然科学两部分),这些自动分词知识可以处理90％左右的歧义切分字段。

MPLS流量工程体系结构优化研究

对支持流量工程的各种显式路由算法进行了比较 ,提出了在线分布实施MPLS(Multi ProtocolLabelSwitch)流量工程的优化体系结构 .通过引入扩展LSA(LinkStateAdvertisement)发布机制 ,采用分布和集中相结合的方式 ,使最小干涉路由算法的性能得到优化 ,同时提高了系统的可扩展性 .

分布式并行计算网络体系结构研究

随着网络用户的迅速扩展，利用网上资源构筑分布式并行计算环境进行中、大粒度任务的分布式并行计算这一课题已呈现出重要研究价值，本文分析了现有各类互连系统的本质特点，明确了构筑分布式并行网络和现有网络体制之间存在的主要矛盾，提出了一种新的分布式并行计算网络体系结构模型并讨论了实现中的关键问题．

支持MPLS流量工程的LER体系结构设计

文中设计了支持MPLS流量工程的标记边缘路由器LER(LabelEdgeRouter)体系结构,对显式路由计算、MPLS信令协议以及包转发机制等进行了详细讨论。LER流量工程组件通过对现有路由器结构的改造,利用合适的显式路由ER(ExplicitRoute)算法,可以在ISP骨干网上提供负载均衡,实施MPLS流量工程。

基于PC机的航空电子设备软件测试系统的设计

以航空电子任务管理计算机的测试系统为例 ,通过对其需求分析、体系结构和涉及到的软件的描述 ,提出了以Windows和商用产品为基础 ,构造模块化、可靠性高、低成本的航空电子软件测试测试系统的方法。

一种基于Web的工作流系统的设计与实现

工作流技术和应用软件系统的结合是计算机应用领域的一个研究方向 .分析了当前基于Web的工作流技术的研发现状 ,提出了一种基于脚本解释、同应用数据类型无关的基于Web的工作流系统WebWFS ,采用对象化的引擎结构、基于脚本语言的描述语言和IIS过滤器方式实现的引擎和Web应用之间的接口 .为验证系统的实用性 ,以某大型应用系统中的计划管理为例 。

软件体系结构研究综述

近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.归纳了软件体系结构技术发展过程及其主要研究方向.在分析了典型的软件体系结构概念之后,给出了软件体系结构的定义.通过总结软件体系结构领域的若干研究活动,提出了软件体系结构研究的两大思路,并从7个方面介绍了软件体系结构研究进展.探讨了软件体系结构研究中的不足之处,并分析其原因.作为总结,给出了软件体系结构领域最有前途的发展趋势.

嵌入式软件可靠性仿真测试系统研究

研究嵌入式软件可靠性仿真测试方法和环境 .文中给出了仿真测试系统的体系结构 ,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性 ,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨 .特别地 。

基于SAML的协同电子商务安全服务系统

如何提高跨企业边界的安全信息互操作性,为电子商务交易提供协同安全服务,是目前电子商务安全服务研究的重点和难点。针对该问题,给出了一种基于SAML的安全数据交换服务和基于该服务的面向企业应用协作的协同电子商务安全服务系统。该系统采用了统一的基于XML的安全数据描述、服务访问接口定义和安全上下文传递;首次提出了基于SAML的数据交互服务,并以此为基础,构造了协同电子商务安全服务,不仅能够提供以企业为边界的关键资源保护,还可为跨企业的电子商务应用提供协同安全服务;基于SAML的安全数据交换服务提供了丰富的编程接口,企业遗留安全系统经过少许编程,就可以在其提供的服务的基础上,实现与其他安全系统间的数据互操作。