基于系统代数的仿真模型自动生成研究

计算机仿真在现代科学研究和工程应用中起着重要的作用,而复杂系统模型的建立往往需要占用大量时间和资源。提出以系统代数为工具,建立仿真系统元模型,根据已知约束,对不同运行逻辑的系统仿真模型自动生成并运行。对系统代数提出Merge算子,使其更适合建立较复杂系统的仿真模型。并使用该方法分别对产品设计和简单物流系统进行了仿真。此方法能够快速产生多个仿真模型,节省了对同一系统的不同运行逻辑进行重复建模的时间,提高应用仿真方法对系统进行分析的效率。     

计算机集成质量系统模型与实施方案的研究

文章对CIQS的模型进行深入研究,在介绍其结构模型和立体模型的基础上,提出一种面向产品信息流的车间级集成质量系统模型,对该模型及其实施方案的相关问题,包括基于PDM平台的集成方案和车间级集成质量系统的信息流表示以及系统的功能与结构进行了深入讨论。     

空间天气定量化预报系统的设计与实现

 空间天气模型系统是在特定的模型计算框架下,对多个空间天气模型进行封装集成,实现对空间天气定量化分析功能的系统.为加强模型间联系,提高模型预报应用水平和国内空间天气预报能力,设计实现了针对中国空间天气模型的系统——空间天气定量化预报系统.该系统采用以计算框架为核心,模型服务组件、可视化服务组件、数据管理服务组件为支撑的思想进行架构设计,提供对5大空间区域模型的高速计算环境,实现模型的封装集成,并以多种可视化形式对计算结果进行丰富的展现.系统具有高效的业务调度和数据传输能力,有效提高了系统运行性能、预报效率和科研用户的交互体验.     

调度自动化系统中数据库存储设备的CIM建模研究

随着调度自动化系统的深入应用和技术发展．运行人员对调度自动化系统本身的运行管控也提出了更高的要求,迫切需要对调度自动化运行管控系统中各奏监控对象进行模型描述。论文针对调度自动化运行管控系统对象建模和数据交挟的应用需求,扩展IEC61970标准cIM模型以支持对该系统中的各类数据库应用系统及相关存储设备进行模型描述。本模型已成功应用于贵州电网调度自动化运行管控系统项目。     

基于角色访问控制的权限管理系统改进与应用

对基于角色的访问控制模型进行了研究,对传统访问控制模型、基于角色的访问控制（RBAC）模型、角色管理模型ARBAC97进行了描述和分析。对RBAC模型进行范围扩展,通过引入角色范围的概念,以（用户,角色,范围）三元组来标识系统用户的权限,解决RBAC模型无法对资源实例进行权限控制的问题,也就是解决了系统用户拥有相同的角色,操作的数据范围可以不同。结合实际应用系统的需求,实现了权限管理系统。     

风荷载下伸臂桁架-ATMD组合系统最优伸臂桁架位置研究

基于虚拟激励法和最优控制理论,提出伸臂桁架-主动调谐质量阻尼器(ATMD)组合系统的风振最优控制模型。首先推导伸臂桁架主体结构与ATMD耦合后的控制运动微分方程组并基于虚拟激励法求解该方程组,发展新的伸臂桁架-ATMD组合系统数值简化模型。基于新提出的组合系统数值简化模型,应用固定点理论求解ATMD最优控制力,获得伸臂桁架-ATMD组合系统的最优控制力模型。将新提出的伸臂桁架-ATMD组合系统数值简化模型和最优控制力模型进行有效数值组合,构建该组合系统的整体最优控制模型。将本文提出的基于固定点理论的最优控制模型与基于线性二次规划方法的最优控制模型、被动最优控制模型和无控制模型进行对比分析。最后应用基于固定点理论的最优控制模型对伸臂桁架-ATMD组合系统的最优伸臂桁架位置进行单参数敏感性分析,研究最优伸臂桁架位置对不同结构影响因素的敏感性以及ATMD对不同类型伸臂桁架系统的抗风控制效果。研究结果表明：主体结构伸臂桁架系统类型不同,不同控制方案的作用效果不同,且主动控制方案对加速度响应的控制效果优于对位移响应的控制效果;与纯伸臂桁架系统相比,风荷载作用下主动调谐质量阻尼器对组合系统的最优伸...     

考虑谐波电流的并网逆变器阻抗模型研究

分布式发电系统挂载了大量的并网逆变器,逆变器侧和电网侧的谐波存在交互作用,会影响系统的稳定性.本文推导了单相双闭环LCL并网逆变器的阻抗模型,分析了考虑非线性因素下的阻抗模型.为提高系统阻抗模型的准确性,在研究系统低频特性的基础上,提出直接将并网逆变器谐波电流引入到并网系统阻抗模型中,建立谐波阻抗模型.利用提出的谐波阻抗模型对多逆变器并网系统进行建模和谐波交互分析.以电路模型为基准,对采用谐波阻抗模型进行谐波分析的结果做了比较.仿真结果验证:谐波阻抗模型具有较高的准确性.     

I-deas变量化分析在转子系统有限元建模中的应用

基于转子动力学理论和有限元数值分析方法,在NX I-deas5软件平台上建立转子系统简化的三维实体模型和有限元模型,并使用软件的变量化分析功能对该转子有限元模型的等效支承参数进行了优化,通过对转子系统有限元模型进行动响应分析,实验验证了模型的准确性。     

调度自动化系统中业务服务器的CIM建模研究

