约束网络

摘要： 关联规则研究的发展为发现事务间的联系提供了基础,为信息推荐提供了依据.然而,现有的关联规则发现仅限于事务的关联支持度的强弱,即关联的有无,尚不能发现其在因果上的关联关系,故难以实现对信息连续推荐.为此,本研究从关联规则出发,根据CCU和CCC因果关系规则,提出一个基于点互信息(PMI,Pointwise Mutual Information)判据的方法,来发现事务间的因果关联关系.此方法以微学习单元为研究对象,首先利用传统关联规则从参考学习者的学习履历中提取具有关联关系的微学习单元,然后利用点互信息判据来发现微学习单元间存在的局部因果关系,并建立微学习单元的约束网络.实验表明,该方法可以有效发现微学习单元间的因果关联关系,并为学习者建立有效的动态学习路径.

摘要： 针对现有高速列车车体缺乏对多样化、个性化需求快速响应设计方法的研究,采用Top-down设计思想,提出一种基于约束网络的高速列车车体关联设计方法.通过关联设计实现装配信息变更影响在车体多层级骨架模型中自顶向下自动传递,并建立约束网络模型关联产品功能、性能、结构等多域特征信息,实现需求驱动的高速列车车体快速设计.以某车体侧墙模块设计为例,验证了该方法不但实现需求驱动的车体快速设计,而且通过建立显式的多域特征信息影响传播机制,保证多域特征参数变更设计的正确性.%In consideration of the problem of the lack of the rapid design method of high-speed train car body to response customer's diversified and individual demands, an approach by combining the top-down design philosophy with the constraint network is used to study the associated design method of the high-speed train car body in this paper. The alterations of assembly information can be transmit automatically from multi-level skeleton model of car body based on associated design technique is provided. Besides, the multi-field feature information such as product function, performance and structure could be associated by the constraint network, and then designers can depend on it to implement the demand-driven rapid design of high-speed train car body. Finally, in a car body sidewall module design as an example to validate the method can not only achieve demand-driven rapid design of high-speed train car body, and through establishing explicit multi-domain feature information dissemination mechanism, guarantee the correctness of the multi-domain feature parameters change design.

摘要： 因果关联规则是知识库中一类特殊且重要的知识类型,相对一般关联规则,其优势在于能够揭示深层知识.首先对因果关系的特征和因果关联规则的挖掘方法进行了简介.针对在挖掘初始阶段如何限定可能导致结果的原因变量集合这一问题,运用了约束网络原理来构建一个实际系统变量间的因果关系结构.通过该因果关系结构可以比较容易地导出原因变量集合及各变量的类型,从而降低挖掘的复杂性,为提高挖掘结果的准确性提供有利条件.约束网络的引入优化了因果关联规则的挖掘过程,使之趋于更完备.

摘要： 表约束方法是1种外延式知识表示方法，每个约束通过元组集直接枚举出其在1个变量集上允许或禁止的所有元组，直观易于理解，在约束程序中得到了深入的研究，这是因为表约束出现在如设计、数据库、配置以及偏好建模等许多现实世界的应用中．但随着约束的增多及其元组集增大，占有的空间与相容性检测效率成了关键问题．eSTR是1个将STR扩展到高阶相容的算法，通过深入分析eSTR算法后发现有2种优化方式：PWsup数据结构和极小约束范围，同时证明了在极小约束范围上，约束网络仍然能够维持PWC＋GAC ，其中极小约束范围可以通过删除约束元组集中相应的列来降低eSTR2算法的空间消耗，而 PWsup数据结构能够通过避免不必要的PW 支持检测来减少eSTR2的CPU 运行时间，实验结果表明：2种优化方式和eSTR2相结合后能够同时减少算法的空间消耗和CPU 运行时间，在许多类实例上明显优于eS T R2和eS T R2w ．%Table constraints ,i .e .,constraints given in extension by listing all allowed (or forbidden) tuples ,are very straight forward and easy to understand ,which are intensively studied in constraint programming (CP) .Because such constraints are presented in many real world applications from areas such as design ,databases ,configuration and preferences modeling . However ,With the grow th of number of constraints and number of tuples , the space cost for table constraints and time cost of consistency checking have become key topics .eSTR is an algorithm which extends simple tabular reduction (STR) to higher‐order consistency .After in‐depth analysis of eSTR algorithm ,this paper proposes two kinds of optimized methods for eSTR :PWsup data structure and minimal constraint scope ,and then we prove that the constraint network enforce Pair‐Wise Consistency and Generalized Arc‐Consistency (PWC + GAC ) with minimal constraint scope is equivalent to original constraint scope .At the same time ,minimal constraint scope can reduce further space cost of eSTR2 algorithm by deleting columns of the tables in constraints ,and PWsup data structure can reduce the CPU running time by avoiding some unnecessary checking of Pair‐Wise‐support (PW‐support) ,since tuples in table of the constraint may not lose any PW‐supports on the tables of other neighbour constraints .The experimental results show that combining our methods with eSTR2 algorithm can obviously outperform eSTR2 and eSTR2w on many instances of different problems ,since it reduces the space cost and CPU running time of eSTR algorithm .

