on or about

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约束组播路由算法及协议研究