逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

工程数据库管理系统DATFEA的符号对象模型及实现技术

本文主要论述符号对象模型的形式化定义及DATFEA标识系统的实现技术,文中对COHOR复杂对象模型的属性(域)进行了广义扩展,引入了对象标识、符号值、符号对象、值对象等概念,并讨论了DATFEA的总体结构及符号对象模型的逻辑组织方法。     

VMF编解码器与指控系统通用接口的设计

将指控系统的消息格式统一到VMF上,是未来数据链发展的趋势,也是数字化战场作战中的重要依托和未来地面部队战术信息交换的关键。文章针对使用VMF消息标准的不同指控系统,提出和设计了一种指控系统与VMF编解码器之间的通用接口,使VMF编解码器与指控系统相分离,可以方便用户在读取和发送VMF消息时对消息的自定义处理,提高了整个系统的灵活性和通用性。     

基于Hibernate的装备管理系统的设计与实现

分析了对象/关系映射框架Hibernate的体系结构和工作原理,提出了一种基于Hibernate框架的装备管理信息系统的体系结构和设计方案,详细介绍了基于Hibernate框架的数据持久层的设计与实现。     

字节流对象模型的设计和应用

航天技术的快速发展对任务数据处理提出了更高的要求。针对任务数据格式具有层次嵌套、变化频繁的特点,结合Composite模式设计了字节流对象模型(BOM)。BOM模型具有表述能力强、可灵活扩展的优点。该模型在航天任务数据处理软件中得到了应用,使得软件具备较好的可扩展能力。     

用CORBA技术构建分布对象应用系统

首先讨论了网络计算面临的问题和分布对象计算技术,然后详细讨论了分布对象计算标准——公共对象请求代理结构（ＣＯＲＢＡ）规范的体系和各个部分．最后,对基于ＣＯＲＢＡ的分布对象计算的优点及前景作了讨论．     

云南省军区电话费催缴/查询系统的设计与实现

本文结合军用电话制度改革情况,从如何改进军用电话服务质量,树立良好服务形象和提高工作效率出发,介绍我们研制开发的一种实用的话费催缴／查询系统的设计原理及实现方法,以供电话业务管理部门借鉴和参考。     

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

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

分布式虚拟现实系统中基本结构对象的分析

通过对现有几个系统实现的分析研究,提出实现分布式虚拟现实系统的最基本的九类结构对象及系统基本软件框架,主要对这些基本结构对象的功能及对象之间的关系进行详细的阐述,同时还对某些对象的具体实现方案作一些探讨,以方便分布式虚拟现实系统的构造     

THE RESEARCH AND IMPLEMENTATION OF COMBINING LOGIC WITH OBJECT­ORIENTED PARADIGM

ＴＨＥＲＥＳＥＡＲＣＨＡＮＤＩＭＰＬＥＭＥＮＴＡＴＩＯＮＯＦＣＯＭＢＩＮＩＮＧＬＯＧＩＣＷＩＴＨＯＢＪＥＣＴＯＲＩＥＮＴＥＤＰＡＲＡＤＩＧＭＺｈｏｕＬｉ;ＷｕＱｕａｎｙｕａｎ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ,ＮＵＤＴ,Ｃｈａｎ...     

一种多站无源联合定位系统的航迹起始方法

为了解决雷达系统面临的4大威胁,多站无源联合定位系统被广泛采用。航迹起始是多站无源联合定位系统对目标进行跟踪的首要问题。分析了多站无源联合定位系统的航迹起始问题的特点,在有源定位系统航迹起始的逻辑法基础上,利用辐射源参数构造多维相关波门进行关联判定,并采用基于最小二乘法的直线拟合方法对航迹作平滑处理,提出了一种针对多站无源联合定位系统的航迹起始方法。仿真实验结果表明了该算法的有效性。     

转换触发器功能的分离变量法

本文选择“转换逻辑”输入变量中的Q~n真作为分离变量来处理,把Q~n分离出来后,只需要通过简单的逻辑推理便可得到与通常使用的图形法及公式法相同的转换结果。     

粒子滤波的序列图像运动目标跟踪(英文)

序列图像的运动目标识别与跟踪是计算机视觉主要研究方向之一。研究的重点是要建立一个准确可靠的跟踪系统。针对此问题,传统的帧间差分法进行了改进,并研究了粒子滤波算法。在改进的帧间差分法和粒子滤波的基础上,提出了序列图像运动目标跟踪方法。实验实验表明,这种方法能够在目标被背景云彩遮挡的情况下,实现目标的可靠跟踪。     

一种改进的运动目标检测方法

提出的运动目标检测方法是基于动态阈值二值化图像,将帧差法与背景差法相融合,最终检测并提取出运动目标。通过VC++开发平台编程,并对监控图像中的运动目标进行检测实验,结果表明该方法与基于固定阈值二值化图像的方法相比能够更精确地检测出监控图像中的运动目标,且具备一定的鲁棒性。     

核试验地震核查的模糊逻辑推理综合识别方法

建立了一种增强性模糊推理方法,用来满足综合地震事件识别判据的需求。利用这种推理方法进行了地震事件模糊逻辑推理综合识别方法研究,给出了方法的框架。实例研究表明这种综合识别方法在核试验地震监测中有减少可疑事件数量的能力。     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

联合作战战场态势一致性评估

本文从战场态势一致性的影响因素出发,分析给出了动态目标一致性评估指标体系,并从作战需求和指标关系分析入手,采用效用函数和综合赋权相结合的方法对战场态势一致性进行了评估。经仿真验证该评估方法合理可行,对联合作战战场态势一致性的评估具有指导意义。     

基于统计势能的水平集特定目标轮廓提取方法

介绍一种基于统计势能的水平集特定目标轮廓提取方法.首先通过计算统计势能得到水平集曲线与目标边界相关程度,然后由此推导出区域决策影响因子并将其引入到水平集函数演化方程中,最终实现利用目标区域信息提高水平集目标轮廓提取质量.红外图像目标轮廓提取实验结果表明,该方法能够有效地克服目标轮廓提取中存在的边界泄漏问题.