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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

184 篇 期刊文献
47 篇 会议

馆藏范围

231 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

215 篇 工学
- 202 篇 计算机科学与技术...
- 163 篇 软件工程
- 9 篇 网络空间安全
- 7 篇 控制科学与工程
- 5 篇 仪器科学与技术
- 4 篇 信息与通信工程
- 3 篇 机械工程
- 2 篇 电子科学与技术（可...
- 1 篇 材料科学与工程（可...
- 1 篇 化学工程与技术
- 1 篇 生物医学工程（可授...
31 篇 管理学
- 29 篇 管理科学与工程(可...
- 2 篇 工商管理
- 1 篇 农林经济管理
9 篇 理学
- 4 篇 数学
- 1 篇 物理学
- 1 篇 化学
- 1 篇 地球物理学
- 1 篇 生物学
- 1 篇 系统科学
3 篇 教育学
- 3 篇 教育学
2 篇 医学
- 1 篇 公共卫生与预防医...
- 1 篇 药学(可授医学、理...
1 篇 法学
- 1 篇 马克思主义理论
1 篇 军事学
- 1 篇 军队指挥学
1 篇 艺术学
- 1 篇 设计学（可授艺术学...

主题

12 篇 软件复用
11 篇 软件体系结构
9 篇 中间件
7 篇 软件维护
7 篇 机器学习
6 篇 隐私保护
6 篇 特征模型
5 篇 无线射频识别(rfi...
5 篇 程序分析
5 篇 软件资源库
5 篇 web服务
5 篇 网构软件
5 篇 软件开发
4 篇 建模
4 篇 验证
4 篇 云计算
4 篇 互联网
4 篇 车辆自组网
4 篇 同步网
4 篇 自适应

机构

221 篇 北京大学
135 篇 高可信软件技术教...
7 篇 软件工程国家工程...
6 篇 北京理工大学
5 篇 中国科学院数学与...
5 篇 教育部高可信软件...
4 篇 华中科技大学
3 篇 ibm中国研究院
3 篇 网络和软件安全保...
2 篇 国家计算机网络应...
2 篇 广州大学
2 篇 北京交通大学
2 篇 中国科学院大学
2 篇 深圳市云计算关键...
2 篇 中国科学院数学与...
2 篇 中国科学院计算技...
2 篇 软件工程国家工程...
2 篇 高可信软件技术教...
2 篇 山东科技大学
2 篇 高可信软件技术

作者

43 篇 梅宏
25 篇 黄罡
20 篇 谢冰
18 篇 张伟
17 篇 金芝
17 篇 郭耀
17 篇 陈钟
16 篇 张世琨
16 篇 孙艳春
16 篇 王亚沙
15 篇 赵文
14 篇 邹艳珍
13 篇 赵俊峰
13 篇 邵维忠
12 篇 王立福
12 篇 赵海燕
12 篇 陈向群
12 篇 胡建斌
12 篇 王捍贫
11 篇 麻志毅

语言

231 篇 中文

检索条件"机构=北京大学信息科学技术学院软件研究所、高可信软件技术教育部重点实验室"

共 231 条记录，以下是221-230 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

一种EJB构件的动态迁移方法与实现

一种EJB构件的动态迁移方法与实现

引用

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

作者：邓芳王千祥梅宏北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京 100871

应用程序一般以静态的方式部署在特定的节点上:一旦程序被部署并启动后,就一直运行在这个节点上,直到生命周期的结束。在大规模应用服务器集群申,由于不同节点的运行状态可能随时发生变化,由于种种原因需要将分布式应用在不同节点间的... 详细信息

应用程序一般以静态的方式部署在特定的节点上:一旦程序被部署并启动后,就一直运行在这个节点上,直到生命周期的结束。在大规模应用服务器集群申,由于不同节点的运行状态可能随时发生变化,由于种种原因需要将分布式应用在不同节点间的分布重新调整。本文实现了一种EJB的动态迁移方法,以支持运行时刻的EJB构件在不同的节点之间进行动态、平滑的迁移,使得EJB构件的分布可以动态的调整,并在一个具体的应用服务器PKUAS上进行了实验验证。

关键词：应用服务器动态迁移方法生命周期 EJB构件

来源：评论

学校读者我要写书评

暂无评论

基于模式的过程经验描述

基于模式的过程经验描述

引用

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

作者：马家宽石磊孟祥奚王亚沙北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京 100871

软件生产是一个复杂、多变的过程,我们无法定义一个标准的过程将其应用到各种软件项目中。另一方面,软件过程中也存在一些在一定场景下反复出现的问题,它们是相对稳定的。在长期的研究与实践中,积累了许多针对这些问题的经典解决方案,... 详细信息

软件生产是一个复杂、多变的过程,我们无法定义一个标准的过程将其应用到各种软件项目中。另一方面,软件过程中也存在一些在一定场景下反复出现的问题,它们是相对稳定的。在长期的研究与实践中,积累了许多针对这些问题的经典解决方案,它们是软件过程领域的宝贵经验。为了使得更多的软件过程能够借鉴这些经验,从而提高软件过程的性能和成熟度,需要一种显式、准确的表达过程经验的方法。为此本文提出了一种基于过程模式的过程经验表示方法,该方法将过程经验组织成一组过程模式,即一定场景下特定问题的通用过程解决方案。实例证明,较之过程模型和自然语言描述的过程最佳实践,过程模式是一种更好的过程经验表示方法。

关键词：过程经验过程模式 PKUPP 软件开发软件项目管理

来源：评论

学校读者我要写书评

暂无评论

中间件应用系统在线重构方案的自动获取与实施

中间件应用系统在线重构方案的自动获取与实施

引用

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

作者：王玮琥兰灵黄罡梅宏高可信软件技术教育部重点实验室北京大学信息科学技术学院软件研究所北京 100871

重构,是指在不改变软件应用系统外部行为的前提下,通过改变其内部结构以改善系统质量的一种软件维护活动。目前,重构方案的获取与实施一般由技术人员完成。为了提高重构的自动化程度,本文提出了一种基于中间件的应用系统的在线重构方案... 详细信息

重构,是指在不改变软件应用系统外部行为的前提下,通过改变其内部结构以改善系统质量的一种软件维护活动。目前,重构方案的获取与实施一般由技术人员完成。为了提高重构的自动化程度,本文提出了一种基于中间件的应用系统的在线重构方案的自动获取与实施的方法。该方法在不中断应用系统正常运行的前提下,通过中间件自动完成重构工作。首先,用UML,建模不良模式与对应的良好模式,通过不良模式定位系统的不良结构,综合分析不良模式与良好模式得到在线重构方案。在线重构方案包括一组重构操作,根据这些操作之间的关系进行合理排序,映射为中间件的调整机制并由中间件完成重构工作。整个方法在J2EE应用服务器PKUAS中得到实现。

关键词：中间件软件应用系统软件维护在线重构方案

来源：评论

学校读者我要写书评

暂无评论

一种轻量的EJB定时器服务实现框架

一种轻量的EJB定时器服务实现框架

引用

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

作者：马秀娟曹东刚周明辉李瑞超梅宏北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京 100871

EJB定时器服务是J2EE平台中支持任务调度的标准方式。它是由容器管理的,能够在特定时间点、特定时间段之后,或者以特定的时间间隔执行企业Bean注册的超时回调方法。本文着重研究了EJB定时器服务实现框架的若干关键问题,包括如底层定时... 详细信息

EJB定时器服务是J2EE平台中支持任务调度的标准方式。它是由容器管理的,能够在特定时间点、特定时间段之后,或者以特定的时间间隔执行企业Bean注册的超时回调方法。本文着重研究了EJB定时器服务实现框架的若干关键问题,包括如底层定时机制选择、定时回调方法调用、事务性保证及同时支持EJB2.0和EJB3.0等多个规范,保持框架良构性等,并介绍了在北京大学自主开发的J2EE应用服务器PKUAS中实现的一种轻量、简便、良构的EJB定时器服务实现框架。

关键词： EJB构件定时器服务应用服务器

来源：评论

学校读者我要写书评

暂无评论

最大边染色的指数时间算法

最大边染色的指数时间算法

引用

2007全国理论计算机科学学术年会

作者：凤旺森张立昂王捍贫汤传喜陈霄北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

最近,凤旺森,张立昂,曲婉玲,王捍贫对源于无线Mesh网络中的一个新的计算问题--最大边染色问题--提出了常数比近似算法.最大边染色问题要求对图的所有边染色,满足对任一顶点v,与其相关联的所有边所染的颜色种数不超过正整数q(q≥2),求使... 详细信息

最近,凤旺森,张立昂,曲婉玲,王捍贫对源于无线Mesh网络中的一个新的计算问题--最大边染色问题--提出了常数比近似算法.最大边染色问题要求对图的所有边染色,满足对任一顶点v,与其相关联的所有边所染的颜色种数不超过正整数q(q≥2),求使用颜色种数最多的染色方案.然而,他们并没有给出该问题的任何精确算法.提出了几个指数时间的精确算法并分析了它们的复杂度.对完全图可以在多项式时间内找到精确解.

关键词：最大边染色指数时间算法完全图复杂度精确解

来源：评论

学校读者我要写书评

暂无评论

一种支持软件体系结构模型检查的可视化构件交互建模工具的设计与实现

一种支持软件体系结构模型检查的可视化构件交互建模工具的设计与...

引用

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

作者：张磊周立孙艳春梅宏北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京 100871

随着软件技术的不断发展,软件系统的复杂性、多变性不断提高,为了满足软件体系结构的正确性要求,仅有系统静态结构信息的描述方法不足以满足这种需求,因此需要在软件体系结构层次对系统行为进行建模。另一方面,为了使用户能够方便地进... 详细信息

随着软件技术的不断发展,软件系统的复杂性、多变性不断提高,为了满足软件体系结构的正确性要求,仅有系统静态结构信息的描述方法不足以满足这种需求,因此需要在软件体系结构层次对系统行为进行建模。另一方面,为了使用户能够方便地进行体系结构行为建模,同时通过模型检查方法支持自动的正确性分析与验证,需要从工具上加以支持。本文提出了体系结构层次描述系统行为及约束的构件交互模型,并基于UML顺序图给出了表示法及其语义;其次,本文设计并实现了对应的可视化工具,并集成了已有的模型检查器;最后,本文通过实例展示了该工具在软件体系结构设计与验证中的应用。

关键词：软件体系结构模型检查器构件交互可视化构件

来源：评论

学校读者我要写书评

暂无评论

一种基于关联分析的数据块检测方法

一种基于关联分析的数据块检测方法

引用

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

作者：梁劼刘辉麻志毅李戈高可信软件技术教育部重点实验室北京大学信息科学技术学院软件所北京 100871

在面向对象软件中,常常会出现一些紧密关联的数据项。这些关联数据项之间或多或少还存在一定的语义联系。它们描述的往往是同一个实体(类)的不同属性,或是同一个操作的不同参数。MartinFowler把这种关联数据项称作数据块(Data Clumps)... 详细信息

在面向对象软件中,常常会出现一些紧密关联的数据项。这些关联数据项之间或多或少还存在一定的语义联系。它们描述的往往是同一个实体(类)的不同属性,或是同一个操作的不同参数。MartinFowler把这种关联数据项称作数据块(Data Clumps)。数据块将一个整体性的描述分散开来,不利于软件的理解和维护。MartinFowler将数据块作为一种设计缺陷(Bad Smells),并建议将数据块合并为一个粒度适中的实体类。为了合并数据块,就必须首先从庞大的软件系统中找出需要合并的数据块。手工找出数据块代价高昂,且难以保证查全率。本文提出了一种基于关联分析的数据块检测方法,可以自动地从代码中找出需要合并的数据块。实验结果表明,该方法可以比较高效准确地找出需要合并的数据块。

关键词：数据块检测关联分析软件设计缺陷面向对象软件维护

来源：评论

学校读者我要写书评

暂无评论

一种高可用实时网构软件的构成成分的自动选择方法

一种高可用实时网构软件的构成成分的自动选择方法

引用

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

作者：杨瑜谢玲周立孙熙焦文品北京大学信息科学技术学院软件研究所北京 100871 高可信软件技术教育部重点实验室北京 100871

Internet环境开放、动态的本质,计算实体自身的自主性和独立性以及网络连接的不稳定性等,均对组装高可用实时网构软件提出了新的要求。本文提出了一种基于Agent的高可用实时软件系统的组装方法。该方法利用Agent封装自主计算实体,在对... 详细信息

Internet环境开放、动态的本质,计算实体自身的自主性和独立性以及网络连接的不稳定性等,均对组装高可用实时网构软件提出了新的要求。本文提出了一种基于Agent的高可用实时软件系统的组装方法。该方法利用Agent封装自主计算实体,在对计算实体可用性和响应时间未知的情况下,由Agent经过一段时间的学习,在运行一段时间后自适应地组装出可用性较高响应时间较短的软件系统。实验表明,基于该方法构建出的系统比普通情况下的组装方式具有更高的可用性和更短的响应时间,并且能够较好地根据环境的变化调整自身的行为。

关键词：网构软件可用性 Agent 网络连接

来源：评论

学校读者我要写书评

暂无评论

一种可扩展的web Services自动分类工具的设计与实现

一种可扩展的web Services自动分类工具的设计与实现

引用

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

作者：张学伟李琰堵俊平李戈谢冰北京大学信息科学技术学院软件所北京 100871 高可信软件技术教育部重点实验室北京 100871

随着Internet技术的发展,在互连网上出现了越来越多可以被利用的Web Services。为了帮助用户更好地完成对Web Services的选择,需要对Web Services进行自动分类。而现有的自动分类工具采用的均为固定的分类特征和分类算法,难以适应具有... 详细信息

随着Internet技术的发展,在互连网上出现了越来越多可以被利用的Web Services。为了帮助用户更好地完成对Web Services的选择,需要对Web Services进行自动分类。而现有的自动分类工具采用的均为固定的分类特征和分类算法,难以适应具有不同特点的数据集合,因此在分类的效果上会受到一定的影响。本文设计并实现了一种可扩展的Web Services自动分类系统,可以支持用户对分类特征以及分类算法进行有效扩展,从而对Web Services自动分类提供支持。通过分析可以证明,本文提出的自动分类工具具有较好的可扩展性。

关键词：软件复用 Web Services 自动分类技术可扩展架构

来源：评论

学校读者我要写书评

暂无评论

基于同步网的BPEL建模和验证

基于同步网的BPEL建模和验证

引用

第十一届全国Petri网理论与应用学术年会

作者：徐春香屈婉玲王捍贫黄雨袁崇义北京大学信息科学技术学院软件研究所北京 100871 教育部高可信软件技术重点实验室北京 100871

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business ProcessExecution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证... 详细信息

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business ProcessExecution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。

关键词： Web服务组合 BPEL建模验证同步网 WSL_net模型形式化模型

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共24页 << < 15 16 17 18 19 20 21 22 23 24 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：