-
题名用代码分析技术检测软件缺陷
被引量：9
- 1
-
-
作者
赵国亮
蒋勇
孔令兵
-
机构
中国航天科工集团第二研究院
中国空间技术研究院北京卫星信息工程研究所
北京航天时代光电科技有限公司
-
出处
《计算机工程与设计》
CSCD
北大核心
2011年第8期2741-2744,2808,共5页
-
文摘
为了查找和发现软件源代码中的漏洞和薄弱环节,进一步提高软件的质量,在深入研究代码分析技术原理的基础上,提出了代码分析技术的应用模式,从内存管理、数组越界、并发缺陷以及空指针引用或异常等多个角度进行了探讨分析,给出具体实例对代码分析技术在解决具体问题中的重要性进行论证。最后给出了代码分析技术用于检测软件缺陷的主要步骤。该研究对软件源代码的测试工作具有一定的理论价值和实际意义。
-
关键词
代码分析
漏洞检测
内存泄露
数组越界
缓冲区溢出
数据流
-
Keywords
code analysis
bugs detection
memory leak
array out of bounds
buffer overflow
data flow
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名国内卫星移动通信发展初步分析
被引量：1
- 2
-
-
作者
童铠
郭建宁
-
机构
中国空间技术研究院
-
出处
《中国空间科学技术》
CSCD
北大核心
1994年第4期24-32,共9页
-
文摘
文章论述了移动通信的发展过程；通过地面移动通信和卫星移动通信的比较，指出发展卫星移动通信的必要性；通过对同步轨道和低轨道卫星移动通信的比较，单一成型波束和多点波束的比较，提出了适合中国的经济实力和卫星技术水平的卫星移动通信的发展途径：除参加全国性卫星移动通信系统解决部分国际移动通信外，应该走发展同步轨道多点波束的卫星移动通信道路。
-
关键词
卫星通信
中国
移动通信
-
Keywords
Mobile service satellite communication,Analyzing, China.
-
分类号
TN927.2
[电子电信—通信与信息系统]
-
-
题名卫星遥感影像解译目标警示系统的设计
被引量：1
- 3
-
-
作者
喻文承
王凌云
范士明
-
机构
中国空间技术研究院北京卫星信息工程研究所
北京大学遥感与地理信息系统研究所
-
出处
《测绘通报》
CSCD
北大核心
2003年第8期36-37,40,共3页
-
文摘
针对工程化的卫星遥感影像应用处理需求,将遥感技术与地理信息系统技术相结合,设计建立目标警示系统,给影像快速筛选与解译工作提供支持。
-
关键词
卫星遥感图像
解译
GIS
目标警示系统
-
分类号
TP753
[自动化与计算机技术—检测技术与自动化装置]
P237
[天文地球—摄影测量与遥感]
-
-
题名一种复合模板迭代的推广卡尔曼图像滤波
- 4
-
-
作者
陈岩
杨红乔
-
机构
中国空间技术研究院北京卫星信息工程研究所
-
出处
《计算机工程与应用》
CSCD
2012年第9期181-184,共4页
-
基金
CAST创新基金(No.201108)
-
文摘
图像去噪面临的问题主要有三点:一是噪声抑制和细节保留之间的矛盾;二是实时性与算法复杂度之间的矛盾;三是理想化噪声统计模型与噪声多样性之间的矛盾。由于不同类型滤波模板对不同噪声模型适应性不同,不同尺寸的滤波模板对细节保留程度不同,为此,建立不同类型、不同尺寸的滤波模板的状态方程和观测方程,利用推广的卡尔曼滤波理论将非线性模型近似线性化,利用各模板的观测值,进行卡尔曼滤波。
-
关键词
噪声抑制
模板迭代
非线性模型
推广卡尔曼滤波
-
Keywords
de-noising
template iteration
nonlinear model
Extended Kalman Filter（EKF）
-
分类号
TP751.1
[自动化与计算机技术—检测技术与自动化装置]
-
