检索结果-内蒙古大学图书馆

软件学报 2008年第5期19卷 1134-1148页

作者：陈鑫南京大学计算机科学与技术系江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093

现代构件系统通常包含多个并发执行的主动构件,这使得验证构件系统的正确性变得十分困难.通过对构件演算进行扩展,提出了一种主动构件的精化方法.在构件接口层引入契约.契约使用卫式设计描述公共方法和主动活动的功能规约.通过一对发散... 详细信息

现代构件系统通常包含多个并发执行的主动构件,这使得验证构件系统的正确性变得十分困难.通过对构件演算进行扩展,提出了一种主动构件的精化方法.在构件接口层引入契约.契约使用卫式设计描述公共方法和主动活动的功能规约.通过一对发散、失败集合定义契约的动态行为,并利用发散、失败集合之间的包含关系定义契约间的精化关系.证明了应用仿真技术确认契约精化关系的定理.定义构件的语义为其需求接口契约到其服务接口契约的函数,以此为基础,可以通过契约的精化来证明构件的精化.给出了构件的组装规则.在构件系统自底向上的构造过程中,应用构件的精化方法和组装规则可以保证最终系统的正确性.

关键词：接口构件语义契约精化组合

来源：评论

学校读者我要写书评

暂无评论

基于MDA的设计模式建模与模型转换

引用

软件学报 2008年第9期19卷 2203-2217页

作者：张天张岩于笑丰王林章李宣东南京大学计算机科学与技术系江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093

MDA(model driven architecture)的一个重要意图是将模型作为软件开发的基本单元,以进一步提高软件开发的抽象层次.为此,MDA划分了3种抽象级的模型,并通过建立高抽象级的模型和向低抽象级模型及代码的转换来构造可运行的应用程序.在MDA... 详细信息

MDA(model driven architecture)的一个重要意图是将模型作为软件开发的基本单元,以进一步提高软件开发的抽象层次.为此,MDA划分了3种抽象级的模型,并通过建立高抽象级的模型和向低抽象级模型及代码的转换来构造可运行的应用程序.在MDA的框架下,将设计模式作为一种独立的建模和转换单元能够在较高的抽象层次上充分支持复用并提高建模粒度,从而进一步发挥设计模式的优点,提高软件开发效率、降低生产成本.然而,要在MDA的框架下将设计模式作为完整的开发单元来使用,必须解决以模式为单元的建模及转换两个具体问题.针对单元化模式建模的问题,通过扩展MOF(meta object facility)的方式定义了模式单元元模型,并提供了基于此元模型的单元化建模支撑机制,以分离业务模型与模式模型的方式解决了该问题.针对单元化模式模型转换问题,在模式单元元模型的基础上定义了向EJB平台的转换规则.该转换规则使用QVT标准描述,支持单元化的模式模型转换,并具有良好的复用性.

关键词： MDA(model driven architecture)设计模式建模模型转换

来源：评论

学校读者我要写书评

暂无评论

基于点的POMDP算法的预处理方法

引用

软件学报 2008年第6期19卷 1309-1316页

作者：卞爱华王崇骏陈世福南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

基于点的算法是部分可观察马尔可夫决策过程(partially observable Markov decision processes,简称POMDP)的一类近似算法.它们只在一个信念点集上进行Backup操作,避免了线性规划并使用了更少的中间变量,从而将计算瓶颈由选择向量转向... 详细信息

基于点的算法是部分可观察马尔可夫决策过程(partially observable Markov decision processes,简称POMDP)的一类近似算法.它们只在一个信念点集上进行Backup操作,避免了线性规划并使用了更少的中间变量,从而将计算瓶颈由选择向量转向了生成向量.但这类算法在生成向量时含有大量重复和无意义计算,针对于此,提出了基于点的POMDP算法的预处理方法(preprocessing method for point-based algorithms,简称PPBA).该方法对每个样本信念点作预处理,并且在生成α-向量之前首先计算出该选取哪个动作和哪些α-向量,从而消除了重复计算.PPBA还提出了基向量的概念,利用问题的稀疏性避免了无意义计算.通过在Perseus上的实验,表明PPBA很大地提高了算法的执行速度.

