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

作者：倪世道袁兆山蔡智明合肥工业大学计算机与信息学院计算机软件新技术国家重点实验室南京大学

属性交互(作用)是通信系统开发中的难点之一,人们一直在探讨分析、检测、避免设计和运行过程中的属性交互。本文基于UCMs和LOTOS结合应用提出一种解决方法,即在软件需求分析阶段描述、确认分析通信系统的特征及其之间的相互关系,进而检... 详细信息

属性交互(作用)是通信系统开发中的难点之一,人们一直在探讨分析、检测、避免设计和运行过程中的属性交互。本文基于UCMs和LOTOS结合应用提出一种解决方法,即在软件需求分析阶段描述、确认分析通信系统的特征及其之间的相互关系,进而检测和避免发生属性交互作用。该方法吸取了UCMs和LOTOS的优点,适合通信软件系统的属性交互检测、避免。

关键词： UCMs LOTOS 属性交互用例场景

来源：评论

学校读者我要写书评

暂无评论

用于不完全信息数据库的中介逻辑演算系统MPM

用于不完全信息数据库的中介逻辑演算系统MPM

引用

第18届全国数据库学术会议

作者：毛宇光南京航空航天大学计算机系(南京) 徐洁磐刘滔周勇南京大学软件新技术国家重点实验室(南京) 南京航空航天大学计算机系(南京)

为满足不安全信息数据库的应用需求,本文提出了一种新的中介逻辑命题演算系统,证明了它是一种命题联结词含量不完全的逻辑系统,并证明了其可靠性和完备性.

关键词：不完全信息数据库中介逻辑命题演算系统可靠性

来源：评论

学校读者我要写书评

暂无评论

面向对象软件度量自动化参考模型MOOP

面向对象软件度量自动化参考模型MOOP

引用

第九届全国容错计算学术大会

作者：梅琳杜晓晨李茜徐永森南京大学计算机科学与技术系软件新技术国家重点实验室(江苏南京)

评估软件质量涉及到定性和定量两个方面.在定量的度量方面,要考虑两个问题,一是度量什么,二是如何度量.面向对象技术的新特点给软件度量提出了新的要求.本文提出了一种针对面向对象程序分析的度量自动化参考模型MOOP,该模型采用三层结构... 详细信息

评估软件质量涉及到定性和定量两个方面.在定量的度量方面,要考虑两个问题,一是度量什么,二是如何度量.面向对象技术的新特点给软件度量提出了新的要求.本文提出了一种针对面向对象程序分析的度量自动化参考模型MOOP,该模型采用三层结构:翻译层、表示层、分析层,具有可重定编译前端、中间表示与语言无关、度量集可定制等优点.基于MOOP参考模型,我们设计了一种面向对象度量自动化系统MOOP-Kit.

关键词：面向对象软件度量度量自动化参考模型软件质量

来源：评论

学校读者我要写书评

暂无评论

基于矢量邻接图的剖面域识别与重建

引用

工程图学学报 2001年第4期22卷 7-12页

作者：张习文蔡士杰欧宗瑛南京大学计算机软件新技术国家重点实验室南京210093 大连理工大学机械工程学院CAD&CG研究所大连116024

在矢量化后识别剖面域是进行图形语义理解的一个重要部分。本文先对扫描工程图样进行基于单义域邻接图的矢量化。然后基于矢量邻接图以剖面线段为特征图元,根据剖面线构成语法规则,搜索属于同一剖面域的所有剖面线段,并根据剖面线提取... 详细信息

在矢量化后识别剖面域是进行图形语义理解的一个重要部分。本文先对扫描工程图样进行基于单义域邻接图的矢量化。然后基于矢量邻接图以剖面线段为特征图元,根据剖面线构成语法规则,搜索属于同一剖面域的所有剖面线段,并根据剖面线提取包围图元(包括内环和外环),进而求取轮廓线,重新绘制剖面线,同时删除已经提取的剖面线段。文中对多种剖面域模式进行了识别。

关键词：剖面域单义域邻接图矢量邻接图扫描工程图机械图图形重建图像识别

来源：评论

学校读者我要写书评

暂无评论

一种从面向对象Z规约到代码的精化演算方法

引用

软件学报 2000年第8期11卷 1041-1046页

作者：王云峰庞军查鸣杨朝晖郑国梁南京大学计算机软件新技术国家重点实验室

COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不... 详细信息

COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不足 ,同时也消除了规约与实现之间在结构和表示方法上的完全分离 ,使程序开发在一个完整的框架下平滑进行 .该文提出了基于 COOZ和精化演算的软件开发模型 ,通过实例讨论了数据精化和操作精化问题 .在精化演算实现技术方面构造了一种数据精化算子 ,提出一种基于数据精化演算和程序窗口推理的数据精化的方法 .

关键词：形式化开发方法精化演算面向对象代码

来源：评论

学校读者我要写书评

暂无评论

面向对象Z的子类型继承和推理规则

引用

软件学报 2000年第4期11卷 481-487页

