检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于构件技术的应用框架元模型的研究

软件学报 2004年第1期15卷 1-8页

作者：胡文蕙赵文张世琨王立福北京大学信息科学技术学院北京100871

从应用框架构造和组成的角度,使用UML(unified modeling language,统一建模语言)符号体系,提出了框架元模型,给出了框架内部组成元素的语义,特别是对扩展点的表示和实现机制进行了详细的讨论.最后以电信综合营业系统框架为例,给出了框... 详细信息

从应用框架构造和组成的角度,使用UML(unified modeling language,统一建模语言)符号体系,提出了框架元模型,给出了框架内部组成元素的语义,特别是对扩展点的表示和实现机制进行了详细的讨论.最后以电信综合营业系统框架为例,给出了框架元模型的一个实例,并给出了应用框架的复用方法.

关键词：框架框架元模型扩展点

在线全文

学校读者我要写书评

暂无评论

工作流元模型的研究与应用

软件学报 2003年第6期14卷 1052-1059页

作者：赵文胡文蕙张世琨王立福北京大学计算机科学技术系北京100871

由于工作流技术具有在异构环境中处理复杂事务的能力,所以在科学研究、电子政务和商务等方面引起了广泛的关注,涌现出一些研究成果和产品.其中,大部分的研究集中于工作流的调度、与数据库和遗产系统的接口等技术方向,对工作流管理系统... 详细信息

由于工作流技术具有在异构环境中处理复杂事务的能力,所以在科学研究、电子政务和商务等方面引起了广泛的关注,涌现出一些研究成果和产品.其中,大部分的研究集中于工作流的调度、与数据库和遗产系统的接口等技术方向,对工作流管理系统的体系结构、模型和定义语言等方面的研究相对来说比较薄弱.分析了工作流联盟的工作流元模型,并结合实际情况,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应日益增长的业务过程的变化和新技术的应用.

关键词：工作流技术工作流元模型工作流过程定义语言工作流引擎

混合P2P环境下有效的查询扩展及其搜索算法

在线全文

学校读者我要写书评

暂无评论

软件学报 2006年第4期17卷 782-793页

作者：张骞张霞刘积仁孙雨文学志刘铮东北大学计算机软件国家工程研究中心辽宁沈阳110179

查询扩展是解决信息获取领域中用词歧义性问题的关键技术,并被广泛应用于搜索引擎中,获得了巨大的成功.然而,由于P2P(peer-to-peer)系统是一个分散的、动态的系统,在P2P环境下进行有效的查询扩展具有一定的挑战性.首先,利用查询与文档... 详细信息

查询扩展是解决信息获取领域中用词歧义性问题的关键技术,并被广泛应用于搜索引擎中,获得了巨大的成功.然而,由于P2P(peer-to-peer)系统是一个分散的、动态的系统,在P2P环境下进行有效的查询扩展具有一定的挑战性.首先,利用查询与文档的关联关系构建了LEM(localexpansionmethod)查询扩展方法;然后,基于查询与文档用词的直接关联,提出了HEM(history_basedexpansionmethod)查询扩展方法.在此基础上,提出了一种基于查询扩展的混合P2P环境下的搜索算法.实验及分析结果表明,查询扩展及其搜索算法能够极大地提高搜索的效果.

关键词：查询扩展查询记录相关度搜索 P2P

在线全文

学校读者我要写书评

暂无评论

零知识水印验证协议

软件学报 2003年第9期14卷 1645-1651页

作者：邹潇湘戴琼黄晁李锦涛中国科学院计算技术研究所中国科学院软件研究所北京100080

在数字产品中嵌入数字水印,是对其进行版权保护的一种有力手段.近年来提出了不少数字水印方案,但是它们中大部分都是对称的,即用于水印嵌入和水印检测的密钥是相同的.而许多实际的应用都要求非对称的数字水印方案,即水印检测时所知道的... 详细信息

在数字产品中嵌入数字水印,是对其进行版权保护的一种有力手段.近年来提出了不少数字水印方案,但是它们中大部分都是对称的,即用于水印嵌入和水印检测的密钥是相同的.而许多实际的应用都要求非对称的数字水印方案,即水印检测时所知道的秘密不足以修改、伪造或移去水印.对基于比特承诺和零知识证明的水印验证协议进行了研究.所有权证明者采用基于扩频的对称水印技术,在宿主信号中嵌入水印;水印检测的密钥采用比特承诺的形式提交给验证者,通过证明者和验证者之间的交互协议,验证者可以提取到所嵌入的水印,但无法修改、伪造或移去水印.分别提出了验证一个和多个水印比特的协议,可应用于验证嵌入在图像、音频和视频数据中的扩频水印.

关键词：数字水印对称水印非对称水印比特承诺零知识证明

在线全文

学校读者我要写书评

暂无评论

基于队列的模糊拥塞控制算法

软件学报 2005年第2期16卷 286-294页

作者：綦朝晖孙济洲李小图天津大学计算机科学与技术系天津300072

传统的 Poisson 统计流量模型对于以突发性流量为基本特征的 Internet 网络不再适应,而采用更加接近Internet 网络流量特征的自相似模型,会具有复杂的建模过程和繁杂的计算.为此,从数据缓冲区占用情况的实时状态出发,运用模糊理论对缓... 详细信息

