栏目文章

Select

1. 基于通信序列进程的UML序列图形式化方法

邓建波张立臣邓惠敏徐碧红

计算机应用 2010, 30 (10): 2727-2729.

摘要（1291）

PDF （591KB）（964）

UML2.0序列图是一种描述对象之间动态协作和事件发展时间关系的视图,但是UML序列图缺乏精确的形式化语义，所以不利于对其所描述的系统进行形式化验证。为此，根据UML2.0语义文档及组合碎片包概念，基于通信序列进程(CSP)给出了UML序列图的基本元素和消息迹的形式化定义及生成规则，实现了UML序列图的形式化，为UML序列图在描述系统准确性和有效性方面提供了形式化的检验方法。最后通过ATM实例说明UML序列图这一过程的正确性。

相关文章 | 多维度评价

Select

2. 分形理论在软件复杂度中的应用

姜林艾波漆涛

计算机应用 2010, 30 (10): 2730-2734.

摘要（1135）

PDF （718KB）（884）

利用分形理论对软件复杂度进行研究，给出盒子及程序分形复杂度的定义，进一步给出了算法思想和计算方法，并通过实例说明程序具有分形特征——标度不变性。在此基础上，对一些程序的分形复杂度进行了计算，并通过进一步的分析表明所得数值在某种情况下可以反映出程序在结构上的复杂程度，其度量结果是比较有效的。

相关文章 | 多维度评价

Select

3. 多处理器全局单调比率的可调度性分析

石林勇晏立

计算机应用 2010, 30 (10): 2735-2737.

摘要（1284）

PDF （476KB）（962）

针对全局单调比率(RM)调度的多处理器系统中最高优先级任务数量少于处理器数量时，Bertogna等给出的最坏情况计算任务受到的干涉过于悲观，证明了任务受到最高优先级任务的干涉不会出现最坏情况，它受到非最高优先级任务干涉仍可能出现最坏情况。分析得出了任务受到最高优先级任务干涉的最大可能值，由此得到了一个更紧的可调度性判断条件。实验结果表明，提出的方法提高了判为可调度的任务集数量。

相关文章 | 多维度评价

Select

4. 嵌入式软件语句覆盖率测试插桩技术

孙红利王忠民王文浪

计算机应用 2010, 30 (10): 2738-2740.

摘要（1569）

PDF （624KB）（1070）

针对基于宿主机的嵌入式软件测试，提出一种单元测试中通用的语句覆盖率测试方法，通过插桩技术，采用向源代码插桩实现语句覆盖率测试。设计了测试代码的实现算法，通过测试代码可以自动完成向被测代码插桩。这些方法被成功地应用到笔者所在项目组开发的嵌入式软件仿真测试平台ARMtest上。利用这些方法，在嵌入式硬件系统未完成开发之前，可通过宿主机环境和仿真环境及时发现嵌入式软件开发初期的一些不足并加以完善。

相关文章 | 多维度评价

Select

5. Java服务主动容错模型分析与评估

陈新黄永忠鲍天明郑宵

计算机应用 2010, 30 (10): 2741-2744.

摘要（1236）

PDF （619KB）（1040）

Java服务已成为支撑关键业务的业务服务，其可用性成为关键业务系统是否能持续提供服务的关键。采用主动容错技术可提高Java服务的可用性，建立Java服务的主动容错模型，便于分析和评估主动容错技术的有效性。通过模型分析与仿真实验的方法比较了采用Rejuvenation策略与不采用Rejuvenation策略的容错效果，通过分析评估得出，采用主动容错技术将有效改善Java服务的可用性，如果合理选择实施软件Rejuvenation策略的时间点，则可以取得更好的容错效果。

相关文章 | 多维度评价

Select

6. 基于关键路径法的软件过程控制模型

高晓徐高峰钟勇

计算机应用 2010, 30 (10): 2745-2748.

摘要（1162）

PDF （819KB）（980）

