基于规则的分布式集群运算系统研究

在分析分布式集群运算需求的基础上,提出了按操作构件分解、基于规则调度构建分布式集群运算服务方法,实现业务运算的按需服务．并给出了试验系统总体设计和初步验证结果。     

数据挖掘中的负关联规则算法

关联规则是数据挖掘的主要研究方面,已往对关联规则的研究主要集中在挖掘征关联规则上,事实上,负关联规则在应用中的地位也是非常重要的     

基于模式树的关联规则快速算法研究

关联规则算法已成为数据挖掘算法中的重要课题。通过对关联规则挖掘算法Apriori进行分析,指出了该算法存在的三个主要问题。在此基础上,提出一种快速算法来压缩数据存储空间,减小时间复杂度。     

关于《国家重点实验室评估规则》修订的说明

随着国家科技体制改革的不断深入和新颁布的《国家重点实验室建设与管理暂行办法》的贯彻实施,1999年制定的《国家重点实验室评估规则》已不能适应实验室进一步发展的需要。为此,我司组织对“国家重点实验室评估规则”进行了修订。     

一种新的基于扫描线算法的DRC方法

提出一种新的基于扫描线算法的ＩＣ版图几何设计规则检查方法．根据各类设计规则检查（ＤＲＣ）命令对运算边对的要求及检查值,选择保留适当的旧扫描线及其部分矢量,建立相应的数据结构和检索策略,实现在一次扫描中同时完成ｘ、ｙ方向的检查,冗余工作大大减少．采用的算法和数据结构适宜于将数据分段处理,便于使用内、外存数据交换方式,以降低对内存的要求,适宜于检查ＶＬＳＩ版图．     

用于系统模型层验证的模型转换的研究

传统以代码为中心的数控系统开发方式导致了系统测试滞后,系统性能难以保证。针对这种情形,提出利用模型转换将领域模型转换到第三方验证工具(Matlab 或UPPAAL)进行系统性能早期测试,从模型层保证系统性能。讨论了采用基于元模型层规则定义、语义动态添加和基于设计模式的操作等策略,以此满足实际模型转换的具体要求,给出了其框架。并指出根据实际需求采用不同的实现步骤和技术手段完成模型转换。从数控系统工作模式模型到StateFlow模型的转换实例从建模语言构建、映射规则定义、算法设计等几方面验证了上述模型转换理论框架和实现手段的可行性和正确性。     

基于关联规则和竞争凝聚算法的高压电缆缺陷识别模型

为便于运维人员及时准确判断高压电缆缺陷类型,提出了一种基于关联规则和竞争凝聚算法的高压电缆缺陷识别模型。该方法基于现有在线监测、离线试验和运维系统等数据,利用关联规则挖掘出不同缺陷类型与状态数据的关联关系,并建立电缆缺陷关联规则库;针对现有关联规则算法只能处理布尔型数据局限,采用竞争凝聚算法对连续型数据进行离散化处理;最后通过实例对所提的模型进行分析验证,仿真结果表明该模型识别准确率高、求解效率高、解释性好,有助于运维人员对电缆进行及时动态的维护管理。     

竞技健美操评分规则变化与实践互动的研究

竞技健美操规则变化的互动作用为其该项目的发展不断带来新的活力,这不仅仅反应在该项目的动作形式和内容上的变化,同时也反应了人们对该项目在发展理念上的新思维和认识程度的加深,这是当今竞技健美操得以快速发展的源动力.通过文献资料、数量统计、对比分析等方法对竞技健美操实践与评分规则变化机制从变化、思考、特色等方面进行了探析,以此为发展竞技健美操实践和完善评分规则提供参考.     

激光跟踪仪(API)大工件位置误差检测

形位误差在产品的制造过程中是不可避免的．如何实现对大型零件形位误差的精确检测,长期以来一直是困扰机械制造行业的难题。针对这一现实,通过对激光跟踪仪检测零件形位误差的具体描述,用实例证实了激光跟踪仪检测大型零件位置误差的适用性,分析了仪器精度设置原则,讨论了按规范检验合格的判定规则。     

基于过程组件的物流管理系统模型设计及分析

物流管理系统是工作流管理系统的重要组成部分，是企业经营过程的核心，借鉴组合Petri网的思想，在组件技术和分布式对象技术的基础上，提出了基于过程组件的物流管理系统的层次结构模型，该模型中，可复用的中等粒度的过程组件通过内部建立数据流和控制规则库。屏蔽了精细粒度的原子性对象之间的调用关系，提高了组件的重用性，提出了重组策略，给出了该模型的Petri网映射模型。为模型的性质分析提供了可靠的分析工具。