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

系统工程理论与实践 2008年第11期28卷 85-93页

作者：张涛程海刚张玥杰宋健海上海财经大学信息管理与工程学院上海200433 复旦大学计算机科学与工程系上海市智能信息处理重点实验室上海210433 上海宝信软件股份有限公司上海201900

建立了基于MTO-MTS的钢厂合同计划的整数规划模型,模型同时考虑库存余材匹配和生产计划,以提前/拖期惩罚、交货时间窗内拖后惩罚、生产费用、库存匹配费用、合同违约惩罚总额最小为目标.根据模型特点,构造了对非可行解进行启发式修复的... 详细信息

建立了基于MTO-MTS的钢厂合同计划的整数规划模型,模型同时考虑库存余材匹配和生产计划,以提前/拖期惩罚、交货时间窗内拖后惩罚、生产费用、库存匹配费用、合同违约惩罚总额最小为目标.根据模型特点,构造了对非可行解进行启发式修复的改进粒子群算法求解策略.仿真实验首先对参数设置进行分析,然后对多组数据进行了结果分析,并在相同条件下,对比了本文模型与分阶段考虑库存匹配/合同计划方法的实验结果,验证了本文模型和算法的有效性.

关键词：面向订单面向库存合同计划粒子群算法碾合整数规划

来源：评论

学校读者我要写书评

暂无评论

基于本体的构件过程描述和检索

基于本体的构件过程描述和检索

引用

2007全国软件及其应用学术会议

作者：杨涛彭鑫赵文耘复旦大学计算机科学与工程系软件工程实验室上海 200433

基于构件的软件开发已经成为软件工程研究领域和软件开发实践过程中越来越重要的内容。在构件进行描述和检索的过程中,检索主要的依据是基于构件IOPE进行的。本文作者基于现有的基于本体的构件描述和检索研究基础,结合时序逻辑的相关理... 详细信息

基于构件的软件开发已经成为软件工程研究领域和软件开发实践过程中越来越重要的内容。在构件进行描述和检索的过程中,检索主要的依据是基于构件IOPE进行的。本文作者基于现有的基于本体的构件描述和检索研究基础,结合时序逻辑的相关理论,提出了一种使用时序逻辑的描述和验证框架,来对基于本体的构件描述进行检索结果的过程属性进行精化和验证。该方法可以有效地解决目前构件的描述和检索过程中构件的过程信息的验证问题,提高构件检索结果的精准度和质量,为基于构件的软件开发和软件重用提供帮助。

关键词：软件开发构件过程描述时序逻辑构件检索

来源：评论

学校读者我要写书评

暂无评论

一种基于动态AOP的动态体系结构实现技术

一种基于动态AOP的动态体系结构实现技术

引用

2007全国软件及其应用学术会议

作者：张夏彭鑫赵文耘复旦大学计算机科学与工程系软件工程实验室上海 200433

体系结构的运行时动态演化已经成为许多软件系统的根本需求,而支持动态体系结构的运行平台和实现框架是其中的关键问题。本文在课题组前期开发的基于Java的请求/调用式构件组装工具BSAppBuilder基础上,借助动态AOP技术,提出了一种基于AO... 详细信息

体系结构的运行时动态演化已经成为许多软件系统的根本需求,而支持动态体系结构的运行平台和实现框架是其中的关键问题。本文在课题组前期开发的基于Java的请求/调用式构件组装工具BSAppBuilder基础上,借助动态AOP技术,提出了一种基于AOP的动态体系结构实现方法。该方法包括了进行运行环境监控的传感器以及执行演化控制的控制中心。在演化实现机制上,该方法利用Aspect的动态织入技术实现构件间连接关系的动态改变。本文还通过一个针对系统运行负载监控的动态演化实例展示了该方法的有效性。

关键词：动态体系结构软件开发 AOP 在线演化

来源：评论

学校读者我要写书评

暂无评论

基于构件组装的Web应用开发方法

基于构件组装的Web应用开发方法

引用

2005’全国软件与应用学术会议(NASAC)

作者：叶菲赵文耘彭鑫张志复旦大学计算机科学与工程系软件工程实验室上海200433

