咨询与建议

限定检索结果

文献类型

  • 104 篇 期刊文献
  • 12 篇 会议

馆藏范围

  • 116 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 106 篇 工学
    • 88 篇 计算机科学与技术...
    • 70 篇 软件工程
    • 8 篇 网络空间安全
    • 6 篇 仪器科学与技术
    • 5 篇 控制科学与工程
    • 3 篇 机械工程
    • 2 篇 信息与通信工程
    • 2 篇 建筑学
    • 2 篇 土木工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 测绘科学与技术
  • 16 篇 管理学
    • 15 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 9 篇 医学
    • 7 篇 中医学
    • 1 篇 临床医学
    • 1 篇 中西医结合
    • 1 篇 中药学(可授医学、...
  • 3 篇 理学
    • 2 篇 系统科学
    • 1 篇 地球物理学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 艺术学
    • 1 篇 设计学(可授艺术学...

主题

  • 5 篇 数据挖掘
  • 5 篇 移动agent
  • 5 篇 internet
  • 4 篇 动态演化
  • 4 篇 开放环境
  • 4 篇 信任管理
  • 4 篇 软件工程
  • 3 篇 程序设计
  • 3 篇 形式化方法
  • 3 篇 关联规则
  • 3 篇 面向对象
  • 3 篇 过程支持系统
  • 3 篇 网络安全
  • 3 篇 模型检验
  • 3 篇 软件开发
  • 3 篇 软件体系结构
  • 2 篇 属性图文法
  • 2 篇 网络教学
  • 2 篇 软件系统
  • 2 篇 协同推荐

机构

  • 93 篇 南京大学
  • 25 篇 计算机软件新技术...
  • 9 篇 南京中医药大学
  • 9 篇 南京邮电大学
  • 6 篇 解放军理工大学
  • 4 篇 海军海防工程研究...
  • 3 篇 宁波大学
  • 3 篇 南京师范大学
  • 3 篇 北京大学
  • 3 篇 中国科学院软件研...
  • 2 篇 北京控制工程研究...
  • 2 篇 中国科学院软件研...
  • 2 篇 国防科技大学
  • 2 篇 国家环境保护总局...
  • 2 篇 西北工业大学
  • 2 篇 上海交通大学
  • 2 篇 中国空间技术研究...
  • 2 篇 苏州大学
  • 2 篇 南京航空航天大学
  • 2 篇 扬州大学

作者

  • 35 篇 吕建
  • 14 篇 陶先平
  • 11 篇 马晓星
  • 10 篇 徐锋
  • 9 篇 范欣生
  • 7 篇 曹春
  • 6 篇 胡昊
  • 5 篇 李决龙
  • 5 篇 潘金贵
  • 5 篇 邢建春
  • 5 篇 杨启亮
  • 4 篇 孙知信
  • 4 篇 李宣东
  • 4 篇 陶静
  • 4 篇 王崇骏
  • 4 篇 王崇峻
  • 3 篇 邢阳
  • 3 篇 袁春风
  • 3 篇 张福炎
  • 3 篇 李斌

语言

  • 116 篇 中文
检索条件"机构=南京大学计算机软件研究所/软件新技术国家重点实验室,江苏南京210093"
116 条 记 录,以下是21-30 订阅
排序:
一种基于动态语境组装的分布式构件框架的设计与实现
收藏 引用
电子学报 2009年 第B04期37卷 57-64页
作者: 谢德平 邢阳 马晓星 曹春 吕建 南京大学计算机软件新技术国家重点实验室 南京大学计算机软件研究所江苏南京210093
提出一种新的分布式构件框架ACF,在传统的以共享协同信息为主的语境机制基础上,引入了共享协同对象的动态语境机制,直接支持基于运行时软件体系结构的协同逻辑的表达和动态演化.该构件框架已在集成开发环境ArtemisStudio中得到初步实现... 详细信息
来源: 评论
软件体系结构的属性图文法描述及其约束验证
收藏 引用
计算机应用研究 2007年 第3期24卷 163-168页
作者: 石兵 冉平 马晓星 陶先平 吕建 南京大学计算机软件研究所计算机软件新技术国家重点实验室 江苏南京210093
在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束。在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并... 详细信息
来源: 评论
基于局部熵的高度场三角格网化研究
收藏 引用
电子学报 2002年 第7期30卷 1009-1012页
作者: 明德烈 尤克非 田金文 柳健 南京大学计算机软件新技术国家重点实验室 江苏南京210093 华中科技大学图像所
不规则三角格网表示以其优越的性能在地形高度场数据的简化中得到了广泛的应用 .在不规则三角格网生成的过程中 ,插入点的选取是关系到最终简化后的地形逼近质量好坏的关键 .由于我们通常对原始格网上的每一个点给出一个重要性度量 ,并... 详细信息
来源: 评论
一种基于运行时体系结构的BPEL支撑环境
收藏 引用
电子学报 2006年 第B12期34卷 2360-2365页
作者: 马骞 虞建杰 马晓星 吕建 南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所 江苏南京210093
为了使BPEL描述的组合服务能够根据动态的网络环境和多变的用户需求而动态演化,在我们已有工作的基础上,提出一种基于运行时体系结构的BPEL支撑环境.其核心在于引入一个运行时体系结构对象来刻画组合服务的体系结构,并用其解耦组合服务... 详细信息
来源: 评论
CMM过程支持系统中对过程改变多策略支持的研究
收藏 引用
电子学报 2003年 第z1期31卷 2087-2090页
作者: 胡昊 林向宇 杨玫 吕建 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机软件研究所 江苏南京210093
企业在实施CMM时 ,过程改进这样的宏观目标是通过从微观上成功地完成项目来实现的 .因此 ,自动实施CMM的过程支持系统应该具有灵活的支持过程动态改变的能力 ,以利于适应多变的项目环境 ,而过程改变的情况比较复杂 ,单一策略的采用既增... 详细信息
来源: 评论
构件化软件服务及其在Artemis-ARC系统中的应用
收藏 引用
计算机应用研究 2007年 第3期24卷 169-172页
作者: 陆闻天 余萍 马晓星 陶先平 吕建 南京大学计算机软件研究所计算机软件新技术国家重点实验室 江苏南京210093
在Web服务的基础上提出一种构件化服务方法。它显式化地描述了服务间的依赖关系,并保证了统一的功能抽象和良好的复用性。对构件化服务的描述、搜索、集成等关键技术进行了讨论;在基于Axis和JBoss基础平台以及Eclipse公用环境的Atremis-... 详细信息
来源: 评论
P2P安全重叠网络模型研究
收藏 引用
通信学报 2009年 第5期30卷 99-104页
作者: 孙知信 张震伟 宫婧 南京邮电大学计算机技术研究所 江苏南京210003 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京邮电大学数理学院 江苏南京210003
针对P2P软件开发中的安全性问题及信任机制使用等问题,提出了一种P2P安全重叠网络数学模型。作为模型的核心部分,重叠网络被划分为4层:数据确认层、数据采集层、信任评估层和路由层。数据确认层执行对不可信数据的过滤,数据采集层对逻... 详细信息
来源: 评论
Arts:一个基于角色的信任管理系统
收藏 引用
武汉大学学报(理学版) 2004年 第A1期50卷 57-61页
作者: 王远 徐锋 吕建 南京大学计算机软件研究所/软件新技术国家重点实验室,江苏南京210093
开放协同软件环境下软件系统的安全问题极大的影响了软件系统的开发与应用.信任管理是解决开放协同环境下软件系统安全问题的新新方法.信任管理系统为开放协同环境下的软件系统提供安全服务.本文将传统的基于角色的访问控制模型与信... 详细信息
来源: 评论
移动agent系统基准模型的研究
收藏 引用
电子学报 2002年 第12A期30卷 2119-2121页
作者: 陶先平 吕建 马晓星 胡昊 南京大学计算机软件新技术国家重点实验室 南京大学软件研究所江苏南京210093
基于Internet的移动agent技术已经成为网络计算研究热点之一.针对目前移动agent研究中缺乏良好的移动agent环境基准模型的现状,本文给出了一个基于Internet的移动agent环境的基准模型ND—MATRM,该模型阐述了移动agent技术及其系统中涉... 详细信息
来源: 评论
中断驱动系统模型检验?
收藏 引用
软件学报 2015年 第9期26卷 2212-2230页
作者: 周筱羽 顾斌 赵建华 杨孟飞 李宣东 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院 江苏南京210093 西北工业大学计算机学院 陕西西安710072 南京大学计算机科学与技术系 江苏南京210023 中国空间技术研究院 北京100094
针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统... 详细信息
来源: 评论