航天器C语言软件常见编程错误分析及检测方法研究

基于软件第三方评测发现的问题,梳理并详细分析了在航天器C语言软件中6种常见编程错误.针对其中的软件安全漏洞提出了使用代码分析技术的检测方法,针对编程语言使用错误提出了通过制定编程规则并使用代码分析方法进行检测的解决方法.采用上述方法可以有效检测出上述6种常见编程错误,并可以用于检测软件的其他严重错误.     

软硬件协同设计在远置终端系统设计中的应用

首先,对系统软硬件进行统一描述与建模;其次,重点介绍了动态规划法评估系统时间性能的方法和线性加权和法构造适应度函数的方法,并将两种方法与遗传算法相结合解决软硬件划分问题;最后进行了仿真,结果表明该方法能够有效的解决软硬件划分中的多目标优化设计。     

云计算综述

论述了云计算的起源、概念、特点,与分布式计算和网格计算的区别;介绍了云计算厂商,及各厂商采用的数据存储、数据管理、编程模式、提供的服务种类云计算存在的问题,特别是云计算安全的风险种类及防护方法。提出了云计算需解决的问题。     

预测控制综合设计算法设计及软件实现

预测控制综合设计方法通过设计一组满足特定要求的终端约束条件来保证系统的稳定性.给出了一组满足该要求的终端约束条件,然后依据多参数二次规划法求解预测控制器的基本思路,在Matlab环境下设计并实现了一个预测控制综合方法的控制器求解软件,最后通过一个仿真实验验证了该软件的基本功能.仿真结果表明,所设计的软件可以用于求解基于...     

OTV在空间攻防体系中的发展研究

轨道转移飞行器(OTV)是在轨道之间进行物质、能量转移的一类飞行器的总称.本文通过对OTV的概述,从其技术特点出发,介绍其在空间攻防体系中的应用和关键技术,最后对我国OTV的发展规划作了简要的剖析.     

化学回热循环中工质热力性质的处理方法

采用VC和Matlab混合编程的方法,编制了CRGT循环中工质（水-水蒸气和空气-湿燃气）的热力性质计算程序。空气和干燃气的热力性质采用理想气体掺混模型,水和蒸汽的热力性质采用IAPWS-IF97标准模型,湿燃气的热力性质采用改进的工程计算方法进行处理。计算结果表明：该方法计算精度高、计算速度快。     

认知无线电网络中基于几何规划的分布式功率控制

功率控制对于允许次用户和主用户之间频谱共享的认知无线电网络来说是关键的,针对具有干扰限制的认知网络最大总容量得到一种最优的分步式功率控制策略,对于系统效用的非凸性,引入几何规划把非凸最优化问题转换为凸最优化问题,引入辅助变量和额外等式约束,把效用之间的关联转化为约束之间的关联,提出了功率控制策略的解决方法,显示了整体最...     

Ada语言重载的分析和处理

先简要介绍了Ａｄａ语言中的３种重载现象，并给出了表达式的二叉树存储结构，随后阐述了判别重载的基本算法，即先后对表达式分析树进行自底向上和自顶向下两遍类型匹配，来取得工最终的惟一合法释义，最后给出了一个例子。     

线性规划的非可行的内点算法

首先简要介绍非可行的内点算法,然后提出一种新的中心路径的取法,并由此给出一个对Kojima-Megiddo-Mizuno算法的改进的方法,这一新的算法是具有O(n2L)次收敛性的算法,并对这一算法的收敛性加以证明,这一新的算法与其它算法最明显的差异是不必假设LP解的存在性,就可以证明原始—对偶问题的多项式时间收敛性。文章的最后通过数值实验将该算法与Ye的解决线性规划的中心路径算法进行了比较。比较的结果显示新的算法从各个方面都要优于Ye的算法。     

计算机辅助绘制电子线路图

本义介绍在IBM 4300系列机上实现的、一种用于绘制电子线路图的应用软件,除能绘制表示各种元器件的符号图形外,还具有较强的图形编辑功能,例如可对图形作平移、复制和删除等操作。绘图采用菜单工作方式,操作很简便。程序用FORTRAN语言编写,采用模块结构,便于修改、功能充扩和移植。