基于嵌入式软件架构的可靠性分析方法

提出了一个基于嵌入式软件架构分析方法,在开发初期对系统架构进行可靠性分析,得到可能引起软件失效的主要因素。     

基于正交背传算法的电力系统静态安全性分析

本文将神经网络中的正交背传算法应用于电力系统静态安全性分析，提出了一种神经网络型并行计算方法，仿真研究算例表明这种方法具有较好的收敛特性。     

基于最大差距的置信度评估算法

通过分析传统基于概率度量的K邻近置信度评估方法,提出一种基于最大差距的置信度评估方法,并在UCI数据集上对两种方法进行对比实验.实验结果表明,基于最大差距的置信度评估方法在宏平均召回率、宏平均精度及所用时间上均优于K邻近置信度评估方法,从而可进一步优化半监督分类学习中数据样本的置信度评估.     

静态单链表存储结构算法分析

国内有关《数据结构》的教材和参考书很少对静态单链表的存储结构算法进行研究，但随着计算机信息的发展，在线性数据结构数据信息的存储印象(结构)中，静态单链表充分综合并应用了静态顺序存储结构和链式存储结构的优点，不失为一种算法较为优秀、存储价值较高的数据信息存储方法．     

一种基于置信度差异代价敏感的主动学习算法

主动学习时向专家查询得到的标注如果带有噪声,将会影响学习的性能.为减少噪声,人们提出了基于“少数服从多数”的多专家主动学习算法,但该算法的缺点是代价往往太高.文章采用了一种自我训练（self-training）方法,对某些平均置信度高的样本,直接确定其分类标注,不必向专家查询,以节省学习代价.同时,使用置信度差异作为度量标准,选取那些最不确定的样本向专家查询,提高了学习效率.在UCI数据集上验证了本文算法的有效性.     

基于置信度分析和特征融合的车牌识别研究

利用车牌识别技术来管理车辆已成为现实,针对车牌识别时间长等提出了一种基于置信度分析的加速算法;同时为提高车牌识别精度,对BP网络进行了优化及改进;通过实际试验,识别率在90%以上,基本达到理想效果.     

嵌入式软件机器码的智能反汇编方法研究

提出采用静态扫描的方法,研究出了一套完整的扫描算法．通过确定出碰到间接转移类指令时转移地址的范围,从而遍历指令运行所有可能的路径,实现嵌入式软件机器码的智能反汇编。     

基于静态检测的程序安全漏洞测试

静态分析方法可以自动地提取软件的行为信息，从而检测出软件中的安全漏洞。和其他程序分析方法相比，该方法具有自动化程度高和检测速度快的优点。本文介绍了Java语言的安全漏洞的故障模式，说明了类型推断、数据流分析和约束分析等主要静态分析方法及两种特别的分析方法，最后介绍了几种常用的静态代码安全检测工具。     

基于NEPLAN的电力系统电压稳定静态分析

介绍了电压稳定性的概念及NEPLAN软件,时常用的电压稳定静态分析方法进行了较详细的分析.运用NEPLAN的电压稳定模块可有效判断系统电压是否稳定,并可找出影响电压稳定的薄弱母线和薄弱区域以及影响电压稳定性的一些关键因素;以一个23节点系统为例,分析说明了NEPLAN软件在电力系统电压稳定性静态分析方面的应用情况.     

基于层面理论的贵州省高校大学生职业成熟度结构研究

为了了解贵州省高校大学生职业成熟度的结构,综合国内外的相关研究,用层面理论的方法构建了贵州省高校大学生职业成熟度的结构,编制了大学生职业成熟度问卷,通过贵州省内6所高校1526名学生对问卷的回答印证了假设结构的合理性。     

航天嵌入式软件运行时错误静态分析方法

提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.      

基于静态分析方法的软件可靠性模型研究

随着网络通讯与计算机应用的不断发展,软件可靠性问题日益受到关注。针对更新COTS或开源组建,提供了一种定量评估软件可靠性的方法模型。该模型结合了静态分析源代码方法,对执行路径进行有限测试,并建立贝叶斯信任网络,构建一个综合的软件可靠性度量模型。最后使用STREW[1]工具对3个开源程序进行实验验证,得到了实验结果,证明模型有效。     

基于Abaqus的防滑差速器壳体静力学分析

