您要查找的是不是：
- automatic program verification system [计] 自动程序验证系统
- automatic program verification 自动程序验证
- The study of specification for abstract datatype (ADT) is important in the development ofobject-oriented software and in program verification. 研究抽象数据类型的规范说明对于实现面向对象的软件开发及程序证明等具有重要意义。
- Introduced a new method of modular design about automatic program system of NC punching machine. 提出了一种新型的数控冲床自动编程系统的模块化设计方法。
- Hainan Airlines is planning to target specific non-public offering of A shares to the relevant departments to carry out policy advice and program verification, the matter still uncertainty. 海南航空正筹划向特定对象非公开发行A股股票事宜，并向相关部门进行政策咨询及方案论证，该事项尚存在不确定性。
- This paper presents an overview of FAX(Fortran Automated X lator), an automatic program parallelizer developed for MPP system. 该文介绍了大规模并行处理系统程序自动并行化工具FAX（FortranAutomatedXlator）的系统概况。
- With the features of pulsating vacuum, entirely PLC automatic program control, automatic temperature recording, vacuum dring, ect. 采用PLC、人机界面全自动控制、自动温度记录，真空干燥等功能。
- Abstract： combining the computer technology with the related mathematic algerithm, the automatic program of the bunt-coke plan was realized. 摘 要： 将计算机技术与有关数学算法相结合，实现推焦计划的自动编制；
- user program verification facility 用户程序验证设施
- APL Automatic Program Load in telecom. In data processing, it's a popular programming language. 电信中的自动程序加载。数据处理中,APL是一种流行的编程语言。
- Is pattern light Chu switch after, computer automatic program is various as making an appointment to shake , promotes stomach , wriggles , improves constipation condition efficiently. 轻触开关后，电脑自动程序预约的多种震动模式，促进肠胃、蠕动，有效改善便秘情况。
- Finally the NC codes were generated after post process and the automatic programming was completed. 最后经后置处理生成特定机床的数控代码，实现自动编程。
- The Application of Cutter Swept Volume to NC Program Verification 刀具扫描体技术在NC加工图形验证中的应用
- The mathematic models on automatic programming of gear hobbing were estabilished. 摘要建立了圆柱齿轮滚齿自动编程数学模型，提出了数控滚齿自动编程方法。
- THE DEVELOPMENT OF TESTING TECHNOLOGIES FOR PROGRAM VERIFICATION 程序正确性测试的相关技术进展
- The purposes of part machining modeling in automatic programming is to provide the geomet ry basis for toolpath generation. 自动编程中零件加工造型的目的,是为了给刀具轨迹提供几何依据;
- The NC automatic programming system is successfully applied in manufacturing of Shanghai maglev train girders, and anticipant result is acquired. 本系统已经在上海市磁悬浮列车轨道梁生产中得到了应用，并取得了预期的效果。
- Develop an automatic programing system of NC blanking process which integrates above functions as one integral and take study to practical examples. 开发了一个集上述功能为一体的集成化钣金数控冲切加工自动编程系统，并进行了实例研究。
- AGV is one kind of transportation tool which is suit to working in the complex environment, and it is of highly automatic programming, organizing and adapting ability. AGV是一种具有高度自规划、自组织、自适应能力，适合于在复杂环境中工作的输送工具。
- A NC automatic programming system is developed by an integrated method, which reduces the times of human-computer interaction and the probability of misoperation. 利用集成化方法开发了NC程序自动生成系统，该系统简单适用，减少了生成程序过程中的人机交互，简化了操作过程，降低了出错概率。
