支持Stutter-不变性的命题区间时序逻辑

为了将命题区间时序逻辑(PITL)应用于组合验证,并降低组合产生的状态爆炸风险,提出了支持Stutter-不变性的命题区间时序逻辑PITLst.PITLst继承了PITL的结构相关性,可表达所有PITL能够表达的Stutter-不变性质,支持模块抽象约简系统规模,降低了状态爆炸风险.自动加油站模型的组合验证实例表明,PITLst可有效应用于组合验证技术.     

LTS仿真模型组合验证方法

为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统LTS的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素,并将执行序列表示为LTS,通过将表示组合仿真模型行为的LTS进行比较,得出组合仿真模型的有效性。最后给出了作战坦克修理所实例,结果表明,该方法能够有效验证仿真模型可组合问题。     

模型驱动在数控系统开发中的应用研究

开放式数控系统的研究已经成为目前数控系统研究的热点,模型驱动开发技术是目前软件开发研究的先进技术。为研究模型驱动技术在数控系统软件开发中的应用,作者分析了当前数控系统设计开发中的一些问题,在开放式数控系统软件常用的开发技术基础之上,采用MDD（Model-Driven Developmen）软件设计的思想和开放式模式设计软件的模型结构,分析设计了数控系统的软件开发途径,提出了判断引擎和模式转换规则库相结合的数控模式仲裁模块设计,并利用有限状态机理论、利用Matlab和Stateflow工具箱建立了工作模式仲裁模块的行为状态模型,通过Matlab Simulink仿真环境可以实现对建立的行为模型进行了验证。通过在MATLAB中调试和进行模型的有效验证,可以建立一个无逻辑错误的可执行模型,可以仿真数控系统的运行情况,检验模型是否按照期望的模式在运行。通过这种方法设计开发软件,可使描述文档的问题尽早发现,也使软件的修改更新工作变得简单易操作,而软件的开放性特征也得到了很好地体现。     

基于融合特征网和模块网的低频行为挖掘方法

针对流程挖掘过程中忽略低频行为的问题,提出一种基于融合特征网和模块网挖掘低频行为的方法.首先,通过处理有效的事件日志确定通讯行为轮廓关系,并根据日志将特征分为不同模块,重构事件内部行为,挖掘相应的模块网与特征网; 然后,融合特征网与模块网得出完整的流程模型,并通过迭代扩展初始模式得出所有低频模式.实例分析证明,本文提出的方法具有一定的可行性.     

一种需求驱动的服务行为适配方法

现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效.针对此问题,本文在适配器生成过程中考虑用户的需求,提出一种需求驱动的服务行为适配方法,并给出用于描述用户需求的形式模型的语法及语义.证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容,并且保证基于适配器的服务组合的行为满足需求给出的时序约束,避免了对基于适配器的服务组合进行验证.通过一个贯穿全文的实例分析表明了方法的可行性和有效性     

航空发动机数控系统的板级协同仿真

从工程应用的角度出发,结合航空发动机数控系统核心电路的特点,提出了数控系统处理器模块板级协同仿真的方法。建立了80386EX模型和特殊器件的高精度逻辑器件仿真模型,使模型与实际芯片特性相符,并具有可升级能力。编写处理器控制语言程序,结合软件算法模型,解决了板级仿真模型完备性与运行效率的矛盾。通过核心机控制器CPU模块仿真过程,讨论了现代板级仿真方法在付诸实施时面临的问题及解决方法。仿真的处理器模块在实际运用中验证了所采用的设计思路的合理性及具体实施细节的正确性。     

基于堆叠法集成学习的购买意向预测方法

为提高对用户购买意向预测的准确率,提出了一种基于堆叠法集成学习的用户购买行为预测模型.利用模型融合技术,将逻辑回归、决策树和XGBoost模型作为基学习器输入,再以随机森林模型作为次学习器进行堆叠,从而形成一种组合模型.针对电商提供的线上用户数据集,首先利用滑窗技术提取用于预测用户购买行为的特征,然后分别使用逻辑回归、决策树、XGBoost和集成学习组合模型预测用户购买意向的准确性.结果表明,组合模型的准确性明显优于其他算法.     

基于安全协议操作语义模型的组合协议分析及验证

协议的可组合性问题是安全协议形式化分析及验证领域的一个公开问题,通过提出采用安全协议的操作语义模型对组合协议进行形式分析和验证,建立了Yahalom和Denning-Sacco组合协议的操作语义模型,并用基于操作语义模型的自动化验证工具Scyther验证了其安全性,发现了一个针对Yahalom协议机密性的组合攻击.结果表明,操作语义模型是分析与验证组合协议的一种可行方法.     

责任政策形式化验证方法

为了验证多Agent系统设计的正确性,将责任政策作为约束多Agent交互行为的高层"需求规格"或"通信协议",对其进行形式化建模及验证。研究了建模责任政策的形式化框架语言,基于责任状态模型建模责任政策的动态演化过程。给出了政策模型形式化验证方法,将政策模型的操作语义定义为Kripke结构的状态迁移系统,政策中Agent行为的约束规则声明为线性时序逻辑公式,使用模型检测器Nu SMV验证政策模型对线性时序逻辑公式的可满足性。实验结果表明,该方法可有效分析责任政策的设计缺陷,提高多Agent系统设计的正确性。     

面向信息物理融合系统的异构模型转换方法

