约束规则

摘要： 为了更加高效地利用建筑BIM模型的IFC文件来实现施工进度的精确计划,提出了一种基于约束规则协同差分进化算法的建筑BIM施工进度优化方法.首先,对建筑信息模型中建筑构件的IFC表达方法和数据库搭建进行了分析.其次,基于IFC标准的构件设计了建筑约束规则.最后,根据施工过程产生的约束矩阵,协同差分进化算法共同完成建筑施工进度的优化,并对差分进化算法进行了改进.实验结果表明:提出的方法能够有效地生成符合构件约束的施工进度方案.此外,相比基于遗传算法的施工进度生成方法,提出方法具有较好的全局最优性能和更快的收敛速度.

摘要： 为了更加高效地利用建筑BIM模型的IFC文件来实现施工进度的精确计划,提出了一种基于约束规则协同差分进化算法的建筑BIM施工进度优化方法。首先,对建筑信息模型中建筑构件的IFC表达方法和数据库搭建进行了分析。其次,基于IFC标准的构件设计了建筑约束规则。最后,根据施工过程产生的约束矩阵,协同差分进化算法共同完成建筑施工进度的优化,并对差分进化算法进行了改进。实验结果表明:提出的方法能够有效地生成符合构件约束的施工进度方案。此外,相比基于遗传算法的施工进度生成方法,提出方法具有较好的全局最优性能和更快的收敛速度。

摘要： 利用服务计算的方式提供在线变化检测处理是变化检测领域的研究趋势。变化检测是一个复杂的综合处理过程,不同的方法往往适用于不同类型和条件的遥感影像数据,如何根据不同的情形,提供按需的变化检测处理服务链是亟待解决的问题。为此,该文提出了一种基于约束规则的变化检测服务链动态生成方法。首先,将变化检测服务对数据的约束要求提炼为服务选取和服务执行约束,并以约束规则的形式进行语义描述;然后,在服务组合时,分别根据这两种约束规则触发相应的变化信息提取服务与数据预处理服务,生成按需的变化检测处理服务链;最后,开发了地表覆盖在线变化检测原型系统,并以山东省变化检测为例,证明了该方法的可行性和有效性。

摘要： 为了实现网络化作战资源的有效整合,不仅需要装备与技术的信息化转换,同时需要建立合理的网络化作战拓扑结构,因此提出了基于复杂网络理论的编队网络化作战(CNC)架构.首先给出了CNC架构的基本概念与特征,提出了CNC架构下物理层与功能层的协调方法,设计了组网约束规则和约束因子;然后从物理层对编队作战网络化体系进行了建模,同时给定了CNC架构的评估指标,并对编队作战网络的物理层设计参数进行了分析,使网络化作战体系的功能架构与物理架构得到了更好的匹配;最后对CNC架构设计参数进行了评估.通过仿真实验验证了CNC架构的合理性以及网络设计参数的重要性,并得到了编队作战网络优化的参数修正策略,为网络化作战理论与技术应用提供可靠的平台支撑.

摘要： 海外国家和地区信息科技监管大多具备''全面覆盖、重点突出''的监管体系。在中资金融机构数量快速扩张、网络布局持续优化、资产规模稳步攀升的同时,中资银行的海外拓展也遇到了前所未有的挑战。依托集中统一的技术平台满足各国差异化的监管要求即是面临的重大考验之一。

摘要： 针对科技基础性工作项目汇交数据质量审查人工效率低、易出错的现状,设计了基于自定义约束规则的项目汇交数据质量审查模型.模型由构建器、规则库和判断器3个部分构成,其中构建器主要是用于约束规则的配置;规则库由一系列规则集构成,每个规则集都从数据的完整性、一致性和约束性3个方面进行约束规则的定义,完成定义的规则集构成一个审查模板;判断器主要是将审查模板应用于一个数据集进行审查并输出审查意见.实践证明,该模型能够满足科技基础性工作项目汇交数据质量审查的工作要求,提高了科技基础性工作项目汇交数据质量审查的质量和效率,同时也为其他类似数据质量审查工作提供了技术参考.%Considering the situations of the low efciency and fallibility in manually data quality inspection for the data from basic work of science and technology, a data quality inspection model on basic work of science and technology was designed based on custom constraint rules. The model consists of constructor, rule database and a judge determiner. The constructor is mainly used for the building of custom constraint rules. The rule database is composed of a series of rule collections. Each rule collection, namely as an inspection template, can be defined from integrality, consistency and restriction. The data will be checked based on an inspection template selected by the judge determiner with results exported. Study showed that the data quality review model can meet the work requirements in data review of basic work of science and technology. It improves the quality and efciency of data quality review, and provides a technical reference for other similar data quality audits.