摘要： The structure of modern mechanical and electrical products was more and more complex ,the reusability and efficiency of existing structure resources and knowledge in product design was too low .In this situation , a complex product subdivision structure active push technology driven by performance requirement was proposed in this study .The mapping of performance requirement to product structure was presented ,and the mathematical model of performance view and structure view was established with the aided of the quotient space theory , the transformation of performance requirement to product structure based on the feature similarity matching method w as implemented . T he model of complex product subdivision structure was constructed ,and achieved the reuse of the knowledge of structure design and design process from local structure granularity of parts .We used modified interpretive structural model (ISM ) technique to construct incidence constraint matrix and constraint network .A performance capture model was designed ,and completed the subdivision structure active push design based on the network linkage .Finally ,we developed an active push system of hydraulic press machine subdivision structure to validate the theory and technology we proposed .%针对现代机电产品结构越来越复杂，产品设计中已有结构设计资源的可重用性和调用效率低下等情况，提出性能需求驱动的产品细分结构主动推送设计技术。研究性能需求到设计结构的映射方法，以商空间理论描述产品结构视图，通过相似特征匹配实现性能需求到产品结构的映射转化。建立复杂产品细分结构模型，从零部件局部结构粒度上对结构设计知识及过程进行重用。利用改进的解释结构模型（IS M ）建立细分结构关联约束矩阵和约束网络，通过设计性能捕捉模型，实现基于网络联动的细分结构主动推送设计。开发了液压机细分结构主动推送设计系统，结果验证了性能驱动的复杂产品细分结构主动推送设计技术。

摘要： 资源水平边界的估计是构建资源利用可行计划中的一个基础问题。通过分析航天器资源约束的共享与分离并存、累积与瞬时消耗并存、过度订阅与区间调度并存等特点，提出了资源时间网络、时间约束网络和约束网络相结合的资源约束描述方法；构建了增量式基于包络的资源约束算法和最早开始时间链展开资源约束算法，以快速获取资源一致的柔性解。实例证明，该方法较好地解决了航天器调度的资源约束推理问题。%The estimation of resource level’s envelope is a basic problem in constructing a feasible schedule for resource utilization.A new resource reasoning description method that combining resource temporal network,constraint network and temporal network was proposed by analyzing the resource constraint characteristics,such as coexistence of sharing and detaching resource,coexistence of cumulative and instantaneous consumption,coexistence of over-subscription and interval scheduling resource.Considering the specific characteristic of resource temporal network,a resource model was constructed,and two algorithms of the EBA (Envelop Based Algorithm)based on maximal flow and the ESTAC (Early Start Time Algorithm with Chaining)based on early start time solution to solve with a resource feasible solution were given.The incremental EBA algorithm and ESTAC algorithm were presented to get a feasible solution quickly.Finally,some experiments were presented to prove the validity of the methods.Results show that the efficiency and validity of the proposed methods are better than EBA algorithm and ESTAC algorithm in solving the problems of resource constraint reasoning.

