咨询与建议

限定检索结果

文献类型

  • 116 篇 期刊文献
  • 17 篇 会议
  • 1 件 标准

馆藏范围

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

日期分布

学科分类号

  • 127 篇 工学
    • 97 篇 计算机科学与技术...
    • 81 篇 软件工程
    • 20 篇 控制科学与工程
    • 12 篇 仪器科学与技术
    • 9 篇 机械工程
    • 8 篇 网络空间安全
    • 6 篇 信息与通信工程
    • 3 篇 电子科学与技术(可...
    • 2 篇 建筑学
    • 2 篇 土木工程
    • 2 篇 水利工程
    • 2 篇 船舶与海洋工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 航空宇航科学与技...
    • 1 篇 兵器科学与技术
    • 1 篇 公安技术
  • 25 篇 管理学
    • 23 篇 管理科学与工程(可...
    • 1 篇 公共管理
    • 1 篇 图书情报与档案管...
  • 6 篇 艺术学
    • 6 篇 设计学(可授艺术学...
  • 4 篇 医学
    • 2 篇 临床医学
    • 1 篇 公共卫生与预防医...
    • 1 篇 医学技术(可授医学...
  • 3 篇 理学
    • 2 篇 数学
    • 1 篇 系统科学
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 9 篇 软件测试
  • 8 篇 组合测试
  • 6 篇 机器学习
  • 5 篇 深度学习
  • 4 篇 软件重构
  • 4 篇 软件工程
  • 3 篇 检索增强生成
  • 3 篇 覆盖表
  • 3 篇 大语言模型
  • 3 篇 面向对象
  • 3 篇 测试用例生成
  • 3 篇 数字水印
  • 3 篇 路由协议
  • 3 篇 软件再工程
  • 3 篇 障碍空间
  • 3 篇 粒子群优化
  • 3 篇 web
  • 3 篇 四元数
  • 3 篇 web应用
  • 2 篇 知识图谱

机构

  • 113 篇 东南大学
  • 54 篇 南京大学
  • 24 篇 武汉大学
  • 15 篇 计算机软件新技术...
  • 13 篇 南京航空航天大学
  • 12 篇 南京信息工程大学
  • 10 篇 南京邮电大学
  • 8 篇 东北大学
  • 6 篇 计算机网络和信息...
  • 5 篇 江苏省软件质量研...
  • 4 篇 天津工业大学
  • 4 篇 厦门东南融通系统...
  • 4 篇 扬州大学
  • 3 篇 微软中国研发集团
  • 3 篇 南京工程学院
  • 3 篇 新一代人工智能技...
  • 3 篇 苏州大学
  • 3 篇 南京理工大学
  • 3 篇 医学影像计算教育...
  • 2 篇 国防科学技术大学

作者

  • 41 篇 徐宝文
  • 11 篇 许蕾
  • 9 篇 张德平
  • 8 篇 聂长海
  • 8 篇 史亮
  • 8 篇 张志政
  • 7 篇 陈北京
  • 7 篇 陈林
  • 6 篇 邢汉承
  • 5 篇 倪庆剑
  • 5 篇 孙小兵
  • 5 篇 高晓
  • 5 篇 蔡士杰
  • 5 篇 王蓁蓁
  • 5 篇 于戈
  • 5 篇 李必信
  • 5 篇 舒华忠
  • 5 篇 张毅锋
  • 5 篇 周天琳
  • 4 篇 周毓明

语言

  • 134 篇 中文
检索条件"机构=东南大学计算机软件与理论实验室"
134 条 记 录,以下是71-80 订阅
排序:
采用动作时序逻辑的Web服务组合方法
收藏 引用
计算机科学与探索 2011年 第3期5卷 208-220页
作者: 周宁 刘慧 王红兵 谢俊元 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093 东南大学计算机科学与工程学院 南京210096
基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范... 详细信息
来源: 评论
基于公平性的多银行电子现金
收藏 引用
计算机应用与软件 2011年 第10期28卷 195-197,263页
作者: 孟祥文 赵葆华 杭州电子科技大学计算机软件与理论研究所网络信息安全实验室 浙江杭州310018 杭州电子科技大学计算机学院 浙江杭州310018
随着电子商务的发展,电子支付系统逐渐发展起来。而现有多数的电子现金不能在多家金融机构中流通,并且电子现金的数额在发放时就被固定了,交易时只能在本系统中使用。利用椭圆曲线密钥机制,基于Song-Korba的电子现金框架基础,提出一种... 详细信息
来源: 评论
Coverage criteria and test requirement reduction for component-based web application
收藏 引用
Journal of Southeast University(English Edition) 2010年 第1期26卷 36-42页
作者: 顾静娴 许蕾 徐宝文 东南大学计算机科学与工程学院 南京210096 南京大学计算机软件新技术国家重点实验室 南京210093
In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy... 详细信息
来源: 评论
一种新的布尔规格测试用例生成算法
收藏 引用
东南大学学报(自然科学版) 2010年 第2期40卷 291-295页
作者: 李磊芳 徐宝文 陈振宇 章晓芳 董国伟 东南大学计算机科学与工程学院 南京210096 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093 苏州大学计算机科学与技术学院 苏州215006
为提高布尔规格测试用例生成的效率,对常用的循环赋值方法进行了改进,将检测条件转换为类似合取范式(CNF)的表达式并对各子表达式进行了循环赋值.针对布尔表达式中文字否定错误(LNF)及文字引用错误(LRF)等2种类型的变异,该方法从语法树... 详细信息
来源: 评论
基于形态分析识别设计模式中的集中管理式聚集
收藏 引用
软件学报 2010年 第11期21卷 2725-2737页
作者: 周晓宇 钱巨 陈林 徐宝文 东南大学计算机科学与工程学院 江苏南京211189 上海市计算机软件评测重点实验室 上海201112 南京航空航天大学信息科学与技术学院 江苏南京210016 南京大学计算机科学与技术系 江苏南京210093 南京大学计算机软件新技术国家重点实验室 江苏南京210093
针对常见的利用指针或引用的聚集实现方式,提出一种基于形态分析的一对多聚集关系的自动识别方法.首先,扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征.然后,给出基于控制流上链表形态结构的变化识别聚集管理行为... 详细信息
来源: 评论
一种障碍空间中不确定对象的连续最近邻查询方法
收藏 引用
计算机学报 2010年 第8期33卷 1359-1368页
作者: 李传文 谷峪 李芳芳 于戈 东北大学信息科学与工程学院计算机软件与理论研究所 沈阳110004 医学影像计算教育部重点实验室(东北大学) 沈阳110004
近年来,基于位置的服务获得了越来越广泛的关注,其中最近邻查询是最常用的一种查询方式.测量手段的不准确性以及数据本身的性质导致不确定性在位置数据中普遍存在,这种不确定性会对最近邻查询结果产生影响.空间中障碍物的存在也给空间... 详细信息
来源: 评论
组合测试数据生成的交叉熵与粒子群算法及比较
收藏 引用
计算机学报 2010年 第10期33卷 1896-1908页
作者: 查日军 张德平 聂长海 徐宝文 东南大学计算机科学与工程学院 南京210096 南京大学软件新技术国家重点实验室 南京210093 南京航空航天大学信息科学与技术学院 南京210016 南京大学计算机科学与技术系 南京210093
测试数据生成是组合测试的一个关键问题.文中提出以数理统计为基础的交叉熵方法和以仿生学为基础的粒子群优化算法来生成两两组合测试数据,交叉熵方法采用最优选择概率产生测试数据,而粒子群算法则在可行解空间中搜索具有最优适应值的... 详细信息
来源: 评论
一种障碍空间中不确定对象的连续最近邻查询方法
一种障碍空间中不确定对象的连续最近邻查询方法
收藏 引用
NDBC2010第27届中国数据库学术会议
作者: 李传文 谷峪 李芳芳 于戈 东北大学信息科学与工程学院计算机软件与理论研究所 医学影像计算教育部重点实验室(东北大学)
近年来,基于位置的服务获得了越来越广泛的关注,其中最近邻查询是最常用的一种查询方式.测量手段的不准确性以及数据本身的性质导致不确定性在位置数据中普遍存在,这种不确定性会对最近邻查询结果产生影响.空间中障碍物的存在也给空间... 详细信息
来源: 评论
一种障碍空间中不确定对象的连续最近邻查询方法
一种障碍空间中不确定对象的连续最近邻查询方法
收藏 引用
第27届中国数据库学术会议
作者: 李传文 谷峪 李芳芳 于戈 东北大学信息科学与工程学院计算机软件与理论研究所 沈阳110004 医学影像计算教育部重点实验室(东北大学) 沈阳110004
近年来,基于位置的服务获得了越来越广泛的关注,其中最近邻查询是最常用的一种查询方式。测量手段的不准确性以及数据本身的性质导致不确定性在位置数据中普遍存在,这种不确定性会对最近邻查询结果产生影响。空间中障碍物的存在也给空... 详细信息
来源: 评论
一种基于可变多簇结构的动态概率粒子群优化算法
收藏 引用
软件学报 2009年 第2期20卷 339-349页
作者: 倪庆剑 张志政 王蓁蓁 邢汉承 东南大学计算机科学与工程学院 江苏南京210096 南京大学计算机软件新技术国家重点实验室 江苏南京210093
针对传统粒子群优化算法中全连接型拓扑和环形拓扑的特点,引入了一种粒子群信息共享方式——多簇结构,进而基于多簇结构提出了动态可变拓扑策略以协调动态概率粒子群优化算法的勘探和开采能力,并从理论上分析了最优信息在各种拓扑中的传... 详细信息
来源: 评论