自动测试

This method can be used to reduce power dissipation of combinational logic.

本文通过上述问题的研究，在设计流程的不同阶段解决自测试设计的测试功耗问题：在高层综合阶段，引入功耗约束和模块随机响应模型，自动生成低测试功耗、低面积开销的RTL电路结构；在逻辑综合阶段，针对测试功耗分别优化了电路结构和测试向量生成电路，以微小的故障覆盖率和面积开销为代价，最大程度降低测试功耗。

The basic theory of the algorithm for test pattern generation using satisfiability is explored, including represent method of SAT-ATPG, search algorithm and analyses of achievement techniques. We describe how to represent circuits and fault detection problem as Conjunctive Normal Form . We improve an effient search algorithm suited to ATPG based on basic satisfiability algorithm.

本文研究了组合逻辑电路测试向量自动生成的可满足性方法，主要进行了可满足性的测试生成原理、实现算法、性能提高和测试向量的最大压缩等方面的研究，改进了一种有效的测试生成搜索算法SAT-ATPG，提出了隐含多路敏化的故障效应单路定向传播方法SOPCA、控制输入跟踪算法CIT和测试衍生算法TD，取得了较显著的效果。

Design : we have set up a Fire Fighting Equipment Engineering Design Research Institute , and a Fire Fighting Engineering Technology Re - search Center cooperated with 6 domestic famous universities and science and technology research institutes and experiment base etc Jiangsu Fire Fighting Products and Fireproof Material Professional Committee 15 found in our company We have class A design quali cationfor reghting engineering issued by the State Construction Department and the Ministry of Public Security There are more than 20 senior engineers , 100 engineers and 100 experienced technicians in ourcompany We have a CAD -computer - aided design network system equipped with 160 computers A large space multi-functional relaboratory center , constructed with 40000000yun investment and with total area up to 5000 square meters , has passed the acceptance test and approved by the National Quality Technology Supervisory Bureau It has more than ten kinds of international standards engineering application laboratories , such as , gas systems , water systems , marine systems , foam systems ,redetection systems , large space fire extinguishments , transformer room , tunnel , container etc A remote control and computer inspection system 15 set up in the center We have fire protection design ability for any huge construction projects We have successfUlly finished one item ofstatehigh-tech product industrialization promotion program , three state level TOrch Programs , and six state major new products programs , among which , six kinds of products have gained stafe pafents We also formare research center with six national universities to undertake hightechnical reinvestigation

研发设计：南消股份拥有国家建设部颁发的甲级消防工程设计资质，公司与国内多所著名高校建立了科技战略合作伙伴关系，并建立产学研联盟。公司技术中心是江苏省唯一省级消防工程技术中心，设有气体灭火、水灭火、泡沫灭火、工程设计、火灾报警、工艺研究等数十个专项研究室和中试基地，江苏省消防产品和防火材料专业委员会也设在本公司。公司技术中心拥有200多名经验丰富的科技人员，配备了先进CAD计算机辅助设计网络系统，已经具备承担任何大型和特大型项目的消防工程设计，完成了多项国家高新技术产品产业化推进项目、国家级火炬计划项目和国家重点新产品项目，公司的众多产品拥有自主知识产权的专利。产品制造：南消股份加工设备先进，工艺手段完善，计量设备精确，检测设施齐全。拥有产品数控加工中心、玻璃球洒水喷头装配测试线、数控机床加工生产线、数控管道切割线、油漆喷涂自动线、火灾报警产品装配、调试、检测线，以及各类性能先进的检测线。公司主要产品有：高、中压细水雾自动灭火系统；高低压CO2、IG－541、 HFC-227等各类固定气体自动灭火系统；探火管自动灭火系统；各类无管网自动灭火系统；固定式、移动式泡沫灭火系统；各类自动喷水灭火系统；各类消防水炮；各类船用消防产品；多功能救援快艇；各类火灾报警控制器；各类普通灭火器等300多个品种的系列消防产品，是中国消防行业生产品种最全，制造能力最强的企业。公司在同行业当中率先通过了ISO9001质量体系认证，船用产品形式认证，水系统产品率先通过UL认证、FM认证。