为获得某款防滑差速器壳体在实际工况中的具体力学特性,基于有限元分析法对某四驱汽车防滑差速器壳体进行设计分析。首先,在Abaqus软件中建立防滑差速器壳体的有限元分析模型。接着,利用Romax软件进行防滑差速器壳体在两种极限工况下的轴承受力分析,同时设立更为精确的边界条件和载荷,从而进行应力、应变和疲劳分析。分析结果表明该防滑差速器壳体在极限工况下位移量较大,需要进行优化设计。结合静力学分析结果,以壳体加强筋的长度和厚度为优化变量,对防滑差速器壳体进行优化设计,通过优化前后对比分析,发现优化后壳体在各种工况下的应力和应变均显著降低,符合设计要求。采用软件仿真进行轴承受力分析有效地避免了繁琐的理论计算,同时使得分析方法更加简单,分析结果更贴合实际。另外,有限元分析方法也大幅缩短了防滑差速器壳体的研发周期与设计成本。     

基于MATLAB的嵌入式系统软件开发

为实现高效的代码编写和方便的系统维护,将统一建模语言(UML)和模型驱动框架(MDA)应用在基于MSCl212单片机的嵌入式系统软件开发中.用MATLAB的Simulink/Stateflow工具箱作为工具,对嵌入式系统进行基于事件驱动的建模与仿真.仿真成功后,在状态图代码生成器中把状态图翻译成高效的c语言代码.最后,用基于MSCl212单片机的目标系统底层驱动函数与翻译的C语言空函数做简单替换,实现了嵌入式系统软件代码的快速生成.实验结果表明,所生成的软件代码在嵌入式目标系统中运行状况良好,其易维护性和执行效率等方面,均优于手工编写的代码.     

基于软件质量模型构建软件可信性评估系统

文章基于软件质量模型的研究成果,分别从认知软件可信性的角度、量化可信性指标的角度以及如何评估软件可信性的角度对软件可信性进行阐述。为了对软件可信性实现量化评估,提出由指标模型层、评估过程和信息层3部分组成的软件可信性评估系统。     

基于贝叶斯算法的森林成熟预测研究

我国的森林资源调查和监测工作起步较早,具有丰富的森林资源监测基础数据资料,激增的数据背后隐藏着许多重要的信息,简单的查询和统计已经无法满足林业的需求,需要出现一种挖掘数据背后隐藏的知识手段.该文将数据挖掘的方法引入林业应用,从而为林业的经营决策提供一条新的思路.通过挖掘林龄与其它调查因子间的关系来建立贝叶斯算法预测模型,利用其它调查因子较准确、有效率地预测林龄;确定了与林龄相关性最高的因子:胸径、树高、公顷畜积和郁闭度,解决了传统测量林龄的困难,并可进一步确定森林是否成熟,为合理采伐提供依据.     

基于Push-over算法的钢筋混凝土结构的静力弹塑性分析

介绍了弹塑性变形分析Push-over算法的基本原理,以某钢筋混凝土高层双塔连体结构为算例,用EPSA软件对其进行7度、8度、9度的多遇及罕遇地震下的静力弹塑性分析(Push-over),并得出力-变形曲线,判断整个结构的受力性能和延性好坏.     

基于IAP和USB技术的嵌入式程序升级方法

对于内带IAP功能的嵌入式微控制器LPC2119,提出了一种基于IAP和USB技术的嵌入式系统应用程序升级新方法.采用U盘作为程序代码存储设备,并将微控制器内部存储器SRAM和Flash进行有效的区间分配.微控制器通过外部扩展的USB接口将U盘中代码读入到微控制器片内SRAM中相应区间,再调用微控制器的IAP功能将SRAM中代码写入片内相应的Flash分区中,实现嵌入式应用程序在线升级.给出了该方法的详细实现技术和程序流程图,该方案使嵌入式应用程序升级相当简单,受环境影响小.     

基于ARMulator的嵌入式uClinux软件开发环境

ARMulator是一个基于ARM的仿真原型,通过它可以仿真支持嵌入式软件开发．本文介绍基于ARMulator建立嵌入式uClinux软件开发环境以及开发uClinux应用程序的步骤和方法．利用ARMulator,开发人员可以在没有硬件或硬件未完成的情况下进行嵌入式软件开发,减少开发错误并缩短开发周期．