摘要： Facing to the conflict problems of customer requirement nodes due to constraints and node sequences,an expression method of customer requirements was proposed based on DSM.This method was composed of five steps:building customer requirement templates,building constraint rules,optimizing the DSM of customer requirements expression processes,checking the constraint rules,calculating the rationality of customer requirements.The multi domain collaboration of product requirements was realized and quantitative basis for j udging the rationality of requirement node se-quences and requirement expressions was provided.Finally,the practicality of the method was illus-trated by automatic guided vehicle(AGV).%需求节点之间存在约束关系及时序关联,造成需求节点矛盾冲突,为此,提出一种基于设计结构矩阵(DSM)的客户需求表达方法.该方法通过建立客户需求模板、建立约束规则、优化客户需求表达过程DSM、进行约束检验、计算需求合理度5个步骤,实现产品需求的多域协同,为需求节点时序合理性及需求表达合理性提供量化判定依据.最后以AGV小车为例说明方法的实用性.

摘要： Recently,code reuse attack and defensive techniques have been a hot area in security research.Kernel-Level code reuse attacks use kernel code to bypass traditional defensive mechanisms.Existing code reuse attacks detection and defensive methods mainly focus on user-level code reuse attacks,ignoring kernel-level code reuse attacks.In order to detect kernel-level code reuse attacks effectively,a detection method based on fine-grained control flow integrity (CFI) is proposed.Firstly,CFI constraint rules are constructed according to the code reuse attack principles and the control flows of normal programs.Then,a detection model based on state machine and CFI constraint rules is developed.Next,CFI label checking instructions are instrumented based on GCC-plugin.Furthermore,CFI constraint rules are verified on Hypervisor,boosting the security of the method.The experiment results show that this method can effectively detect kernel-level code reuse attacks,and performance evaluations indicate that performance penalty induced by this method is less than 60％.%近年来,代码复用攻击与防御成为安全领域研究的热点.内核级代码复用攻击使用内核自身代码绕过传统的防御机制.现有的代码复用攻击检测与防御方法多面向应用层代码复用攻击,忽略了内核级代码复用攻击.为有效检测内核级代码复用攻击,提出了一种基于细粒度控制流完整性(CFI)的检测方法.首先根据代码复用攻击原理和正常程序控制流构建CFI约束规则,然后提出了基于状态机和CFI约束规则的检测模型.在此基础上,基于编译器,辅助实现CFI标签指令插桩,并在Hypervisor中实现CFI约束规则验证,提高了检测方法的安全性.实验结果表明,该方法能够有效检测内核级代码复用攻击,并且性能开销不超过60％.

摘要： 从动态性、完整性和模型分析能力的角度,提出了一种基于多视图的、动态的协同开发流程模型.首先,用一阶语言分析并描述了一个完整的协同开发流程模型所包含的企业资源视图、产品开发活动视图、产品数据流视图及产品开发流程约束视图;然后,讨论了各要素模型之间的内在约束,并定义了具体的约束规则,构建了动态的流程自检规则;最后,用一个实例说明了该模型的可应用性.

摘要： 本文基于面向对象的案例表示方法以及约束规则的匹配网络，提出了一种可以运用穷举算法和遗传算法的案例组合的方法。

摘要： 本文以弯管机布局设计为背景提出了一种基于工程约束规则的层次推进布局算法。首先根据布局物体间的约束关系把布局物体分成若干布局层，然后对布局层由高到低逐层进行布局，有效地降低了布局问题求解的复杂度。同时，在布局过程中引进了工程约束规则，加快了布局问题的求解，布局结果更符合实际要求。

摘要： 该文介绍一种基于约束规则与无监督学习的词类分析方法。在模型实现中，以独立于语料库的手工制作的约束规则为出发点，然后合并从训练语料库中以无监督方式所学习的约束规则，语言学地激发手工制作的约束规则，同时不以牺牲查全率为代价而提高查准率。方法中也利用所谓的“词法启发式”处理语料库中所遇至蝗未登录词。测试结果说明，在针对英语的词类分析中，通过组合这些手工制作以及所学习的信息源，可获得大约９７℅的查全率，９２℅的查准率，以及平均１．０５个歧义分析／单词。