In order to facilely perform testing on C or C++ programs, a prototype tool called CppTest is designed and implemented. It can employ three levels'testing, namely (1) structural testing in method level by analyzing program's constructs, instrumenting probes, redirecting I/O stream, etc.,(2) state-based class level testing through modeling state transition behaviors using an extended finite state machine from the class specifications, and (3) system level black-box testing with some traditional strategies such as equivalence partitioning and boundary-value analysis.

以目前普遍使用的C/C++程序作为测试对象，实现了一个能进行方法级、类级和系统级三个级别测试的原型系统CppTest：基于程序CFG图分析、探针插装和I/O重定向等技术，实现方法级结构性测试；按照需求规约运用EFSM对类的状态转换行为进行建模，并依此自动生成测试用例集，实现基于状态的类测试；在系统级别上，运用等价类划分、边界值分析等常规策略进行黑盒测试。

This paper gives a brief introduction of research work on the fabrication measurement of rotation accuracy of machine tool main spindles. The following problems have been studied, stability of a new type base circle generator, mechanical method of eliminating eccentricities, precision fast eccentricity-regulating equipment, program of autosof tware for checking delaytime number for improving sampling accuracy and its au...

本文通过试验研究，讨论机床主轴回转精度工业测试的一些主要问题：新型基圆发生器的稳定性；机械消偏法及快速高精度调偏心装置；提高采样精度的自动软件检测延时数程序及自动定标技术；干扰的产生原因及消除方法；主铀的工业测试规范。

Depending on the abundant capital and the broad oversea market, our company introduces international high-precision assembly of the complete machine production lines, automatic routing for the armature, spot welding equipment, automatic production line rotor, aluminum die casting machines, injection molding machines, intelligent armature test counters, electric fuel pump test bed, life detector, pope detector , salt spray test-bed, and other production check-out equipment more than 100 sets from Taiwan and Japan, and established professional laboratory and completed examination method which is qualified with the requirement of the European Union and the Country.

公司依靠雄厚的资本和广阔的海外市场，从台湾、日本引进国际高精度的整机装配生产线、专用的电枢自动绕线、点焊设备、转子自动生产线、铝压铸机、注塑机、、智能电枢测试柜、电动燃油泵测试台、寿命检测仪、波普检测仪、盐雾实验台等生产检测设备100余台，并建立了符合欧盟及国家要求的专业实验室和完整的检测手段。

Such as: high-speed Cutting Machine (can be divided into wave-wave membrane), automatic winding machines, core subsamples parcels machines, automatic spray deposit machine, enabling automatic machines, welding machines, welding group li machines, automatic drilling machine brush clearance, automatic oiling machines, vacuum pneumatic equipment, epoxy powder encapsulation machine, automatic machine final test, durability test equipment.

高速分切机，自动卷绕机，芯子包裹机，自动喷金机，自动赋能机，焊接机，焊接组立机，自动钻孔清刷机，自动注油机，真空充气设备，环氧粉末包封机，自动成品测试机，耐久性试验设备等。

ASM automatically introduced solid crystalline machines, automatic wire bonders, die making machines, automatic cutting machine, automatic spectrophotometry machines, automatic loading belt, environmental testing machine, a computer analysis of microscope, such as world-class automatic production lines.

引进了ASM自动固晶机、自动焊线机、模造机、自动切割机、自动分光机、自动装带机、环境测试机、电脑分析显微镜、等世界一流的全自动生产线。

Our annual production capacity amounts to 6 million pieces.Now we have a 60KA high-frequency heat treatment machine,6 automatic spring winders ,3 spring testers(among them one is up to 10 tons of force)as well as computer-controlled spring grinder,heat treatment facility. Moreover we have punch machine,milling machine,planer machine.

现拥有先进技术设备高频冶60KA，自动捲簧机6台，弹簧测试机3台（其中一台拉力测试机为10T），电脑数控磨簧机，网带式自动热处理，另有冲床、铣床、刨床等等。

You execute the test manually while the test tool sits in the background and remembers what you do. It then generates a script that you can run to re-execute the test. It's a great idea - that rarely works.

测试者在后台运行测试工具，再手工执行测试，工具将测试者的动作记录下来，自动生成一个脚本，以便测试者可以重新运行测试动作，这虽然是个好想法，但对测试工作本身并无太大意义。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。