大断面切眼掘进的联合支护技术

以东曲矿二采区4#煤的复杂地质条件下的特殊支护为例,论述了相邻极近距离煤层采空区下掘进切眼的联合支护技术,通过实践证明,该技术成果是成功技术经验的总结,为类似条件下的工程提供了科学依据,保证了支护的安全性.     

基于公理设计的用例模型构造特征模型的方法

在软件设计中,由用例模型构造特征模型的方法有多种,有正交化的方法、有在基于UML用例模型基础上经过变换得到特征模型的方法.本文提出了基于公理设计的构造方法,利用公理设计矩阵来分析用例模型中的功能,利用功能的耦合来构造特征模型,并结合图书馆管理系统的实例,介绍这种方法的实施过程.     

基于矩阵属性变换的机械传动系统多方案产生

通过分析机械工程系统的功能关系确立待设计系统的物理变量 ,利用键合图的基础元件建立基本功能转换矩阵 ,根据机械系统中能量传递建立系统矩阵模型 ,采用矩阵属性变换 ,产生多个机械传动系统设计方案。并结合实例说明其应用     

UML与I2DEF(Integrated IDEF)建模方法及相关建模工具评述

介绍了一种新的建模方法——I2DEF.I2DEF方法吸取了IDEF、OMT、UML、OOSE、OOA/OOD等优秀建模方法的优点,是一种综合性的方法.并将其与UML建模方法进行比较,充分分析了这两种方法的优缺点.并以RationalRose作为UML建模工具的代表,与I2DEF方法的建模工具PlayCASE在功能、性能方面进行比较.最后对两种方法进行总结,提出将来建模工具发展的方向以及对开发人员的建议.     

工控软件的安全性分析

通过讨论工控软件中的安全性的可靠性的关系，提出了工控软件的安全性和可靠性在实际应用中都是评价其性能的很重要的标准，并在研究IEC标准的基础上，给出了安全相关软件的开发过程及安全性分析。     

基于公理设计的面向对象设计方法研究

从软件需求模型到软件设计模型映射是软件工程领域研究难点之一.为提高软件设计质量,增强面向对象软件系统的模块独立性,减少类与类之间的耦合,研究了基于公理设计的面向对象设计方法过程模型,分析并统一公理设计过程与面向对象设计过程相关概念.将公理设计中的"之字形"映射方法及独立设计公理应用于用例模型,特征模型和属性模型之间的映射,从而控制映射过程中软件设计的耦合程度.     

基于领域Use Case需求模型的测试用例生成

传统的Use case模型已经被扩展用于建立领域需求模型,但该模型并不支持领域测试用例的复用和自动生成.给出了领域用例的形式化定义方式,增加了最小数据触发集的描述,提出了用例的动态模型和静态模型概念.扩展活动图用于表示用例之间的动态关系和执行过程,并将值流和对象流融入到活动图的表示中.依据用例的动态模型,可以直接产生测试用例,同时获取测试数据,从而实现领域软件需求与领域测试用例的裁剪过程一致性和同步性.     

混杂系统的扩展时间自动机模型及验证研究

混杂系统复杂度高且涉及领域广,没有通用的方法来解决分析、设计等问题。为解决一类工业控制混杂系统的建模和验证问题,对时间自动机进行了语义扩展,使其含有连续变量以及映射在其上的约束,使用扩展后的时间自动机对此类混杂系统进行建模,采用验证工具UPPAAL进行模型分析模拟,并使用简化的CTL对系统需求规范进行验证。具体实例研究表明,该方法对于分析设计一类混杂系统具有可行性和有效性。     

基于功效特征的专利聚类方法

当前专利是按照领域划分的,而基于功效特征可以实现跨领域的专利聚类,这在企业创新设计中具有重要意义,而精确提取专利功效特征和快速获得最优聚类结果是其中的关键任务。为此提出一种信息实体语义增强表示（ERNIE）和卷积神经网络（CNN）相结合的功效特征联合提取（FEI-Joint）模型来提取专利文献的功效特征,并且改进自组织神经网络（SOM）算法,从而提出具有早期拒绝策略与类合并思想的自组织神经网络（ERCM-SOM）来实现基于功效特征的专利聚类。对FEI-Joint模型与TF-IDF、狄利克雷分布（LDA）、CNN在特征提取后的聚类效果上进行比较和分析,结果表明其F-measure值比其他模型有明显提高。ERCM-SOM算法与K-Means算法、SOM算法相比,在F-measure值提高的同时,其时间较SOM算法有明显缩短。对比使用专利分类号（IPC）的专利分类,采用基于功效特征的聚类方法可实现跨领域的专利聚类效果,为设计者借鉴其他领域的设计方法奠定了基础。