随羞调度自动化系统的深入应用和技术发展,运行人员对调度自动化系统本身的运行管控也提出了更高的要求,迫切需要对调度自动化运行管控系统中各类监控对象进行模型描述。论文针对调度自动化运行管控系统对象建模和数据交换的应用需求,扩展IEC61970标准CIM模型以支持对该系统中的各类业务服务器进行模型描述。本模型已成功应用于贵州电网调度自动化运行管控系统项目。     

虚拟装配系统中模型数据转换的研究

针对虚拟装配系统中模型数据转换的问题,为了实现产品模型从CAD系统到集成虚拟装配系统的模型转化,提出了将虚拟环境下的零件信息进行分类转换的方法。该模型由装配对象信息、对象层次信息、装配对象的关系信息和面片信息所组成。通过对CAD系统的二次开发和CAD系统本身自带的模型转换接口,得到虚拟装配系统所需的零件模型数据。     

BBK信任计算模型的分析和改进

信任模型在分布式安全系统中起着非常重要的作用。基于对BBK信任计算模型的分析,在引入信誉报告系统的基础上结合本地计算和分布式计算提出了改进的BBK信任计算模型iBBK,该模型可减少恶意推荐现象和偏心现象对信任系统的危害。同时,面向PKI安全服务系统,给出了iBBK信任计算引擎在系统中的应用实例,对系统中实体之间的信任进行了有效的计算和管理。     

基于时间Petri网的薪酬绩效系统的研究

本文提出一套薪酬绩效系统模型。系统采用Hibernate连接数据库,以时间Petri网(TPN)的并行式工作流模型建模。文中首先介绍了该薪酬绩效系统的体系结构和系统功能结构,通过基于层次时间Petri网工作流模型(HTPN)对该系统工作流运行时间进行计算。最后对系统通用性、可移植性和效率进行分析。     

基于随机Petri网的容灾系统安全性分析

该文采用基于状态的随机模型对容灾系统进行安全性分析。通过构建一个通用的远程容灾系统模型,使用随机回报网SRN描述了整个系统模型的备份与恢复过程,包括SRN模型中的各个位置、变迁的含义,对该系统模型进行建模。使用随机Petri网软件包SPNP对所建立模型进行仿真,通过对不同概率参数的设定得出系统可用性的量化值。仿真实验结果表明:不同的参数变化对系统可用性的影响不同,在本地备份中失效检测对于系统可用性的影响最大,远程备份中的失效检测对于系统可用性的影响最小。     

基于UML建模的电子病历系统设计与实现

以电子病历系统的开发为背景,介绍了UML在实际项目开发中的应用.在对电子病历系统进行需求分析的基础上,利用PowerDesigner对系统进行需求模型、静态模型和动态模型的建模,设计了基于UML用例图、类图和时序图的系统模型     

基于时间Petri网的薪酬绩效系统的研究

本文提出一套薪酬绩效系统模型。系统采用Hibernate连接数据库,以时间Petri网(TPN)的并行式工作流模型建模。文中首先介绍了该薪酬绩效系统的体系结构和系统功能结构,通过基于层次时间Petri网工作流模型(HTPN)对该系统工作流运行时间进行计算。最后对系统通用性、可移植性和效率进行分析。     

多轴段转子系统的畸变试验模型动力学相似设计

基于Riccati传递矩阵法和灵敏度分析,提出了一种多轴段转子-支承系统畸变试验模型的动力学相似设计方法.分析了转子固有特性的系统参数灵敏度,对原型系统进行动力学模化得到畸变模型,并进行必要的模型修正,然后对修正后的畸变模型进行缩尺设计得到最终试验模型.以设计某空压机高压转子的缩尺试验模型为例,通过对比原型和所设计缩尺试验模型的临界转速和固有特性,验证了所提试验模型动力学相似设计方法的有效性和实用性.     

舰载设备双波冲击试验机中的水锤现象研究

介绍了舰载设备双波冲击试验机正波发生系统的基本结构,对系统中水锤现象进行了分析.建立了正波发生系统的非定常流动模型,采用特征线法对该模型进行求解,分析了系统的动态压力变化情况;建立了系统的恒定流动模型,对两种算法下管路内压力变化情况和冲击锤的速度进行了比较.结果表明系统中存在水锤现象,并可以用非定常流动模型进行描述,该算法下冲击锤速度低于恒定流动模型计算结果.     

部分修复时间可忽略的系统瞬时可用度模型

针对马尔可夫的单部件可修系统的不足,假设部件寿命和故障修复时间都遵从一般分布,对非马尔可夫的单部件可修系统的可用状态进行了定义,将临界修复时间分为正常数和非负随机变量两类进行分析,得出了新模型的系统瞬时可用度,从而更加准确地反映了该类系统的效能。最后,通过一组数值试验对新模型和原系统的瞬时可用度进行了比较。结果表明,得到的新模型能更准确地刻画系统的可用情况。     

基于组织的访问控制系统授权验证单层关系模型

由于在目前的各种组织授权模型中缺乏对授权系统访问许可的检验,提出了对OB4LAC模型授权情况进行验证的基于组织的访问控制系统授权验证单层关系模型,通过向量和矩阵对用户-岗位-角色-操作之间的关联方式进行了描述,实现在多用户情况下,将每个用户通过组织授权系统所得到的系统操作权限进行直观的统计.通过算法实例对单层关系模型进...     

防空C 3 1 系统的建模与仿真方法论

防空 C3I系统是一复杂大系统 ,借助建模和仿真手段对其进行研究是唯一的途径。根据研究的目的不同对防空 C3I系统模型进行了分类 ,详细介绍了面向过程的模型 ,以及现有的各种建模和仿真方法。对防空 C3I系统的研制、评价提供了有效的方法和途径