本文把构件组装的思想引入到Web应用的开发中,提出了一种J2EE体系结构下基于构件组装的Web应用开发方法.该方法在Web层使用动作映射模型和转发映射模型来实现页面控制流建模,同时引入服务接口层作为门面向Web层提供业务服务,而业务层构... 详细信息

本文把构件组装的思想引入到Web应用的开发中,提出了一种J2EE体系结构下基于构件组装的Web应用开发方法.该方法在Web层使用动作映射模型和转发映射模型来实现页面控制流建模,同时引入服务接口层作为门面向Web层提供业务服务,而业务层构件则按照服务接口层的需要进行组装.这样就可以分别对Web层和业务层进行建模,然后通过服务接口层把各个层次的构件组装成一个完整的可部署的Web应用.

关键词：构件组装 Web应用开发方法 CABWD方法动作映射模型转发映射模型

来源：评论

学校读者我要写书评

暂无评论

一个支持构件演化和变更管理的配置管理工具

一个支持构件演化和变更管理的配置管理工具

引用

2005’全国软件与应用学术会议(NASAC)

作者：彭鑫赵文耘吴毅坚复旦大学计算机科学与工程系软件工程实验室上海200433

配置管理可以为软件产品的有序演化提供保障,而基于构件的软件开发(CBSD)对配置管理提出了新的要求.本文介绍了一个新的配置管理工具FDSCM,并对该工具在版本管理、变更管理和构件演化支持三个方面对CBSD的配置管理支持进行了探讨,重点... 详细信息

配置管理可以为软件产品的有序演化提供保障,而基于构件的软件开发(CBSD)对配置管理提出了新的要求.本文介绍了一个新的配置管理工具FDSCM,并对该工具在版本管理、变更管理和构件演化支持三个方面对CBSD的配置管理支持进行了探讨,重点论述了变更管理与版本管理的集成、构件的版本管理以及配置管理对构件开发视图和复用视图的支持等关键技术.

关键词：配置管理软件开发构件演化变更管理版本管理

来源：评论

学校读者我要写书评

暂无评论

一种支持时序图恢复的逆向工程方法

一种支持时序图恢复的逆向工程方法

引用

2005’全国软件与应用学术会议(NASAC)

作者：张亮赵文耘彭鑫夏宽理复旦大学计算机科学与工程系软件工程实验室上海200433

逆向工程在软件维护和软件再工程中占据着重要的地位.在逆向工程中,遗产系统的静态结构信息容易恢复,而获取动态行为特征则较为困难.而且在获取行为特征时,仅仅采用动态分析或者静态分析均不能得到理想的结果.本文提出一个综合运用动态... 详细信息

逆向工程在软件维护和软件再工程中占据着重要的地位.在逆向工程中,遗产系统的静态结构信息容易恢复,而获取动态行为特征则较为困难.而且在获取行为特征时,仅仅采用动态分析或者静态分析均不能得到理想的结果.本文提出一个综合运用动态分析和静态分析恢复时序图的逆向工程方法.该方法使用AOP技术生成系统的运行日志,并结合对源代码的静态扫描,抽取遗产系统动态行为信息,并进行逆向建模,生成UML时序图.

关键词：逆向工程遗产系统时序图恢复 UML时序图

来源：评论

学校读者我要写书评

暂无评论

一个基于软件配置管理的过程管理框架

一个基于软件配置管理的过程管理框架

引用

2004’全国软件与应用学术会议(NASAC)

作者：彭鑫赵文耘张志复旦大学计算机科学与工程系软件工程实验室上海200433

在软件质量体系的诸多支持活动中,配置管理处于核心地位.基于配置管理进行过程控制可以提高过程管理的有效性.引入过程模式的思想,在此基础上提出了一个基于配置管理的过程管理框架.这个框架以各种抽象层次上的子系统和构件为过程管理单... 详细信息

在软件质量体系的诸多支持活动中,配置管理处于核心地位.基于配置管理进行过程控制可以提高过程管理的有效性.引入过程模式的思想,在此基础上提出了一个基于配置管理的过程管理框架.这个框架以各种抽象层次上的子系统和构件为过程管理单位,在过程模型层、小组协作层和个人活动层三个层次上进行过程控制,并分别采取不同的过程控制策略,提高了配置管理和过程管理的有效性与灵活性.

