基于接口语义契约的Web服务测试数据生成

下载全文  

测试是Web 服务质量保证的主要手段之一,测试自动化是降低测试代价的有效途径,测试数据生成是测试自动化研究的一个重要内容.提出采用本体及规则的知识描述语言,建立服务接口的语义契约模型(interface semantic contract,简称ISC),并探讨了基于ISC 的测试… …   相似文献

侯可佳  白晓颖  陆皓  李树芳  周立柱 《软件学报》2013,24(9):2020-2041

基于线性反馈移位寄存器和组合猫映射的伪随机序列生成方法

下载全文  

分析了线性反馈移位寄存器(LFSR)和猫映射的基本结构,给出了一种基于LFSR与猫映射的伪随机序列生成方法。该方法根据LFSR的计算结果产生相应的选择函数,通过选择函数确定当前迭代计算中猫映射的系数矩阵;应用选定的系数矩阵进行迭代计算产生相应的混沌序列,将其二值化后作为反馈值与L… …   相似文献

肖旭韬  张雪锋 《计算机应用研究》2013,30(1):161-164

基于行为自动机的构件可替换性分析与验证

下载全文  总被引：2，自引：0，他引：2

在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化… …   相似文献

张敬周  任洪敏  宗宇伟  钱乐秋  朱三元 《软件学报》2010,21(11):2768-2781

网页树形结构自动生成研究

下载全文  总被引：1，自引：0，他引：1

网页树形结构是网页语言的一种特定描述。根据网页语言这种规整特性,可结合文法理论形式化建模。通过扩展终结符、规则概念,提出非终结符函数、终结符变量函数的构造方法,给出了自动生成特定类型的语言的一种生成模型。最后,给出模型在仪表装配树形中的实例应用。  相似文献

张华兴  孙毅  单继宏 《计算机系统应用》2009,18(7):62-66

利用不动点求解子句逻辑推演的Petri网模型

下载全文  总被引：6，自引：0，他引：6

文章研究了子句逻辑推演的Petri网模型表示和不动点求解方法.基于四值逻辑和冲突变迁的概念,可用Horn子句的Petri网模型方法来构造非Horn子句的Petri网模型.逻辑推演的基本方法之一就是寻找逻辑赋值的不动点.该文显示了一种基于Petri网模型的子句逻辑不动点求解算法,比… …   相似文献

林闯  吴建平 《软件学报》1999,10(4):359-365

基于海量信息过滤的微博热词抽取方法

下载全文  

针对海量微博信息,提出一种多步骤的热词抽取方法．首先,选择用户行为特性、微博信息的文本特征构建用户行为模型,并在此基础上提出一种基于规则的话题树生成过滤算法,筛除了微博中大量无关信息,进而对生成的话题树修剪优化;然后,根据话题树的节点内容,使用词频及其波动特性设计热词抽取算法,获… …   相似文献

汪洋  帅建梅  陈志刚 《计算机系统应用》2012,21(11):131-136

无线移动自组网安全路由协议的分析与研究

  总被引：3，自引：0，他引：3

针对无线移动自组网路由协议的安全问题,重点研究安全路由协议的设计方法。首先介绍Ad hoc网络的本质特点,分析了Ad hoc网络中存在的安全问题;然后对移动自组网安全条件进行了归纳,笔者重点介绍了包括SRP,SAR与ARAN在内的有代表性的几种安全路由协议的设计思路及其特点,并针… …   相似文献

王英龙  王美琴  王少辉  潘景山 《计算机应用研究》2004,21(9):161-163

Web应用服务器的适应性失效检测

下载全文  总被引：9，自引：1，他引：9

失效检测是分布式系统的基本可靠性保障技术,它对运行时系统的存活状态进行及时检测.作为网络分布计算环境中的主流中间件,Web应用服务器(Web application server,简称WAS)需要提供良好的检测机制,并且要能满足适应性的需求.适应性失效检测要求失效检测器能够根据应… …   相似文献

陈宁江  魏峻  杨波  黄涛 《软件学报》2005,16(11):1929-1938

多类支持向量机分类算法—DDAG①

下载全文  

随着支持向量机的发展,由最初的两类分类问题逐渐推广到多类分类问题,且其思想、算法多种多样,各有千秋。主要研究以当前比较流行的以多个二类分类器组合实现多类分类器的算法之一：DDAG。提出此算法在多类支持向量机应用分类中存在的优点和不足,并针对其不足,提出一种改进的算法思想。… …   相似文献

汪政  邵良杉 《计算机系统应用》2010,19(7):87-90

一种意向驱动式面向agent程序设计语言

下载全文  总被引：5，自引：1，他引：5

提出了一种意向驱动式面向agent程序设计语言--AOPLID(agent-oriented programming language with intention driver).该语言基于开放式情景演算OSC(open situation calculus),吸收了GOLOG… …   相似文献

郭磊  戈也挺  陈世福  张东摩 《软件学报》2003,14(3):383-391

常微分方程组并行演化建模的实验研究

下载全文  总被引：4，自引：0，他引：4

以常微分方程组的演化建模问题为主要研究对象,设计了分布式异步并行演化算法,并以128台PIII 500微机通过10Mbps的以太网互联而成的机群系统作为模拟实验环境进行了大规模的并行实验,系统地测试了算法中的一些重要的并行控制参数,包括处理机间的连通度、个体的迁移率和迁移代频等对… …   相似文献