作为一种深度网络化嵌入式系统,信息物理融合系统(Cyber-Physical System,CPS)具有联合动态性、系统组成异质性、计算过程与物理过程的多尺度融合性等典型特征,使得基于单一模型的传统嵌入式系统模型构建和仿真验证方法面临新的挑战.在CPS系统设计开发与仿真验证时,往往需要组合使用多种设计模型或建模语言以描述信息域与物理域实体特点.针对CPS计算物理深度融合的问题,在分析基于计算模型和物理模型进行CPS系统协同开发需求和可行性的基础上,以统一建模语言(Unified Modeling Language,UML)模型和仿真(Simulink)模型分别作为计算过程和物理过程典型建模方式,研究了连续时间和离散事件模型间的结构映射和行为映射,提出了一种Simulink模型与UML类图和活动图之间的转换方法,并通过ATL(ATLAS Transformation Language)转换规则实现了技术验证.     

面向客户定制的企业信息模型研究

针对客户定制的客户个性化需求,将企业信息模型研究归结为对企业的结构模型和数据模型的构造,基于实例企业构建了其企业结构模型和企业数据模型,并在其ERP系统中进行了成功的应用,取得了明显的效益。     

模型参数对邓肯-张非线性弹性模型应用影响研究

岩体破坏模型重要影响因素之一是岩体本构模型,邓肯—张模型是岩土工程中应用最为广泛的土的非线性弹性本构模型.本文对邓肯-张非线性弹性模型的影响因素进行了分析,并结合实例说明,本构模型中有关参数的取值和匹配对模型的应用和工程计算均有较大影响.     

基于PSS/E的短路电流衰减影响因素分析

针对大电网短路电流超标日趋严重、中国现行短路电流计算方法偏于保守的情况,在PSS/E机电暂态仿真环境下研究发电机？负荷和励磁系统模型对短路电流衰减的影响.通过研究发现：在动态仿真过程中,不同的元件模型对短路电流衰减有较大的影响,可作为研究与评估电网实际短路电流衰减的参考.     

非参数解集模型再探

参数解集模型具有固定的相依结构和边缘概率分布,非参数解集模型克服了参数解集模型的缺点,但非参数解集模型有自身的不足：用于时间量随机解集时,不能保持首尾自相关结构一致性;用于空间量分解时,不能保持空间上的量滞时为1的自、互相关特性。基于改变条件概率密度函数对非参数解集模型进行了改进,提出了改进的非参数解集模型。将建议模型应用于金沙江流域屏山站月径流随机生成,结果表明改进模型是合适的。     

基于灰色改进模型的电价预测

针对电力市场中的电价预测问题进行了研究。在阐述了灰色模型在电价预测方面的应用后,提出了一种改进灰色模型用于电价预测的方法。通过对原始数据序列的一系列处理和对微分方程求解条件的变化达到预测精度的提高。最后用算例验证了该方法的可行性。     

自然图像稀疏编码模型研究综述

根据建模出发点的不同,把各种建模方法分为模拟视觉系统模型、统计分析模型两大类方法.根据不同的目标、不同的模型特征和结构,把模拟视觉系统的稀疏编码模型分又为最大似然概率、目标函数优化、Gabor小波基函数、超完备基、神经网络、分层稀疏编码六类模型.根据模型学习方法的不同,统计分析模型又分为独立分析、非负矩阵分解以及特定特征的稀疏编码3种模型.针对上述各种模型进行了介绍、分析和研究,并归纳总结不同方法的主要特点,最后进行了展望.     

最佳质量成本模型的研究

对控制质量成本的最佳质量成本模型进行了研究,在分析探讨费根堡姆最佳质量成本模型和朱兰最佳质量成本模型的基础上,提出可以量化的、可操作的质量成本模型,并给出模型参数的计算方法,进而推导出最佳质量成本模型。     

数字仿真模型的可信度研究

可信度研究是近年来数字仿真中的热门话题之一 .讨论了可信度研究的重要意义以及可信度研究与仿真建模之间的关系 .以实例说明了模型验证、模型校核、结果确认的实施方法 ,分析了影响数字仿真结果正确性和可信度的主要因素 ,探讨了数字仿真可信度研究的主要问题和内容     

灰色马尔科夫模型对煤自然发火预测的研究

传统灰色模型GM(1,1)对于随机波动性较大的数据序列拟合较差,预测精度较低,为了弥补这一缺陷,更准确预测煤层自然发火的趋势与危险性,将GM(1,1)模型和马尔科夫模型有机结合,构建了灰色马尔科夫模型。用灰色马尔科夫模型对柴里煤矿实测CO发生量进行预测,与传统GM(1,1)模型的预测结果比较,灰色马尔科夫模型的拟合精度更好,平均相对误差更小,简便、实用,能够为矿井煤自燃火灾的防治工作提供科学的理论依据。     

基于装配的载荷模型

载荷模型的基本思想建立在几何模型和装配模型基础上 ,分析不同零件类型和载荷类型的联系 ,建立两者之间的映射关系 ;载荷模型包括载荷信息模型和载荷关系模型 ,前者建立各种零件的载荷信息 ,后者描述零件及装配体内载荷相互作用关系 ;最后生成描述载荷信息流向的载荷链 ,实现了在装配环境内对产品载荷的自动建立和分配 ,为零件的计算分析创造载荷条件 ,实现对产品模型的完整描述