面向对象的图形化自动建模系统的研究

随着系统复杂程度的不断提高,手工建模方法已越来越不能适应人们的需求,将逐渐被自动建模方法所代替。本文采用了先进的图形化方法,借助了面向对象的设计思想,开发了一个具有高度开放性的自动建模环境,利用它可以方便地实现复杂系统仿真模型的自动生成,并已成功地应用于电站热力系统,流体网络和控制系统的仿真研究。     

红外成象自寻的导弹半实物仿真系统数学模型

在红外成象自寻的导弹半实物仿真系统精度分配中 ,各仿真设备对整个系统的仿真精度灵敏度难以计算。本文建立红外成象自寻的导弹半实物仿真系统数学模型 ,利用数学仿真实验和统计拟合成功地解决了这一难题 ;根据动力学基本定理、图象处理算法和国家仿真设备的规范标准建立了导弹、弹体三轴转台、目标二轴模拟转台、过载模拟器和红外成象系统的数学模型。所建模型 ,不进行刚体运动模型的线性化 ,充分考虑了转台各轴之间的耦合作用和红外成象技术的影响 ,更精确、更全面地反映了仿真系统的实际运行特性 ,并具有较强的通用性     

Alcohol dehydrogenase 2 is a major hepatic enzyme for human retinol metabolism

The metabolism of all-trans- and 9-cis-retinol/ retinaldehyde has been investigated with focus on the activities of human, mouse and rat alcohol dehydrogenase 2 (ADH2), an intriguing enzyme with apparently different functions in human and rodents. Kinetic constants were determined with an HPLC method and a structural approach was implemented by in silico substrate dockings. For human ADH2, the determined K_m values ranged from 0.05 to 0.3 μM and k_cat values from 2.3 to 17.6 min⁻¹, while the catalytic efficiency for 9-cis-retinol showed the highest value for any substrate. In contrast, poor activities were detected for the rodent enzymes. A mouse ADH2 mutant (ADH2Pro47His) was studied that resembles the human ADH2 setup. This mutation increased the retinoid activity up to 100-fold. The K_m values of human ADH2 are the lowest among all known human retinol dehydrogenases, which clearly support a role in hepatic retinol oxidation at physiological concentrations. Received 12 October 2006; received after revision 6 December 2006; accepted 8 January 2007     

北桥设计中的总线周期精确事务级建模

总线周期精确事务级建模能解决系统设计中的仿真精度和速度之间的矛盾。以北桥中的总线设计为背景,采用SystemC中接口方法调用的原理,实现了对Wishbone总线的周期精确事物级建模,并给出了具体的实现方法和测试方法,具有一定的通用性。     

基于X语言的起飞场景民机协同设计与仿真一体化方法

针对大型复杂产品,传统基于模型的系统工程(model-based system engineering, MBSE)方法存在系统设计和仿真验证的多语言、多平台集成实现,难以保证高效、准确地反馈系统设计的缺陷,无法达到快速优化设计目的等问题,提出采用基于面向复杂系统支持MBSE的新一代一体化建模仿真语言—X语言实现面向起飞场景的民机跨域子系统的一体化建模仿真。从民机起飞过程需求分析出发,建立了起飞场景的系统级模型和物理级模型,并在X语言的建模仿真软件—XLab进行统一的建模仿真验证,给出了基于X语言面向复杂产品协同设计与仿真一体化方法,为不同领域的设计人员实现复杂产品设计的协同与优化提供了全新的理论与方法参考。     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

基于IRBFNN和IRAN的非线性动态系统在线自适应建模

将资源分配网络算法(RAN)与相似隐单元合并操作、冗余隐单元删除操作和基于滑动数据窗连接权值学习相结合,形成了改进的资源分配网络(IRAN)算法。IRAN算法用于非线性动态系统的在线建模,能有效地改善模型精度和泛化能力。将改进径向基函数(RBF)神经网络(IRBFNN)和IRAN结合可以用于不确定非线性动态系统自适应建模。仿真研究表明:所提出的建模方法在模型精简、泛化和自适应等方面均具有优良的性能。     

一维质量矩控制系统建模与试验

为了大惯性质量控制系统硬件在环仿真的需要,研制了一种新型的控制系统试验装置。采用实测试验数据与M atlab仿真协同分析方法,完成了系统关键模块的试验建模。目前该试验系统在3°角度范围内,在受扰状态下能够自动平衡空间姿态。试验结果表明:该系统具有适于大惯性质量对象的硬件在环仿真的特点。     

灰色马尔科夫链在连续刚构桥梁施工线形控制中的应用

介绍利用灰色马尔科夫链对连续刚构桥梁分段悬臂施工时进行线形控制的基本原理,经过工程实例的应用表明,灰色马尔科夫链能较好地应用于连续刚构桥梁悬臂施工的线形控制,该方法能充分利用桥梁施工过程中各段的历史数据给予的信息,对随机波动性较大的数据也能进行较高精度的预测,具有较高工程实用价值.     

诱导延时和数据包丢失的广义网络控制系统的建模及其控制

针对广义网络控制系统的延时和数据包丢失问题,在诱导延时时间小于和大于采样周期T、单包传输和多包传输数据包丢失情况下,建立广义网络控制系统的模型并进行相关控制器设计.最后探讨了使网络控制系统稳定所允许的最大延时界限,为实际控制工程中广义网络控制对象的研究提供了理论依据.