信息技术发展至今,已经涉及到我们工作生活的各方各面,在教育领域,传统的教育手段和模式很难满足人们对教育的需求,于是智慧教育、......

元基因组的序列分类是元基因组学分析中一个很重要的环节。目前，基于同源比对的元基因组序列分类方法大都采用Blast、Blastx等速度......

设计验证是芯片设计过程中保证其可靠性的重要环节。其中,模拟是实际中最主要的验证方法。根据应用目的的不同,可以将模拟验证技术......

面向方面编程(AOP)允许程序员将跨越多个模块的横切关注行为封装到一个可重用的模块中,极大地增强了系统的可维护性和代码的重用性......

分析和评估复杂分布式软件系统涉及到系统功能性需求以及性能、可用性和可靠性等多种质量属性,但目前的方法一般不能同时兼顾功能......

针对软件安全性问题，提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型，计算组件处于不同危害......

模拟作为实际工程领域中设计验证的主要方法,其不完备性常常是不可避免的,对大规模的设计方案尤其如此,因此覆盖评估成为模拟验证......

面向方面编程技术很好地实现和改进了软件系统横切关注的模块化,是软件发展的一个新的方向。因此,对面向方面的有效测试也就显得非......

针对无线传感器网络中存在的异常丢包现象，探讨在NS2仿真平台下利用ErrorModel设置网络丢包率的方法，通过对实验结果的分析对比，进而......

针对目前在生产测试平台中广泛使用的高密度VXI PXI Digital I/O板卡容易损坏且故障定位困难、不便维修和维护的情况,开展了对其进......

针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述......

通过使用NS-2网络仿真器提供的错误模型，模拟无线多跳自组织网络中无线链路的误码率，研究自组织网络环境中的无线链路误码率对TCP性......

近些年许多学者发现我们国家大多数英语专业研究生缺乏批判性思维能力。他们说英语专业研究生在不久的将来会遇到失业问题因为他们......

研究使用错误注入的方法进行web应用软件脆弱性测试的技术，提出环境与状态错误模型（EAS模型），并提出基于EAS模型的web应用软件安全性测......

分析了随机变量对NS2错误模型的影响，解释了当随机变量的分布的参数发生变化时，错误模型的丢失率偏离预期值这一现象的原因，并在此基......

从Flash memory测试技术的发展背景出发,论述了flash memory测试技术的发展现状以及前景。同时重点对Flash-march算法和BF&D算法进......

无线网络是一种移动通信技术与计算机网络技术相结合的产物,其克服了传统网络的不足,实现了可移动的数据交换,为局域网开辟了一个......

AADL可以描述机栽设备系统的时序需求、任务状态等关键性能特性，已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的......

随着互联网和电子商务、电子政务的广泛使用,针对web应用软件的攻击快速增长,导致研究者们越来越关注web应用软件安全性的研究。与......

在基于模型驱动的嵌入式软件开发中，为了避免安全问题可能产生的损失，需要对系统的安全性进行分析，找出可能发生错误的地方。在基于AA......