RTL级模拟矢量自动生成设计化简方法研究

提出一种Verilog程序切片算法,给出了该算法的正确性证明的理论框架;并利用提出的Verilog程序切片算法对Verilog RTL级设计进行化简,实现模拟矢量自动生成状态化简目的,实验结果表明：该算法对状态化简效果非常明显,可以有效地解决状态空间爆炸问题。     

合金相变材料储热过程的数值仿真研究

传统低熔点相变材料,具有较小的导热系数,严重影响了相变储能装置的吸放热速率和储能效率.Cerrolow-136合金因其具有的良好导热性能和较低的相变点温及,在电子设备散热领域具有巨大的潜力.为了验证Cerrolow-136合金在强化换热方面的优势,首次采用数值仿真的方法对储热性能进行研究,并与石蜡的温控效果和相变过程进行对比.建立了三维相变储能装置的数学模型,利用焓-多孔理论分析相变材料的熔化过程.结果表明:Cerrolow-136合金相变材料相比较石蜡在温控能力和导热均匀性方面都具有较大的优势;在热流密度为1000～ 3000W/m2,环境温度为80℃的高温环境下,Cerrolow-136合金相变储能装置可确保在3988～9922s内将发热面温度控制在70℃以下.仿真结果为以后Cerrolow-136合金的应用提供参考.     

磨矿仿真实验平台的设计和实现

采用Matlab软件及RSView32组态软件开发了磨矿生产过程虚拟对象计算机通用实验平台。系统采用半实物仿真结构,由模拟磨矿动态过程的虚拟对象计算机、实现回路控制和设备启停的可编程控制器、实现监控和过程优化的监控计算机组成。该平台提供了磨矿生产过程的控制实验环境,能对综合自动化系统中的控制与优化算法进行研究与改进,并为控制系统的早期开发、解决复杂生产过程的实时控制与优化提供了实验手段。     

非晶态物质凝固过程分子动力学仿真

针对非晶态物质凝固过程中分子捕捉的准确度较低的问题,从多项分子力场入手,提出非晶态物质凝固时分子动力学仿真方法.根据非晶态物质分子凝固过程中的排斥和吸引作用,建立分子势函数,组成分子动力学力场.通过力场作用的约束能力,结合分子动力学相关数据,进行分子约束动力捕捉,并引入分子动力学约束性算法,解决捕捉后无法描述正态分子的...     

支持BPR的流程仿真在OpenBlock中的设计和实现

企业流程重组(Business Process Reengineerlng，BPR)作为一种有效的手段，已成为当今企业关心的重点问题。企业迫切需要支持BPR的易用、有效的建模仿真工具。该文简要介绍了企业流程重组的基本概念，分析了具有排队系统特点的一般企业流程的功能，讨论了支持BPR的流程仿真问题；重点利用框图建模方法来支持BPR流程仿真，在OpenBlock建模仿真环境中设计并实现了BPR模型体系；最后，给出一个电话呼叫中心的企业流程建模仿真实例。     

车辆产生仿真模型

从满足交通仿真需求角度分析了车辆产生模块建模的特点,提出了详细的车辆产生仿真模型,该模型能准确细致地仿真初始车辆产生的全过程,为交通仿真模型真实的反映路网交通状态奠定了基础.     

面向全流程优化的选矿过程仿真系统研发

选矿过程的物流是各环节有机联系的纽带,进行选矿物流仿真实验研究对实现优化操作与优化控制生产具有重要的意义。面向选矿过程生产全流程的优化,为了对选矿全流程的物流与生产过程进行仿真,研究选矿过程各个单元的操作与控制对生产全流程指标的影响,建立了基于物料平衡和金属守恒原理的选矿过程物流模拟数学模型总体框架;设计开发了选矿过程物流仿真系统,包括实验软硬件平台结构、功能及其对控制与优化系统的通讯接口。该系统主要侧重其物流的仿真,及其操作与控制对选矿全流程指标(即金属回收率、精矿品位和产量等)的影响,从而为全流程优化的研究提供依据。在所开发的平台上开展了仿真实验研究,实验结果验证了所研发实验平台的有效性。     

二维材料微结构设计与数值模拟软件系统

为了实现二维多元多相异质体材料微观组织结构的"性能导向型"设计、材料微结构的细观力学计算与虚拟失效分析,以平面Voronoi算法为基础, 通过Visual C+ +程序设计并结合OpenGL工具集,开发出用于微结构模块化、可视化设计的材料微观组织结构仿真软件ProDesign.基于该软件构造出二维多晶体与多晶体基复合材料类微结构,采用C语言与Python脚本混合编程的方式,实现微结构在ABAQUS/CAE中的有限元建模,并对模型进行细观力学响应的数值计算与微应力统计分析.最后根据计算结果预测微结构的材料性能,识别"材料结构弱点",评估平面微裂纹的启裂、扩展,推演微结构"虚拟失效行为".     

流程工业过程控制仿真平台的设计与应用

流程工业过程控制系统在计算机上的仿真技术存在着大型对象建模困难、数据集成度低、模块之间数据接口实现困难、缺乏人机交互界面设计等问题.针对这些问题,文中提出了一种流程工业过程控制仿真平台的架构设计,采用VC、VB、COM组件、ASP.NET、数据库等多种计算机技术将流程工业过程控制的流程模拟、先进控制、数据存储管理、人机交互等功能融合为一体,成为一个完整的仿真平台,该平台具有功能丰富、人机交互界面友好、操作方便快捷、数据利用率高、易于功能扩展等特点,在石化企业炼油过程的加氢裂化流程模拟与优化中获得有效应用,创造出巨大的经济效益.     