摘要： 内存是计算系统的关键部件,访存性能直接影响到整个系统的性能.目前主流的内存接口大多采用DDR3并行总线接口,数据率达到1600Mbps甚至更高,对设计带来很大的挑战.本文提出了一套基于自主平台高密度板载内存的约束规则,并根据该规则设计了一款基于FT1500A微处理器的板载内存产品.通过精细的布局布线设计,达到了很高的集成密度;通过规则控制和时序仿真优化,解决了DDR3在较高速率时不能稳定工作的问题;通过实际测试,对系统的功能和性能进行验证.实测表明,依据此约束规则设计的高密度板载内存成功实现了1600Mbps的访存速率.

摘要： 针对应急决策中方案制定过程和资源分配过程紧密耦合的特点,设计了一种满足HTN(Hierarchy Task Net)规划动作推理机制的方法来求解规划中的资源分配问题.本方法在HTN规划模型中扩展了资源时间轴来显式的描述资源的状态属性;对于各类资源,在规划推理过程中通过不同的处理流程,将资源分配信息转化为HTN规划资源时间轴上的状态属性值;并在HTN规划搜索行动序列的同时,采用约束规则和约束传播规则控制每一步行动序列所对应的系统状态满足资源约束和时间约束.最后以某区域应急资源筹集为例,将本方法应用于HTN规划模型SHOP2 (Simple Hierarchical Ordered Planner 2)证实了其有效性和实用性。

摘要： 传统工作流系统在对任务节点进行资源分配时，只进行了组织、角色、人员的分配，而较少对不同任务节点上执行人间的潜在关系进行建模．根据企业的实际应用需求，将这种潜在的约束关系提取出来进行建模，并以规则的形式进行定义．最后采用强有力的推理工具——规则引擎——来完成对定义的规则冲突检测以及规则的实现．

摘要： 本申请提供一种多模式约束规则的配置方法、装置、设备及计算机可读存储介质，所述方法包括：获取配置指令，基于配置指令进入规则配置页面；获取针对规则模块菜单列中待选控件的选取指令，基于选取指令在约束规则显示区域中的复合模式流程图中将选定的所述规则模块通过第一方式显示，将未选定的规则模块通过第二方式显示，并获取针对选定的规则模块的配置完成指令，根据配置完成指令以及选定的规则模块在约束规则显示区域中显示当前配置的目标模式的审核流程图；按照目标模式的审核流程图对接收到的历史检测数据进行处理，根据处理结果对目标模式的审核流程进行验证；根据验证合格的目标模式的审核流程图，得到目标模式的审核约束规则。

摘要： 本发明提供了一种基于条件生成对抗网络和约束规则的微血管树生成方法，该方法基于条件生成对抗网络，通过条件生成对抗网络建立的微血管树新生模型，利用上一级分叉弱化的条件来生成下一级分叉。该模式只需要给出入口分叉，逐级生长就能生成微血管树。同时在生长过程中加入了血管密度、分叉角度的优化条件，能够细致的对生长角度进行矫正，能够在生长过程中得到血管密度更均匀的微血管树，这也更符合了微血管网络在输送氧气及代谢营养物质过程的生理需求，使得生成的微血管树既符合了形态学特性也间接的符合了部分的生理学特性。

摘要： 本发明提供一种约束规则的配置方法，应用于基站，所述方法包括：基站配置用于校验的约束规则，所述基站配置的约束规则与网管系统配置的约束规则相同；所述基站保持所配置约束规则与所述网管系统配置的约束规则一致。上述方案通过在基站和网管系统分别配置一套相同的约束规则，使得网管系统和基站任一方在算法上有变化，可以做到自动上载和同步，从而实现了约束算法的耦合，有利于系统的稳定。

摘要： 本申请公开一种内置约束规则的k‑means文本聚类方法及装置，该方法包括：利用第二约束规则预处理待聚类文本集，得到与第二约束规则对应的第二预处理集合；获取待聚类文本集中的k个文本作为簇心；如果簇心包含于第二预处理集合的任一个子集合中，则将该第二预处理集合的另一个子集合中的文本添加到与该簇心对应的类簇互斥集合中；如果待聚类文本集中的当前文本包含于x个类簇互斥集合中，则计算除类簇互斥集合所对应的簇心以外其他(k‑x)个簇心与当前文本的距离，将当前文本添加到与其距离最近的簇心所对应的类簇中；重新计算每个类簇的新的簇心，如果新的簇心满足停止条件，则输出全部类簇。采用该方法可以降低文本聚类的计算复杂度，提高聚类精度。

