汽车电子控制领域编译器安全验证策略

编译器验证是汽车电子软件开发过程中的重要一环.在分析了相关安全要求和通用验证方法的基础上,提出了一种基于测试的编译器安全验证策略,并给出了具体实现过程.     

求解常微分方程组初值问题的函数逼近法

提出了求解一阶常微分方程组初值问题的一种新的数值方法——函数逼近法,并给出了数值试验,以具体实例验证该方法有效.     

运输类飞机CCAR25.671(d)适航符合性验证方法探讨

本文对运输类飞机CCAR25.671(d)适航条款要求进行了分析探讨,提出适航符合性验证的方法建议,从设计考虑、分析计算、安全性分析和试验验证,针对每一种符合性验证方法给出了具体的实施方法和要点。     

基于动态贝叶斯网络的目标毁伤等级评估

提出了基于动态贝叶斯网络的目标毁伤等级评估方法,建立了毁伤等级评估的动态贝叶斯网络模型,并通过具体的仿真实例验证了该方法的有效性。     

基于LabVIEW与MATLAB混合编程的虚拟仪器设计及实现

针对LabVIEW在数值分析和处理方面的不足,提出了实现LabVIEW与MATLAB混合编程的几种方法.阐述了MATLAB Script节点方法通信的实质,并通过具体虚拟仪器设计对此方法进行了验证.     

基于改进的BS7799的信息系统安全风险评估研究

通过对BS7799标准、定量和定性分析方法的研究,提出能够对BS7799标准进行改进、定性和定量相结合的风险评估方法,在具体设计风险评估方法时,采用风险树和风险模式影响分析相结合的方式对BS7799进行了分解与应用．并通过具体案例仿真研究,验证了此方法的科学性和可行性．     

CAPP中切削用量的自动确定

为了在计算机辅助工艺设计中实现切削用量的自动确定 ,分析了选取切削用量的影响因素 ,论述了切削用量的具体选取办法 ,提出了进给量综合选择表及其使用方法 ,给出了主要程序流程图 ,并用实例验证了所提出的方法及原理的正确性 .     

MapInfo环境符号库扩充的技术途径和方法研究

分析了MapInfo符号库扩充原理及方法,结合地形图点、线、面符号的特点,给出一组符号制作的具体实例。同时对MapInfo文字符号的制作进行分析研究,提出将文字矢量化为图形后再加入MapInfo符号数据库中的方法,并通过具体实例验证了此方法的可行性。     

从积分上限函数的学习看工科高等数学抽象概念的教学方法

针对高等数学中抽象概念的教学难题,以积分上限函数的学习为例,探讨并提出一种有效降低数学抽象层次的教学方法.该方法的主要思想是以具体对象替代抽象对象,以具体过程重现抽象理论和事实,以计算机辅助工具实现、验证并应用重要的理论和方法.所提出的教学方法以传统方法为主、诱导式方法为辅,促进了学生的学习主动性,增强了学生对抽象知识的理解程度.     

非参数回归的罚样条算法

研究了一种非参数回归的罚样条方法，提出了一种具体的算法，给出相应定理及其证明，并利用MATLAB进行了随机模拟，验证了方法的可行性和稳健性。     

一种基于稀疏规则库的定性插值推理方法

提出一种基于三元组定性分析理论的插值推理方法,提供了该方法的具体算法, 并将此方法应用到有限推理问题的一个典型实例中, 验证了该方法在解决有限推理问题上的有效性和准确性。     

基于马氏链嵌入的启动验证试验模型研究

针对现有的启动验证试验模型存在的问题,提出了一种新的启动验证试验方法.通过分析其特点,在独立同分布假设前提下,应用有限马氏链嵌入法给出了接受和拒绝概率公式、试验长度的分布、均值和方差,并结合具体算例进行说明.结果表明,该方法能有效克服已有启动验证试验模型存在的问题.     

基于模型检测的SSL协议形式化验证

针对传统的测试方法无法对网络安全协议的逻辑本身进行验证等问题,提出了一套基于形式化分析和SPIN模型检测的验证方法.该方法首先以BAN逻辑对目标协议进行形式化分析,然后推断目标协议存在的问题缺陷,并通过Promela语言对其构建SPIN模型,最后通过SPIN软件验证推断的正确性.并以SSL协议作为具体实例予以论证,结果表明所提方法具可行性.     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

基于粗集理论的新决策树剪枝方法

提出了一种基于粗糙集理论的新决策树剪枝方法.在剪枝的过程中,不仅考虑了树的分类精度,而且还考虑了生成树的深度对剪枝的影响;最后针对具体的数据集对新方法进行了验证,得到了较好的效果.     

一类经济混沌系统中的控制方法的研究

就经济系统中的一类多参数混沌模型 ,应用微分动力学理论 ,研究了变参数结构反馈控制方法 ,成功地进行了多参数混沌控制 并讨论小波滤波法 ,成功实现了混沌不稳定周期轨道的稳定控制方法 ,并以具体的经济管理模型为例验证所提出的方法     

基于扫描数据零件轮廓特征自动识别的方法

主要研究基于扫描数据自动识别零件轮廓特征的方法与技术．首先给出了零件轮廓特征自动识别的工作流程，然后提出了零件轮廓特征自动识别的原理与算法，最后通过具体实例验证了本方法的优点及可行性。     

基于NanoSim-VCS的芯片级混合信号验证

在混合信号系统芯片设计过程中,复杂的全芯片系统验证以及数字单元和模拟IP电路间的接口节点分析成为设计的瓶颈.提出一种基于NanoSim-VCS的混合信号验证方法,以SHU-MV06芯片为具体对象,对一个包括Verilog和SPICE的数模混合系统设计进行验证.这一验证方法在仿真的速度和精度间进行折衷,在保证一定精度的基础上大大缩短了仿真时间,提高了验证效率,使设计人员在早期仿真阶段就能及时发现设计中的问题,改进了设计质量.采用此方法验证的数模混合系统级芯片SHU-MV06一次流片成功,表明了此方法的正确性和有效性.
      

LCL滤波的SAPF双环控制系统设计

通过理论分析,提出基于LCL滤波的并联型有源电力滤波器(SAPF)双环控制系统的设计方法.结合具体实例,从系统稳定性方面考虑,提出LCL滤波器电网侧电感和逆变器侧电感的分配方式、阻尼电阻和比例增益的选择方法.Matlab/Simulink仿真验证了所提参数设计方法的有效性.     

叠层板基体开裂分析的三维半解析有限元法

提出了叠层板基体开裂分析的一种三维半解析有限元方法,该方法能方便地应用于各种形状的基体裂纹问题,且具有精度好,效率高的优点。对于裂纹扩展问题,提出了一种高效的半解析矩阵摄动法。在实例分析中,验证了该方法的精度,同时分析了具体的基体开裂问题。