基于元本体的本体协商方法的研究

本体作为领域共享的形式化概念模型,是实现服务自动化以及服务互操作的有效手段,多本体之间的异构妨碍了系统之间的信息共享与集成。结合元本体理论和本体协商的思想解决本体异构,实现本体之间的互操作。该方法在本体协商过程中以元本体为基础,借助本体之间共享的元本体对系统之间的通信信息进行解释和确认,从而提高本体协商的效率。最后通过一个简单实例说明了基于元本体进行本体协商的大致过程。     

基于MVC的IETM版本控制机制

根据某型雷达IETM交互式电子技术手册系统的实际需求,提出一种采用Java、网络、XML和MVC设计模式相结合IETM系统版本控制机制。该IETM系统的版本控制机制分版本更新、访问权限控制和版本跟踪3部分,其采用XML及其相关技术,将不同格式的数据转换成统一的格式进行管理。用户与数据库间只通过XML标准语言进行交互,从而实现现有数据的集成和共享,提高信息利用率。     

服务器容错与磁盘阵列技术的集成

介绍了 2种常用的服务器容错技术 ,详细阐述了RAID技术的基本原理 ,最后给出了一个工程集成实例     

动态处理OSPF配置参数的多机制模型研究与实现*

在原有动态模型的基础上,提出了动态处理OSPF配置参数的多机制模型,该模型充分利用原有模型的可扩展性,嵌入了多种处理机制,包括多层过滤机制、异步通信处理机制、有限状态机机制、MIB接口机制和MIB映射机制,从而提高了MIB的处理效率,增强了协议的稳定性、可靠性。     

基于TLA的事件图模型形式化验证方法*

针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logic of action,TLA)的事件图模型形式化验证方法.该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型...     

大,中型企业建立计算机辅助设计系统的初步探讨

近几年来,在企业,工厂建立起自己的CAD/CAM系统,已经是企业生存,发展的必不可少的条件,越来越多的有远见的企业家已经认识到这一点,已经或正在投入大量的资金,技术力量来进行这方面的工作。国内许多科研,生产,企业单位相继引进了各种型号,不同档次的CAD工作站,按主机分类,有采用IBM PC及其兼容机型的286,386,486微机,也有采用图形工作站作为主机,如SUN MICROSYSTEM公司的SUN系列工作站,SILICON GRAPHICS公     

一个面向产品的CAD系统—QBZ CAD系统

我们把《大,中型企业建立计算机辅助设计系统的初步探讨》一文中所考虑到的原则与青岛“琴岛-海尔”家用电冰箱总厂的具体的设计生产的实际情况相结合,开发,研制了面向家用电冰箱产品的计算机辅助设计系统,称之为QBZ CAD系统。 这样的系统也可以很方便地进行改变,转变成面向任何一种家电,机械,运输,化工机械产品的CAD系统。也可以按厂家所提出的任何要求进行设计,开发,以满足实际设计,生产的需要。     

WinSock2.2对于实时多媒体网络传输的支持

目前，ＡＴＭ等网络已能较好地支持多媒体传输，但用户应用程序接口却无法很好地利用底层网络支持。ＷｉｎＳｏｃｋ２作为新一代网络用户接口，对此有较大的改进。本文介绍ＷｉｎＳｏｃｋ对于多媒体传输的服务质量和多目广播的支持。     

基于PVM的动态可伸缩并行调试器设计

ＰＶＭ（ｐａｒａｌｌｅｌ ｖｉｒｔｕａｌ ｍａｃｈｉｎｅ）正在被越来越广泛地使用，但ＰＶＭ应用程序的并行调试还是一个有待解决的难题。文中介绍了自行设计的基于ＰＶＭ的动态可伸缩并行调试器ｄｄｂｇ，主要内容包括并行调试界面、总体设计和一些关键的实现技术。ｄｄｂｇ与其它已有的消息传递并行调试器相比，最大特点是其动态可伸缩结构，它能根据应用的需要自动分布调试服务。