自动信息处理

ATPG is widely used in testing, and in terms of branch-and-bound searching, it is equivalent to a SAT solver. ATPG has two attractive features: It uses structural information of the circuit in decision making, and it handles X states more easily than a SAT solver. This report focus on fast ATPG engine specifically applied to PreImage computing in Unbounded Model Checking.

自动测试激励生成是测试领域的概念，它本身的求解过程是一个等同于可满足性问题的分支限界搜索，它的优点在于可以很好的利用电路的结构信息进行启发式搜索，同时可以灵活的处理不确定位。

Pyle barcode: barcode technology is the use of photoelectric scanning bar code symbol reading device, to achieve automatic recognition of machine and to input information quickly and accurately handle the computer in order to achieve the purposes of automated management.

派尔条码：条码技术是利用光电扫描设备识读条码符号，实现机器自动识别，并将信息准确快速地录入电脑处理，以达到自动化管理之目的。

A communication of information in the form of speech by means of guided and/or unguided electromagnetic energy, where the speech is processed at its destination by an automated voice recognition system.

一种信息通信以语言的形式通过导通和/或非导通电磁能设备，语言在它的目的地通过自动语音识别系统被处理

The ordinary edge detection methods such as Sobel and Canny operators are immune to noise, which result in cophasal axes discontinuity due to lack of edge information caused by noise.

由于边缘检测中常用的Sobel算子和Canny算子检测同相轴时对噪声免疫差，常因噪声因素引起边缘信息缺失导致同相轴提取不连续，本文采用中值滤波并对Sobel算子进行改进，对地震剖面图进行预处理，结合均方差自动确定阈值并进行异常检测，提取完整同相轴。

The ordinary edge detection methods such as Sobel and Canny operators are immune to noise, which result in cophasal axes discontinuity due to lack of edge information caused by noise. In order to extract cophasal axes more continuous and immune to noise, a novel approach is developed based on edge detection. Firstly, the median filter and improved Sobel method are used to preprocess seismic section images. Secondly, the threshold value is determined automatically based on variance to detect abnormal information. Finally, the complete cophasal axes are extracted after a post-processing.

由于边缘检测中常用的Sobel算子和Canny算子检测同相轴时对噪声免疫差，常因噪声因素引起边缘信息缺失导致同相轴提取不连续，本文采用中值滤波并对Sobel算子进行改进，对地震剖面图进行预处理，结合均方差自动确定阈值并进行异常检测，提取完整同相轴。

The first order gradient information was obtained by the analytical method and preconditioned automatic differentiation.

在该方法中优化命题采用简约空间SQP算法求解，求解过程中需要的导数信息采用解析表达和预处理的自动微分技术求取。

The experimental result shows that the improved VSM has the great effect on improving recall rate and precision of the document automatic categorization. It can not only refect the semantic information of the document, but also keep the characteristics of the document in the vector, what is pay to infrared processing.

试验结果表明，改进后的向量空间模型显著的提高了文档自动分类的准确率和召回率，既能完整的体现文档含义，又能加入文档的语义信息，有利于分类的进一步处理。

This intormation is combined in the structure of a Bayesian Graph so as to identify unknown or unpredictable faults. The final experiment results show the intelligent agent can detect network abnormal behavior before a fault actually occurs. Event correlation algorithm for network fault real-time isolation and handle uses object-oriented model method for critical network device and a novel coding scheme, even if in the case of lost alarm and wrong one, it also can identify the fault origin and automatically adapts to changes to network topology to ensure seemless scalability to large and complex network environment. Its performance greatly presides over traditional rule-based event management system.

对学习获得的信息经由贝叶斯图加以组合，从而签别未知的或不可预见的故障，实验结果表明智能监测代理系统能够在故障发生以前检测网络异常行为；用于网络故障问题实时隔离和处理的事件关联算法使用面向对象的针对的网络关键设备的建模方法和新型编码技术，即使在丢失报警和错误报警的情况下，亦能精确地标识故障源，并能自动适应网络拓扑的改变，从而保证无缝地伸缩到专用大型和复杂网络环境中，其性能大大优于传统的基于规则识别的事件关联系统。

The automatic monitor and forecast of flood regimen system is the automatic system which adopt modem technique of real-time collection, transmission and analysis of hydrologic information, it integrate hydrologic information、telecommunication、computer and the freshly progeny of many other subject for resolving correlative problem about the monitor and forecast of flood regimen, its appearance changes the draggled state measuring the flood regimen data merely by manpower in the foretime, maximum improve the monitor and forecast speed, improve the forecast precision, and enlarge the forecasting area and content.

水情自动测报系统是采用现代科技对江河流域的水文信息进行遥测、传输和处理的集成水文自动化系统，它综合水文、通信和计算机等多学科某些新近成果，用于解决相关的水情测报问题，它的出现已大大地改变了过去只靠人工测报水情资料的落后状态，极大地提高了测报速度，提高了预报精度，也扩大了测报范围和内容。

Calc includes several tools to help you manipulate functions and formulas, ranging from features for copying and reusing data, to creating subtotals automatically, to varying information to help you find the answers you need.

Calc包括几个工具可以帮助您处理函数和公式，包括复制和重用的数据、自动创建分类汇总、及变化的信息以帮助您找到所需要的答案等。

I am accused of being overreligious," she said in her quiet, frank manner,"but that does not prevent me thinking the children very cruel who obstinately commit such suicide.""

客人们在卡罗利娜·埃凯家里，举止就文雅一些，因为卡罗利娜的母亲治家很严厉。

Designed by French fashion house Herm è s, this elegant uniform was manufactured in our home, Hong Kong, and was the first without a hat.

由著名品牌 Herm è s 设计，这件高贵的制服是香港本土制造，是我们第一套不配帽子的制服。