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

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

一种结合IPSO-BP神经网络的备件供应模型研究

备件供应是制造业服务价值链协同中的重要组成,也是企业制定销售计划和生产计划的重要依据.本文将备件供应过程中的备件消耗考虑在内,以最小化总成本为目标,以订货时的备件需求量为核心参数,提出一种基于神经网络的备件供应需求预测模型.在现有标准粒子群算法的基础上,通过将惯性权重的改进、环境检测策略和自适应最优解跳跃策略结合,提出...     

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

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

基于HDFS的小文件存储与读取优化策略

本文对HDFS分布式文件系统进行了深入的研究,在HDFS中以流式的方式访问大文件时效率很高但是对海量小文件的存取效率比较低. 本文针对这个问题提出了一个基于关系数据库的小文件合并策略,首先为每个用户建立一个用户文件,其次当用户上传小文件时把文件的元数据信息存入到关系数据库中并将文件追加写入到用户文件中,最后用户读取小文件时通过元数据信息直接以流式方式进行读取. 此外当用户读取小于一个文件块大小的文件时还采取了数据节点负载均衡策略,直接由存储数据的DataNode传送给客户端从而减轻主服务器压力提高文件传送效率. 实验结果表明通过此方案很好地解决了HDFS对大量小文件存取支持不足的缺点,提高了HDFS文件系统对海量小文件的读写性能,此方案适用于具有海量小文件的云存储系统,可以降低NameNode内存消耗提高文件读写效率.     

基于区分Web QoS的负载均衡集群模型

随着电子商务的应用逐步深入,用户访问量的激增且服务请求多样．如何实现对所有请求的快速响应是当前解决的问题．针对此问题,本文提出采用基于区分WebQoS的负载均衡技术．建立了基于区分WebQoS的负载均衡的集群模型．根据请求类型和用户权限划分服务等级,高服务的请求具有高优先调度权,在集群当中通过动态反馈技术均衡调度到某个节点,从而达到区分WebQoS服务的目的,同时也保证集群服务器的负载均衡．该模型在网络环境及硬件环境相同的条件下,与常用的负载均衡技术进行了比较,实验结果证明本文提出的方法效果显著．     

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

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

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

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

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

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

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

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