A contract-based interprocedural safety analysis method;
一种基于契约的跨过程安全分析方法
Research and Implementation of a Contract-Based Safety Analysis Method;
一种基于契约的安全分析方法的研究与实现
Research on Process Control of Wire Harness Pre-Assembly Based on Constraint Set
基于约束集合的汽车线束预装配过程控制研究
The ICAD System of Binding Programming Paradigm
基于约束型程序设计风范的ICAD系统
Time Compression Mode of Supply Chain Based on the Theory of Constraints;
基于约束理论的供应链时间压缩模式
Research on Constraint Programming Based Petri Net s Reachability Problem;
基于约束程序的Petri网可达问题的研究
Research on Sequential Pattern Mining Algorithm Based on Constraints;
基于约束的序列模式挖掘算法的研究
Design and Implementation of Constraint-based Product Configurator;
基于约束的产品配置器的设计与实现
Steering-Invariant Constant Beamwidth Beamforming with SOCP Constraints
基于二阶锥约束的方向不变恒定束宽波束形成
Research on Geometric Constraint Solver Based on the Point-cluster Reduction
基于点簇归约的几何约束求解器研究
Study on Key Techniques of CAPP Based on Tolerance;
基于公差约束的CAPP的关键技术研究
Estimation of the Constrained Parameters Via the EM-type Algorithm;
基于EM算法的约束条件下参数的估计
Portfolio Optimization Model with CVaR Constraints;
基于CVaR约束的投资组合优化模型
Research on Window-Constrainted Real-Time System for QoS Based on Linux;
基于Linux的窗口约束QoS实时系统的研究
Research on Association Rule Owing to Tense Constraint;
基于时态约束的关联规则挖掘的研究
Research of QoS Constrained Service Discovery Based on SLP;
基于SLP支持QoS约束的服务发现研究
Research on Multi-Constraint QoS Multicast Routing Algorithm;
基于多条件约束的多播路由算法研究
Research on QoS-Based Anycast Routing Algorithms;
基于QoS约束的选播路由算法研究
Research and Implementation of Partition-based Resource Constraint Mechanism;
基于分区的资源约束机制研究与实现
The Research of QoS-Aware Multicast Routing Algorithm and Protocol;
基于QoS约束组播路由算法及协议研究
