论文部分内容阅读
本文以民航领域软件开发标准DO - 178B为指导,根据软件开发的生命周期内的不同活动,建立工作流模型,实现了进行软件验证活动的系统.系统提高了对软件开发周期内各活动的监控,大大减少了收集数据和文档的时间,提高了管理效率.
基于工作流的DO -178B验证系统
【摘 要】
：
本文以民航领域软件开发标准DO - 178B为指导,根据软件开发的生命周期内的不同活动,建立工作流模型,实现了进行软件验证活动的系统.系统提高了对软件开发周期内各活动的监控,大大减少了收集数据和文档的时间,提高了管理效率.
【机 构】
：
南京航空航天大学 信息科学与技术学院,南京 210016
【出 处】
：
中国通信学会第六届学术年会
【发表日期】
：
2009年6期
其他文献
分析大量垃圾邮件主题,发现垃圾邮件主题的若干干扰信息存在九种模式,这些模式用于垃圾邮件的判别,具有较高的准确性和较广的邮件覆盖面.
为克服3G系统移动目标单站定位中传统方法的条件限制,依据3GPP中同步和定位相关的协议,在基于专用信道定时关系的ISOA方法和基于移动台测量报告的TDOA方法基础上,本文将二者结合起来,提出了混合定位算法,并通过泰勒级数展开对定位的非线性方程组迭代求解.结果表明,该混合定位算法不仅在定位精度上较传统方法有了改进,且运算量更低.
目前,领域词典构建正成为自然语言处理广泛应用的重要技术难题.现有的词典构建方法必须依赖大规模语料库和人工预处理,其复杂性和高投入使得其操作较为困难.本文针对小规模语料提出一种无需人工标注语料库的无监督机器学习方法FWBSC.该方法采用频度对术语进行评分,独立于具体领域,移植性好.文中给出了该方法的详细描述.最后,根据实验结果,对该方法的性能进行评估.实验结果表明,从专业领域语料中学习的效果比开放的
本文针对过往对SC-FDE性能的理论分析集中于容量性能,误码性能分析较少的状况,分迫零均衡和MMSE均衡两种线性均衡方式分析了SC-FDE的理论BER性能,得到了针对单个block的BER解析解,而整个SC-FDE要通过对信道样本求平均得到.
本文设计了工作于CDMA 800MHz频段的射频接收前端,解决了由于本振鉴相谐波泄露产生的中频干扰问题.首先分析了系统的工作原理和这些中频干扰分布特点,其次从本振泄露功率大小,经过的信道路径增益以及中频滤波器的带宽等角度提出了减小干扰抑制度的措施,最后将相关理论分析及措施在接收机前端中进行了实验验证.结果表明,理论分析与实验结果相吻合,进而为接收机如何避免和抑制此类中频干扰提供了有力的理论依据和实
本文提出了一种基于业务流量监测的方法,该方法屏蔽业务系统内部复杂的结构,以业务的有效性为监测的重点.该方法运用了统计学中的相关系数的概念来建立曲线相似度的数学模型.经过实验数据的验证,该方法在业务流量监测上是有效的.
为解决项目的不稳定以及响应速度问题,本文从软件体系架构的理论着手,利用现有的理论体系和技术框架指导J2EE应用程序从Jboss应用服务器向WebSphere应用服务器的迁移,给出了移植的方法,以及移植的过程中遇到的问题,并给出相应的策略和解决方法.通过理论分析和该Web应用程序的移植实践结果,可以看到在代码优化的基础上进行应用服务器的移植对于系统的性能起到了明显的改进作用.
本文介绍了虚拟现实技术及其特征和系统分类,并以载人航天工程为背景,研究并实现了基于Quest3D的航天员出舱换修设备的虚拟仿真系统,讨论了利用Quest3D进行虚拟现实系统开发的一般方法,论证了运用虚拟现实技术进行航天仿真工程研究,是一种既简单又行之有效的方法.
本文根据SOA的先进理念,针对电信运营商OSS系统集成中面临的问题,提出了基于SOA构建OSS应用集成技术架构.该架构由服务接入层、服务交互平台、批量数据传输平台和安全管理平台构成,其中服务交互平台和批量数据传输平台是集成架构的核心,服务交互平台用于OSS系统进行服务发布、调用和编排,适用于数据量小、访问频度高的应用请求,批量数据传输平台则用于数据传输量高的应用请求.
本文根据基于业务的网络可用性指标评语的模糊性和随机性,将云理论引进到模糊综合评判方法中,特定量的指标数据映射为云的数字特征,提出了一种新的基于业务的网络可用性评估方法.