基于面向方面MDA的实时系统开发方法

实时系统有许多难以处理的横切整个系统的非功能需求。针对以上问题,提出基于面向方面模型驱动架构的实时系统开发方法。该方法在设计阶段将系统的非功能需求从功能需求中分离出,以降低系统开发的复杂性,提高系统的可重用性、可维护性和横切关注点的模块化程度。通过应用实例证明该方法是有效的。     

基于性能需求的自适应中间件框架

分析影响服务质量的构件资源需求与资源依赖关系模型,提出一种自适应中间件框架。该框架能动态感知负载变化,自适应调整服务器配置参数,确保应用的服务质量。采用回溯算法搜索最优配置,以满足性能需求。以一个信息查询系统作为测试用例进行实验,结果表明,该框架可以提高应用程序的性能。     

一种基于查询前缀的快速抗冲突算法

基于阅读器发送的查询前缀和电子标签的响应后缀,提出一种新的射频识别（RFID）标签识别算法,用以解决RFID仲裁过程中的零标签响应问题。通过实验验证,与Memoryless抗冲突算法相比,该识别算法所需查询次数、查询信息量、标签响应次数及标签发送的信息量更少,从而降低功耗,加快标签识别速度,提高识别效率。     

一种新的协议安全性分析方法

对安全协议的本质求同和存异进行讨论,在保证协议正确性的前提下,以“挑战一响应”为协议分析的基本单位,提出一种利用集合运算分析协议安全性的方法,对Needham-Schroeder协议和Needham-Schroeder-Lowe协议的分析和验证结果表明,该方法具有较好的可行性和有效性。     

不确定需求下带约束供应链系统复杂动态行为分析

研究不同需求模式下, 同时存在供应能力限制和不允许退货两个约束条件的非线性供应链系统的动态行为. 通过计算订货决策空间中各种组合下的最大李雅普诺夫指数, 比较分析不同情景模式供应链系统的准混沌行为. 研究表明, 受约束条件影响的供应链系统具有相对复杂的动态特征, 但并不是无规律可循, 即使在随机需求模式下, 若订货策略合理, 则仍可减轻甚至避免系统的混沌行为; 反之, 在稳定的需求模式下, 不合理的订货策略仍会导致系统处于混沌状态. 仿真实验验证了研究结果的合理性.

     

一种强安全约束机制下的云计算任务调度方案

针对云计算技术中的资源调度时间长、开销大、不考虑调度安全的问题,本文在对常见的云环境下工作流任务的资源调度问题进行建模的基础上,提出了一种强安全约束机制下的云计算任务调度方案。该方案按照所用方法的安全强度,再加上相关软件的安全程度,赋予虚拟机不同的安全等级;另一方面,其按照用户的需求等诸多方面,能够赋予操作不同的安全需求等级;最后使用变近邻粒子群算法对该问题进行了求解。在CloudSim仿真平台上的实验结果证明,本文提出的算法与用最大－最小蚁群算法、遗传算法与该算法相比,该算法具有很好的可用性和寻优能力。     

基于灰色聚类算法的需求分析

James Martin等人的研究成果表明软件产品的大部分故障来源于需求阶段。为了提高软件产品的质量,保证软件需求规格说明(Software Requires Specification,SRS)的一致性、正确性、无歧义就显得尤为重要。利用自然语言处理技术,通过对软件需求规格说明中功能性需求语句进行词语划分并做词性标注,将每个功能需求语句转换为由关键词构成的权重向量,结合灰色聚类算法最终实现将功能语义相似的需求语句聚合在一起,从而达到需求分类的目的。分类的结果不仅方便需求分析人员进行需求审查,同时也方便软件开发人员进行软件编程以及维护人员对软件系统的修改和变更。     

功能需求到测试用例的可追溯性研究

软件开发主要由需求收集、设计、实现、测试和维护等几个阶段构成,其中维护始终是主要开销。在维护阶段,开发人员必须理解程序才能定位缺陷,而系统的需求和源代码、测试用例等之间的可追溯性连接能帮助减少开发人员在理解程序时的工作量。研究现有的功能定位技术和可追溯性方法,通过对现有方法的改进,提出了一种集成动态执行信息和IR技术的方案来建立需求到测试用例的可追溯性连接,用以辅助开发人员在维护阶段的工作。     

基于响应式设计的网站研究与实现

随着移动互联网的发展进步,移动设备的不断更新,人们更加习惯使用移动设备访问网站。然而为每个设备设计特定的网站成本太高,因此,设计一个可以在任何设备上都拥有良好浏览效果的网站已经成为网站设计与开发的关键。本文通过研究响应式设计的相关技术以及相关脚本的运用,设计了一个测试性的新闻网站,使其能够根据当前主流设备的不同自行变换,调整布局,达到在不同设备上都拥有良好浏览体验的目的。     

火焰温度场测试中的传感器动态特性补偿

在进行爆温测试时,爆炸伴随的高温火焰具有变化快、温度高、测试环境恶劣等特点.针对这种特定的测温场合,运用火焰温度源法研究了热电偶传感器在火焰温度场中的动态响应特性.为了减小热电偶的动态测量误差,通过粒子群优化算法(PSO)建立了测试系统的动态补偿滤波器模型.实验表明,这种研究方法有效地改善了热电偶的动态测量误差,对通过爆温测试进行弹丸热毁伤评价有一定的参考价值.