摘要： 数字化设计是实施大批量定制的重要技术之一,建立设计模型是实现数字化设计自动求解的关键.通过深入分析产品设计知识,提出了基于需求参数→关键参数→结构参数三级驱动模型的数字化设计策略与方法.一级驱动以需求参数为输入,由方案设计系统推理及优化得出产品关键参数,二级驱动以关键参数为输入,驱动根据层次化策略建立的基于各种性能和结构推导的约束网络模型,得到各零部件的细化结构参数,三级驱动以细化结构参数为输入,驱动参数化的几何模型及远程的有限元分析模型,进行可视化几何与性能验证,同时基于Web技术实现了分布式数字化设计.以浙江省某起重机械厂的QD型桥式起重机数字化设计为例说明了上述策略和方法的有效性.

摘要： The dynamic backtracking algorithm keeps its assigned value for each variable when it backtracks. However, it becomes inefficient when it comes to the constraint satisfaction problems that do not consist of sub problems. To solve the problem, this paper applies graph partitioning to dynamic backtracking. The main idea is to divide all the variables into several sets using graph partitioning. When it back tracks, it gives up the values of the variables that are in the same set with the culprit variable, instead of keeping all the values. Experimental results show that the new method has higher efficiency on the random satisfaction problems.%动态回溯算法在进行回溯时保留所有已赋值变量的值,从而可能与后面赋值的变量产生冲突,其在解决不具有明显子问题结构的约束满足问题时效率较低.为此,将图分割技术应用于动态回溯,通过图分割将变量分为若干集合,当发生回溯时,不保留全部变量的值,舍弃那些与引起冲突的变量在同一集合变量中的值.实验结果表明,该算法在求解没有明显子问题结构的约束满足问题时具有较高的效率.

摘要： 在分析产品开发所涉及的各领域设计原理、设计要求及设计目标的基础上,建立协同决策的约束网络模型,并设计了模型求解的约束优化算法,该算法将混沌方法的局部搜索与免疫算法的全局搜索相结合,增强了算法的细化搜索能力,且有效避免了算法陷入局部最优.将该决策优化方法用于单圆盘弹性转子的设计,获得了综合性能较优的设计方案,验证了方法的有效性与可靠性.

摘要： 概述了虚拟样机环境下复杂产品协同设计的主要内容及相关技术，在此基础上针对多领域协同设计问题，采用广义约束网络方法建立了全局一体化的参数协调模型并介绍了相关的算法，根据耦合特征抽象出复杂产品设计中的耦合关系模型并根据全局灵敏度方程GSE(Global sensitivity equations)对各领域之间耦合因素进行分析，再采用鲁棒性思想进行参数优化以保证复杂产品设计中参数指标的稳定性，这些理论模型及算法为提高复杂产品的设计性能、缩短设计周期作了充分的准备.

摘要： 概述了虚拟样机环境下复杂产品协同设计的主要内容及相关技术,在此基础上针对多领域协同设计问题,采用广义约束网络方法建立了全局一体化的参数协调模型并介绍了相关的算法,根据耦合特征抽象出复杂产品设计中的耦合关系模型并根据全局灵敏度方程GSE(Global sensitivity equations)对各领域之间耦合因素进行分析,再采用鲁棒性思想进行参数优化以保证复杂产品设计中参数指标的稳定性,这些理论模型及算法为提高复杂产品的设计性能、缩短设计周期作了充分的准备.

摘要： 并行工程要求提前考虑制造、装配等过程的需求,因此本文提出一种基于参数协调模型的设计方法,通过收集上下游各个部门的设计要求,构建产品约束网络,利用一致性区间算法得到设计参数的可行解空间,进而依据设计经验最终确定参数的取值.最后,给出该方法在货车转向架设计中的应用实例.

