Test Case Generation as an AI Planning Problem

While Artificial Intelligence techniques have been applied to a variety of software engineering applications, the area of automated software testing remains largely unexplored. Yet, test cases for certain types of systems (e.g., those with command language interfaces and transaction based systems) are similar to plans. We have exploited this similarity by constructing an automated test case generator with an AI planning system at its core. We compared the functionality and output of two systems, one based on Software Engineering techniques and the other on planning, for a real application: the StorageTek robot tape library command language. From this, we showed that AI planning is a viable technique for test case generation and that the two approaches are complementary in their capabilities.     

像增强型夜视系统的图像信息传递

在分析了像增强夜视系统信息传递的基础上，指出像增强器输出端荧光屏至人眼的图像传递过程，构成了像增强夜视系统信息传递量的限制．提出了采用系统信息传递量作为夜视系统设计与评价的方法，利用这种方法可以发现在像增强器增益足以补偿光谱选道衰减的条件下，采用彩色像增强可以大幅度增加夜视系统传输的信息量．     

埋地管道涂层检测技术现状

文章对各种埋地管道涂层检测技术进行了综述,并指出了各种技术的优缺点及应用前景.     

一种新型电子显示屏的研制

本文介绍一种不同于磁性翻牌显示屏和ＬＥＤ显示屏的新型电子显示屏，采用非发光体，针对显示屏彩色和动画图象对象素的要求，讨论了显示屏象素的多面色体变换的电路设计及软件实现。     

DGPSL：A DISTRIBUTED GRAPHICS LIBRARY

ＤＧＰＳＬ：ＡＤＩＳＴＲＩＢＵＴＥＤＧＲＡＰＨＩＣＳＬＩＢＲＡＲＹＳｈｉＪｉａｏｙｉｎｇ；ＰａｎＺｈｉｇｅｎｇ；ＺｈｅｎｇＷｅｎｔｉｎｇＤＧＰＳＬ：ＡＤＩＳＴＲＩＢＵＴＥＤＧＲＡＰＨＩＣＳＬＩＢＲＡＲＹ￥ＳｈｉＪｉａｏｙｉｎｇ；ＰａｎＺｈｉｇｅｎｇ；...     

用强度系列成象法获取或显示高动态范围图象

提出一种适合于高动态范围图象的获取和显示的强度系列成象法。改变输入图象的强度，微机控制的图象采集系统进行记录得到一组磁盘文件，形成强度图象系列。基于记录的系列图象，可以进行信息提取、变换和显示等操作。基于获得的图象系列，提出一种剪贴操作进行快速的非线性图象变换。给出对光学功率谱处理的一个实例，它相当于进行锯齿形的非线性变换。     

Management of multidimensional discrete data

Spatial database management involves two main categories of data: vector and raster data. The former has received a lot of in-depth investigation; the latter still lacks a sound framework. Current DBMSs either regard raster data as pure byte sequences where the DBMS has no knowledge about the underlying semantics, or they do not complement array structures with storage mechanisms suitable for huge arrays, or they are designed as specialized systems with sophisticated imaging functionality, but no general database capabilities (e.g., a query language). Many types of array data will require database support in the future, notably 2-D images, audio data and general signal-time series (1-D), animations (3-D), static or time-variant voxel fields (3-D and 4-D), and the ISO/IEC PIKS (Programmer's Imaging Kernel System) BasicImage type (5-D). In this article, we propose a comprehensive support ofmultidimensional discrete data (MDD) in databases, including operations on arrays of arbitrary size over arbitrary data types. A set of requirements is developed, a small set of language constructs is proposed (based on a formal algebraic semantics), and a novel MDD architecture is outlined to provide the basis for efficient MDD query evaluation.     

A semantic modeling approach for image retrieval by content

We introduce a semantic data model to capture the hierarchical, spatial, temporal, and evolutionary semantics of images in pictorial databases. This model mimics the user's conceptual view of the image content, providing the framework and guidelines for preprocessing to extract image features. Based on the model constructs, a spatial evolutionary query language (SEQL), which provides direct image object manipulation capabilities, is presented. With semantic information captured in the model, spatial evolutionary queries are answered efficiently. Using an object-oriented platform, a prototype medical-image management system was implemented at UCLA to demonstrate the feasibility of the proposed approach.     

超声波车辆车轴探头的研制与应用

提出了一种用于检测在役车辆车轴产生疲劳裂纹的超声波方法,设计了中心孔探头与斜角探头一起,完成了对车辆车轴的关键区域探伤。     

弹载红外图象处理器中多CPU之间通信方法的研究

弹载红外图象处理器是一个复杂的实时红外图象处理系统。由于它的计算量很大，实时性很强，单ＣＰＵ已经不可能完成如此繁重的任务。本文分析了弹载红外图象处理器中多ＣＰＵ之间通信的几种方法。在分析几种通信方法的原理和各自的优缺点之后，提出了弹载红外图象处理器中多ＣＰＵ之间通信应采用双口ＲＡＭ作共享存储器的并行通信方法，我们所设计的系统中均采用这种方法。实验证明这种方法的数据信息通信具有很高的灵活性和可靠性，完全满足弹载红外图象处理器中多ＣＰＵ之间通信的要求。