Test frame updating in CPM testing of Prolog programs

Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand, it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults that are more likely to show their presence in the use of the program under consideration. Our test frame updating method preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns semantics is proposed, and the test frame updating on the semantics is illustrated by an example.

基于FPGA实现DSP与RapidIO网络互联

本文首先简单的介绍了总线的发展,从而引出一种新型的串行点对点交换结构RapidIO.DSP在高性能处理系统中的重要性毋庸置疑,但是目前的很多DSP并没有RapidlO接口.本文提出了利用FPGA,将DSP的总线桥接到一个RapidIO IP上,从而实现了DSP与RapidIO网络的互联.     

Learning Image-Text Associations

Web information fusion can be defined as the problem of collating and tracking information related to specific topics on the World Wide Web. Whereas most existing work on Web information fusion has focused on text-based multidocument summarization, this paper concerns the topic of image and text association, a cornerstone of cross-media Web information fusion. Specifically, we present two learning methods for discovering the underlying associations between images and texts based on small training data sets. The first method based on vague transformation measures the information similarity between the visual features and the textual features through a set of predefined domain-specific information categories. Another method uses a neural network to learn direct mapping between the visual and textual features by automatically and incrementally summarizing the associated features into a set of information templates. Despite their distinct approaches, our experimental results on a terrorist domain document set show that both methods are capable of learning associations between images and texts from a small training data set.     

激光扫描车身测量传感器靶标识别体系的研究

介绍了四光束激光扫描测量车身三维坐标的系统构成和基本原理,从系统PIN预处理输出的靶标回射信号的特点出发,为汽车车身测量传感器设计了基于条形码识别原理的合作靶标识别体系,最多可同时对27个测量点进行有效识别,确保传感器的精度要求和效率要求,达到了很好的实验效果。     

基于PIC16F873单片机的水产养殖增氧机设计

文中给增氧机设计了一种自动控制方案,这个方案的硬件电路采用了美国MICROSHIP公司生产的PIC16F873单片机.使得该系统具有智能增氧,水温报警的功能,可以有效的提高水产养殖的自动化程度和提高水产养殖的饲料利用率.     

基于人工免疫的网络安全态势评估模型

本文将人工免疫原理应用到网络安全态势评估的研究中.通过对入侵检测模型中有关自体、非自体、抗原的形式化描述,建立了抗体细胞的演化机制、动态免疫记忆、免疫监视等免疫机制.依据人体免疫系统抗体浓度的变化与病原体入侵强度的对应关系,建立了网络安全态势实时定量计算模型.     

财务状况变动表的运用──以营运资金为基础的财务状况变动表的分析

根据企业会计准则要求企业应编报财务状况变动表,但该表在我国运用尚属首次,人们对它的认识还很浮浅。现以该表的编报基础营运资金为对象,分析财务状况变动表的内容及表中列示资料的作用,力图达到能运用该表资料以分析企业财务状况变动情况之目的。     

Diffractive-phase-element design that implements several optical functions

A scheme for the design of diffractive phase elements (DPE's) that integrates several optical functions is presented in a consistent sense based on the general theory of amplitude-phase retrieval and the Yang-Gu algorithm [Appl. Opt. 33, 209 (1994)]. We extend the original Yang-Gu algorithm to treat a system illuminated by a beam of incident light whose components are at different wavelengths, and a set of equations for determining the phase distribution of the DPE is derived. The profile of a surface-relief DPE can be designed with an iterative algorithm. Numerical simulations are carried out for the design of one-dimensional DPE's capable of both demultiplexing different wavelength components and focusing each partial wave at predetermined positions. The influence of the extension of sampling points in the DPE's from ideal geometric points to physical spots on design results is also investigated. The numerical simulation results show that the new algorithm can be used successfully to design the desired DPE's. It is therefore expected to be useful in the design of DPE's for micro-optical systems.     

催化裂化装置龟甲网双层衬里的改进

通过对催化裂化装置老的龟甲网双层社里使用情况的调查研究以及对存在问题的分析,提出了改进措施。经近几年的实际应用考核证明,改进措施是行之有效的。在此基础上制订了院标“ＢＬ型隔热耐磨衬里施工技术要求”。     

Analysis of light propagation characteristic in the aero-optic flow field of cone-headed vehicle with side window

Aero-optic imaging deviation research is carried out for infrared-guided vehicle with cone-head side window, with a focus on the propagation characteristics of light in an aero-optic flow field. When the light entering the aero-optic flow field from the free-stream should be close to the normal, numerous data indicate that the light is refracted away from the normal. This paper divides the aero-optic flow field into two parts and uses the gas density distribution in the aero-optic flow field to ...