摘要： 本申请实施例公开一种内置约束规则的k‑means文本聚类方法及装置，该方法包括：利用第一约束规则预处理待聚类文本集，得到与第一约束规则对应的第一预处理集合；获取待聚类文本集中的k个文本作为簇心，k＜N，N为待聚类文本集中文本的总数量；如果簇心包含于第一预处理集合中，则将该第一预处理集合中除该簇心外的其余文本添加到与簇心对应的类簇中，清除待聚类文本集中已经添加到类簇中的文本；将待聚类文本集中剩余的文本分别添加到与其距离最近的簇心所对应的类簇中；重新计算每个类簇的新的簇心，如果新的簇心满足预设的停止条件，则输出全部类簇。采用上述聚类方法可以降低文本聚类的计算复杂度，同时还能提高聚类精度。

摘要： 本申请提供一种多模式约束规则的配置方法、装置、设备及计算机可读存储介质，所述方法包括：获取配置指令，基于配置指令进入规则配置页面；获取针对规则模块菜单列中待选控件的选取指令，基于选取指令在约束规则显示区域中的复合模式流程图中将选定的所述规则模块通过第一方式显示，将未选定的规则模块通过第二方式显示，并获取针对选定的规则模块的配置完成指令，根据配置完成指令以及选定的规则模块在约束规则显示区域中显示当前配置的目标模式的审核流程图；按照目标模式的审核流程图对接收到的历史检测数据进行处理，根据处理结果对目标模式的审核流程进行验证；根据验证合格的目标模式的审核流程图，得到目标模式的审核约束规则。

摘要： 本发明提出了一种几何约束规则的单一航路虚拟长机编队方法，具体如下：航路飞行模态横向位置控制，根据几何约束规则得到虚拟队形的期望参考点，进而推算编队无人机的期望参考点，采用视线导引律得到每架编队无人机保持队形的滚转角指令；航路切换模态横向位置控制，虚拟队形根据圆弧航路实时推算位置，编队无人机以虚拟队形作为期望参考点得到队形保持的滚转角指令；编队无人机纵向位置与高度控制，以编队无人机与虚拟队形之间的跟随偏差，设计纵向位置保持控制器得到油门指令；以编队无人机与虚拟队形之间的高度偏差作为得到升降舵指令。本发明能实现多架编队无人机队形精准保持与航路跟踪控制，不依赖于高带宽组网电台通信链路，易于工程实现。

摘要： 本发明提供了一种基于条件生成对抗网络和约束规则的微血管树生成方法，该方法基于条件生成对抗网络，通过条件生成对抗网络建立的微血管树新生模型，利用上一级分叉弱化的条件来生成下一级分叉。该模式只需要给出入口分叉，逐级生长就能生成微血管树。同时在生长过程中加入了血管密度、分叉角度的优化条件，能够细致的对生长角度进行矫正，能够在生长过程中得到血管密度更均匀的微血管树，这也更符合了微血管网络在输送氧气及代谢营养物质过程的生理需求，使得生成的微血管树既符合了形态学特性也间接的符合了部分的生理学特性。

摘要： 本申请公开一种内置约束规则的k‑means文本聚类方法及装置，该方法包括：利用第二约束规则预处理待聚类文本集，得到与第二约束规则对应的第二预处理集合；获取待聚类文本集中的k个文本作为簇心；如果簇心包含于第二预处理集合的任一个子集合中，则将该第二预处理集合的另一个子集合中的文本添加到与该簇心对应的类簇互斥集合中；如果待聚类文本集中的当前文本包含于x个类簇互斥集合中，则计算除类簇互斥集合所对应的簇心以外其他(k‑x)个簇心与当前文本的距离，将当前文本添加到与其距离最近的簇心所对应的类簇中；重新计算每个类簇的新的簇心，如果新的簇心满足停止条件，则输出全部类簇。采用该方法可以降低文本聚类的计算复杂度，提高聚类精度。

摘要： 本申请实施例公开一种内置约束规则的k‑means文本聚类方法及装置，该方法包括：利用第一约束规则预处理待聚类文本集，得到与第一约束规则对应的第一预处理集合；获取待聚类文本集中的k个文本作为簇心，k＜N，N为待聚类文本集中文本的总数量；如果簇心包含于第一预处理集合中，则将该第一预处理集合中除该簇心外的其余文本添加到与簇心对应的类簇中，清除待聚类文本集中已经添加到类簇中的文本；将待聚类文本集中剩余的文本分别添加到与其距离最近的簇心所对应的类簇中；重新计算每个类簇的新的簇心，如果新的簇心满足预设的停止条件，则输出全部类簇。采用上述聚类方法可以降低文本聚类的计算复杂度，同时还能提高聚类精度。