自动化设计

• With the corresponding automation design , thi application of laser in the cloth - cut field is certain to accelerate the development of the cloth industry
  如将其应用于服装裁剪，并做相应的自动化设计，必将促进服装行业的飞速发展。
• The main work of this thesis is in the fields of design automation techniques of embedded systems . it mainly consists of the following four parts : 1
  本文研究了嵌入式系统自动化设计技术中的一些问题，主要进行了以下4个方面的工作： 1
• The cam cad system for optical zoom lens applys computer technology to design zoom lens automatically with high precision and high efficiency
  光学变焦凸轮计算机辅助设计系统是应用计算机技术，实现对变焦凸轮高精度、高效率的自动化设计。
• The system keeps ahead in the seawater injection system in china , and it gives the example of the design of the seawater injection system at the shallow sea oil field
  该系统在国内浅海油田注海水系统中处于领先地位，为国内浅海油田注海水系统的自动化设计提供了范例。
• This system can solve the key technical problem in optical design and manufacture , it will improve optical design level and quality , shorten design cycle . at the same time , the system provides a practical new method for automatic design
  该系统解决了光学设计和制造加工过程中的关键技术问题，提高了设计水平和质量，缩短了设计周期，为变焦凸轮的自动化设计提供了一种新的实用方法。
• Then , a new design automation methodology is put forward which uses uml for specification , systmec for simulation and synopsys tools ( cocentric systemc compiler ) for hardware synthesis . the main feature of this methodology is its high possibility of implementation
  提出了一个基于uml系统描述的， systemc模拟验证的，利用cocentricsystemccomplier进行硬件综合的自动化设计方案，这个方案最大特点是可实现性强。
• The design of complex and high - speed chips requires novel theories and approaches in design automation . boolean process theory is recently proposed to meet this requirement . based on boolean process , some theoretical extensions are made and novel techniques in design automation such as timing , test generation and basic research on verification and synthesis are proposed in this paper
  布尔过程论是适应这种要求而提出的新的理论，本文以布尔过程论为理论基础，对该理论进行了拓展，探讨了该理论在复杂高速芯片设计自动化中的应用，在芯片定时、测试生成、验证和综合基础研究方面提出了几个基于该理论的自动化设计的新方法和新算法。
• Design and construction tools can automate moving from high - level constructs to working code by providing wizards to automate design , construction , and test tasks by generating code and enabling usage of code snippets , and by converting integration and testing into seamless development tasks through integrated development , build , and test environments
  设计和构建工具可以通过提供自动化设计，构建，和测试任务的向导来自动化从高级构件到工作代码的转移，而向导的自动化功能是通过产生代码和允许代码片段的使用，以及把集成和测试通过集成化开发，构建，和测试环境转变为无缝开发任务实现的。
• In order to improve the level of automation design for the plane double - enveloping worm - gear reducer , this paper developed a cad prototype system for the reducer . the cad prototype system included two parts : 1 ) the optimization design software of the parameter for the worm gear was written by visual basic 6 . 0 ; 2 ) the parameter modelling software for the reducer was developed by using autocad2000 / vba
  为了提高平面二次包络环面蜗杆减速器的自动化设计水平，针对目前国内还没有平面二次包络环面蜗杆减速器的计算机辅助设计软件这一现状，本文研究和开发了平面二次包络环面蜗杆减速器cad原型系统：用当今比较流行的可视化软件visualbasic6 . 0开发专门用于平面二次包络环面蜗杆传动的优化设计系统；用autocad2000 / vba开发的中心距从80mm到710mm的平面二次包络环面蜗杆减速器的参数化建模软件系统。
• In addition , an experimental system using c language is established , including modules such as representation of waveform polynomial , decision of path senstization , delay computing , clocking based on single - period sensitization , clocking based on multi - period sensitization , test generation considering noise and transformation from bit - level waveform polynomial to word - level polynomial model . they respectively used to test models and techniques proposed in this paper
  另外， :基于c语言本人设计开发了一个实验软件系统，该系统包括波形多j一贞式表示模块、敏化通路判定模块、延时计算模块、单周期敏化的最小时钟周期精确确定模块、多周期敏化的最小时钟周期确定方法模块、考虑噪声的测试生成模块和位级波形多项式描述转化成字级多项式描述模块，分别用于对本文各章中提出的自动化设计的模型和方法进行实验验证。