基于过程模型随机仿真的TDD模块选取建模方法研究*

为了帮助项目经理合理选择TDD实施模块,基于进程代数方法对测试驱动软件开发过程和非测试驱动软件开发过程建立过程仿真模型。通过用例度量软件模块的复杂性来获取随机变量参数对模型调参,并采用该模型得到仿真结果。提出TDD模块选取算法来分析仿真结果并得出最佳TDD实施策略,最终为项目经理提供合理的决策。     

LTE TDD系统随机接入过程研究

随机接入技术是移动通信系统中UE与网络建立连接,进行通信的首要步骤,设计一种快速有效的随机接入过程将对系统的性能具有重要的意义。首先对LTE系统随机接入技术的进展情况进行了介绍,然后重点介绍一种基于LCR TDD帧结构的随机接入过程,给出接入流程。最后对碰撞概率进行定量分析。     

基于SPNAT的维修过程建模与仿真方法研究

Petri网是严格定义的数学对象,直观、形象,且可用于动态的行为分析。通过引进退化令牌对随机Petri网进行理论扩展,提出了一种基于退化令牌的随机Petri网（SPNAT）的维修过程建模与仿真方法。最后通过实例验证了该建模方法的有效性和优越性。     

基于元模型的组件化制造过程建模仿真系统研究

文章分析了基于功能和基于过程的两种制造系统建模仿真方法,提出了面向过程的建模仿真系统的元模型结构,详细设计了制造系统多个视图模型中的主要建模元素。在此基础上,采用面向对象分析和软件组件技术,实现了组件化制造过程建模仿真系统中的各个组成模块。该软件应用于实际,与CIMS其它子系统集成运行,提高了制造企业的整体业务水平。     

基于攻防随机博弈模型的防御策略选取研究

由于网络安全攻防双方的目标对立性和策略依存性,使得最优防御策略选取问题十分复杂.形式化定义了网络安全防御策略选取问题.提出了一种刻画网络安全攻防矛盾,解决防御策略选取问题的攻防随机博弈模型.该模型是矩阵型攻防博弈模型和Markov决策过程的扩展,是多人、多状态的动态攻防推演模型.将攻击者在网络实体上的特权状态作为攻防随机博弈模型的元素,建模网络攻防状态的动态变化,并预测攻击行为和决策最优防御策略.给出了基于上述模型的防御策略选取算法.用一个网络实例分析了该模型和算法在攻击策略预测和防御策略决策方面的有效性.     

基于随机模型的雨景仿真

根据视频画面中雨滴的时间无关性假设，设计出雨景随机模型来实现三维视景中雨景的可视化仿真。该方法对仿真视景的单帧画面进行雨景建模，在雨滴的形状上采用简单几何线条模拟，在雨滴的颜色上采用前景背景混合的方法，在雨滴分布上采用随机分布模型，最后通过各帧画面连续快速播放的方法来达到雨景的可视化效果。     

基于异构模型融合的CPS系统仿真建模方法研究

单一的离散系统仿真或连续系统仿真已无法满足复杂的CPS系统仿真需求。结合CPS一体化模型的3类 实体,对计算实体构建基于事件驱动的离散事件仿真模型(UML模型),对物理实体构建基于动态连续时间坐标的连 续时间仿真模型(Simulink模型),并以刻画计算实体和物理实体的交互接口和行为特征为目的,进行协同仿真,构建 交互实体模型。给出并分析了UM工丫Simulink协同建模的优点,研究并分析了3种不同的模型融合方法,结合无人机 模型,从模型级对CPS一体化模型的融合进行了分析设计。     

一种基于仿真的装备模型可视化建模方法研究

装备论证以充分的论据对武器装备的发展、研制预定目标进行推理,是支撑武器装备发展的必要环节.通常装备论证过程开始于装备模型建模,从装备论证的特点和需求出发,运用可扩展标记语言XML和GDI+绘图技术,提出一种基于仿真的装备模型可视化建模方法.该方法相比传统表格式建模方法具有建模直观、建模简单、模型修改和扩展性好以及模型错误率低等特点.通过某型装备论证分系统集成表明该可视化建模方法是一种行之有效的方法.     

基于Multi-agent的建模仿真方法研究

基于Multi-agent的建模仿真方法侧重于研究多个主体之间的相互作用,为描述和研究复杂系统提供了更加符合现实和更加有效的建模框架,是研究复杂系统的一个有效途径.简要介绍了复杂适应系统理论,阐述了该建模仿真方法的仿真平台,指出了该建模仿真方法的主要应用领域.     

基于模型驱动的HLA建模仿真研究

