基于SAT求解的面向对象程序类型分析

类型分析是面向对象程序分析中的重要环节,精确的类型分析能够提高其它程序分析的精度.由于传统精确分析方法固有的高复杂性,现有的类型分析大都使用粗糙的分析方法.提出了一种基于SAT求解的面向对象程序类型分析方法.该方法用命题逻辑表示类型在变量间的传递关系,将程序抽象成命题公式,并使用高效的SAT求解器求解,从而获得变量运行时的类型集合.该方法是流敏感的,并且具有良好的伸缩性,既可以进行快速但精度低的上下文不敏感分析,也可以进行较慢但精度高的上下文敏感分析.     

OPNET网络仿真技术及其应用

网络仿真是一种新的网络设计和优化技术,它能够为网络的规划设计提供可靠的定量依据,也能够验证实际方案或比较多个不同的设计方案.介绍了OPNET网络仿真软件,并对其主要特性、建模机制以及仿真步骤进行了深入的阐述.最后,给出了OPNET软件在预测网络性能方面的一个应用实例.实验结果表明,OPNET网络仿真软件能够准确地分析复杂网络的性能和行为.     

基于.NET框架的DICOM协议设计与实现

针对.NET框架调用C+ +开发的医学数字影像通信DICOM(Digital Imaging and Communications in Medicine)工具库需要重新声明数据结构和函数,提出在.NET框架下开发DICOM工具库.在分析DICOM3.0协议定义的信息对象、数据字典、通信服务类、文件解析与传通功能之后,采用C#语言和面向对象技术设计并实现了工具库.实验表明减少了数据结构重定义和输出函数重声明的工作量,提高了PACS系统开发和实施效率.     

基于G2的电子战仿真技术研究

现代电子战(EW)作战系统规模日趋庞大,作战环境也日趋复杂,对用计算机进行EW仿真提出了更高要求.如何将面向对象建模、人工智能等技术应用到EW仿真中是当前研究的重点之一.文中运用面向对象建模方法建立EW作战系统的实体模型和行为模型,并与描述EW电磁环境的数学模型一起构成仿真模型库.然后以仿真模型库为基础,利用智能系统平台的知识表达和实时推理能力,建立了仿真规则知识库并以专家系统产生式推理的方式实现规则驱动的仿真运行.这种基于面向对象、知识推理的仿真已应用于EW作战系统的效能评估,并为战法研究、策略评估等更高层次的EW仿真提供了有力的手段.     

基于OGRE和ODE的碰撞检测在巷道漫游系统中的研究

为了提高交互漫游系统中动态人物与静态场景对象之间的碰撞检测性能,提出了将动态人物采用包围盒的方法,与地面、巷道等静态物体采用三角网格面的方法相结合的思想,并将其应用于OGRE和ODE环境的巷道漫游系统中。结果表明,此方法提升了碰撞检测性能,满足了虚拟现实中实时性的要求。     

一个无线定位应用开发框架

目前无线定位应用程序存在结构不统一、无法兼容多种定位设备的问题。应用开发框架对应用程序中的共性部分进行抽象,可以提高软件复用,缩短开发周期。设计了一个无线定位应用开发框架,支持多种定位设备数据的融合,实现了业务逻辑与底层定位平台的隔离,标准化了无线定位应用程序的体系结构。同时,给出了该框架的一个应用实例,介绍了其中的关键技术,验证了该框架的有效性和实用性。     

GKD-Base中对象解析机制的设计与实现

在国产数据库管理系统GKD-Base内核上，兼容Oracle PL/SQL V8.0 语言规范，基于PL/SQL引擎，从编译的角度提出了一套解析和标识Oracle PL/SQL程序中对象的解决方案。依据这套解析机制，可以在GKD-Base中引入面向对象的概念，实现了对数据库中对象的编译，支持对象的继承和多态性。从而进一步扩展了GKD-Base的功能。     

基于公理系统的面向对象自动测试研究

文章提出了一个基于公理系统的面向对象自动测试框架.该框架首先从XML文件中提取被测类的代数规格说明和公理描述,然后使用‘term rewriting'技术生成‘消息对'形式的测试用例,最后使用velocity模板引擎使测试用例可以在Junit单元测试工具上自动执行和验证.     

Object-oriented task analysis

The object-oriented approach has recently received much attention in MIS development. However, as yet little research has been reported on task analysis in the object-oriented paradigm. This paper describes an object-oriented method for task analysis. Three fundamental types of objects (task, user, and interface) engaged in task analysis are described. The association between these objects is then built through identifying the messages between the objects. A practical application of this method shows that it is useful for the analysis and design of a human-computer interface.     

Object-oriented analysis-synthesis coding based on moving two-dimensional objects

An object-oriented analysis-synthesis coder is presented which encodes arbitrarily shaped objects instead of rectangular blocks. The objects are described by three parameter sets defining their motion, shape and colour. Throughout this contribution, the colour parameters denote the luminance and chrominance values of the object surface. The parameter sets of each object are obtained by image analysis based on source models of moving 2D-objects and coded by an object-dependent parameter coding. Using the coded parameter sets an image can be reconstructed by model-based image synthesis. In order to cut down the generated bit-rate of the parameter coding, the colour updating of an object is suppressed if the modelling of the object by the source model is sufficiently exact, i.e., if only a relatively small colour update information would be needed for an errorless image synthesis. Omitting colour update information, small position errors of objects denoted as geometrical distortions are allowed for image synthesis instead of quantization error distortions. Tolerating geometrical distortions, the image area to be updated by colour coding can be decreased to 4% of the image size without introducing annoying distortions. As motion and shape parameters can efficiently be coded, about 1 bit per pel remains for colour updating in a 64 kbit/s coder compared to about 0.1 bit per pel in the standard reference coder (RM8) of the CCITT. Experimental results concerning the efficient coding of motion and shape parameters are given and discussed. The coding of the colour information will be dealt with in further research.