切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
软件数据耦合影响分析方法
软件数据耦合影响分析方法
来源 :航空计算技术 | 被引量 : 0次 | 上传用户:listsetmap
【摘 要】
:
以软件中数据为核心,通过分析一个具有高度数据耦合、实时并发进程特点的武器装备飞行控制软件实例,提出一种实时软件数据耦合影响分析方法。该方法通过静态分析实时软件中全部
【作 者】
:
周敏刚
张学宏
王泉
【机 构】
:
中国航空计算技术研究所
【出 处】
:
航空计算技术
【发表日期】
:
2008年3期
【关键词】
:
数据耦合
并发进程
静态分析
数据冲突
实时软件
data coupling
concurrent processing
static analysis
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
以软件中数据为核心,通过分析一个具有高度数据耦合、实时并发进程特点的武器装备飞行控制软件实例,提出一种实时软件数据耦合影响分析方法。该方法通过静态分析实时软件中全部共享数据的并发使用情况,可有效发现实时软件中因数据耦合和并发执行引起的共享数据冲突,消除软件的质量隐患。
其他文献
加快构建农民终身教育体系
党的十六大报告中指出:"要加强职业教育和培训,发展继续教育,构建终身教育体系".终身教育是社会经济文化发展到一定历史阶段的客观要求和共同趋势.随着社会的进步,科技的发展
期刊
曼地亚红豆杉的半致死温度与对低温的适应性
红豆杉树皮是一种最重要的提取紫杉醇的原料,但其生长缓慢,资源匮乏,而曼地亚红豆杉的自然杂交品种叶片中的紫杉醇的含量很高,生长迅速,可通过大力栽培解决原料不足的问题.在
期刊
曼地亚红豆衫
电导率
低温
半致死温度
抗寒性
适应性
品种
栽培地生境
taxus media
electrical conductivity rate
基于嵌入式的水下航行器导航系统设计
设计了以PC104工控计算机为硬件、μC/OS—Ⅱ实时操作系统为软件平台的水下航行器(AUV)导航系统,给出了导航系统的工作原理及基本硬件组成,实现了μC/OS-Ⅱ操作系统在PC104上的移植
期刊
导航系统
嵌入式
PC104工控机
μC/OS-Ⅱ操作系统
navigation system
embedded system
PC 104comput
椭圆单侧问题的边界元计算方法
单侧问题是一类重要的数学物理问题,它可以转化为互补问题进行求解.由于单侧问题的互补条件位于边界之上,特别适用于边界元法.基于Aitchison提出的关于Laplace算子的开关算法
期刊
边界元
椭圆算子
开关算法
单侧问题
boundary element method
elliptic operator
switching algorith
法律援助权与被害人——刑诉法再修改之思考
在刑事法律援助领域,被害人依然被遗忘的现象始终没有得到改观。在刑事诉讼中,如何更多地关注刑事被害人的权利,已成为当前司法实践中的难点。本文拟就从刑诉法应明确规定被害人
期刊
被害人
法律援助权
法律援助条例
行政执法中自由裁量的诚信研究
政府诚信是近年来人们越来越关注的社会问题。伴随政府职能范围的日益扩大。政府享有的自由裁量也不断的增加,尤其执法中的自由裁量,它对行政相对人的利益和政府形象的影响最直
期刊
政府诚信
行政执法
自由裁量权
基于二元信道互信息的属性约简方法及其应用
由于知识的粗糙性和信息熵的密切关系,基于互信息的属性约简一直以来都是粗糙集研究的热点,但现有方法都不同程度地依赖于属性值的分布情况,从而影响最终约简结果。为解决此问题
期刊
粗糙集
属性约简
互信息
rough set
attribute reduction
mutual information
总线型导弹控制系统故障诊断仿真平台研究
针对应用总线后导弹控制系统测试及故障诊断体制发生的深刻变革,提出了建立故障诊断仿真平台的思想。围绕构建此数字化平台,着重阐述了如何进行故障仿真、1553B总线及子系统的
期刊
导弹控制系统
故障诊断
1553B总线
仿真平台
missile control system
fault diagnosis
1553B data bus
慢阻肺患者气道排痰的护理
有效排痰对慢性阻塞性肺部疾病的治疗将起积极有效作用。而胸部物理排痰法和湿化呼吸道是促进慢性阻塞性肺疾病患者痰液排出,为呼吸道炎症治疗起积极有效作用。慢性阻塞性肺
期刊
慢性阻塞性肺疾病
排痰
护理
DMA技术在实时图像处理中的应用
直接内存存取(DMA)是数字信号处理器(DSP)中用于快速数据交换的重要技术,它具有独立于CPU的后台批量数据传输能力,能够满足实时图像处理中高速数据传输要求。以TI公司的TMS32
期刊
DMA
实时图像处理
DSP
与本文相关的学术论文