永磁直驱风力发电系统变流器的设计与仿真

由两相旋转坐标系下的数学模型,推导了得出了并网逆变器双闭环控制方法,并且对电流环的设计做了详细的介绍.根据控制原理在MATLAB环境下搭建了永磁直驱风力发电系统的仿真模型,进行了仿真实验.仿真结果表明,在风速变化的情况下,并网逆变器可以向电网输出稳定可靠的电能,系统稳态、暂态性能良好.     

Computer Image Generation for Flight Simulation

Visual simulation seems to imply image realism-though visual simulation systems can produce realistic images, their main goal Is training effectiveness.     

机载运载火箭飞行程序设计及仿真

关于载机和运载火箭分离程序的优化设计问题,为实现机载运载火箭飞行程序设计保证运行姿态稳定性,并进一步提高系统模型的可信度,在传统分析方法的基础上.考虑了箭机分离过程中载机与火箭飞行程序之间的相互作用,建立了载机与运载火箭的分离多体动力学模型,研究了影响飞行姿态的主要因素.开发了集仿真计算、三维视景演示和可视化结果分析为一体的机载运载火箭飞行程序设计仿真系统,实现了机载火箭飞行程序设计,性能分析以及三维飞行演示等功能.仿真结果表明系统提高了机载运载火箭飞行性能,并能为飞行程序设计的可行性与可靠性提供了科学依据.     

一种面向车间物流模型的仿真优化方法

首先构建了一个优化与仿真分离的仿真优化框架，该框架的核心是混合优化算法模块和物流仿真模块，笔者根据物流仿真的特点提出了一种改进的区域收缩遗传算法和增强连续型禁忌搜索算法混合的优化算法，也是本文中讨论的重点。并基于该框架开发了一个仿真优化软件系统，最后利用此系统优化了一个生产线实例。     

渣油制氨气化—变换系统流程模拟

本文对UBE型渣油制氨的气化—变换系统进行稳态模拟。用马丁-候状态方程作为热力学模型来计算真实气体的热力学性质,并在此基础上引入平衡温距的概念来描述高温高压下的气化反应。根据Prausnitz提出的方法建立了8.7MPa压力下的汽液平衡模型,用校正的动力学方程来计算变换反应速度,采用序贯模块法进行了流程模拟。以设计工况为基准的实例分析表明模拟结果与实际数据符合良好。对各关键单元进行的模拟操作分析,为该系统的优化计算和改进现行操作工况提供了较好的依据。     

轴向预压缩压电双晶片驱动器静动态特性仿真

研究轴向预压缩力增大压电双晶片驱动位移及力矩问题,对某微型飞行器的压电双晶片驱动器进行了机电耦合场有限元仿真,得到在不同轴向力及电压作用下的静动态特性。为了验证系统可靠性,采用解析解进行比较,结果表明:有限元解和解析解复合较好。采用上述压电双晶片驱动器,在150V电压及25N轴向力的作用下,驱动转角峰峰值为14°,驱动力矩为2.4N*mm,都达到未施加轴向力的压电双晶片驱动器的4倍以上。一阶固有频率为95Hz远大于普通电动舵机,可大幅提高微型飞行器的操稳性。     

RTL数据通路模拟矢量自动生成方法研究与实现

针对已有的RTL数据通路模拟矢量自动生成方法的不足,提出一种利用约束逻辑编辑(CLP)自动生成数据通路模拟矢量的新方法．该方法首先对给定的Verilog RTL描述采用程序切片进行设计化简,然后对化简后的结果基于位向量算术原理生成CLP约束,并利用CLP求解器GProlog进行约束求解,最终生成满足输出要求的模拟矢量．该方法约束求解速度快,生成的约束是统一的,得到的模拟矢量较完备,能满足模拟验证的要求．实验结果表明,文中方法是一种高效的RTL数据通路模拟矢量自动生成方法．     

面向AVE的企业过程再设计仿真优化系统的研究与设计

文章建立了敏捷虚拟企业产品过程再设计的基本框架,提出了基于活动链的过程缺陷分析方法,总结了进行过程结构优化设计的ＥＳＩＡ原则,并基于工程网络图的原理开发了一套过程仿真系统对企业过程原型进行模拟分析评价。     

一种基于ARMA的仿真控制系统设计

构建了一种化工产品的集成控制系统,该系统由一台工业控制机、一台数字仿真机和多台下位机组成。系统利用生产现场数据进行仿真计算,将仿真计算结果与实际生产结果进行对比,找出影响生产的主要因素,基于主要因素建立广义ARMA预测——控制模型,利用该模型对产品质量进行预测,为确定和修改产品控制参数和控制策略提供依据。实际生产情况表明,该仿真控制系统对于稳定产品的煅烧温度,改善产品质量产生了明显的效果。     

基于PWM/PFM的压电变压器驱动电路的设计与仿真

利用PWM／PFM控制IC组成驱动电路来驱动压电变压器,给出了驱动电路的原理图,对电路工作原理做了详细的分析,并用仿真软件HSPICE对电路进行仿真,仿真结果证明该电路能满足驱动压电变压器的要求。