摘要：解空间搜索是约束求解的关键环节.目前较为常用的搜索算法一般是基于二元约束或单一搜索策略设计的.本文设计了六个基于多元约束的混合搜索算法(BM_GASBJ,BM_GBJ,BM_CBJ,FC_GASBJ,FC_GBJ,FC_CBJ),它们分别混合同一类搜索策略中不同算法或不同类搜索策略;分析并给出了不同混合算法的性能差异.系统测试结果表明混合搜索算法明显提高了解搜索效率和约束求解系统的性能.

摘要：提出了基于软件体系结构的反射工作流模型.作为元层的抽象软件体系结构和物理软件体系结构概念的分离,使得应用语义和实现技术相分离;映射元对象建立抽象软件体系结构到基层工作流任务结构的因果连接;行为元对象执行工作流实例的活动调度等功能.讨论了工作流活动和过程级别的动态性.

摘要：智能家居场景联动是智能家居系统提供的一种自动化服务,它通过各类智能设备的互联、互通和互动,从而为住户提供更为舒适、安全和节能的家居环境.然而,由于各个智能场景的侧重点不同、管理策略各异,当多个智能场景联动和叠加时,会引起作动器设备之间的竞争、干扰和矛盾等控制冲突现象,降低智能场景用户体验,缩短智能设备使用寿命,甚至危及住户的人身财产安全.因此,智能家居场景联动中的控制冲突问题亟需大量实验研究并找到解决方案.本文中,我们将控制冲突分为两大类,一类是同一作动器上执行明显相反动作的显式冲突,一类是不同作动器之间产生相互干扰动作的隐式冲突.现有的控制冲突检测技术对于显式冲突检测的研究较为成熟,而在隐式冲突检测方面性能相对较弱,其原因可归结为自动化程度低与漏判率高两大缺点.本文提出了一种基于知识图谱语义分析的作动器隐式冲突检测方法,可以充分整合并有效挖掘各类作动器功能描述的常识性知识,进而实现对作动器隐式冲突的自动化检测.该方法有两个主要环节,分别是作动器设备注册环节与规则制定环节.我们在作动器设备注册环节提取知识图谱中的常识性知识,对作动器功能之间的效果冲突进行识别判断,并以隐式冲突矩阵的形式将判断结果在边缘设备上进行存储,实现存在于不同类型作动器之间的干扰检测;在规则制定环节,借助隐式冲突矩阵的冲突信息进行字典式查询与匹配,以判断规则之间的隐式冲突.此外,基于知识图谱中设备功能短语自身特点,设计了基于语义贡献度的权重分配策略,完成词向量到短语向量的转化.为解决聚类后相同簇中近反义功能短语混合杂糅的问题,本文提出了相对极性指标和近反义关系一步扩展方法,并借由图模型染色算法将反义关系的短语拆分到不同子类,优化了聚类效果.通过利用IFTTT数据集对10个典型户型的测试,我们的方法对隐式冲突的查全率达到0.8301,查准率达到0.9681,F-score值为0.8938.实验结果表明,我们的方法相比于当前检测技术,查全率至少高出61.93%,F-score值至少高出54.56%.并且与已有的方法相比,我们的方法不需要人工标注,可以自动化地进行隐式冲突检测,显著提高了检测效率,同时极大降低了冲突的漏判率.

摘要：实现了一种基于笔式草绘特征建模方法.该方法模仿传统的纸笔草绘交互设计方式,利用意图捕捉机制揣测用户的设计意图,并采用基于特征的建模方法构造出三维实体概念模型.支持在模型表面上直接草绘截面和轨迹线,并通过特征切削或添加操作构造复杂物体模型;初步实现了基于手势的模型编辑操作.实验结果表明,该方法简单、高效,适合于快速表达不精确的概念模型.

摘要：从数据模型的任意一点开始选择一个初始的四边形网格单元,采用动态边界边扩展的方法在三维空间直接进行四边形网格划分;在网格划分过程中实现了边界冲突检测、网格顶点优化处理、网格边界处理和网格综合优化.最后给出了网格生成实例.实验结果表明:该算法生成的网格质量较好,运行速度较快.

摘要：提出一种融合知识的参数化设计层次模型 ,以解决系列化产品大量重复设计问题 首先 ,在分析计算机辅助产品设计现状的基础上 ,提出以行业知识表示为核心的模型框架 ;然后 ,对构成模型的各个层次模型及层次间的结合等问题进行详细讨论 ,提出融合行业知识的设计特征、行业知识的三元组统一描述方法以及基于知识的装配等概念 ;最后 ,结合压力机产品主传动系统的设计 。

摘要：传统的工作流模型大多是处理可预见的、可事先给出完整定义的流程 ,然而现代企业流程所固有的多变性和灵活性要求其完整定义只有在流程实例运行过程中逐步得到完善 ,因而传统工作流模型很难处理现代企业流程 提出一种基于ECA规则和活动组合的动态工作流模型 ,为现代企业动态流程建模提供了一种简单可行的方法 设计了一个多Agent工作流管理系统 。

摘要：使用SWI-PROLOG语言在微机上设计实现了基于tableau的定理证明系统TableauTAP。该系统可以证明不含等词的经典逻辑公式和多值逻辑公式,通过预处理自动生成tableau规则,因此容易对其功能进行扩展。应用该系统对TPTP的400个逻辑问题进行证明,实验结果表明,TableauTAP在时间和空间效率上都是比较高的。

摘要：近年来,嵌入式技术与无线网络技术深度结合,催生了可计算RFID、嵌入式传感网等新兴领域.这些系统由大量廉价的节点组成,应用前景广泛.在传统设计中,这些系统通常是根据应用定制的.根据应用定制的系统具有开发简便、运行高效等优点,但不适合未来大规模部署.这是因为如果这些系统跟应用密切绑定、难以更新,那么系统一经部署就难以更新其软件,从而阻碍了软件创新的进程.软件定义的思想可以有效解决该问题.当前,软件定义网络成为计算机网络中一个热门的研究领域.传感器网络的软件设计与因特网的软件设计存在诸多差异,其最大的差异在于,传感器网络主要以信息的采集为核心,而因特网主要以信息的传输为核心.此外,传感器节点还具有体积小、电池续航能力有限、价格低廉等特点.文中主要调研了设计软件定义传感器网络(Software-Defined Sensor Networks,SDSNs)架构的相关工作,列举了在设计一个通用、高效的软件定义传感器网络架构时可能遇到的挑战,并回顾了一些有用的技术.这些技术有的来自于现有方案,有的能够直接被用来解决一部分挑战.此外,文中还从软件定义功能的角度,进一步地对目前通用、高效的软件定义传感器网络架构及其采用的技术进行了分类.我们认为,软件定义传感器网络架构将在已部署的网络中起到至关重要的作用,并带来一场新的技术变革.

摘要：为了适应图形计算机辅助设计系统的异地广域协同任务要求,分析了Web服务概念体系在图形计算机辅助设计网络化协同集成应用中的作用,构架了一种以Web 服务为基础的图形计算机辅助设计协同设计框架模型,并由此给出了一种基于优先权控制的分层式协同设计过程模型,提出了一种集中式的冲突解决方法。最后,通过应用实例验证了模型的有效性。该模型基于Internet构件,能够适应协同设计者分布广域性的特点,同时又能提高设计任务的精确性和设计效率。