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

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

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

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

基于MVC的IETM版本控制机制

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

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

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

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

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

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

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

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

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

面向无线认知网络的冗余感知数据消除

在无线认知网络的协作式频谱感知方案中,非授权用户（次要用户）将各自感知到的可用频谱信息转发给邻居节点,作为频谱分配的依据.而实际上,仅有部分数据影响着频谱分配的结果.无用信息的传递不仅产生了大量额外的通信开销,而且在频谱分配过程中浪费了计算资源.这种情况对于频谱资源稀缺的无线认知网络和能量有限的认知终端来说是无法接受的.因此,如何减少无用信息的传递是一个具有重大实际意义的问题.基于skyline查询处理,提出了多目标约束下skychannel查询处理方法,以减少冗余感知信息传递.其基本思想是：将数据空间划分为控制区域、被控区域和自由区域,按照信道的性能参数,将要查询的信道放入相应区域.传输时,直接忽略被控信道的信息而仅传输非被控信道的数据.在保证不影响频谱分配结果的前提下,可以大量降低网络开销,节约用户的计算资源.仿真结果显示,skychannel查询方法在节约查询时间、降低通信开销和计算开销等方面具有优势.     

存储一致性模型研究

讨论了分布式共享存储系统（Ｄ Ｓ Ｍ）的通用结构及页面管理机制,给出了各种存储一致性模型的正确性条件,并以互斥问题为例,说明了在分布式环境下编程的一些特点,最后,基于作者本人的工作,还讨论了如何提高Ｄ Ｓ Ｍ 系统性能的问题。