HLA作为现有分布交互仿真的标准,其系统实现受限于特定的仿真支撑平台,互操作性和可重用性没有得到有效地应用.而OGM提出了模型驱动体系结构(MDA),核心思想是将系统的行为逻辑模型与特定的目标平台分离,可以重用于现有的或将来可能推出的不同的软件平台.关注MDA的特点,针对基于HLA的仿真系统开发存在的有关问题,设计了基于MDA的仿真组件模型和联邦成员组件模型,并提出了基于MDA的建模仿真基本过程.     

基于系统动力学方法的软件过程建模与仿真

软件开发质量很大程度上取决于软件过程.软件过程涉及到众多相互关联和反馈的因素,特别是与人和组织行为有关的软因素,但在离散型传统建模方法中难以得到准确反映.文章介绍了基于系统动力学的连续型软件过程建模与仿真方法,并以Brooks法则作为实例描述了该方法的基本要素和优势.文章还对系统动力学方法应用于软件过程不同领域的研究加以回顾,并给出了今后的几个主要研究方向.     

多状态实体随机移动模型建模与仿真

移动模型是移动Ad Hoc网络协议设计和性能评估的基础。根据实体随机移动模型建模的要求,提出一种能够较好地反映现实节点运动规律、参数独立可控性强、适用性广的多状态实体随机移动模型,通过调整模型的若干参数可以产生多种现有常用的移动模型,具有一定的灵活性和通用性,给移动Ad Hoc网络模拟仿真场景的产生带来极大的方便。     

基于AR模型思想的高斯过程多模型建模方法

针对K-近邻算法中难以确定K值的定量问题,提出一种基于AR模型思想的高斯过程多模型建模方法。该方法借鉴AR模型的思想,将前一时刻的输出值作为当前时刻输出值的一个影响因素放入输入集中,通过计算训练样本的平均最小距离从而得到一个搜索半径,根据搜索半径来确定K值和K个近邻样本的权重,采用加权输出的方式以得到组合模型的输出。将其建模方法应用到某双酚A反应釜出口苯酚含量的软测量建模中,仿真结果表明,该方法具有较高的精度和较好的模型推广能力。     

基于综合系数的随机存储系统建模与仿真

讨论了需求量、需求发生的间隔均为随机变量的(s,S)策略随机存储系统。以库存总费用和缺货率为系统性能指标,建立仿真模型,将二者加权平均给出策略的综合系数的计算公式。设计了仿真运行图,在各种费用参数给定后,利用计算机仿真技术和综合系数来选定最优存储策略。     

基于可视化建模方法的燃气轮机仿真研究

应用可视化建模仿真系统软件对燃气轮机系统的建模方法进行了初步研究,实现了对燃气轮机基本功能和特性的模拟仿真,可以为后续开发适用于培训人员和事故模拟的全范围仿真模拟机提供技术路线的参考与验证。     

基于Token选取的OpenStack单一平面网络建模方法

CPN形式化建模适合为包含大量并发、通信、同步共享行为的软硬件系统建立形式模型,并完成系统功能和性能等方面的行为分析。在传统的CPN建模中,token的选取采用穷举法,由此造成生成的token数量较多、CPN模型生成的状态空间相当庞大甚至状态空间爆炸等问题。针对上述问题,提出将符号执行与CPN建模相结合,并在CPN模型的执行过程中采用一种基于token选取的方法,进而得到CPN模型的状态可达图。通过对OpenStack云平台支持创建的单一平面网络进行CPN建模,针对传统方法和所提方法生成的状态空间,分析了其规模的变化,验证了所提方法的有效性。     

基于离散随机过程建立锂电池模型的研究

本文首先通过锂电池实验深入研究了电池的两个基本特性,恢复效应和速率容量效应.然后依据离散随机电池模型理论,模拟出跟踪电池基本行为的离散过程,通过仿真和锂电池放电实验进行了模型验证,结果显示模拟过程与理论推导相吻合,从而验证了模型的正确性.     

基于时序模型迁移的间歇过程监测建模方法

针对工业生产过程频繁变更操作条件的需求, 提出一种基于时序模型迁移的方法, 通过从旧过程数据中挖掘并提取相似性信息, 可以快速建立新过程的监测模型. 将该建模方法与时序模型迁移相结合应用于青霉素发酵仿真过程, 实验结果验证了该方法的有效性.

     

基于MATLAB的光伏模块通用仿真模型

基于光伏模块的数学模型,在Matlab仿真环境下,开发了光伏模块通用仿真模型.利用该模型,可以模拟实际光伏模块产品在不同太阳辐射强度、环境温度下的P-V和I-V特性.此外,该模型还融合了最大功率跟踪(MPPT)功能,可直接用于光伏发电系统的动态仿真,仿真结果证明了所建模型的合理性.