基于Windows NT局域网高校计算机等级考试系统关键技术的实现 被引量：4

1

作者 蔡民强 《计算机应用研究》 CSCD 北大核心 2003年第8期108-111,共4页

介绍了基于WindowsNTServer局域网浙江省高校计算机等级考试系统的关键技术,其中利用DHCP,DNS,Web,FTP以及登录脚本的广播式安装技术实现系统的安装和考试。

关键词 DHCP DNS IIS Web FTP 登录脚本

在线阅读 下载PDF 职称材料

基于GIS的土地信息系统的设计与实现 被引量：12

2

作者 蒋云良 《计算机工程与应用》 CSCD 北大核心 2000年第11期164-166,共3页

土地信息系统是面向土地管理的地理信息系统,是由土地相关信息组成的数据库以及收集、描述、处理和分配这些数据的技术方法组成.文中介绍了一个土地信息系统的组成,并着重讨论了系统的技术要点及实现方法.

关键词 地理信息系统 土地信息系统 土地管理 设计 GIS

在线阅读 下载PDF 职称材料

城市地下管线管理信息系统 被引量：5

3

作者 蒋云良 《计算机应用》 CSCD 2000年第2期65-66,共2页

基于ＧＥＮＡＭＡＰ的开发实现了一个城市地下管线管理信息系统的计算机化。讨论了系统的结构、功能和特点。

关键词 地下管线 管理信息系统 城市规划 GIS

在线阅读 下载PDF 职称材料

基于GIS的时域地籍信息系统的设计 被引量：4

4

作者 蒋云良 《计算机工程》 EI CAS CSCD 北大核心 2000年第3期24-25,共2页

在采纳了其它地籍信息系统的一些成功经验并加以修改和应用的基础上，定义了一种存储地籍信息数据的时空数据结构，较好地解决了地籍管理中的大量的历史数据问题。着重介绍了一个基于这种时空数据结构的时域地籍信息系统的系统结构、组... 在采纳了其它地籍信息系统的一些成功经验并加以修改和应用的基础上，定义了一种存储地籍信息数据的时空数据结构，较好地解决了地籍管理中的大量的历史数据问题。着重介绍了一个基于这种时空数据结构的时域地籍信息系统的系统结构、组织及功能。 展开更多

关键词 地籍信息系统 时空数据结构 GIS 地籍管理

在线阅读 下载PDF 职称材料

智能Agent与多Agent系统的研究 被引量：38

5

作者 蒋云良 徐从富 《计算机应用研究》 CSCD 北大核心 2003年第4期31-34,共4页

智能Agent及多Agent系统自20世纪80年代起一直是分布式人工智能研究的热点。对Agent理论、语言、结构以及多Agent系统结构等问题进行了研究,并对Agent与对象(Object)、过程控制系统、软件"精灵"以及多Agent系统与分布式问题... 智能Agent及多Agent系统自20世纪80年代起一直是分布式人工智能研究的热点。对Agent理论、语言、结构以及多Agent系统结构等问题进行了研究,并对Agent与对象(Object)、过程控制系统、软件"精灵"以及多Agent系统与分布式问题求解的区别进行了分析。 展开更多

关键词 智能Agent系统 多AGENT系统 区别

在线阅读 下载PDF 职称材料

基于可达关系的安全协议保密性分析 被引量：4

6

作者 顾永跟 傅育熙 朱涵 《计算机学报》 EI CSCD 北大核心 2007年第2期255-261,共7页

借助形式化的方法或工具分析安全协议是非常必要而且行之有效的.进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为.作者以进程演算为基础,嵌入消息推理系统以弥补进程演算固有的缺乏数据结构支... 借助形式化的方法或工具分析安全协议是非常必要而且行之有效的.进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为.作者以进程演算为基础,嵌入消息推理系统以弥补进程演算固有的缺乏数据结构支持的特点,尝试地提出了一个基于可达关系的安全协议保密性分析模型.基于此模型,形式化地描述了安全协议的保密性,证明了一定限制条件下的可判定性.并且以TMN协议为例,给出了该模型的实例研究. 展开更多

关键词 安全协议 可达关系 进程演算 消息推理

在线阅读 下载PDF 职称材料

软件可靠性预测中不同核函数的预测能力评估 被引量：23

7

作者 楼俊钢 蒋云良 +1 位作者 申情 江建慧 《计算机学报》 EI CSCD 北大核心 2013年第6期1303-1311,共9页

基于核函数回归估计理论的软件可靠性预测建模引起诸多研究者的兴趣.此类研究中,核函数选择问题尤为重要.然而目前还很少有针对所给软件失效数据进行核函数选择或者构建核函数的工作.在14个常用软件失效数据集上应用配对t-检验对基于核... 基于核函数回归估计理论的软件可靠性预测建模引起诸多研究者的兴趣.此类研究中,核函数选择问题尤为重要.然而目前还很少有针对所给软件失效数据进行核函数选择或者构建核函数的工作.在14个常用软件失效数据集上应用配对t-检验对基于核函数理论的软件可靠性预测模型中核函数选择问题进行研究.使用的核函数回归估计方法包括核主成分回归算法、核偏最小二乘回归算法、支持向量回归算法、相关向量回归算法;核函数包括高斯核函数、线性核函数、多项式核函数、柯西核函数、拉普拉斯核函数、对称三角核函数、双曲正割核函数、平方正弦基核函数.实验结果表明:不同类型的核函数在不同数据集上表现差异较大,高斯核函数在所有数据集上表现较为稳定,预测结果最好. 展开更多