为了增强软件过程控制能力，保障软件产品质量，提出一种基于关键路径法的软件过程控制模型。该模型以过程活动间的网络拓扑结构为基础，在确保工期和关键路径上资源需求的条件下，控制其他活动的开始时间，使得过程中所需的总资源耗费较少，且在此耗费下各活动开始时间较早。在最优耗费的约束下，还给出了一个基于资源竞争链的浮动信息更新算法，以便更新各活动的浮动信息。最后，用实例验证了所提模型的有效性和可行性。

相关文章 | 多维度评价

Select

7. 基于运行监测的图形用户界面自动化测试模型

张博刚张威陈月宁廖飞雄

计算机应用 2010, 30 (10): 2749-2753.

摘要（1345）

PDF （839KB）（909）

为提高GUI自动化测试的覆盖率、故障定位的速率和精度，以及检测由于时空变化导致的空间错误引起的故障，建立基于运行监测的GUI自动化测试模型。模型将GUI分为窗口框架层、界面元素层、功能结构层和运行记录层四层。窗口框架层描述GUI所有窗口，界面元素层描述用户输入，功能结构层提出功能覆盖准则，运行记录层通过插桩记录代码动态监测软件每一次执行时路径和各个窗口的运行状态，从而提高测试的覆盖率，并根据运行记录中窗口的总执行次数和正确的执行次数为可靠性计算提供依据。由于监测代码的运行情况，因此故障能够定位到代码级，提高故障定位的精度和速率。最后以记事本程序为例验证了模型的有效性。

相关文章 | 多维度评价

Select

8. 支持多类终端与服务定制的SaaS软件服务架构

陈小兵武泽旭

计算机应用 2010, 30 (10): 2754-2757.

摘要（1066）

PDF （787KB）（942）

由软件即服务(SaaS)模式中软件服务的概念与特点分析，可知现有的面向服务架构(SOA)不能完全支持软件服务的实现。此外，为了拓展软件服务的应用范围，实现多样化的服务，SaaS模式的软件服务必然要满足用户定制服务的需求，以及对多类用户终端的支持。通过对SOA的扩展，在其中引入了软件服务终端、软件服务端口、软件服务注册等模块，提出了一种支持多类终端与服务定制的SaaS软件服务架构，给出了该架构的结构与工作流程，并通过实验证明了该架构可以实现SaaS模式的软件服务，而且能够实现对上述功能需求的支持。

相关文章 | 多维度评价

Select

9. 无线传感网数据不确定性及其分层多Agent调和策略

戴志锋孙宝林张棋飞

计算机应用 2010, 30 (10): 2758-2762.

摘要（1386）

PDF （851KB）（985）

针对无线传感网数据不确定性处理有效性策略研究，分析了传感数据不确定的多样性和层次性，设计了sensor Agent、cluster and analyzer Agent和sink and decision-maker Agent三类Agent，探讨了传感数据不确定性类与多智能Agent分层对应关系。具体定义了Agent的局部不确定数据处理和通信两种调和组成模块，以及无线传感网与粗糙集技术的智能特性组合，进而提出了传感不确定性分层多智能Agent调和模型。最后，给出了相应实现算法及实例分析，结果表明该智能模型分层调和机制具有化解各类复杂传感数据不确定性的灵活性与实用性。

相关文章 | 多维度评价

Select

10. 用描述逻辑实现语义主题Web服务组合的方法

周相兵

计算机应用 2010, 30 (10): 2763-2767.

摘要（1465）

PDF （836KB）（1192）

针对面向服务计算所具有的分散性、不确定性等因素的影响，以及服务发现、选择和组合存在技术和高效应用上的瓶颈，提出一种用描述逻辑实现主题服务组合的方法。该方法将主题图与Web服务用描述逻辑进行融合，并在融合过程借助本体实现主题图与Web服务间的描述，进而形成一种语义主题Web服务。最后用基于SHOIQ的Tableau决策算法实现语义Web主题服务组合。案例分析表明该方法可行且有效。

相关文章 | 多维度评价

Select

11. 面向制造业的RFID复杂事件处理

皮明峰邓飞其

计算机应用 2010, 30 (10): 2768-2770.

摘要（1128）

PDF （656KB）（1040）

