火控文摘

火控文摘９６００５在不完善的多传感器环境中进行决策融合的递归策略．Ⅰ．融合的益处＝Ｒｅｃｕｒｓｉｖｅｓｔｒａｔｅ－ｇｉｅｓｆｏｒｄｅｃｉｓｉｏｎｆｕｓｉｏｎｉｎｉｍｐｅｒｆｅｃｔｍｕｌｔｉｓｅｎｓｏｒｅｎｖｉｒｏｎｍｅｎｔｓ．Ｉ．Ｆｕｓｉｏｎｂｅｎｅ...     

Client/Server 模式的智能语言集成框架

将ＡＩ技术集成到主流信息技术之中是提高信息系统智能化水平的一项十分重要的基础性工作。本文讨论一种Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算环境（简称ＣＳＥ）,它将Ｐｒｏｌｏｇ系统和Ｃｌｉｐｓ系统作为两种特殊的数据服务系统集成其中。ＣＳＥ支持客户应用使用确定的ＡＰＩ,以规范的Ｐｒｏｌｏｇ语言（或Ｃｌｉｐｓ语言）形式请求Ｐｒｏｌｏｇ服务器（或Ｃｌｉｐｓ服务器）提供问题求解服务。文章阐述了这一设计的合理性,讨论了ＣＳＥ的体系结构和实现技术,说明了与特殊数据服务无关的通信机制、ＡＩ语言服务器的挂接技术以及ＣＳＥ应用。     

美国IEEE出版物及订购方式

美国ＩＥＥＥ出版物及订购方式张杏忠关键词ＩＥＥＥ,出版物订购１ＩＥＥＥ机构简介美国电气与电子工程师学会（ＩｎｓｔｉｔｕｔｅｏｆＥｌｅｃｔｒｉ－ｃａｌａｎｄＥｌｅｃｔｒｏｎｉｃｓＥｎｇｉｎｅｅｒｓ简称ＩＥＥＥ）。它由其前身１８８４年成立的美国电气工程师...     

基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

基于StarBus的对象事务服务的设计与实现

在分布式计算环境中，对象事务服务（ＯｂｊｅｃｔＴｒａｎｓａｃｔｉｏｎＳｅｒｖｉｃｅ简称ＯＴＳ）对于提高分布式系统的开发效率具有重要意义。设计与实现一个高效的对象事务服务的关键在于克服网络阻塞的问题，本文着眼于一种基于面向对象传值语义的设计方法，可以有效地减少网络阻塞，适合于企业级应用。     

具有中国特色软件──汉字系统及汉字输入法

具有中国特色软件──汉字系统及汉字输入法江国平８０年代初期,原电子工业部第六研究所经过几年的努力,终于在英文操作系统ＤＯＳ基础上开发成功世界第一套汉字操作系统ＣＣＤＯＳ（ｃｈｉ－ｎｅｓｅＣｈａｒａｃｔｅｒＤＯＳ）。到目前为止。在社会上广为使用的有ＳＰ...     

DOS环境中BMP图的分块分解和显示

本文叙述了一种用ＭｉｃｒｏｓｏｆｔＷｉｎｄｏｗｓ３．１中的工具软件Ｐａｉｎｔｂｒｕｓｈ生成的位图格式图形文件（文件的扩展名为．ＢＭＰ）按位面分块分解,并在ＤＯＳ环境中分块快速显示的方法,这种方法可以方便地实现显示图形的变色,同时也比较容易达到一定的动画效果。     

ABOUT CASE

ＡＢＯＵＴＣＡＳＥＹａｎｇＳｈｕｑｉａｎｇ;ＷａｎｇＦｅｎｇ;ＣｈｅｎＨｕｏｗａｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ,ＮＵＤＴ,Ｃｈａｎｇｓｈａ,４１００７３）Ａｂｓｔｒａｃｔ：Ｃｏｍｐｕｔｅｒ－ａｉｄｅｄｓｏｆｔｗａｒｅｅｎ...     

使用 Visual Basic 4.0 开发多媒体数据库

ＶｉｓｕａｌＢａｓｉｃ４．０是一门通用的程序语言,可以用于编制各种不同功能的应用程序,尤其对于编制数据库管理程序更有独到之处．而多媒体数据库的应用是当前人们关注的焦点,文中针对ＶｉｓｕａｌＢａｓｉｃ４．０的特点,结合数据库与多媒体的知识,介绍了如何编制一个灵活实用的多媒体数据库管理程序．     

圆筒型压力容器的塑性分析

本文采用Ｍｉｓｅｓ条件与Ｔｒｅｓｃａ条件,对轴对称平面应变压力容器进行塑性分析,取得了弹性极限荷载,塑性极限荷载及弹塑性区交界半径的表达式。     