作者：王云峰 *** 李必信郑国梁南京大学计算机软件新技术国家重点实验室

讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所... 详细信息

讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所讨论的子类型化方法与 ***等人的方法相比 ,具有可构造性 ,并且比L

关键词：面向对象继承子类型软件开发方法推理规则

来源：评论

学校读者我要写书评

暂无评论

一种移动agent结构化迁移机制的设计和实现

引用

软件学报 2000年第7期11卷 918-923页

作者：陶先平 *** 吕建张冠群李新董桓南京大学计算机软件新技术国家重点实验室

移动 agent计算模式将成为未来网络计算的主流模式 .移动 agent的迁移机制是其技术核心之一 .该文分析了现有移动 agent系统中采用的几种代表性迁移技术 ,提出了一种新的结构化迁移机制 .该机制的主要特点如下 :( 1) agent的旅行计划和... 详细信息

移动 agent计算模式将成为未来网络计算的主流模式 .移动 agent的迁移机制是其技术核心之一 .该文分析了现有移动 agent系统中采用的几种代表性迁移技术 ,提出了一种新的结构化迁移机制 .该机制的主要特点如下 :( 1) agent的旅行计划和功能体完全分离 ;( 2 )旅行计划本身也具有严格定义的结构 ;( 3)提供了 3种灵活有力的迁移模式 .因此 ,它能有效地控制移动 agent的复杂度 ,有利于 agent的复用 .在该机制的基础上 ,设计并实现了移动 agent系统 Mogent1.

关键词：移动agent 迁移结构化信息处理人工智能

来源：评论

学校读者我要写书评

暂无评论

网上IP劫持攻击的研究

引用

软件学报 2000年第4期11卷 515-519页

作者：赵欣 *** 陈道蓄谢立南京大学计算机软件新技术国家重点实验室

当前 ,网上出现了一种基于 TCP的主动攻击 ,称为 IP劫持 .这种攻击不同于以往的基于网络侦听的被动式网络攻击 ,它能绕过系统口令和 S/ KEY口令保护的防御 ,将网络连接完全接管 ,对网络安全造成了重大威胁 .该文分析了这种攻击的实施原... 详细信息

当前 ,网上出现了一种基于 TCP的主动攻击 ,称为 IP劫持 .这种攻击不同于以往的基于网络侦听的被动式网络攻击 ,它能绕过系统口令和 S/ KEY口令保护的防御 ,将网络连接完全接管 ,对网络安全造成了重大威胁 .该文分析了这种攻击的实施原理。

关键词： IP劫持网络监视器 Internet网网络安全

来源：评论

学校读者我要写书评

暂无评论

基于事件约束的分布式程序正确性测试

引用

软件学报 2000年第8期11卷 1035-1040页

作者：顾庆陈道蓄于勐谢立孙钟秀南京大学计算机软件新技术国家重点实验室南京210093

由于并发的存在和不确定性 ,在以规约为基础来测试分布式程序的正确性时 ,必须考虑程序执行时的内部状态 .这些内部状态通过端口显示为事件序列 ,程序规约需要对序列中各事件间的依赖关系作约定 ,即定义事件约束集 .该文提出了 E- CSPE(... 详细信息

由于并发的存在和不确定性 ,在以规约为基础来测试分布式程序的正确性时 ,必须考虑程序执行时的内部状态 .这些内部状态通过端口显示为事件序列 ,程序规约需要对序列中各事件间的依赖关系作约定 ,即定义事件约束集 .该文提出了 E- CSPE(extended- constraints on succeeding and preceding events) ,以形式化描述这类事件约束 ,它由 3个基本描述规则组成 ,分别对应于 3种不同类型的事件约束 .通过判断程序执行时所产生的事件序列集同这些事件约束集的一致性以及对约束集覆盖程度可以检测被测程序的正确性 .

关键词：分布式程序测试自动机模型事件约束

来源：评论

学校读者我要写书评

暂无评论

基于域理论的自适应谐振神经网络分类器

引用

软件学报 2000年第5期11卷 667-672页

作者：周志华陈兆乾 *** 陈世福南京大学计算机软件新技术国家重点实验室南京210093

提出了一种基于域理论的自适应谐振神经网络模型 FTART2 ( field theory based adaptive resonancetheory 2 ) .该模型结合了自适应谐振理论和域理论的优点 ,学习速度快 ,归纳能力强 ,效率高 ,可以根据输入样本自适应地调整拓扑结构 ,... 详细信息

提出了一种基于域理论的自适应谐振神经网络模型 FTART2 ( field theory based adaptive resonancetheory 2 ) .该模型结合了自适应谐振理论和域理论的优点 ,学习速度快 ,归纳能力强 ,效率高 ,可以根据输入样本自适应地调整拓扑结构 ,克服了前馈型网络需要人为设置隐层神经元的缺点 .基准测试表明 ,FTART2在学习精度和速度上都远远优于标准

关键词：神经网络机器学习自适应谐振域理论分类器

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：