关键词： POMDP 值迭代基于点的算法预处理基向量

来源：评论

学校读者我要写书评

暂无评论

基于设计演算的形式化用例分析建模框架

引用

软件学报 2008年第10期19卷 2539-2549页

作者：陈鑫李宣东南京大学计算机科学与技术系江苏南京210093 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和... 详细信息

提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和功能规约合成描述方法全部行为的全规约;也可以定义用例模型的性质,并通过设计演算中的证明来分析验证这些性质.作为应用,研究了检查用例模型一致性的规则.给出一个实例说明建模框架的可行性.

关键词：用例模型语义多视图一致性检验最弱前提条件

来源：评论

学校读者我要写书评

暂无评论

一种基于不变量的从工作流网到PERT图的转换方法

引用

电子学报 2008年第5期36卷 893-898页

作者：葛季栋胡昊吕建计算机软件新技术国家重点实验室(南京大学) 南京大学计算机科学与技术系江苏南京210093 南京大学软件学院江苏南京210093

工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模... 详细信息

工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模型的进度与工期,而在传统的项目进度计划中,PERT图是一种成熟的技术,为此,本文在工作流网的基础上增加了时间的概念,基于LMST-不变量的分解技术,提出了一种将LMST-不变量分解得到的子网转换为PERT图的算法,由此达到估算工作流过程模型的进度与工期的目的.

关键词：工作流 Petri网过程建模合理性不变量 PERT图

来源：评论

学校读者我要写书评

暂无评论

基于TAG的电力网格分布式资源管理的研究与实现

引用

计算机科学 2008年第10期35卷 115-121页

作者：严涛吕琦司春锋陆桑璐陈道蓄南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

电力系统对全网范围内分布、异构、海量数据全面共享和集成的需要催生了网格技术和传统电力调度监控技术的结合---电力网格。电力网格通过统一的软件平台连结电力调度中心,整合分布的软硬件资源,提供信息和计算的共享。对电力网格平台... 详细信息

电力系统对全网范围内分布、异构、海量数据全面共享和集成的需要催生了网格技术和传统电力调度监控技术的结合---电力网格。电力网格通过统一的软件平台连结电力调度中心,整合分布的软硬件资源,提供信息和计算的共享。对电力网格平台的资源管理机制进行了研究,提出了一种基于TAG(标签)的信息分类模式,克服了传统树型分类的缺点;设计实现了一套由多台RSS Server(资源监控服务器)协同完成的分布式资源存储与检索机制。并在此基础上,分析了TAG分类模式和分布式检索策略的优点。性能比较和系统运行表明该方案是有效和可行的。

关键词：电力网格 TAG 资源管理分布式检索

来源：评论

学校读者我要写书评

暂无评论

多处理器环境中基于节能及容错的实时动态调度算法

引用

计算机研究与发展 2008年第4期45卷 706-715页

作者：韩建军甘露阮幼林李庆华 Abbas A.Essa 华中科技大学计算机科学与技术学院武汉430074 南京大学计算机软件新技术国家重点实验室南京大学电子科学与工程系南京210093

当前处理器由于较高的能量消耗,导致处理器热量散发的提高及系统可靠性的降低,同时任务实际运行中的错误也降低了系统的可靠性.因此同时满足节能性及容错性已经成为目前计算机领域较为关心的问题.提出的调度算法针对实时多处理器计算环... 详细信息

