When we carry on the ANSYS theoretical analysis, the analysis model of the whole bridge has been established with the solid element, the use of“binding equation method”solves tied-imposed problem of prestressed in the tied arch bridge, and the use of“the unit life
在进行ANSYS分析过程中利用实体单元来建立整座桥梁的分析模型,利用“约束方程法”解决了系杆拱桥中系杆预应力施加问题,并使用“单元生死”技术实现了整个桥梁施工过程的仿真分析。
Based on successive unconstrained programming methods, the successive bound constrained programming algorithms for large-scale process system optimization are studied in this paper.
基于非线性约束极小化的序列无约束方法,对大规模过程系统稳态优化的序列界约束方法进行了研究。
Logic-based methods in optimization and different methods in constraint programming are summarized.
由于优化和约束程序各自具有扩充能力,它们开始有效地结合在一起。
Mixed integer nonlinear programming algorithm integrated constraint programming is applied to solve optimal control problems of hybrid model.
为解决混杂系统优化控制的计算复杂性问题,针对结合逻辑规则的工业过程混杂模型,采用结合约束程序的混合整数非线性规划算法,求解这种混杂模型的优化控制。
Research on Constraint Programming Based Petri Net s Reachability Problem;
基于约束程序的Petri网可达问题的研究
binding dispute-settlement procedures
有约束力解决争端程序
The ICAD System of Binding Programming Paradigm
基于约束型程序设计风范的ICAD系统
Are the ambient conditions controlled for the bonding process?
周围是情况吗受约束的为会接程序?
Add code in your application to enforce these constraints.
在应用程序中添加代码来实施这些约束。
A Study of Concurrent Program Testing Method Based on Event Sequencing Constraints;
基于事件约束的并发程序测试方法研究
On the procedure system design of Judge s Free Criminal Discretion;
论法官刑事自由裁量权程序约束机制之构建
Verification of business process constraints based on temporal logic
基于时序逻辑的业务过程约束建模及验证
Algorithm for the Generation of Unconstrained Edges Based on the Decision-to-Decision Graph
一种基于程序DD图的无约束边生成算法
SUMT (Sequential Unconstrained Minimization Technique)
顺序无约束极小化技术
sequential unconstrained minimization technique
序贯无约束极小化方法
You need to add code in your application to enforce these constraints.
需要在您的应用程序中添加代码，才能实施这些约束。
A project for creating an application for resource-constrained mobile devices
用于为受资源约束的移动设备创建应用程序的项目
Free of restraints or rules in organization, methods, or procedure.
不受约束的在组织、方法或程序上没有限制或规则的
A New Fast Convergent SSLE Algorithm for Inequality Constrained Optimization without Strict Complementarity;
约束优化无严格互补的快速收敛序列线性方程组算法
A Superlinearly Convergent SSLE Algorithm for Optimization Problem with Linear Complementarity Constraints;
线性互补约束优化问题一个超线性收敛的序列线性方程组算法
The Research on Automatic Generation of Functional Verification Program for Microprocessor Based on Constraint Solving;
基于约束求解的微处理器功能验证程序自动生成技术研究
A Program Verification and Testing Tool Based on Symbolic Execution and Constraint Solving;
基于符号执行和约束求解的程序验证与测试工具
