期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到123篇文章
< 1 2 … 7 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
前件推导及其计算机实现 被引量：1
1
作者 吕建国 《计算机研究与发展》 EI CSCD 北大核心 1989年第9期5-11,共7页
前件推导是定理证明的一种扩展.本文介绍了前件推导的定义及其形式系统,描述了前件推导的计算机实现,该实现具有如下一些特点:1)主要采用自然演绎途径;2)用一种扩展与/或树表示前件推导问题;3)基本搜索策略是有序深度优先;4)利用启发信... 前件推导是定理证明的一种扩展.本文介绍了前件推导的定义及其形式系统,描述了前件推导的计算机实现,该实现具有如下一些特点:1)主要采用自然演绎途径;2)用一种扩展与/或树表示前件推导问题;3)基本搜索策略是有序深度优先;4)利用启发信息控制搜索. 展开更多
关键词 前件推导 计算机 定理证明 算法
在线阅读 下载PDF
基于移动Agent技术的构件软件框架研究 被引量：48
2
作者 吕建 张鸣 +1 位作者 廖宇 陶先平 《软件学报》 EI CSCD 北大核心 2000年第8期1018-1023,共6页
随着移动 Agent技术的快速发展以及构件软件的广泛应用 ,对一种新型的基于移动 agent技术的构件软件框架的需求日益增长 .通过对传统的构件软件框架的不足的分析 ,提出了一种新的构件软件框架 .与传统的构件软件框架相比 ,新的构件软件... 随着移动 Agent技术的快速发展以及构件软件的广泛应用 ,对一种新型的基于移动 agent技术的构件软件框架的需求日益增长 .通过对传统的构件软件框架的不足的分析 ,提出了一种新的构件软件框架 .与传统的构件软件框架相比 ,新的构件软件框架具有较强的网络环境的动态适应性 . 展开更多
关键词 构件软件框架 移动AGENT 程序设计方法 面向对象
在线阅读 下载PDF
软件互操作研究与进展 被引量：29
3
作者 丁俊华 董桓 +1 位作者 吴定豪 吕建 《计算机研究与发展》 EI CSCD 北大核心 1998年第7期577-583,共7页
软件互操作是开放分布式处理中的一个重要目标．文中首先讨论了软件互操作的基本原理，并重点介绍了当前具有代表性的互操作方法，评述了它们的优缺点．在此基础上，提出并简单介绍了面向应用框架的互操作方法．
关键词 软件互操作 软件开发 计算机系统
在线阅读 下载PDF
一种分层的软件过程执行机制的研究 被引量：1
4
作者 胡昊 葛季栋 +1 位作者 林向宇 吕建 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第2期131-140,共10页
选择不同的过程执行机制会对软件过程支持的灵活性产生影响,两种传统的过程执行机制———前摄式和反应式存在模型复杂性和执行灵活性之间的矛盾.借鉴了Alf Inge Wanget al.所提出的基于组织中过程执行主体分层支持的思想,提出了一种分... 选择不同的过程执行机制会对软件过程支持的灵活性产生影响,两种传统的过程执行机制———前摄式和反应式存在模型复杂性和执行灵活性之间的矛盾.借鉴了Alf Inge Wanget al.所提出的基于组织中过程执行主体分层支持的思想,提出了一种分层过程机制,该机制将软件过程分为两个层次,底层是具有流程稳定的子过程,采用前摄式机制支持,而高层是易于变化的过程,则用反应式机制支持,通过过程片段将两层过程统一在一个过程模型中既增加了过程执行的灵活性,又降低了过程模型的复杂性.为了说明该过程机制的实践有效性,分析了一个案例所发生的“例程”、“并发”、“反馈”和“等待”的各种情况并且阐述了在CPMS系统中应用分层机制对上述情况的解决方案. 展开更多
关键词 软件过程 过程支持系统 能力成熟度模型 分层机制 过程模型
在线阅读 下载PDF
支持多种并行计算模型的面向对象框架研究 被引量：1
5
作者 吕建 陆陪 于大川 《软件学报》 EI CSCD 北大核心 1999年第3期270-276,共7页
为了支持并行程序设计，几乎所有的程序设计语言均通过提供并行与同步通信机制来支持某一高级并行计算模型，如Ａｄａ语言的任务与会合机制以及Ｊａｖａ语言的线程和同步方法．显然，这样的程序设计语言仅能支持一种高级并行计算模型．... 为了支持并行程序设计，几乎所有的程序设计语言均通过提供并行与同步通信机制来支持某一高级并行计算模型，如Ａｄａ语言的任务与会合机制以及Ｊａｖａ语言的线程和同步方法．显然，这样的程序设计语言仅能支持一种高级并行计算模型．尽管单模型的途径对某些应用来说简单而有效，但由于现实世界中的问题往往较为繁杂而难以完全用单一模型来解决．文章采用面向对象的语言机制和框架技术来解决此问题．通过分析现有各种语言中高级并行计算模型的共性，提出了若干新的面向对象语言机制．以此为基础，提出了并行面向对象框架的概念，并讨论用其表达和使用高级并行计算模型的方法．结果是，可在某种意义下将高级并行计算模型从语言中分离出来，而单一语言可由多个并行框架加以支撑，从而使得在单一面向对象语言中支持多种高级并行计算模型成为可能． 展开更多
关键词 并行计算模型 面向对象 并行框架 并行程序设计
在线阅读 下载PDF
软件可靠性估计与计算复杂性的关系浅析 被引量：7
6
作者 朱鸿 《软件学报》 EI CSCD 北大核心 1998年第9期713-717,共5页
软件可靠性估计是软件可靠性研究的重要问题之一．提出一种根据软件随机测试的结果进行软件可靠性估计的方法．它使被测软件的复杂性成为估计公式中的一个因素，从而克服了现有同类方法把软件看作是黑箱的缺点．它以软件的邻域集合的伪... 软件可靠性估计是软件可靠性研究的重要问题之一．提出一种根据软件随机测试的结果进行软件可靠性估计的方法．它使被测软件的复杂性成为估计公式中的一个因素，从而克服了现有同类方法把软件看作是黑箱的缺点．它以软件的邻域集合的伪维数作为软件复杂性度量，从而使根据软件的可能错误空间进行可靠性估计成为可能．还证明了算法的计算复杂性与软件所可能计算的函数集合的伪维数之间存在着一定的联系． 展开更多
关键词 软件可靠性 可靠性估计 复杂性分析
在线阅读 下载PDF
软件需求分析自动化支撑系统中的字典管理方法研究
7
作者 杨大军 丁俊华 吕建 《计算机应用与软件》 CSCD 北大核心 2001年第4期37-42,共6页
软件需求分析及其自动化技术是软件自动化和需求工程的关键问题之一。而字典管理和技术的研究是其重要组成部分。本文以自行研制的软件需求分析自动化支撑系统NDRASS为背景,讨论了字典管理系统的设计方法和实现技术。
关键词 功能规约 软件需求分析 软件自动化支撑系统 软件工程 字典管理
在线阅读 下载PDF
移动Agent系统的安全性研究 被引量：23
8
作者 李新 吕建 +2 位作者 曹春 冯新宇 陶先平 《软件学报》 EI CSCD 北大核心 2002年第10期1991-2000,共10页
移动Agent系统中的安全问题是阻碍其广泛应用的原因之一.通过对Agent的安全问题及其研究现状的分析,提出了解决一些安全问题的方法,并在自行研制的移动Agent系统Mogent中实现,对防止和解决移动Agent系统中的安全问题有一定的作用.
关键词 移动AGENT系统 安全性 访问控制 授权 INTERNET 网络安全 密码学
在线阅读 下载PDF
一个软件服务协同中信任评估模型的设计 被引量：69
9
作者 徐锋 吕建 +1 位作者 郑玮 曹春 《软件学报》 EI CSCD 北大核心 2003年第6期1043-1051,共9页
基于Internet的Web应用系统逐步表现为由多个软件服务组成的软件服务协同系统,面向开放、动态和多变的应用环境,软件服务之间的相互信任对软件服务个体和应用系统的安全保障与可靠运行均具有重要的意义.首先给出一个基于Agent的软件服... 基于Internet的Web应用系统逐步表现为由多个软件服务组成的软件服务协同系统,面向开放、动态和多变的应用环境,软件服务之间的相互信任对软件服务个体和应用系统的安全保障与可靠运行均具有重要的意义.首先给出一个基于Agent的软件服务协同模型,随后针对该软件服务协同模型提出一个用于度量软件服务间信任关系的信任评估模型.信任被抽象成一个由信任评估主体对客体的主观期望和客观经验共同作用的函数,模型还提供了一个合理的方法用于综合直接经验和第三方推荐经验.与几个现有的工作相比,设计了较完整的信任评估模型,并强调其合理性和可操作性.信任评估模型可为软件服务之间的协同与安全决策提供依据. 展开更多
关键词 软件服务协同系统 信任评估 协同模型 AGENT
在线阅读 下载PDF
反射中间件的研究与进展 被引量：19
10
作者 胡海洋 马晓星 +1 位作者 陶先平 吕建 《计算机学报》 EI CSCD 北大核心 2005年第9期1407-1420,共14页
反射中间件是当前中间件技术研究中值得注意的一个新方向.它克服了传统中间件“黑箱”结构的缺陷,具有系统结构行为有序开放、可重配置等特点,能支持针对不同应用类型进行定制,可较好地适应动态变化的分布式环境和应用需求,已在移动计... 反射中间件是当前中间件技术研究中值得注意的一个新方向.它克服了传统中间件“黑箱”结构的缺陷,具有系统结构行为有序开放、可重配置等特点,能支持针对不同应用类型进行定制,可较好地适应动态变化的分布式环境和应用需求,已在移动计算、多媒体应用等多个领域展现出较好的应用前景.该文在介绍反射计算与反射系统基本知识的基础上,首先分析归纳了反射中间件的核心概念和基本原理,给出一个反射中间件的一般结构.在此基础上提出一个反射中间件分类与比较框架,涵盖了反射类型、反射时间、反射范围、实现机制等方面的内容,而后依据此框架对目前几种具有代表性的反射中间件系统作综述和比较.最后对该领域值得进一步研究的问题进行了分析和讨论. 展开更多
关键词 中间件 反射 构件 重配置
在线阅读 下载PDF
一种开放环境下的软件可靠性评估方法 被引量：38
11
作者 陆文 徐锋 吕建 《计算机学报》 EI CSCD 北大核心 2010年第3期452-462,共11页
目前,软件系统运行环境日益增强的开放性对原有的软件开发技术(包括软件可靠性评估方法)提出了挑战.一些基于软件测试和模拟的方法由于效率上的不足而不再适用;而另一些方法,例如基于状态的可靠性评估方法,虽然在效率上有了很大的提高,... 目前,软件系统运行环境日益增强的开放性对原有的软件开发技术(包括软件可靠性评估方法)提出了挑战.一些基于软件测试和模拟的方法由于效率上的不足而不再适用;而另一些方法,例如基于状态的可靠性评估方法,虽然在效率上有了很大的提高,但在适用范围上又存在着不足,比如不能很好地处理含并行结构的系统.为此,在基于状态的可靠性评估方法的基础上,文中提出一种改进的可靠性评估方法,以兼顾效率和适用范围两个方面.首先介绍如何用Petri网来描述各种复杂结构的系统,接着介绍一种自底向上的可靠性计算过程,该过程能对并行结构进行分解和综合计算,高效、准确地计算出系统的可靠性.该方法还可以估算出组件对系统的重要性,从而大大地增强了可靠性评估在软件开发中的作用. 展开更多
关键词 软件可靠性 开放环境 体系结构 组件重要性
在线阅读 下载PDF
Cogent后组装技术研究与实现 被引量：13
12
作者 胡海洋 杨玫 +1 位作者 陶先平 吕建 《电子学报》 EI CAS CSCD 北大核心 2002年第12期1823-1827,共5页
构件组装技术是构件软件的核心技术之一.本文分析了当前构件组装机制的现状及几个有代表性的构件组装机制的不足之处,然后提出了一种基于移动Agent技术的构件组装技术,它利用后组装技术弥补了传统连线机制中构件组装机构改动困难、构件... 构件组装技术是构件软件的核心技术之一.本文分析了当前构件组装机制的现状及几个有代表性的构件组装机制的不足之处,然后提出了一种基于移动Agent技术的构件组装技术,它利用后组装技术弥补了传统连线机制中构件组装机构改动困难、构件装配欠灵活的弱点.其方法足通过提出的组调用表与定位表的概念,实现构件功能体与组装机制的分离,各自独立开发与编译.最后本文通过一个实例说明了Cogent构件后组装技术的特点. 展开更多
关键词 移动AGENT 软件工程 构件组装技术 构件软件
在线阅读 下载PDF
面向对象应用框架在油气勘探领域的应用研究 被引量：15
13
作者 李英军 吕建 王宏琳 《软件学报》 EI CSCD 北大核心 1999年第4期349-354,共6页
企业领域的面向对象应用框架研究是现代面向对象应用框架技术的重用趋势之一．应用框架可以增强大型应用软件的可扩充性和代码重用性．文章在对面向对象应用框架技术进行深入分析的基础上，针对油气勘探领域交互地震处理软件设计中存在... 企业领域的面向对象应用框架研究是现代面向对象应用框架技术的重用趋势之一．应用框架可以增强大型应用软件的可扩充性和代码重用性．文章在对面向对象应用框架技术进行深入分析的基础上，针对油气勘探领域交互地震处理软件设计中存在的问题，提出采用面向对象应用框架方法，并引进一组面向应用领域、基于特定设计模式的组件，使交互地震处理应用软件具有良好的可扩充性和重用性． 展开更多
关键词 面向对象 应用框架 设计模式 油气勘探 计算机
在线阅读 下载PDF
Web安全中的信任管理研究与进展 被引量：113
14
作者 徐锋 吕建 《软件学报》 EI CSCD 北大核心 2002年第11期2057-2064,共8页
信任管理是当前Web安全研究的热点.介绍了信任管理思想的出现,给出了信任管理的概念和模型,并概述了几个典型的信任管理系统和信任度评估模型.讨论了当前研究存在的问题以及今后的研究方向.
关键词 WEB 信任管理 INTERNET 网络安全 网络服务
在线阅读 下载PDF
实验性软件自动化系统NDAUTO 被引量：6
15
作者 徐家福 戴敏 +1 位作者 袁峰 陈道蓄 《计算机学报》 EI CSCD 北大核心 1989年第2期92-97,共6页
本文介绍了实验性软件自动化系统NDAUTO的设计与实现。该系统采用转换与过程化相结合的途径,实现了从用图形化规格说明语言GSPEC书写的软件规格说明到可执行程序代码的自动生成,能够在一定意义下保证软件规格说明的正确性和所开发出的... 本文介绍了实验性软件自动化系统NDAUTO的设计与实现。该系统采用转换与过程化相结合的途径,实现了从用图形化规格说明语言GSPEC书写的软件规格说明到可执行程序代码的自动生成,能够在一定意义下保证软件规格说明的正确性和所开发出的程序代码与其规格说明之间的等价性。 展开更多
关键词 NDAUTO 软件开发 软件 软件自动化
在线阅读 下载PDF
对象式软件需求模型及其机器支撑 被引量：7
16
作者 张家重 王志坚 +1 位作者 伊波 徐家福 《软件学报》 EI CSCD 北大核心 1998年第6期414-418,共5页
为了研究需求级软件自动化技术，研制对象式软件需求分析支撑系统的需要，文章提出了一个层次化对象式软件需求模型ＮＤＨＯＲＭ（Ｎａｎｊｉｎｇｄａｘｕｅｈｉｅｒａｒｃｈｉｃａｌｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｒｅｑｕｉｒｅｍｅ... 为了研究需求级软件自动化技术，研制对象式软件需求分析支撑系统的需要，文章提出了一个层次化对象式软件需求模型ＮＤＨＯＲＭ（Ｎａｎｊｉｎｇｄａｘｕｅｈｉｅｒａｒｃｈｉｃａｌｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｒｅｑｕｉｒｅｍｅｎｔｓｍｏｄｅｌｉｎｇ），它主要包括对象关系模型、类关系模型和类字典３个组成部分．文章基于对对象式需求模型的简要讨论，详细介绍了ＮＤＨＯＲＭ模型的组成、层次结构及对象精化，给出了ＮＤＨＯＲＭ的构模过程，最后简要介绍了ＮＤＨＯＲＭ模型的机器支撑系统． 展开更多
关键词 面向对象 机器支撑 软件需求模型 软件开发
在线阅读 下载PDF
软件需求定义语言NDRDL 被引量：10
17
作者 董丽君 费宗铭 +1 位作者 朱鸿 金凌紫 《计算机科学》 CSCD 北大核心 1995年第5期45-53,共9页
NDRDL语言是一种图形化的软件需求定义语言,用于书写软件需求定义。其特点是:形象直观、表达力强、实用性好、可靠性高。本文是该语言的试用文本。
关键词 软件需求定义 图形化 NDRDL语言
在线阅读 下载PDF
Agent为中介的电子商务研究 被引量：6
18
作者 苏敏 郭瑞景 +3 位作者 陶先平 徐锋 陈红强 吕建 《计算机科学》 CSCD 北大核心 2001年第11期83-88,共6页
一、引言 电子商务至今没有一个较为全面、权威的定义.一般地说,电子商务包括一切使用电子手段进行的商业活动.它是运用电子通信为手段的经济活动,通过这种方式人们可以对带有经济价值的产品和服务进行宣传、购买和结算.这种交易的方式... 一、引言 电子商务至今没有一个较为全面、权威的定义.一般地说,电子商务包括一切使用电子手段进行的商业活动.它是运用电子通信为手段的经济活动,通过这种方式人们可以对带有经济价值的产品和服务进行宣传、购买和结算.这种交易的方式不受地理位置、资金多少或零售渠道的所有权影响,个人、组织、团体都能自由地参加广泛的经济活动.电子商务能使产品甚至服务在世界范围内交易,并向消费者提供多种多样的选择. 展开更多
关键词 电子商务 AGENT INTERNET 电子交易
在线阅读 下载PDF
构件演化中的系统行为一致性的研究 被引量：8
19
作者 罗毅 李兴宇 +2 位作者 关连伟 胡昊 吕建 《计算机科学》 CSCD 北大核心 2008年第1期266-270,300,共6页
构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的。因此在构件演化时,例如对构件功能实现进行改变,可... 构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的。因此在构件演化时,例如对构件功能实现进行改变,可能导致系统运行偏离原来的系统行为。我们的工作就是在构件演化时对系统行为进行一致性检查,保证构件的功能实现的变化不会使系统行为偏离原来的系统。在本文中首先通过Petri-net的形式化方法,对系统实现中包括的构件的功能实现和构件间的交互进行建模,并通过以上信息推导得到系统行为。在此基础之上,根据基于行为继承理论的行为一致性规则的要求对定义的系统功能行为进行验证,以保证构件演化时系统行为的改变符合行为的一致性要求,同时又保证了构件演化的灵活性。 展开更多
关键词 构件演化 系统行为 行为一致性
在线阅读 下载PDF
并发面向对象程序设计语言研究与进展 被引量：9
20
作者 杨大军 张鸣 吕建 《计算机研究与发展》 EI CSCD 北大核心 1998年第9期769-775,共7页
随着面向对象程序设计的普及和对并发应用程序需求的增加，并发面向对象程序设计语言的设计日益成为研究热点．文中旨在通过对目前有代表性的各种并发面向对象程序设计语言进行研究和分析，从并发与面向对象结合的角度，总结并发面向对... 随着面向对象程序设计的普及和对并发应用程序需求的增加，并发面向对象程序设计语言的设计日益成为研究热点．文中旨在通过对目前有代表性的各种并发面向对象程序设计语言进行研究和分析，从并发与面向对象结合的角度，总结并发面向对象语言的研究动因、设计思想、主要问题，以及相应的解决途径．最后，就该领域的发展方向提出一些看法． 展开更多
关键词 面向对象 程序设计语言 软件复用 继承异常
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 7 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部