Toggle navigation
首页
期刊介绍
期刊简介
历史沿革
收录情况
获奖情况
引用指标
编委会
期刊在线
文章推荐
过刊浏览
专辑专刊
下载排行
阅读排行
投稿指南
组稿方向
投稿须知
论文模板
常见问题
署名变更申请
单位变更申请
版权转让协议
中图分类号
引言书写要求
参考文献著录格式
插图与表格规范
英文摘要书写要求
收费标准
学术诚信
联系我们
编辑部联系方式
位置示意图
期刊订阅办法
广告合作
English
栏目文章信息
计算机软件 栏目所有文章列表
(按年度、期号倒序)
一年内发表的文章
|
两年内
|
三年内
|
全部
Please wait a minute...
选择:
导出引用
EndNote
Ris
BibTeX
显示/隐藏图片
Select
1.
基于衍型的模式标注方法
刘伟 胡志刚
计算机应用 2012, 32 (
11
): 3062-3066. DOI:
10.3724/SP.J.1087.2012.03062
摘要
(
957
)
PDF
(689KB)(
380
)
可视化
收藏
设计模式在面向对象软件设计、开发和维护中发挥着非常重要的作用。为了克服现有设计模式标注方法的缺陷与不足,提出一种基于衍型的模式标注方法SBPN。基于UML衍型机制,SBPN不仅提供了一套规则用于精确标注结构图中类、方法或属性等模型元素的模式角色相关信息,还可以标注交互图中的模式信息。此外,SBPN为源代码中模式信息的标注也提供了相应的解决方案。给出了使用SBPN方法标注类图、交互图和源代码中的模式信息的实例,最后还将SBPN应用于一个较为复杂的排序系统。
参考文献
|
相关文章
|
多维度评价
Select
2.
网构软件的随机性资源自适应性的形式化分析与验证
夏琦 王忠群
计算机应用 2012, 32 (
11
): 3067-3070. DOI:
10.3724/SP.J.1087.2012.03067
摘要
(
816
)
PDF
(604KB)(
366
)
可视化
收藏
因特网上的资源具有不确定性、随机性,需要考虑如何保证网构软件系统在运行中满足资源需求。使用随机性资源接口自动机对软件构件的行为进行形式化建模,并使用随机性资源接口自动机网络描述构件组装系统的组合行为;在资源不确定的情况下,检验组合系统是否满足资源约束,并提出基于可达图的相应算法。给出了一个实例网上书店系统,并用模型检测工具Spin验证了模型的正确性。
参考文献
|
相关文章
|
多维度评价
Select
3.
带抑制弧Petri网的保性变换
莫礼平 乐晓波 周恺卿 张兆海
计算机应用 2012, 32 (
11
): 3071-3074. DOI:
10.3724/SP.J.1087.2012.03071
摘要
(
1014
)
PDF
(596KB)(
363
)
可视化
收藏
Petri 网的保性化简是Petri网分析的一种重要途径。带抑制弧的增广Petri网在计算能力上与图灵机等价。针对带抑制的增广Petri网中串联变迁和串联库所两类情况进行了较深入的分析,在给出了相关化简方法的基础上,证明了通过这些化简规则所得到的网系统与原网在活性、有界性、弱公平性等动态性质上仍保持一致。
参考文献
|
相关文章
|
多维度评价
Select
4.
基于变迁的完全路径覆盖测试
刘继华 陈策
计算机应用 2012, 32 (
11
): 3075-3081. DOI:
10.3724/SP.J.1087.2012.03075
摘要
(
936
)
PDF
(665KB)(
445
)
可视化
收藏
为解决基于状态节点搜索的完全路径覆盖所产生的测试用例数过多和难以实现连续测试的问题,提出了一种基于变迁的完全路径覆盖测试准则,并设计和实现了一种深度优先搜索与宽度优先搜索相结合的基于变迁完全路径覆盖测试用例自动生成算法。实验结果表明,基于变迁的完全路径覆盖准则比基于状态的完全路径覆盖准则更为严格,相应的算法可以产生更优的测试用例集,能更方便地完成软件的连续动态测试。
参考文献
|
相关文章
|
多维度评价
Select
5.
基于四叉树结构的加权Voronoi图生成算法
李锐 李佳田 王华 蒲海霞 何育枫
计算机应用 2012, 32 (
11
): 3078-3081. DOI:
10.3724/SP.J.1087.2012.03078
摘要
(
793
)
PDF
(642KB)(
381
)
可视化
收藏
针对普通Voronoi图研究的局限性和加权Voronoi算法的低效率问题,提出基于四叉树结构的加权Voronoi图生成方法。核心思想是利用四叉树结构的层次性,获取未膨胀节点的搜索区域和相关生长源,以时间消耗值替代加权距离,并以节点的最短时间消耗值为依据查找归属生长源。推理了基于四叉树结构计算模型的几个基本性质。实验结果表明,本方法能实现生长源的快速膨胀,有效降低时间复杂度,其时间复杂度小于均匀格网结构,可操作性强,具有较好的实用价值。
参考文献
|
相关文章
|
多维度评价
Select
6.
Sunday算法效率分析
潘冠桦 张兴忠
计算机应用 2012, 32 (
11
): 3082-3088. DOI:
10.3724/SP.J.1087.2012.03082
摘要
(
843
)
PDF
(533KB)(
522
)
可视化
收藏
针对Sunday算法的过程比较复杂,难以构建马尔可夫链的问题,提出一种新的根据算法的匹配次数差求平均效率的方法。首先选定初等算法作为效率分析的基准算法,使用马尔可夫链得出初等算法比较精确的平均效率估计公式;然后根据相应的概率公式计算出初等算法和Sunday算法匹配过程的差值;将两者结合,得出Sunday算法平均效率估计公式。实验结果表明,由此公式计算的估计值可以代表实际匹配次数的平均值。
参考文献
|
相关文章
|
多维度评价
Select
7.
嵌入式控制系统图形化元模型构建方法
陈德胜 王彬 薛洁 余礼
计算机应用 2012, 32 (
11
): 3085-3088. DOI:
10.3724/SP.J.1087.2012.03085
摘要
(
982
)
PDF
(638KB)(
414
)
可视化
收藏
研究了基于模型驱动的嵌入式控制系统开发方法,分析并归纳了嵌入式控制系统中的基本特征和体系结构,完成了该特定领域的关键元素辨识和提取,在此基础上采用可视化元建模技术构建了该领域内直观的图形化元模型体系,最后应用这种模型驱动的设计方法和技术实现了一个嵌入式语音控制系统的模型设计,得到了该系统的可视源模型。
参考文献
|
相关文章
|
多维度评价
Select
8.
场景—事件驱动的安全苛求软件系统仿真测试脚本语言研究
喻钢 徐中伟 杜军威
计算机应用 2010, 30 (
2
): 374-379.
摘要
(
1249
)
PDF
(885KB)(
1455
)
可视化
收藏
脚本技术是实现软件测试自动化技术的有效方法。软件测试脚本化可以降低测试成本,提高测试效率。测试脚本语言是脚本技术的核心,但是目前没有专门针对安全苛求软件测试的脚本语言。因此结合安全苛求软件测试的特点,提出了场景—事件驱动的针对安全苛求软件仿真测试的通用测试脚本语言SED_SCS_STL, 对该语言的设计以及在测试环境中的实现机制进行了阐述,并将其应用于高速铁路CTCS-2级车站列控中心的软件仿真测试中。
相关文章
|
多维度评价
Select
9.
基于服务关系统计的多粒度服务组合方法
杨浩 徐晖 张瀛
计算机应用 2010, 30 (
2
): 380-384.
摘要
(
1411
)
PDF
(751KB)(
1215
)
可视化
收藏
传统工作流方法进行服务组合存在两个问题,服务组合无法自动生成和复杂服务无法重用,基于服务关系统计的多粒度服务组合方法(MSWC)有效解决了这两个问题。MSWC包括服务关系统计学习、服务粗分和服务细分三个部分, 分别用于进行服务关系统计计算、服务分组和服务映射。通过服务关系统计学习计算了有逻辑和无逻辑的服务关联度;服务粗分将服务需求分解为无逻辑关系的组;而服务细分通过逻辑概率将服务分组映射成系统中已有的复杂服务,将这些复杂服务串接起来,即完成服务组合。因为三个步骤均是自动执行,因此MSWC是自动组合方法,而服务分组最终映射为系统已有的复杂服务,因此是一个多粒度服务组合方法。最后通过实验结果分析表明,该算法能够很好地适应网络上Web Service快速增长的情况,并且具备较好的服务组合性能。
相关文章
|
多维度评价
Select
10.
基于面向对象的MDA三级建模技术研究
黄建庭 张立臣 古金峰
计算机应用 2010, 30 (
2
): 385-389.
摘要
(
1234
)
PDF
(790KB)(
1219
)
可视化
收藏
模型在模型驱动架构(MDA)软件开发生命周期中驱动整个开发过程,建模在MDA中起关键作用,建模是否成功是模型转换的前提,也决定MDA软件开发的成败。通过对当前建模技术的研究分析,根据对系统抽象级别的不同,提出基于MDA的三级建模技术,即计算无关模型(CIM)建模,平台无关模型(PIM)建模,平台相关模型(PSM)建模。详细介绍三个不同抽象级别模型的建模过程,并对它们之间的模型转换加以说明,从整体上描述MDA软件开发的过程,得出一种MDA软件开发方法。
相关文章
|
多维度评价
Select
11.
支持情景应用构建的Web服务适配方法
李婧 陈旺虎
计算机应用 2010, 30 (
2
): 390-393.
摘要
(
1274
)
PDF
(762KB)(
1083
)
可视化
收藏
为应对情景应用构建过程中,待连接服务之间的不匹配现象,提出了一种半自动的服务适配方法。提出了以树型文法表示服务的消息,并基于树型自动机的代数操作定义了服务的适配操作集,分析了该操作集的完备性。在此基础上,提出了支持情景应用构建的服务适配方法。通过在生物信息情景应用构建场景中的应用,表明该方法具有即时性好、适应服务差异以及无需硬编码的优点。
相关文章
|
多维度评价
Select
12.
VBE中基于迁移工作流的VO过程研究
傅德谦
计算机应用 2010, 30 (
2
): 394-397.
摘要
(
1259
)
PDF
(649KB)(
1113
)
可视化
收藏
结合VBE中VO业务过程和迁移工作流规范的系统架构,提出以VBE为联盟组织域的迁移工作流系统模型,给出了一种基于成员组织自治管理和服务市场招标相结合的服务发现模式,并对描述了基于迁移工作流的VO管理流程。该模型在VBE中实现VO的方式具有组建速度快、通信代价低、运行效率高和业务适用范围广等优点。
相关文章
|
多维度评价
Select
13.
嵌入式Java反射机制的设计与实现
丘志杰 罗蕾
计算机应用 2010, 30 (
2
): 398-401.
摘要
(
1308
)
PDF
(750KB)(
1268
)
可视化
收藏
Java反射是提高软件系统灵活性的重要技术,它是Java被视为动态语言的一个关键特性。虽然CLDC规范并不支持反射,但是在基于Java技术的嵌入式领域,反射仍有其应用需求。Sun公司根据CLDC规范发布了一套嵌入式Java技术的参考实现,其虚拟机被称作KVM。通过分析KVM的相关数据结构和机制,详细描述了反射机制的设计原理,并提出了一种在KVM中扩展反射功能的实现方案,经过测试证明该方案是可行的。
相关文章
|
多维度评价
Select
14.
一种支持软件知识共享的本体模型研究
鲁强 陈超 王智广
计算机应用 2010, 30 (
2
): 402-405.
摘要
(
1377
)
PDF
(629KB)(
1102
)
可视化
收藏
为了支持分布式环境下项目团队成员之间软件开发知识有效的共享,需要对软件开发知识以及它们之间的关系进行分析和定义。根据软件开发知识的内容、特点以及它们之间的关系,对软件开发知识进行了形式化的表示,并创建了软件开发知识本体和软件开发知识本体规则。通过protégé 和Jena实现对此本体的创建、存储和对此本体规则的SPARQL形式转换,据此形成知识本体库来支持软件开发知识共享。
相关文章
|
多维度评价
Select
15.
基于语义的组件组合方法研究
曾婧娜 余丹 李先军 马世龙
计算机应用 2010, 30 (
2
): 406-410.
摘要
(
1145
)
PDF
(838KB)(
1218
)
可视化
收藏
在基于组件的一般性应用系统中,面向自然语言描述需求的组件自动组合技术的研究仍然存在很多挑战。但是,在限定的上下文中,以基于语义的方式对特定应用提供组件自动组合的方法仍然是可行的。采用关键字描述语义信息,提出了一种基于语义的组件组合方法,对组件和请求过程建模,采用规划器搜索组件序列,完成组件的自动组合。方法已经应用于航天器自动化测试数据查询应用系统中,取得了较好的应用效果。
相关文章
|
多维度评价
Select
16.
基于语义角色和概念图的信息抽取模型
杨选选 张蕾
计算机应用 2010, 30 (
2
): 411-414.
摘要
(
1374
)
PDF
(610KB)(
1475
)
可视化
收藏
传统的信息抽取方法由于缺少语义信息的支持,抽取的准确率不高。针对这个问题提出了一种基于语义理解的信息抽取方法。一方面,把语义角色标注的浅层语义信息转换成概念图,无歧义地将抽取信息所包含的基本语义形式化;另一方面,通过概念图的相似度计算区分场景,并使用语义角色获取抽取模式,以提高抽取质量。实验结果表明,该方法取得了较好的效果。
相关文章
|
多维度评价
Select
17.
基于本体的自动答疑系统的研究与实现
刘汉兴 林旭东 田绪红
计算机应用 2010, 30 (
2
): 415-418.
摘要
(
1550
)
PDF
(658KB)(
1352
)
可视化
收藏
针对现有自动答疑系统中知识表示的不足,提出了用本体构建课程领域知识库的方案。根据答疑问句的特点进行了问题分类,将用户问句意图转换为对本体中基本元素的查询,并通过Jena语句加以实现,最终抽取出答案,实验证明方案是可行的。
相关文章
|
多维度评价
Select
18.
R*-树空间索引的改进
吴钦阳
计算机应用 2010, 30 (
2
): 419-422.
摘要
(
1514
)
PDF
(608KB)(
1252
)
可视化
收藏
R*-树基于局部调整的思想对节点进行管理,存在时间与效率上的不足。为克服R*-树的不足,给出了一种新型的存储结构,并给出新型存储结构的插入、溢出、分裂等空间索引常用操作的算法。分析新的存储结构的优点,并通过实验结果说明该方案比R*-树具有更高的效率。
相关文章
|
多维度评价
Select
19.
最小闭树特征集的聚类与分类方法
郭鑫 李云 黄云 周清平
计算机应用 2010, 30 (
2
): 423-426.
摘要
(
1553
)
PDF
(806KB)(
1080
)
可视化
收藏
提出一种基于最小闭树特征集的聚类与分类方法,有效地解决了在实际应用中因数据量大而无法聚类与分类的问题。其基本思想为:以最小闭树特征集作为候选聚类与分类特征,采用动态阈值按相似度聚类,使得树聚类快速而精确;提出树分类规则等级概念,并应用于树分类方法中,能迅速预测未知的树结构。实验结果表明,在树节点数较多或数据量大时,新方法有效可行,且与类其他方法相比效率有显著提高。
相关文章
|
多维度评价
Select
20.
硬实时调度的线性近似分析方法
莫铁强 段珊
计算机应用 2010, 30 (
2
): 427-429.
摘要
(
1077
)
PDF
(598KB)(
1137
)
可视化
收藏
通过线性逼近硬实时系统任务的工作负荷量的方法,一个更加接近精确响应时间的时间上限能有效地降低调度分析时间。同时该上限用于任务集的充分性可调度测试时具有线性时间的复杂度。这种线性上限的可调度性测试能够用于交互的系统工具设计、基于搜索的系统优化以及任务集的动态接纳新任务的设计中。并且新的调度系统模型无时间死线、抖动大小限制,适用范围更广。相关的实验也表明响应时间上限可调度性分析提高了准确调度测试的效率。
相关文章
|
多维度评价
2024年 44卷 3期
刊出日期: 2024-03-10
文章目录
过刊浏览
主管:
四川省科学技术协会
主办:
四川省计算机学会
中国科学院成都分院
荣誉主编:张景中
主 编:徐宗本
副主编
:申恒涛 夏朝晖
国内邮发代号:62-110
国外发行代号:M4616
地址:四川成都双流区四川天府新区
兴隆街道科智路1369号
中科信息(科学城园区) B213
(计算机应用编辑部)
电话:028-85224283-803
028-85222239-803
网址:www.joca.cn
E-mail: bjb@joca.cn
期刊微信公众号
CCF扫码入会