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

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

寒冷地区被动房冬季室内热舒适评价模型

关于热舒适的研究主要针对空调房间,而被动房主要通过被动技术来保证室内环境舒适,为研究寒冷地区被动房冬季的热环境状况,了解被动技术对热舒适的影响,选取天津地区某被动房为实验对象,分为供暖和无供暖工况,通过室内环境测试及问卷调查,得到每种工况下的实际热感觉投票值TSV,数据拟合后对比TSV模型与PMV模型,对偏差较大的无供暖工况下原始热舒适预测模型进行修正,最终得到适用于寒冷地区被动房供暖与无供暖工况下的热舒适评价模型。结果表明,无供暖工况下,有44%的人希望温度升高,单纯通过被动技术无法完全满足寒冷地区被动房冬季热舒适,但无供暖工况下,比预测可接受温度下限降低1.93℃,用户对热环境的适应性强,可以适当延长过渡季时间。     

基于全维观测器的系统控制律重构研究

在控制系统中,控制律与状态变量有着密切的关系,控制律往往是某些状态变量的函数.当控制系统的某些元件发生故障时,系统将无法得到构成控制律所需的状态变量,因而导致系统无法正常工作.针对此类情况,本文探讨了一种基于全维观测器的控制律重构方法,并针对某随动控制系统进行了分析和仿真,结果表明该方法是有效的.     

基于FPGA的IP仿真验证平台

IP（集成电路知识产权芯核）的仿真和硬件验证是IP开发中不可缺少的环节．文中基于FPGA（现场可编程门阵列）开发了一个IP仿真验证平台,并使用PCI（外部设备互连）总线来测试IP．用户只要将自已设计的IP插入所开发的仿真验证平台,就可以方便地对IP进行测试．文中还对所设计的平台进行了软件仿真,以验证其功能,并在载有Xilinx Spartan-3 600E FPGA的PCI插卡上进行上板调试．结果表明,所建立的基于FPGA的IP仿真验证平台可以对IP进行有效的仿真和验证,并具有良好的稳定性和实用价值．     

基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

RVM在SoC验证中的应用及覆盖率驱动技术

介绍了RVM的层次化验证平台的结构,描述了RVM提供的基类和它们相互之间的关系。并且以USB 为例,给出了利用RVM搭建模块级验证平台的方法,阐述了基于代码覆盖率和功能覆盖率的覆盖率驱动技术。     

基于改进型BP神经网络的无刷直流电机调速系统的应用研究

针对无刷直流电动机的速度问题,提出了一种基于改进型BP神经网络的无刷直流电机调速系统,即利用改进型BP神经网络来优化PID控制器的比例,积分,微分系数。所采用的BP神经网络的学习算法为粒子群算法,可以有效克服标准BP算法一般所存在收敛速度慢、存在局部极小值等问题,从而可以实现对无刷直流电动机的高精度的速度控制。最后,建立了仿真系统,其结果表明该算法效果良好。     

地球静止卫星位置自主确定方法与仿真研究

给出了利用星敏感器测量信息自主确定地球静止卫星位置的方法,利用不同精度的星敏感器测量数据和不同控制精度的卫星姿态测量数据,可以直接计算卫星位置.同时又对测量数据应用卡尔曼滤波进行卫星位置计算仿真,比较两种处理结果的精度.仿真结果表明,提出的方法可以实时自主获取静止卫星的轨道位置,满足静止卫星定点的不同精度需求.     

无人机自主着陆半实物仿真系统设计

无人机自主着陆系统设计是实现大型无人机自主着陆的关键课题。设计了一种基于分米波仪表着陆技术体制的无人机自主着陆半实物仿真系统,用于设计和验证无人机着陆引导系统的稳定性、可靠性以及相关性能指标,替代工程研制的实际试飞,避免承担风险和节省大量人力物力财力。无人机自主着陆半实物仿真系统设计包括分米波仪表着陆系统地面和机载设备模拟器、无线电高度表模拟器和激光测高仪模拟器、无人机数学模型仿真机和飞行控制仿真机以及仿真主控计算机等。实现了对无人机自主着陆全过程的仿真试验,仿真数据可作为研制无人机着陆引导实物系统的重要参考。     

基于并行处理的分析仿真解决方案

分析仿真是以复杂问题分析为目的的一类仿真活动,在国防及国民经济各领域的应用日益广泛。随着仿真应用的不断深入,如何提高分析仿真的运行效率成为急需解决的问题。讨论了分析仿真的计算特点,指出了当前国内采用HLA体制、基于分布式网络解决方案存在的不足,分析了分析仿真的潜在并行性及面临的挑战;从国外分析仿真应用发展趋势以及国内实际情况出发,提出了基于高性能并行计算的分析仿真系统层次式体系架构,该方案可充分挖掘分析仿真的并行性,能有效支持分析仿真应用的运行和开发;同时该方案采用层次式架构,各层次内部功能相对独立,使得整个系统更易于维护和升级。