在自动数据采集中，如何维持无线射频识别(RFID)技术对海量数据的处理效率极为重要。针对RFID数据的特点以及目前RFID数据处理方法的不足，提出一种基于复杂事件处理的RFID数据处理模型，并提供相关的定义，阐述其功能模块及解决方案。该模型实现了从大量的RFID原始数据中提取出对应用程序有意义的事件。最后以面向制造业的RFID应用为例对基于复杂事件处理技术的RFID数据处理模型进行了研究并说明了其应用优势。

相关文章 | 多维度评价

Select

12. 价值密度—截止期—回填的网格作业调度算法

李荣胜赵文峰徐惠民

计算机应用 2010, 30 (10): 2771-2773.

摘要（1249）

PDF （626KB）（828）

在商业网格和云计算环境中，作业有到达时间、计算量、预算、截止期等属性，区分作业的重要性和紧迫性是调度系统的关键问题之一。现有的作业优先级只考虑作业的单个或部分属性。综合考虑以上提及的四个属性，定义了基于价值密度和相对截止期的作业优先级，提出了基于价值密度和相对截止期的网格作业调度算法，并结合回填算法(EASY backfilling)来提高资源的利用率。仿真结果显示，基于价值密度和相对截止期的作业优先级很好地体现了作业的重要性和紧迫性；而回填算法在提高资源利用率上对某些优先级策略效果显著，有些则效果不明显。

相关文章 | 多维度评价

Select

13. GPU加速的二值图连通域标记并行算法

覃方涛房斌

计算机应用 2010, 30 (10): 2774-2776.

摘要（1939）

PDF （464KB）（1329）

结合NVIDIA公司统一计算设备架构(CUDA)下的图形处理器(GPU)并行结构和硬件特点，提出了一种新的二值图像连通域标记并行算法，高速有效地标识出了二值图的连通域位置及大小，大幅缩减了标记时间耗费。该算法通过搜索邻域内最小标号值的像素点对连通域进行标记，各像素点处理顺序不分先后并且不相互依赖,因此可以并行执行。算法效率不受连通域形状及数量的影响，具有很好的鲁棒性。实验结果表明，该并行算法充分发挥了GPU并行处理能力，在处理高分辨率与多连通域图像时效率为一般CPU标记算法的300倍，比OpenCV的优化函数(CPU)效率高近17倍。

相关文章 | 多维度评价

Select

14. 频域抽取多维向量基快速傅里叶变换

徐妮妮于海艳肖志涛

计算机应用 2010, 30 (10): 2777-2780.

摘要（1566）

PDF （702KB）（947）

给出了频域抽取(DIF)多维向量基快速傅里叶变换(FFT)算法。对多维频域信号的每一维，采用向量基2频域抽取法，导出了快速算法蝶形运算的一般形式。该FFT算法适合于维数为任意整数的情况，当维数为1时，算法退化为著名的频域抽取向量基2 FFT算法。为了便于编程实现，以频域抽取3维向量基FFT算法为例，给出了快速算法实现流程，该流程易于向任意整数维推广。计算量比较结果显示，频域抽取多维向量基FFT算法比多维分离式FFT算法计算量低。

相关文章 | 多维度评价

Select

15. 基于TBB和Cilk++的并行蚁群算法在路径寻优中的应用

王磊曹菡

计算机应用 2010, 30 (10): 2781-2784.

摘要（1220）

PDF （595KB）（949）

针对实际道路路网的一类路径寻优问题，提出了带回退机制的蚁群搜索算法，求解在实际道路路网中完成遍历所有规定节点的一条较优路径。为解决大规模实际道路路网数据量大、蚁群算法收敛速度慢的问题，分别采用Intel Threading Building Blocks(TBB)和Cilk++并行编程模型实现了并行蚁群搜索。与基于WinAPI函数的多线程蚁群算法相比，这两种模型均避免了手动启动线程及识别临界区资源等复杂操作，开发难度降低；在运行效率方面，基于TBB的并行蚁群算法和基于WinAPI的并行蚁群算法效率接近，而基于Cilk++的并行蚁群算法在双核环境下，运行效率和加速比都超过了基于WinAPI的并行蚁群算法。

相关文章 | 多维度评价

栏目文章信息