GSPN的分析方法及其应用

随着计算机和信息技术的发展,广义随机Petri网(G SPN)作为一种图形化的建模工具,不仅可以对系统进行形式化的描述和快速原型开发,而且由于其具有坚实的数学理论基础,可以对系统进行正确性验证和性能评价,因此在系统的设计过程中,得到了广泛的应用。基于结构分析方法、可达图分析和数值分析方法讨论分析了G SPN,并给出了具体的算例,最后讨论了G SPN的应用领域。     

软件质量保证技术研究综述

概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形式化方法方面有待进一步研究的问题     

基于本体技术的分布式模拟训练系统操作监控平台

针对分布式模拟训练系统操作训练特点,在基于HLA（High Level Architecture）的模拟训练系统中,提出并建立了基于本体技术的操作训练监控平台,解决了训练系统和监控平台中操作消息的语义异构问题,实现了操作训练情况的动态实时显示。在平台实现中,采用RTI（Run-Time Infrastructure）提供的服务实现了联邦数据收发;建立了操作信息领域本体,采用计算语义相似度的方法实现操作信息由分布交互层向语义层映射;通过专家知识库和操作监控引擎判断操作逻辑合理性;利用View Graph以图形化的方式展示出操作训练情况。最后,通过一个炮车操作训练监控实例,验证了该平台的可行性和有效性。     

课件写作系统的功能需求分析与结构选择策略

本文从“课件工程”的角度出发,对课件及其写作系统的功能需求和结构设计进行了讨论,并介绍了课件写作环境AutoCAI的开发过程和设计策略。     

软件开发自动化

软件开发到底是一个什么过程?这个过程中的哪些工作能自动化?这是软件开发自动化的两个核心问题。本文以这两个问题为中心来展开讨论,试图提出一些见解以改进过去的研究工作。值得指出的是;基于这里的思想,我们已经实现了一个用于开发Ada 软件的支持系统。实验表明:在该系统的支持下,开发者能以最少的干预半自动地实现从问题的自然语言描述到程序包规范的转换。     

三峡库区水环境污染预警与决策系统设计与实现

以三峡库区重庆段水环境地质调查项目为基础,综合应用数据库,GIS,RS,GPS,计算机网络和现代检测技术及水环境中有机污染物、营养物、重金属污染的研究方法,提出了库区水环境污染物预警与决策支持信息系统总体设计和数据库设计架构。为政府部门科学决策和管理监控提供一个先进的信息平台,也为整个三峡库区水环境可持续发展提供有效的信息参考。     

改进型JDL模型在武警部队院校信息化建设中的构建

在武警部队院校的网络信息化水平迅速发展的今天,由于各功能模块缺少统一的接口规范和能够协调各部门信息共享的机制,使得建成的各个功能模块之间无法共享信息,造成了数据库中信息的大量冗余和重复。结合数据融合技术的基本原理、发展现状和应用前景,对数据融合技术进行了介绍;针对武警院校信息融合的需求,提出了改进型JDL模型,分析了武警院校信息融合网络的服务架构层次,对信息融合网络中的核心问题信息共享、接口规范、数据融合进行了研究;利用模块化设计的思路,对原型系统进行了分析,对实验数据进行了重组,并提出了数据优化方案。     

基于 Internet 的构件化管理信息集成平台 ICMIIP 的研究与实现

论述了基于Ｉｎｔｅｒｎｅｔ的构件化管理信息集成平台ＩＣＭＩＩＰ的设计思想和实现技术，包括遵循ＣＯＲＢＡ２．０ 标准的Ｊａｖａ ＯＲＢ的实现，以及如何使用Ｊａｖａ ＯＲＢ集成遗留的关系数据库应用系统，并将遗留应用推向Ｉｎｔｅｒｎｅｔ的方法     

基于配置管理的软件维护性评估

对软件质量进行定量化管理是软件工程领域的趋势,也是软件质量保证的重要手段。针对软件维护性定量评估难、数据获取难的问题,分析了软件维护性受配置管理关键要素的影响,提出利用配置管理数据对软件维护性间接评估的方法。结合软件工程开发实际,建立了配置管理数据收集过程,利用维护时间作为参数,统计5类功能点维护时间对软件维护性进行度量,实现了软件维护性的定量评估,并利用实际项目对方法的可行性和有效性进行了验证。     

作战应用软件评测指标及方法研究

作战应用软件装备部队前进行黑盒评测必须以规格需求为基础。根据作战应用软件的功能区分,提出了作战应用软件评测指标确定的原则和依据,建立了评测的指标体系,给出了评测方法。应用层次分析法自底向上对各级指标属性值进行计算,并对计算方法进行了分析。所用的评测指标体系和评测方法适用于各军种兵种作战应用软件评测,具有通用性特点。