摘要： 在工程设计中,仿真作为一种验证技术得到了广泛的应用.但是作为设计的下游环节,仿真和设计的交互就成为影响设计周期与设计质量的主要因素.本文提出了一种面向仿真的设计方法,使得设计仿真能够并行进行.该方法以约束网络为基础,实现了仿真参数与设计参数同步设计,并能够保证其一致性.文中最后以铁路货车设计为实例,证明了该方法的有效性.

摘要： 该文提出了基于并行思想的并行建模策略和并行搜索策略的计新方法，该方法在机器人柔性装配系统设计中，克服了传统装配系统串行设计模式的缺点，具有柔性，高效性，易于修改性和智能性等特点。

摘要： 该文提出了基于并行思想的并行建模策略和并行搜索策略的计新方法，该方法在机器人柔性装配系统设计中，克服了传统装配系统串行设计模式的缺点，具有柔性，高效性，易于修改性和智能性等特点。

摘要： 该文提出了基于并行思想的并行建模策略和并行搜索策略的计新方法，该方法在机器人柔性装配系统设计中，克服了传统装配系统串行设计模式的缺点，具有柔性，高效性，易于修改性和智能性等特点。

摘要： 该文提出了基于并行思想的并行建模策略和并行搜索策略的计新方法，该方法在机器人柔性装配系统设计中，克服了传统装配系统串行设计模式的缺点，具有柔性，高效性，易于修改性和智能性等特点。

摘要： 用于修改几何模型的方法和对应的系统（100）以及计算机可读介质（126）。方法包括：接收（205）几何模型，该几何模型包括多个曲线（302/304a/304b/306a/306b）。该方法包括：接收（210）该多个曲线中的一个或多个曲线的选择；发现（215）该多个曲线中与所选曲线相关的至少一个其它曲线；以及发现所选曲线与一个或多个其它曲线之间的关系，包括将所选曲线、所述一个或多个其它曲线和所述关系添加到所选曲线集合。该方法包括：预处理（220）所选曲线集合，包括去激活针对几何模型的约束的集合。该方法包括：接收（225）所选曲线的修改；以及修改（230）所选曲线集合，以产生经修改的几何模型和经修改的所选曲线集合。该方法包括：后处理（235）经修改的所选曲线集合，包括重新激活并应用针对几何模型的约束。

摘要： 提供了合成用于依照多个公用工程目标冷却多个热过程流（H1..Hn）并且加热多个冷过程流（C1..Cn）的基层热交换器网络的系统（30）和方法。示例性系统（30）包括热交换器网络合成计算机（31）以及热交换器网络合成程序产品（51），其被配置成通过对于无约束和非热力学约束问题应用高级过程-过程匹配方案而在不分解的情况下分析废热回收问题以便产生具有最佳数量的网络热交换器单元（211，212，221，222）的结果。

摘要： 一种受网络生命周期约束的有向传感器网络覆盖优化方法，包括如下步骤：1)初始化；2)排序；3)锁定目标节点；4)对于目标TS

摘要： 用于修改几何模型的方法和对应的系统（100）以及计算机可读介质（126）。方法包括：接收（205）几何模型，该几何模型包括多个曲线（302/304a/304b/306a/306b）。该方法包括：接收（210）该多个曲线中的一个或多个曲线的选择；发现（215）该多个曲线中与所选曲线相关的至少一个其它曲线；以及发现所选曲线与一个或多个其它曲线之间的关系，包括将所选曲线、所述一个或多个其它曲线和所述关系添加到所选曲线集合。该方法包括：预处理（220）所选曲线集合，包括去激活针对几何模型的约束的集合。该方法包括：接收（225）所选曲线的修改；以及修改（230）所选曲线集合，以产生经修改的几何模型和经修改的所选曲线集合。该方法包括：后处理（235）经修改的所选曲线集合，包括重新激活并应用针对几何模型的约束。

