基于约束相关论文
该文提出了运用基于约束类型的LOTOS（LanguageOfTemporalOrderingSpecifications）形式化规范描述方法,来产生简单、抽象、结构良好的......
用户界面是系统使用者与系统进行通讯的接口，图形用户界面仍然是当今软件的主流交互界面。那种将用户界面固化在软件中的开发技术已......
提出用基于约束的思想设计液压集成块,把液压集成块的约束分为几何形状约束和设计约束,分别用面向对象的方法和产生式规则来表示,......
在采用发型约束的基础上，提出一种能够快速生成发型的约束模版方法。允许将源模型的发型约束直接导入至任意目标模型，能够快速生......
该文在分析路由算法的现状和研究状况的基础上,提出一种新的静态路由算法——基于约束的多量度配置LSP算法(简称多量度算法).算法......
该文研究了数据挖掘和知识发现的基本概念、功能、模型以及相关的算法;分析了数据挖掘系统的基本结构和功能.比较了数据挖掘和传统......
根据夹具的功能模型，提出了一种基于约束的组合夹具三维结构装配技术及原理，介绍了基于约束的装配建模的方法和过程，使组合夹具自动装......
Efficient Virtual Network Embedding Algorithm Based on Restrictive Selection and Optimization Theory
Network virtualization(NV) is widely considered as a key component of the future network and promises to allow multiple ......
目的当前存在许多基于约束的优化建模方法利用全基因组的代谢网络来预测生物代谢流量分布,而几乎所有的这些建模方法都需要代谢物......
针对在线式产品建模方法的局限性及其在工程中遇到的问题 ,首次论述了用于工程哑图变动设计的离线式建模求解器的设计思想、算法设......
为了给数据分析和挖掘提供一个有效的、交互的查询环境,将基于约束的数据挖掘与多维的数据挖掘结合成一个整体来进行.介绍了建立一......
...
<正> In this paper,the model predictive control based on the state estimation for a constrained system isinvestigated.By......
...
Constraint based program analysis is widely used in program validation,program vulnerability analysis,etc.This paper pro......
提出基于约束条件的分类方法,逐次将查询表逻辑上分离成数据量渐小的表,从而减少表扫描的时间.实际应用表明,该方法对提高快速查询......
提出用基于约束的思想设计液压集成块，把液压集成块的约束分为几何形状约束和设计约束，分别用面向对象的方法和产生式规则来表示，用基......
在传统算法的基础上,针对耕地流失原因分析时关心的规则后件只包含一个主要因素的特点,提出了改进的基于约束的频繁谓词集和关联规......
The learning Bayesian network (BN) structure from data is an NP-hard problem and still one of the most exciting challeng......