传统的 Poisson 统计流量模型对于以突发性流量为基本特征的 Internet 网络不再适应,而采用更加接近Internet 网络流量特征的自相似模型,会具有复杂的建模过程和繁杂的计算.为此,从数据缓冲区占用情况的实时状态出发,运用模糊理论对缓冲区占用率状态这一模糊性问题进行描述,建立起模糊拥塞控制模型,并实现了对拥塞的模糊控制.它对所有到达的数据流按照一定的优先级进行分类,并把全局性缓冲区和各队列的局部性缓冲区按照正常、拥塞避免和拥塞的规则划分为 3 个具有交叉过渡域的几个阶段,然后采用整体和局部相结合的拥塞控制方法,程中的模糊性处理.理论分析和 NS 实验仿真结果表明,该算法在保证各连接服务的公平性方面,特别是在保护和隔离非拥塞状态的连接上,取得了比传统方法更好的效果,从而更好地改进了路由器或者交换机的拥塞控制性能.

关键词：拥塞控制缓冲区队列模糊理论状态矩阵

在线全文

学校读者我要写书评

暂无评论

考虑样本不平衡的模型无关的基因选择方法

软件学报 2006年第7期17卷 1485-1493页

作者：李建中杨昆高宏骆吉洲郭政哈尔滨工业大学计算机科学与工程系黑龙江哈尔滨150001

在基因表达数据分析中,鉴别基因是后续研究中非常重要的信息基因.有很多研究致力于从基因表达数据中选出信息基因这一挑战性工作,并提出了一些基因选择方法.然而,这些方法(特别是非参数选择方法)都没有考虑不同样本类别中样本大小的不... 详细信息

在基因表达数据分析中,鉴别基因是后续研究中非常重要的信息基因.有很多研究致力于从基因表达数据中选出信息基因这一挑战性工作,并提出了一些基因选择方法.然而,这些方法(特别是非参数选择方法)都没有考虑不同样本类别中样本大小的不平衡性问题.考虑样本不平衡性和基因选择方法的稳定性,给出一个全新的与数据分布模型无关的基因选择方法.在类内变化小和类间差别大的策略下,选择敏感的度量函数提高方法的鉴别能力,同时,利用类内变化和类间差别的一致性来增加方法的稳定性和适用性.这一方法不但可以应用于两个类别的情况,也可以应用于多个类别的情况.最后,使用两组真实的基因表达数据对所提出的方法进行了验证.实验结果表明,这一方法比其他方法具有更高的有效性和稳健性.

关键词：基因选择基因表达分类微阵列

在线全文

学校读者我要写书评

暂无评论

基于语法树的实时动态电压调节低功耗算法

软件学报 2005年第10期16卷 1726-1734页

作者：易会战陈娟杨学军刘喆国防科学技术大学计算机学院湖南长沙410073

动态电压调节是一种有效的低功耗技术.使用这种技术,编译器指导的动态电压调节能够有效地降低系统功耗.提出了基于语言语法树的实时动态电压调节低功耗算法.该算法在静态程序最差时间分析方法的辅助下,通过在程序内部自动插入电压调节... 详细信息

动态电压调节是一种有效的低功耗技术.使用这种技术,编译器指导的动态电压调节能够有效地降低系统功耗.提出了基于语言语法树的实时动态电压调节低功耗算法.该算法在静态程序最差时间分析方法的辅助下,通过在程序内部自动插入电压调节代码来实现电压调节.在RTLPower(real-timelow-power)实时低功耗系统上完成了算法的实现,对嵌入式测试,程序集的初步测试证明该算法最大可节省50%的能量消耗.

关键词：编译器语法树实时动态电压调节低功耗 RTLPower

在线全文

学校读者我要写书评

暂无评论

基于LSM的程序行为控制研究

软件学报 2005年第6期16卷 1151-1158页

作者：张衡卞洪流吴礼发张毓森崔明伟曾庆凯解放军理工大学通信工程学院江苏南京210007 解放军理工大学指挥自动化学院江苏南京210007 南京大学计算机科学与技术系江苏南京210093

程序行为控制作为一种主动检测机制,主要在4个方面进行研究:审计数据源选择、行为描述、正常行为模式的建立与行为匹配.对事件序列模型作了深入研究,提出了采用另外一种与系统调用完全不同的数据源——LSM(Linuxsecuritymodules,简称Li... 详细信息

程序行为控制作为一种主动检测机制,主要在4个方面进行研究:审计数据源选择、行为描述、正常行为模式的建立与行为匹配.对事件序列模型作了深入研究,提出了采用另外一种与系统调用完全不同的数据源——LSM(Linuxsecuritymodules,简称Linux安全模块)截获点,并从理论和实践两个方面来验证LSM数据源的有效性,即基于信息理论的数据质量分析和实际系统的运行结果分析.结果表明,由于LSM数据源的粒度更细以及和安全更相关,使得它更适合作为事件序列模型的审计事件.

关键词：程序行为控制短序列模型 Linux安全模块(LSM)

在线全文

学校读者我要写书评

暂无评论

语义分析和结构化语言模型

软件学报 2005年第9期16卷 1523-1533页

作者：李明琴李涓子王作英陆大 清华大学电子工程系北京100084 清华大学计算机科学与技术系北京100084

提出了一个语义分析集成系统,并在此基础上构建了结构化的语言模型.该语义分析集成系统能够自动分析句子中各个词的词义以及词之间的语义依存关系,达到90.85%的词义标注正确率和75.84%的语义依存结构标注正确率.为了描述语言的结构信息... 详细信息

提出了一个语义分析集成系统,并在此基础上构建了结构化的语言模型.该语义分析集成系统能够自动分析句子中各个词的词义以及词之间的语义依存关系,达到90.85%的词义标注正确率和75.84%的语义依存结构标注正确率.为了描述语言的结构信息和长距离依存关系,研究并分析了两种基于语义结构的语言模型.最后,在中文语音识别任务上测试两类语言模型的性能.与三元语言模型相比,性能最好的语义结构语言模型——中心词三元模型,使绝对字错误率下降0.8%,相对错误率下降8%.

关键词：语义分析依存分析语言模型语音识别