软件架构师和开发者依靠自动化设计和构造工具，来快速地把业务需求转变成他们可以测试，验证，并部署的有形组件。
Software architects and developers rely on automated design and construction tools to rapidly transform business requirements into tangible components that they can test, validate, and deploy.
可视化情节串连板应该被验证，主要关注于验证GUI背后的主要设计思想的正确性。
The visual storyboards should be validated, focusing the verifications on the correctness of the main design ideas behind the GUI.
为了验证这个想法，她和同事们设计了一种设备，利用短脉冲电使周围空气离子化，产生紫色富含氧离子的等离子火焰。
To test this idea, she and her colleagues designed a device that USES short pulses of electricity to ionise the surrounding air, creating a purple plume of plasma rich in oxygen ions.
对于更高的一级机电一体化产品的规划，设计和验证，有许多流程和程序是ALM和SCM系统不支持得。
And at the higher levels of planning, designing and validating a mechatronic product, there are processes and procedures that many ALM and SCM systems do not support.
滤波器与组件结构的一体化设计是论述重点，实验结果验证了该方法的正确性。
The emphasis is put on the design of incorporate with module fabric and filter. The experimental results reveal that this method is correct.
通过实例验证了对复进机参数化设计的可行性和正确性。
The feasibility and correctness of the parametric design for hydropneumatic recuperator are validated by an example.
系统为用户提供大量的、可视化的仿真结果，从而协助他们完成飞行方案的设计、验证、论证、筛选和确定。
The system can give user plentiful and visually result of simulation; consequently help them accomplish the design, validation, argumentation, filter and decision of flight scheme.
除了具有直观易见的特点之外，图文法在计算机上的精确建模和验证能力，为设计可视化语言提供了一个坚实的理论基础。
In addition to an intuitive appearance, graph grammars provide a well-established foundation for defining visual languages with the power of precise modeling and verification on computers.
在此基础上，提出了模块化的医用病床设计构想，且通过具体的设计方案加以表达和验证。
On these basis, it formulated the modularity medical bed idea, expressed and validated the idea by specific design programs finally.
并将该方法应用在某企业A SP网络化服务系统的设计和开发过程中，该方法的可行性在典型应用中得到了验证。
In the process of designing and developing the ASP network service system, the feasibility of the method is validated in typical application.
采用VB开发共轭凸轮机构的计算机辅助设计系统，进行共轭凸轮参数化设计，并通过算例验证。
The CAD system for conjugating cams mechanism was developed with VB, the parameters of the conjugating cams mechanism was designed and verified.
以VB语言为例，研究了可视化程序设计类课程的上机考试界面题的自动评分问题，提出了关键问题的解决方法，并在实际中进行了验证。
By VB language, for example, a study of visual programming courses on the subject automatic marking interface test score issue, the key solution to the problem, and in practice are verified.
所建的参数化模型已经通过了有效性验证，而且该模型支持微型客车概念设计阶段的结构正面抗撞性快速方案设计。
The model has been validated by testing, which supports the rapid design of minibus body structure frontal crashworthiness during concept design phase.
最后，基于模块化业务动态更新平台，本文设计和实现了网上书店仿真实验系统，来验证平台的可用性和正确性。
Finally, base on the modular business dynamic update platform, this paper designs and implements a network bookstore system to verify the usability and accuracy of the platform.
最后利用三阶水槽液位控制实验装置，验证了非脆弱pid控制器稳定化设计方法的有效性。
Finally, experiment results for a triple-flume control system prove the effectiveness of the non-fragile PID stabilizing controller.
对环路中的各部件参数等进行了设计与仿真，建立了环路的动态仿真模型，验证了算法的正确性，并且得到了数字化载波同步环路设计的一些经验值。
Then we validate the algorithm's correctness by establishing a dynamic simulation model of the loop, in which we obtained some experiential values of certain parameters.
基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。
Model checking based formal verification is a technique of this kind, and has been successful used in practice to verify complex sequential circuit designs and communication protocols.
以铁路客车内装模块化配置设计为应用，验证了该优化模型及其求解方法的可行性和有效性。
The modular configuration design of railway passenger car interior decoration is taken as an example to illustrate the feasibility and validity of the model and it's solving method.
完成了基于FPGA平台的多频恒流激励源和数字化正交序列解调模块的设计、构建与实验验证。
Design, construction and verification test is made to complete a multi-frequency excitation source based on FPGA and to complete a digital quadrature demodulator.
继CGG和其合作客户对其最终模型的设计进行验证之后，该模型于2012年实现了商业化并开始了数据采集工作。
Once final modeling by both CGG and client partners validated the design, it was commercialized and acquisition commenced in 2012.
在阐述智能制造装备特点的基础上，提出了一种基于CORBA规范的智能制造装备数字化设计与验证系统的体系结构，并探讨了实现该系统的关键技术。
On the basis of expounding the features of intelligent manufacturing equipment, a CORBA-based system of the digital design and verification for the intelligent manufacturing equipment is presented.
该文详细论述了基于FPGA的单板信号处理机的模块化设计及实现，并通过仿真和测试验证了设计的正确性。
This paper discusses the modularized design and implementation of single board signal processor based on FPGA in detail, and the validity of the design is verified by simulation and test.
以ngn网络智能化改造工程设计方案为基础，利用实施的割接方案验证了本文提出的工程设计方案的可行性。
Basic of the NGN intellectualized network reconstruct design plan, it use the plan about cut and plug in the lines to make true the project design plan.
最后使用故事化的交互设计方法进行了概念产品的设计和评估，以来验证此设计方法的可行性。
Finally, in order to verify the feasibility of story-based interaction design method, we used this method to do the design of a concept product and also did the evaluation to the product.
研究结果表明，该小型化四足机器人可以实现稳定的运动，进而验证了机器人设计方案的可靠性。
The results indicate that the miniaturization quadruped robot can achieve stable movement, and then it verifies reliability of the robot design.
最后基于直接反馈线性化(DFL)方法设计了SSSC和SVC协调控制器，仿真结果验证了该协调控制策略的有效性。
Based on direct feedback linearization (DFL) method, a coordination controller for SSSC and SVC is designed, and simulation results validate the effectiveness of this coordination control strategy.
该方法针对目前航空电子系统的系统设计与验证中的“V”型流程进行建模，并对其进行形式化的描述，以供计算机分析、识别。
With this met hod V-type process in current avionics system design and verification is modeled and formally described for computer analysis and identification.
本文根据面向对象的工作流建模思想，设计了工作流元模型及其可视化的建模工具。为了验证工作流模型的可用性，开发了工作流执行服务原型系统。
According to that view we design the object-oriented workflow model and the visual model tool, and develop a workflow original system to test the workflow model's usability.
本文根据面向对象的工作流建模思想，设计了工作流元模型及其可视化的建模工具。为了验证工作流模型的可用性，开发了工作流执行服务原型系统。
According to that view we design the object-oriented workflow model and the visual model tool, and develop a workflow original system to test the workflow model's usability.
应用推荐