期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
移动agent系统基准模型的研究
被引量：
10
1
作者
陶先平
吕建
+1 位作者
马晓星
胡昊
《电子学报》
EI
CAS
CSCD
北大核心
2002年第12A期2119-2121,共3页
基于Internet的移动agent技术已经成为网络计算研究热点之一.针对目前移动agent研究中缺乏良好的移动agent环境基准模型的现状,本文给出了一个基于Internet的移动agent环境的基准模型ND—MATRM,该模型阐述了移动agent技术及其系统中涉...
基于Internet的移动agent技术已经成为网络计算研究热点之一.针对目前移动agent研究中缺乏良好的移动agent环境基准模型的现状,本文给出了一个基于Internet的移动agent环境的基准模型ND—MATRM,该模型阐述了移动agent技术及其系统中涉及的公共术语及其解释、通用的体系结构、规范的服务及接口.该模型在指导系统研制、分析现有系统和标准化工作等方面均具有良好的应用前景.
展开更多
关键词
移动AGENT系统
基准模型
计算机网络
网络计算
ND-MATRM
在线阅读
下载PDF
职称材料
自省的动态软件体系结构描述与实现
被引量：
9
2
作者
马晓星
张小蕾
吕建
《南京大学学报（自然科学版）》
CAS
CSCD
北大核心
2004年第2期146-155,共10页
软件系统的体系结构对于软件开发具有重要的意义 ,然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足 .利用自省计算的原理和技术 ,提出一种将体系结构具体化为系统实现中可见可控的实体 ,并在其基础上构建...
软件系统的体系结构对于软件开发具有重要的意义 ,然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足 .利用自省计算的原理和技术 ,提出一种将体系结构具体化为系统实现中可见可控的实体 ,并在其基础上构建系统的新途径 .这样 ,软件体系结构的抽象描述和具体实现都基于统一的模型 ,从而可以保证可追溯性 ;而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制 .遵循这个途径 ,给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图文法形式模型 。
展开更多
关键词
动态软件
体系结构
可追溯性
动态重配置
图文法
抽象描述
自省设施
在线阅读
下载PDF
职称材料
一种基于知识的由实例综合程序的方法
3
作者
朱鸿
金凌紫
《计算机学报》
EI
CSCD
北大核心
1991年第6期432-444,共13页
本文提出了一种由输入/输出实例综合J.Backus提出的函数式程序设计系统FP程序的方法.基于程序正交展开的理论,程序综合问题可转化为求解一组程序方程,这组方程可以根据关于程序间等价性的知识求解,从而确定综合结果.本文给出了求解程序...
本文提出了一种由输入/输出实例综合J.Backus提出的函数式程序设计系统FP程序的方法.基于程序正交展开的理论,程序综合问题可转化为求解一组程序方程,这组方程可以根据关于程序间等价性的知识求解,从而确定综合结果.本文给出了求解程序方程所需的知识,给出了综合策略,并举例说明了用该方法进行程序综合的过程.
展开更多
关键词
知识
程序综合
软件自动化
在线阅读
下载PDF
职称材料
题名
移动agent系统基准模型的研究
被引量：
10
1
作者
陶先平
吕建
马晓星
胡昊
机构
南京大学
计算机
软件
新技术国家重点实验室
出处
《电子学报》
EI
CAS
CSCD
北大核心
2002年第12A期2119-2121,共3页
基金
863计划项目(No.2001AA113110)
江苏省自然科学基金重点项目(No.BK2002203)
+2 种基金
江苏省创新人才基金项目(No.BK2002409)
江苏省高技术项目(No.GB2001012)
教育部项目"计算机软件技术网上合作中心"
文摘
基于Internet的移动agent技术已经成为网络计算研究热点之一.针对目前移动agent研究中缺乏良好的移动agent环境基准模型的现状,本文给出了一个基于Internet的移动agent环境的基准模型ND—MATRM,该模型阐述了移动agent技术及其系统中涉及的公共术语及其解释、通用的体系结构、规范的服务及接口.该模型在指导系统研制、分析现有系统和标准化工作等方面均具有良好的应用前景.
关键词
移动AGENT系统
基准模型
计算机网络
网络计算
ND-MATRM
Keywords
mobile agent
mobile agent system
reference model
分类号
TP393.0 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
自省的动态软件体系结构描述与实现
被引量：
9
2
作者
马晓星
张小蕾
吕建
机构
南京大学软件研究所
出处
《南京大学学报（自然科学版）》
CAS
CSCD
北大核心
2004年第2期146-155,共10页
基金
国家自然科学基金 (60 2 73 0 3 4
60 2 3 3 0 10 )
+4 种基金
863计划 (2 0 0 2AA1160 10
2 0 0 1AA113 110 )
973计划(2 0 0 2CB3 12 0 0 2 )
江苏省自然科学基金 (BK2 0 0 2 2 0 3
BK 2 0 0 2 40 9)
文摘
软件系统的体系结构对于软件开发具有重要的意义 ,然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足 .利用自省计算的原理和技术 ,提出一种将体系结构具体化为系统实现中可见可控的实体 ,并在其基础上构建系统的新途径 .这样 ,软件体系结构的抽象描述和具体实现都基于统一的模型 ,从而可以保证可追溯性 ;而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制 .遵循这个途径 ,给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图文法形式模型 。
关键词
动态软件
体系结构
可追溯性
动态重配置
图文法
抽象描述
自省设施
Keywords
software architecture,reflection,traceability,dynamic reconfiguration,graph grammar
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种基于知识的由实例综合程序的方法
3
作者
朱鸿
金凌紫
机构
南京大学软件研究所
南京大学
计算机科学系
出处
《计算机学报》
EI
CSCD
北大核心
1991年第6期432-444,共13页
基金
国家教委优秀青年教师基金
国家自然科学基金
文摘
本文提出了一种由输入/输出实例综合J.Backus提出的函数式程序设计系统FP程序的方法.基于程序正交展开的理论,程序综合问题可转化为求解一组程序方程,这组方程可以根据关于程序间等价性的知识求解,从而确定综合结果.本文给出了求解程序方程所需的知识,给出了综合策略,并举例说明了用该方法进行程序综合的过程.
关键词
知识
程序综合
软件自动化
Keywords
Software automation, program synthesis, functional programming, algebra of programs, solutions of equations of programs.
分类号
TP311.51 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
移动agent系统基准模型的研究
陶先平
吕建
马晓星
胡昊
《电子学报》
EI
CAS
CSCD
北大核心
2002
10
在线阅读
下载PDF
职称材料
2
自省的动态软件体系结构描述与实现
马晓星
张小蕾
吕建
《南京大学学报（自然科学版）》
CAS
CSCD
北大核心
2004
9
在线阅读
下载PDF
职称材料
3
一种基于知识的由实例综合程序的方法
朱鸿
金凌紫
《计算机学报》
EI
CSCD
北大核心
1991
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