关键词：配置管理软件过程过程管理软件质量

来源：评论

学校读者我要写书评

暂无评论

基于领域语义的分层Web服务组装方法

基于领域语义的分层Web服务组装方法

引用

中国计算机学会软件工程专委会2006年年会

作者：龚嘉彭鑫赵文耘复旦大学计算机科学与工程系软件工程实验室上海200433

通过描述Web服务的领域特征,开发者可以复用领域模型进行Web服务的组装.如何从抽象的领域模型中得到具体的服务组装模型成为当前研究的热点之一.本文提出一种基于领域语义的、在逻辑和物理两个层次进行Web服务组装的方法:在逻辑层次上,... 详细信息

通过描述Web服务的领域特征,开发者可以复用领域模型进行Web服务的组装.如何从抽象的领域模型中得到具体的服务组装模型成为当前研究的热点之一.本文提出一种基于领域语义的、在逻辑和物理两个层次进行Web服务组装的方法:在逻辑层次上,把领域模型转化成由通用服务构成的通用服务组装模型;在物理层次上,完成从抽象的通用服务组装模型到具体的组装实现模型的转化.该方法使得两个层次的细化分工明确,充分体现了复用的思想,也使Web服务组装更加有效.

关键词： Web服务 Web服务组装领域工程领域特征领域模型

来源：评论

学校读者我要写书评

暂无评论

基于线性时序逻辑的动态软件体系结构模型验证

基于线性时序逻辑的动态软件体系结构模型验证

引用

2007全国软件及其应用学术会议

作者：唐姗彭鑫赵文耘刘奕明复旦大学计算机科学与工程系软件工程实验室上海 200433

如何有效地保证软件体系结构能够正确地进行动态演化是目前软件工程领域中一个亟待解决的问题。模型验证是一种关于系统性质验证的算法方法,它通常采用状态空间搜索的方法来检查一个给定的计算模型是否满足用某个时序逻辑公式描述的特... 详细信息

如何有效地保证软件体系结构能够正确地进行动态演化是目前软件工程领域中一个亟待解决的问题。模型验证是一种关于系统性质验证的算法方法,它通常采用状态空间搜索的方法来检查一个给定的计算模型是否满足用某个时序逻辑公式描述的特定性质。模型验证的复杂性主要依赖于系统状态空间大小,所以模型验证方法所面临的最大问题是状态空间爆炸和内存不足。针对大规模动态软件体系结构模型验证方法的不足,本文提出了一种基于线性时序逻辑的模块化模型验证方法,从系统组成模块和整体系统两个不同层次探讨了验证动态软件体系结构的方法,给出了相应的实现算法,并结合实例说明了本方法的实用性。

关键词：动态软件体系结构模型验证线性时序逻辑自动机

来源：评论

学校读者我要写书评

暂无评论

协作策略驱动的构件组合行为提取

协作策略驱动的构件组合行为提取

引用

2007全国软件及其应用学术会议

作者：刘奕明彭鑫赵文耘唐姗复旦大学计算机科学与工程系软件工程实验室上海 200433

构件组合系统的行为通过构件之间的交互来体现。而构件交互遵循的协作策略往往决定组合系统所具有的性质,如安全性,活性和公平性等。因此,如何从构件交互中提取遵循特定构件交互策略的构件组合行为,从而使系统具有某种良好性质就成为了... 详细信息

构件组合系统的行为通过构件之间的交互来体现。而构件交互遵循的协作策略往往决定组合系统所具有的性质,如安全性,活性和公平性等。因此,如何从构件交互中提取遵循特定构件交互策略的构件组合行为,从而使系统具有某种良好性质就成为了一个亟待解决的问题。在使用接口自动机网络建模构件组合系统和线性时序逻辑描述构件协作策略的基础上,本文提出了一种策略满足的构件组合行为提取方法。该方法首先将用户指定构件协作策略强加于组合系统的行为模型之上,然后从结果模型中提取可接受执行路径;最后,基于提取行为构造协作环境,驱动构件以一种无死锁、协作策略满足的方式一同工作,从而使组合系统具有良好的属性。为了说明方法的正确性和有效性,我们给出了一个实例证明。

关键词：软件开发构件组合系统行为提取接口自动机

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：