关键词 核函数回归算法 软件可靠性模型 核函数 配对t-检验 预测性能

在线阅读 下载PDF 职称材料

软件可靠性预测的相关向量机模型 被引量：7

8

作者 楼俊钢 江建慧 +1 位作者 沈张果 蒋云良 《计算机研究与发展》 EI CSCD 北大核心 2013年第7期1542-1550,共9页

相关向量机是一种解决回归问题非常有效的方法,针对软件失效时间及其之前的m个失效时间数据使用相关向量机进行学习,以建立失效时间之间内在的依赖关系,由此构建新的基于相关向量机的软件可靠性预测模型.在4个数据集上的实验结果表明,... 相关向量机是一种解决回归问题非常有效的方法,针对软件失效时间及其之前的m个失效时间数据使用相关向量机进行学习,以建立失效时间之间内在的依赖关系,由此构建新的基于相关向量机的软件可靠性预测模型.在4个数据集上的实验结果表明,新模型在预测能力上较之广泛使用的基于支持向量机或人工神经网络的软件可靠性预测模型有明显的提高,同时也表明现时失效数据的预测能力比很久之前观测的失效数据更强,最后通过实验对合理的m值及不同数据集上核函数参数取值进行研究. 展开更多

关键词 软件可靠性预测 相关向量机 支持向量机 人工神经网络 稀疏贝叶斯模型

在线阅读 下载PDF 职称材料

基于类pi演算的电子支付协议安全性形式化研究 被引量：2

9

作者 顾永跟 李国强 王国钧 《计算机应用研究》 CSCD 北大核心 2006年第3期22-24,共3页

设计一个满足安全需求的协议非常困难,并且极易出错,因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类pi演算来验证电子支付协议的认证性和匿名性。

关键词 类pi演算 电子支付协议 认证性 匿名性

在线阅读 下载PDF 职称材料

基于TCP/IP路由技术的网络拓扑图自动搜索实现 被引量：2

10

作者 顾永跟 蒋云良 《计算机应用研究》 CSCD 北大核心 2001年第1期85-86,共2页

提出了基于TCP/IP路由技术实现网络拓扑图自动搜索的方法。即在实现访问管理信息库MIB中的路由表基础上，采用广度优先搜索算法实现网络拓扑图的遍历；解决了同一路由设备捆绑多个IP地址的判定问题；并以发现FDDI环为例论述了如何区别... 提出了基于TCP/IP路由技术实现网络拓扑图自动搜索的方法。即在实现访问管理信息库MIB中的路由表基础上，采用广度优先搜索算法实现网络拓扑图的遍历；解决了同一路由设备捆绑多个IP地址的判定问题；并以发现FDDI环为例论述了如何区别不同网络互连方式。 展开更多

关键词 计算机网络 网络拓扑图 自动搜索 TCP/IP协议 路由器

在线阅读 下载PDF 职称材料

模型在土地利用总体规划中的应用研究 被引量：6

11

作者 蒋云良 《计算机工程与设计》 CSCD 北大核心 2000年第5期53-57,共5页

利用系统工程理论、方法结合现代计算机技术进行土地利用总体规划。通过建立综合预测模型、线性规划模型、模糊综合评价模型、模糊识别模型、模糊聚类模型等模型进行土地利用总体规划工作，并且取得了较为满意的结果。研究中采纳了前人... 利用系统工程理论、方法结合现代计算机技术进行土地利用总体规划。通过建立综合预测模型、线性规划模型、模糊综合评价模型、模糊识别模型、模糊聚类模型等模型进行土地利用总体规划工作，并且取得了较为满意的结果。研究中采纳了前人的一些成功经验并加以修改和应用。文中着重介绍了模型在土地利用总体规划中的应用。 展开更多

关键词 土地利用 总体规则 模型 系统工程

在线阅读 下载PDF 职称材料

一种语义网络情报分析模型的研究和应用 被引量：1

12

作者 顾永跟 朱玉堦 《计算机应用与软件》 CSCD 2000年第9期51-55,共5页

本文给出了一种特殊的语义网络情报分析数学模型,基于此模型完成了计算机软件的设计和实现。

关键词 语义网络 情报分析 数学模型 计算机

在线阅读 下载PDF 职称材料

基于域策略形成算法的研究与实现

13

作者 顾永跟 田小鹏 《计算机工程与科学》 CSCD 2002年第1期63-65,69,共4页

本文在深入分析域、策略的基础上 ,提出了基于域为单位的策略形成算法 。

关键词 网络管理 域策略形成算法 计算机网络 研究

在线阅读 下载PDF 职称材料

基于GSPM的安全协议新鲜性分析 被引量：1

14

作者 周璐 顾永跟 《计算机应用研究》 CSCD 北大核心 2007年第11期143-145,共3页

安全协议形式化分析方法通过规范描述和数学推理来检验安全协议是否满足各种安全要求。GSPM是安全协议形式化分析的一般模型。在该模型中加入新鲜性的定义,形式化描述了新鲜性这一特殊的安全性质,扩展了GSPM的适用范围,并通过Andrew Sec... 安全协议形式化分析方法通过规范描述和数学推理来检验安全协议是否满足各种安全要求。GSPM是安全协议形式化分析的一般模型。在该模型中加入新鲜性的定义,形式化描述了新鲜性这一特殊的安全性质,扩展了GSPM的适用范围,并通过Andrew Secure RPC协议给出了形式化分析新鲜性的实例研究。 展开更多

关键词 安全协议 新鲜性 一般安全协议模型

在线阅读 下载PDF 职称材料