摘要：介绍了控制软件设计与验证系统的原理与实现过程 ,给出顺序功能图[1] (Se quentialFunctionCharts,即SFC)需求说明语言到系统Petri网模型的转化算法和系统几种异常现象的验证算法 ,讨论了系统实现的若干关键技术 。

摘要：本文主要介绍PVM并行程序验证系统的基本原理和实现技术．首先，我们扼要分析PVM程序的构成与特点；然后阐述验证系统的理论模型和验证算法；最后，讨论开发过程中的若干关键技术．本系统的研制可为并行程序的自动转换和分析验证提供一个可视化的运行环境．

摘要：讨论了可视化开发方法在开发 Petri网工具中的应用 ,描述了 Petri网的可视化运行的表现形式 ,介绍了Petri网可视化运行的设计方法 .

摘要：舰船电力系统结构性能的提升可以通过改善电力系统的网络拓扑结构和提高网络拓扑组成设备可靠性的方式来实现。该文在考虑舰船资源约束和结构限制的前提下,建立舰船电力系统结构性能多目标、多约束双层优化模型。基于系统变阶的思想,将双层迭代遗传算法和边际优化方法相结合,提出一种改进的遗传算法用于双层优化模型的求解。以某环形舰船电力系统为例进行模型验证,从网络结构优化和配置合理数量备件两方面给出适用于舰船电力系统的结构性能优化策略,可为提高舰船电力系统的安全性和设计工作的科学性提供理论依据。

摘要：针对现有的量子点薄膜液晶显示背光技术中存在的材料利用率低和光学效率不高的缺点,提出了直接在导光板上制备量子点微结构的方法。新的背光架构由蓝光发光二极管(LED)激发量子点形成高显色性的白光。根据搭建显示背光系统模型,研究光线追踪的仿真模拟和光学参数优化,证明新结构的量子点背光具有高出光效率和低成本的优点。实验与理论结果相一致。

摘要：未来舰船综合电力系统将采用中压直流分布式供电网络结构,其动态特性易受故障、投切负载、脉冲负荷等影响,需配置储能模块以满足系统供电需求。为此,该文设计了由异步电机、飞轮和双向变流器三大模块组成的直流并联型飞轮储能装置,以空间矢量脉宽调制(space vector pulse width modulation,SVPWM)技术为基础,提出了飞轮调节阶段"电压外环+电流内环"和保持阶段"转速外环+电流内环"的双模式双闭环控制策略,以及相应的飞轮工作模式自动切换流程。通过构建飞轮储能装置试验平台及对应仿真系统,完成了突加负载时的仿真、试验对比分析,结果表明,所设计的飞轮储能装置能够根据系统监测结果自动切换工作模式,调整直流主网电压,补偿系统功率,有效抑制舰船综合电力系统的电压波动,提高供电品质。

摘要：从舰船电力网络拓扑结构及设备布置特性的角度出发,对舰船电力系统的脆弱性进行量化评估能为电力系统的优化设计提供理论指导。基于复杂网络理论,从舰船电力系统本身的拓扑结构对其脆弱性进行了研究。首先,用邻接矩阵将某一环形电力网络表示出来,并计算其特征参数,从度数指标和介数指标可以看出主配电板节点是电网中的重要节点;然后,对该环形舰船电力网络进行了故障模拟,结果表明:电网元件故障对整个电力网络造成的影响由最大连通子图规模来衡量,该指标值越小表明此元件故障对网络的影响越大,同时这一指标比介数指标更好地揭示了舰船电力网络的脆弱环节。

摘要：本文主要从文化背景、造型、装饰和工艺四个方面对清朝时期的苏作家具、广作家具和京作家具三种家具的风格特点进行比较研究,旨在加深对清式家具的理解,以期对现代家具设计有所启发。

摘要：为了提高舰船电力系统的运行安全性和设计科学性,研究了舰船电力系统电机控制及配电系统的备件设置对电力系统脆弱性的影响。提出了综合考虑降低费用、重量、体积等约束条件,以多尺度综合脆弱度范数最小与资源消耗规模最小为双目标的优化模型;根据满足率的要求确定舰船电力系统电机控制及配电系统的初始备件配置方案,再利用边际优化方法得到最优备件配置方案。实现在网络结构不变的前提下,通过合理配置节点元件备件数量,达到提高舰船电力系统健壮性的目的。最后以复杂环形舰船电力系统为例对模型及算法进行了验证。