确定过程

This paper provides a method of variable integrity testing to detect the faults of software By checking the definition domain of the variable itself and the restriction condition of consistency between variables, we only need to determine the bound of each output data, rather than the exact value Although the output of testing case cannot be easily caught, this method can improve the efficiency of detecting faults Furthermore, the checking point is not limited to the final output place, but spreads over the reference places in the program code to key variables just like those at the checkpoints under debugging As a consequence, the testing becomes more precise

由于软件测试用例的输出部分很难确定，而通过测试变量自身的定义域和变量间的一致性约束关系，只需要确定输出值的范围而不用知道其确切的值，就可以提高了错误检测的效率同时，检测的范围不局限于程序最后的输出结果，而是散布在程序中的各个有意义的变量，正如调试过程中设置断点观察的那些变量，使得检测错误更加精准1 引言软件测试的本质在于针对要测试的内容确定一组测试用例[1] 测试用例分为输入和输出两部分功能测试和结构测试等基本的软件测试方法，都比较关心测试用例的输入部分定义域的确定，而对测试用例的输出部分考虑得较少例如，边界测试和等价类测试[2 ] 只考虑测试用

Through the research on the determination of SO2 in white granulated sugar by pararosaniline hydrochloride method, the sources of uncertainty components were analyzed, and the individual uncertainty values were evaluated, the expanded uncertainty of the m

摘要通过对盐酸副玫瑰苯胺法测定白砂糖中二氧化硫的测定过程进行研究，分析了该法测定结果的不确定度分量及其来源，确定了各不确定度分量值，给出了该法的扩展不确定度。

Referring to the construct of the common experts system, the frame and function of our system was determined to extend the OPS83 ratiocinative method with converse ratiocinative method, and the ratiocinative mechanism based on target-driver controlling was realized. In accordance with the complexity, uncertainty and confusion of chip forming and chip-breaking process, We suppose imprecise ratiocinative mechanism on the basis of confusion mathematics theory, and found prediction system of the chip forming and chipbreaking for the first time.

研究确定了切屑形成与折断过程预报系统的结构框架，参照一般的专家系统构成原理，确定了本系统结构与功能；扩充了OPS83的推理方式，增加了逆向推理功能，实现了基于目标驱动控制的推理机制；针对切削过程中切屑形成与折断过程的复杂性、不确定性和模糊性，运用模糊数学理论，设计了不精确推理机制；首次建立了切屑形成与折断过程预报系统。

This paper puts forward a new measure---Standard Area Antitheses, which studies the definition of the standard area and the regional threshold. According to the case study in Beijing, the author proposes a method of defining the area for Regional Traffic Impact Analysis.

针对区域性交通影响评价中范围阈值的确定，提出了标准区域类比法，研究了标准区域的确定方法和阈值确定的过程，并结合北京某区域实际，进行了区域确定方法的案例研究。

A pivotal problem to recognize of the precise position of laser facula has been solved in the process of design work: Firstly the method of background-subtraction is used to eliminate or weaken the affect of background light. Secondly the image threshold segmentation operation and morphologic operation are used to locate the sketchy position of laser facula ; Then the new method of Extracting Edge are designed based on character of laser facula , by using this method in the search area the edges of laser facula can be extracted effectively; At last the optimum picture of laser facular is selected by using the triggering function of hardware and function of software. The exact result can be obtained only by image processing to optimum picture.

在设计过程中解决了精确确定激光斑中心位置这一关键问题：首先利用减背景法，消除或减弱背景光的变化对确定激光光斑中心的影响；再对减完背景后的图片进行阈值分割和二值化处理以确定激光光斑的粗略位置；根据本文激光光斑的特征，设计了一个有效的边界提取算法，对指定区域进行提取激光光斑边界操作，精确的确定激光斑中心位置；最后利用硬件的触发功能和软件编程实现了激光光斑最佳图片的判读，只有对最佳图片进行图像处理得到结果才是准确的。

Centering on these two purposes, this paper sets up the architecture and functional model of Virtual Coordinate Inspecting System , determines its characteristics, determines its working process that from inspection planning、path planning、movement simulation、measurement uncertainty analysis of inspected parameters and assessment of inspectability according to user's demands.

围绕这两个目的，本文首先建立了虚拟坐标测量系统的体系结构和功能模型，确定了虚拟坐标测量系统的特征，确定了根据用户需求进行测量方法设计和路径规划，进而进行测量过程运动仿真、被测参数的测量不确定度分析和可测量性评估这一工作过程。

At last, the goal is that devices between the field level and the baylevel is easy to interlink,in spite of voltage being l0KV or 500KV insPitC of GlS or trolly wire being used, in spite of oPtical voltage/currenttransducer or combined voltage/current sensors being used in the field level, in spite of devices produced by ABB or GEC being used, in case that the interface scheme (including adopting which kind of network and standard) between the field level and the bay level is confirmed.

最终要达到这样一个目的，一旦过程层与间隔层的接口方案确定（包括确定使用何种网络、依据哪一个标准），那么不管系统电压是10KV还是500KV，不管是GIS还是架空线，不管过程层使用的是组合式电压/电流传感器还是光纤电压/电流互感器，不管过程层使用的是ABB的设备还是GEC的设备，过程层的设备就可以同间隔层的设备很容易地实现互连。

The method firstly determined the pinch point and the minimum utility targets of the batch processes by the water cascade analysis technology, then synthesized the water network by using the diagram and rules, and then determined the number and volume of storage tanks for batch processes with storage tanks,and lastly described the synthesized optimum water network by the time-water network diagram.The influence of the water network by the flowrate demand of a water-using process was also discussed.

它首先通过水级联分析技术确定间歇过程用水网络的夹点及最小公用工程，然后利用时间-纯度图和设计规则来合成用水网络，对有储罐的情况，确定了储罐的数量与容量，最后利用时间-水网络图描述了所合成的最优间歇过程用水网络，并探讨了用水过程流量对网络的影响。

Analysing the characteristics of the technology equipment for making the rectangle spline broach and the data for the rectangle spline broach"s technological design, selecting a programme for realization CAPP systems which is based on the management by data base, this CAPP system is composed of these models: the model of calculating the semi-finished product"s dimensions, the model of filling the manufacture process form, the model of filling the working procedure

分析了矩形花键拉刀制造过程中工艺装备的特点及其工艺设计所需要的各种资料和数据，选用了基于数据库的后台管理模式的由毛坯尺寸确定、过程卡填写、工序卡填写、时间定额确定、过程卡导入、工序卡导入等模块组成的计算机辅助工艺系统实施方案。

The article analyzed the main resources of the uncertainty of the measurement, which include uncertainty of the working curve, uncertainty of the resolution ratio of the instrument, uncertainty of measure unrepeatability, uncertainty of standard solution, etc. It quantified these uncertainties respectively and composed them to a standard uncertainty. Finally it got the expanded uncertainty of the total organic carbon measurement.

分析了测量过程中不确定度的主要来源，即工作曲线的不确定度、测量仪器读数分辨率导致的不确定度、测量不重复性引起的不确定度、标准溶液引起的不确定度等，分别量化后合成标准不确定度，得到总有机碳测量的扩展不确定度。

He and Nina moved to California and lived at 2005 Ivar Street, Apt.

他和Nina搬到加州，并在2005年伊瓦尔街，公寓生活。

Droperidol （ potently inhibits transfected HERGchannels and this is the probable mechanism for QT prolongation.

氟哌利多有效地抑制了转染的 HERG 钾通道，可能是 QT 间期延长的机制。