摘要： 本发明提供了合成用于依照多个公用工程目标冷却多个热过程流（H1..Hn）并且加热多个冷过程流（C1..Cn）的基层热交换器网络的系统（30）、方法和程序产品（51）。示例性系统（30）包括热交换网络合成计算机（31）以及热交换网络合成程序产品（51），其被配置成通过对于无约束和非热力学约束问题应用高级过程-过程匹配方案而在不分解的情况下分析废热回收问题以便产生具有最佳数量的网络热交换器单元（211，212，221，222）的结果。

摘要： 5G网络将针对QoS参数值的每切片约束从集中式单元(CU)传送到分布式单元(DU)的MAC调度器。CU通过CU/DU接口将这些每切片约束，而不是每DRB约束或加之于每DRB约束，传送给MAC调度器。在一些实施方式中，CU/DU接口是如3GPP标准中的规范38.473中所定义的F1空中接口。在一些实施方式中，DU通过CU/DU接口提供每切片性能反馈。基于这样的反馈，CU可以调整每切片QoS约束。

摘要： 一种设备接收与网络相关联的网络数据，该网络包括通过网络的因特网协议(IP)层和光层处的链路互连的网络设备。该设备接收与确定网络的网络规划相关联的约束，其中该约束包括指示与确定网络的潜在网络规划相关联的特定时间段的约束。该设备基于网络数据来标识网络规划的变量和变量的值，并且在特定时间段内基于约束和变量的值来确定网络的潜在网络规划。该设备标识潜在网络规划中使与操作网络相关联的成本最小化的潜在网络规划，并且引起所标识的潜在网络规划由网络设备在网络中实现。

摘要： 本发明提供一种考虑交通网络约束的电力系统恢复方案，该方法包括以下步骤：I、获取电力线路和节点参数，及各节点蓄电池实测最大放电时间；II、采用高德地图获取原始交通流数据；III、基于模糊理论将评判指标转化为拥堵状态，计算拥堵系数；IV、建立网架重构模型；V、按照指定顺序依次恢复，至蓄电池电量耗尽；VI、派遣应急电源车恢复剩余节点，完成目标网架的建立。本文综合考虑网架重构进程与应急电源车的协调配合，所提评判指标能够兼顾对于交通拥堵的客观描述和主观感受。实施例仿真结果表明重构效果良好，每辆电源车恢复任务相当且满足约束条件，验证了方案的实用性。本文为处理包含交通网络约束的电力系统网架重构提供了一种新思路。

摘要： 本发明公开了一种低轨信息网络最优网络效益时延约束路由方法，源节点，生成RDP数据包并发送；中间节点，采用时延约束最优网络效益路由算法，寻找所有满足时延约束最优网络效益的链路，并计算链路上的路由量度，更新RDP数据包，将沿所有满足时延约束最优网络效益链路发送给邻居节点；目的节点，选择路由量度属性最大的RDP数据包，该RDP数据包中的路径节点信息构成有效路径pf，生成RRP数据包，沿该有效路径pf，将RRP数据包发回；源节点收到RRP数据包之后，沿有效路径pf发送业务数据。该方法通过建立使时延约束网络效益期望最大化的传输路径，在低轨卫星网络动态环境下，提高所选路径持续满足传输业务流时延约束概率，从而提高网络承载实时聚合业务流的总体效益。

摘要： 本发明公开了一种低轨信息网络最优网络效益时延约束路由方法，源节点，生成RDP数据包并发送；中间节点，采用时延约束最优网络效益路由算法，寻找所有满足时延约束最优网络效益的链路，并计算链路上的路由量度，更新RDP数据包，将沿所有满足时延约束最优网络效益链路发送给邻居节点；目的节点，选择路由量度属性最大的RDP数据包，该RDP数据包中的路径节点信息构成有效路径pf，生成RRP数据包，沿该有效路径pf，将RRP数据包发回；源节点收到RRP数据包之后，沿有效路径pf发送业务数据。该方法通过建立使时延约束网络效益期望最大化的传输路径，在低轨卫星网络动态环境下，提高所选路径持续满足传输业务流时延约束概率，从而提高网络承载实时聚合业务流的总体效益。