曹宏庆  康立山  陈毓屏  胡庆丰 《软件学报》2003,14(3):443-450

基于AES 与HASH 的软件数据保护

下载全文  总被引：1，自引：1，他引：1

从数据存储与用户身份识别两方面提出了软件数据保护的方案。利用对称加密算法AES实现数据库敏感信息的加密存储;利用SHA512结合注册表实现软件的身份识别,并在VB2008中给出了实现过程,从而实现软件数据的双重保护。  相似文献

吕君可 《计算机系统应用》2011,20(3):210-213

异构系统功耗感知的并行循环调度方法

下载全文  

以类OpenMP的并行程序为研究对象,在满足性能约束的条件下,结合异构系统并行循环调度和处理器动态电压调节技术优化系统功耗.首先建立了异构系统功耗感知的并行循环调度问题基本模型;然后,通过分析方法给出异构系统并行循环调度的能耗下界,该下界可用于评估功耗优化方法的实际效率;进而将异… …   相似文献

王桂彬  杨学军  徐新海  林一松  李鑫 《软件学报》2011,22(9):2222-2234

低码率视频编码的优化方法

下载全文  总被引：5，自引：0，他引：5

采用的低码率视频编码方法是以全局运动补偿和局部运动补偿为核心的混合编码方法.主要针对MPEG-4中原有算法计算量大、复杂度高的特点进行了编码系统优化,将这一编码方法实用化.该优化方法是针对占编码系统70%计算量的全局运动估计进行的,采用了基于运动特征的运动估计方法和鲁棒的目标函数… …   相似文献

贺玉文  王琪  袁昱  钟玉琢  杨士强 《软件学报》2002,13(8):1568-1576

机会网络模拟器ONE及其扩展研究*

  总被引：1，自引：1，他引：0

网络仿真是DTN网络研究的重要方法和手段。通过对ONE模拟器的开发背景、结构、功能及其应用的介绍,探讨与分析了基于Java环境的DTN网络模拟器ONE的扩展方法,进一步对ONE的不足之处进行了完善和改进,并通过仿真实验证实了改进的ONE对路由性能评价的影响。  相似文献

王朕  王新华  隋敬麒 《计算机应用研究》2012,29(1):272-276

基于DAG图解-重构的机群系统静态调度算法

下载全文  总被引：5，自引：0，他引：5

机群系统静态任务调度是NP-完全问题,通常的算法是通过一些启发式算法得到多项式次优 解.该文提出的图解-子图重构算法实现了对分布在有向无环图(directed acyclic graph, 简称DAG)上的并行任务的快速有效调度.该算法的复杂性为O(log^|V|×(|V|+| E|)),采用递归方法实现了对任务图的有效分解和子图重构,生成任务群,完成任务调度,并 且初步实现了对处理机的优化.通过实例分析以及与其他启发式调度算法的性能比较,证明该 算法是一种快速、有效、可… …   相似文献

周佳祥  郑纬民 《软件学报》2000,11(8):1097-1104

一种实时高速的八连通区域填充算法

  总被引：3，自引：0，他引：3

区域填充是一个将指定不规则区域内部像素填充为填充色的过程,在计算机辅助设计和图像处理等领域有广泛应用。现有算法存在着只适用于四连通区域或者算法速度不高等缺点。提出了一种可以运用在八连通区域上的扫描线种子填充算法,同时在算法的实现上摒弃函数调用方式,以线性空间来模拟栈结构。通过对数… …   相似文献

刘万春  刘建君  朱玉文  陈小春 《计算机应用研究》2006,23(6):177-179

一类Koblitz椭圆曲线的快速点乘

下载全文  总被引：8，自引：0，他引：8

考虑一类特征3的Koblitz椭圆曲线的快速点乘算法.在这类曲线上适合建立低带宽的、可证明安全的密码体制.结果显示,利用这类曲线的复乘性质,使用模约减和Frobenius展开技巧,这类曲线上存在一种不带预计算的快速点乘算法,其运算速度是通常的重复加倍-点加算法的6倍.该算法的快速… …   相似文献

胡磊  冯登国  文铁华 《软件学报》2003,14(11):1907-1910

基于信息增益的自适应主题爬行策略*

  

结合信息增益,提出了一种新的自适应主题爬行策略。利用维基百科的分类树和主题描述文档构建主题向量T,并在爬行过程中不断地进行自动学习,反馈更新主题向量空间中每个概念的权重,完善主题描述。实验结果表明,该方法具有增量爬行的能力,并在信息量总和上明显优于基于the interest r… …   相似文献

熊忠阳  史艳  张玉芳 《计算机应用研究》2012,29(2):501-503

一种利用并行复算实现的OpenMP 容错机制

下载全文  总被引：1，自引：0，他引：1

基于并行复算的故障恢复技术,将故障恢复的计算任务分配至未发生故障的结点上并行执行,从而显著缩短复算时间,有效降低故障恢复开销,提高并行程序容错性能.基于该故障恢复技术,提出了一种针对OpenMP并行程序的容错机制PR-OMP,有效解决了分段复算、复算负载重分布等问题;此外,还扩展… …   相似文献

富弘毅  丁滟  宋伟  杨学军 《软件学报》2012,23(2):411-427