当前处理器由于较高的能量消耗,导致处理器热量散发的提高及系统可靠性的降低,同时任务实际运行中的错误也降低了系统的可靠性.因此同时满足节能性及容错性已经成为目前计算机领域较为关心的问题.提出的调度算法针对实时多处理器计算环境,以执行时间最短的任务优先调度为基础,结合其他有效技术(共享空闲时间回收及检查点技术),使得实时任务在其截止期内完成的同时,能够动态地降低整个系统的能量消耗及动态容错.针对独立任务集及具有依赖关系的任务集,提出两种算法:STFBA1及STFBA2(shortest taskfirst based algorithm)..通过实验与目前所知的有效算法相比,算法具有更好的性能(调度长度及能量消耗)及较低的通信时间复杂度.

关键词：实时系统多处理器系统调度算法能量消耗容错

来源：评论

学校读者我要写书评

暂无评论

一种新的具适应性的程序结构

引用

计算机工程 2008年第23期34卷 47-49页

作者：杨志辉王小民张雄许满武南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

TRAP/J结构可以将可适应性透明地加入已有的应用程序中,不用修改应用程序源代码和虚拟机。该文提出一种新的具适应性的结构,采用包装类和AspectJ获得对原类的封装和替代,使用抽象类代表原类,避免了原结构反射的使用。实验表明,与TRAP/J... 详细信息

TRAP/J结构可以将可适应性透明地加入已有的应用程序中,不用修改应用程序源代码和虚拟机。该文提出一种新的具适应性的结构,采用包装类和AspectJ获得对原类的封装和替代,使用抽象类代表原类,避免了原结构反射的使用。实验表明,与TRAP/J相比,用该结构构成的程序在单机环境中执行速度更快,但是在网络环境下两者相当。

关键词：适应性软件组合适应面向方面编程面向对象编程

来源：评论

学校读者我要写书评

暂无评论

基于优势关系的粗糙集应用研究

引用

计算机科学 2008年第8期35卷 109-111,137页

作者：贾修一于绍越商琳陈世福南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

基于优势关系的粗糙集定义能够弥补经典粗糙集中不能表达出数据属性值偏好关系的劣势,使得到的"if…then…"推导规则更符合实际情况,具有推广性。本文首先介绍基于优势关系的粗糙集的产生背景;然后综述其在数据挖掘中的应用,... 详细信息

基于优势关系的粗糙集定义能够弥补经典粗糙集中不能表达出数据属性值偏好关系的劣势,使得到的"if…then…"推导规则更符合实际情况,具有推广性。本文首先介绍基于优势关系的粗糙集的产生背景;然后综述其在数据挖掘中的应用,包括规则生成和属性约简;最后讨论了进一步的研究内容和发展方向。

关键词：多标准问题偏好信息优势关系粗糙集

来源：评论

学校读者我要写书评

暂无评论

基于信息熵的相对离群点的检测方法：ENBROD

引用

南京大学学报（自然科学版） 2008年第2期44卷 212-218页

作者：于绍越商琳南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

提出一种检测离散属性数据集中相对离群点的算法.目前已有的关于离群点的检测方法大多关注连续属性的数据集,由于离散属性值之间并没有类似于连续属性值之间那样固有的距离度量关系,故不能简单的把用于连续属性数据集的检测算法应用到... 详细信息

提出一种检测离散属性数据集中相对离群点的算法.目前已有的关于离群点的检测方法大多关注连续属性的数据集,由于离散属性值之间并没有类似于连续属性值之间那样固有的距离度量关系,故不能简单的把用于连续属性数据集的检测算法应用到离散属性数据集中来.本文首先引入了一种新的信息熵增量的概念——去一划分信息熵增量,通过形式化分析得到了其性质.然后,在去一划分信息熵增量的基础上,给出了每个对象所对应的相对离点群因子(ROF)的定义.每个对象的ROF是相对的,因为其只取决于这一对象的邻域.接着,提出了ENBROD算法来实现对ROF的计算.最后,通过实验说明当邻域大小较小时,ENBROD算法可以找到已存在的方法所找不到的相对离群点;而当邻域的大小足够大时,ENBROD算法寻找全局离群点的能力也与其他的一些离群点检测算法的能力相近.

关键词：离群点离散属性信息熵

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：