检索结果-南通市图书馆

作者：赵榆琴云南师范大学

学位级别：硕士

尽管当前大多数的软件开发技术和开发环境都视一致性为基本假设,但在软件开发过程中试图强行维护一致性的观点已经受到质疑。在需求工程中的每一阶段试图强行维护绝对一致性不仅受到需求描述本身形式化程度的影响,而且受到维护一致性的... 详细信息

尽管当前大多数的软件开发技术和开发环境都视一致性为基本假设,但在软件开发过程中试图强行维护一致性的观点已经受到质疑。在需求工程中的每一阶段试图强行维护绝对一致性不仅受到需求描述本身形式化程度的影响,而且受到维护一致性的计算代价等方面的影响。反之,从软件开发的角度来看,不一致性可以将注意力转移到问题领域,对于不一致性的系统管理,不仅有助于识别不确定的领域,还可以促进开发人员之间的共同理解、交流和合作。特别重要的是可以引导需求获取的过程,改进过程建模以及为需求的有效性和正确性提供检验依据。关于不一致性在软件工程中的普遍性以及对于软件开发的驱动作用已经成为软件工程领域日益关注的研究主题。总的来说,在需求工程中,乃至软件开发过程中,对于不一致性的容忍已经得到一定程度的共识,并且关注的范围从对不一致性的检测逐渐扩展到容忍不一致性的推理研究。领域本体作为一种语义模型描述了特定领域中概念和概念之间的语义关系,而面向对象的需求分析方法是当前软件需求分析方法中比较流行和实用的方法。因此,本文研究了融合本体和面向对象技术的需求表示和获取方法;并对需求分析过程中出现的非规范需求(Non-canonical Requirements)进行了探讨,利用次协调逻辑的理论和方法,针对这些非规范需求建立新的分析模型。本文具体研究内容如下：1)给出需求分析中的非规范知识表示的解决方案;给出了一个非规范需求详细的分类,并对各类非规范需求进行自然语言的描述和形式化定义,使得对非规范需求有一个比较全面和清晰的理解。2)提出了非规范需求的扩展管理框架;借鉴一般意义上的非规范需求管理框架,提出一个基于领域知识、本体库和推理规则的框架,采用六个机制导出改进的需求信息,建立容忍不一致的需求分析模型。3)实现了基于7-值信任半格逻辑的融合本体和面向对象技术的需求获取方式;利用领域本体构建知识模型,并融合本体和面向对象技术提出需求获取方式,利用7-值信任半格逻辑获取非规范需求。4)给出了非规范需求的检测和处理方法;借鉴非规范知识的处理方法,结合各类非规范需求的特点,遵循容忍和改进的基本思想,给出了非规范需求的检测和解决方案。5)利用次协调逻辑的理论和方法,建立容忍不一致需求的分析模型。以领域知识为支撑,利用次协调逻辑的理论方法和面向对象的需求分析方法,建立能够容忍不一致需求存在的需求分析模型。在软件生命周期的需求、设计、编码、测试和维护等各个阶段,需求处于软件工程的开始部分,它提供了构建软件项目其余部分的根基,因而对于软件项目的成败尤为重要。随着面向对象、可视化编程和CASE等软件开发技术的发展和应用,软件设计、编码、测试等环节的技术日益成熟和稳定。而需求工程却由于没有可现成套用的方法而称为一个困难的课题。80年代中期,形成了软件工程的子领域——需求工程(requirements ***)。从社会系统层次出发,需求工程是系统工程的一个分支,它涉及到软件系统的目标,软件系统提供的服务、和对软件系统的约束;从软件系统层次出发,需求工程提供与软件系统相关的所有用户的显示世界的需要,和软件技术所能提供的能力之间的一个桥梁。人们开始从需求描述、需求获取、需求分析、需求的一致性、需求管理和需求建模等几个方面来研究需求工程,即将传统意义上的需求分析扩展为一整套需求工程的理论和方法。因此目前软件工程学科的重点和难点正逐渐转移到前期的需求阶段,通过对需求工程的研究来解决需求分析涉及到的诸多问题。以往研究需求工程的前提条件是：我们所获得的需求都是确定的、无不一致性的、精确的、甚至是不变的。但是人们逐渐意识到,在需求工程中的每一阶段试图强行维护需求的绝对一致性不仅受到需求描述本身形式化程度的影响,而且受到维护一致性的计算代价等方面的影响。需求不一致性的研究可以引导需求获取的过程,改进过程建模以及为需求的有效性和正确性提供检验依据。即是说,在需求工程中,乃至软件开发过程中,对于不一致性的容忍已经得到一定程度的共识,并且关注的范围从对不一致性的检测逐渐扩展到容忍不一致性的推理研究。因此,在需求工程中,如何看待和处理需求分析中的非规范知识(以下简称为非规范需求)成为热点和难点问题,并且随着知识工程,人工智能和需求工程的不断发展,人们越来越关注需分析中面对的非规范知识。本文借鉴非规范知识的表示和处理方法,将非规范需求视为非规范知识,主要介绍几种针对非规范知识的表示和处理方法,分析了将它们应用于非规范需求可能性和意义。其中特别介绍了次协调逻辑的理论和推理方法,从而使得它特别适合表示和推理非规范需求。本体和面向对象技术是两种知识表示的方法。它们在知识表示方面各有优缺点,本

关键词：非规范需求非规范知识不一致需求分析领域本体次协调逻辑需求分析非规范知识本体非规范需求需求工程

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于本体技术的容忍不一致需求的分析模型研究

引用

云南大学学报（自然科学版） 2009年第S1期31卷 71-74页

作者：赵榆琴周凯姜跃夏幼明大理学院数学与计算机学院云南大理671000 昆明冶金高等专科学校测绘与计算机信息学院云南昆明650033 云南财经大学高等职业技术学院云南昆明650101 云南师范大学计算机科学与信息技术学院云南昆明650092

不一致性需求在软件工程中的普遍性以及其对于软件开发的驱动作用已经成为该领域关注的研究主题.提出了改进的非规范需求管理框架和一种需求分析方法——容忍不一致需求的分析方法.该方法的主要特点是利用本体技术获取需求;对于获得的... 详细信息

不一致性需求在软件工程中的普遍性以及其对于软件开发的驱动作用已经成为该领域关注的研究主题.提出了改进的非规范需求管理框架和一种需求分析方法——容忍不一致需求的分析方法.该方法的主要特点是利用本体技术获取需求;对于获得的非规范需求,包括矛盾需求、分歧需求等不一致需求能够容忍,即采取相应的方法给予不一致性的处理;最后给出了一个基于本体的容忍不一致需求的分析模型及其5个阶段.

关键词：本体不一致需求需求分析模型

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

程序设计语言“多维”双语教学模式设计与实现

引用

软件导刊 2017年第6期16卷 222-225页

作者：赵榆琴大理大学数学与计算机学院云南大理671003

介绍了程序设计语言双语教学模式现状,分析了双语教学优势和存在的问题,提出"多维"双语教学模式。以C程序设计语言为例,对双语教学的形式、比例和内容进行了设计;经过教学实践,分析实施效果,总结了"多维"双语教学在提高教学质量,提升学... 详细信息

介绍了程序设计语言双语教学模式现状,分析了双语教学优势和存在的问题,提出"多维"双语教学模式。以C程序设计语言为例,对双语教学的形式、比例和内容进行了设计;经过教学实践,分析实施效果,总结了"多维"双语教学在提高教学质量,提升学生C语言程序设计兴趣和能力方面的积极作用。

关键词：双语教学程序设计语言教学质量

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于“MOOC+SPOC+任务驱动”程序设计教学模式研究

引用

计算机教育 2017年第8期 125-128页

作者：赵榆琴大理大学数学与计算机学院云南大理671003

为实现"教师引导,学生主导"的教学变革,提出构建基于"MOOC+SPOC+任务驱动"的程序设计教学模式,介绍该模式的4个阶段和以C语言为实例的教学模式的实践过程,分析实践结果并提出改进。

关键词： MOOC SPOC 任务驱动程序设计 C语言

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于能力训练的程序设计形成性评价研究

引用

大理大学学报 2019年第6期4卷 22-26页

作者：赵榆琴大理大学数学与计算机学院

形成性评价是一种注重学生学习过程和评价反馈的教学评价方式;在“MOOC+SPOC+任务驱动”教学模式下,结合程序设计课程的特点,设计了形成性评价方案。以C程序设计为实践课程,强调以学生为中心,以能力训练为目标,将形成性评价方案融入学... 详细信息

形成性评价是一种注重学生学习过程和评价反馈的教学评价方式;在“MOOC+SPOC+任务驱动”教学模式下,结合程序设计课程的特点,设计了形成性评价方案。以C程序设计为实践课程,强调以学生为中心,以能力训练为目标,将形成性评价方案融入学生编程技能评价中。经过实践,方案得到了学生的认可,并为教师提高教学质量提供了依据。

关键词：形成性评价程序设计教学评价编程技能

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

ODL与E/R图的比较

引用

大理学院学报（综合版） 2006年第6期5卷 1-3,13页

作者：赵榆琴黄和飞大理学院数学与计算机学院软件教研室云南大理671003

近年来面向对象的数据库建模方法是数据库方向的热点问题。本文将通过实例,主要对面向对象定义语言ODL作个讨论,将其与E/R图进行比较,最后从数据库建模方向,说明各自的特点和走向。

关键词： ODL E/R图关系数据模型对象数据模型

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

线上线下混合式程序设计类一流课程探索实践

引用

计算机教育 2022年第6期 163-169页

作者：赵榆琴杨邓奇羊海潮大理大学数学与计算机学院云南大理671003

分析线上线下混合式一流课程教学特征,从课程目标、学习成果、教学过程、教学资源、课程评价和思政创新6个方面阐述线上线下混合式程序设计类一流课程的建设方案,介绍课程建设实践过程,说明课程建设效果,总结改革中获得的经验和不足,最... 详细信息

分析线上线下混合式一流课程教学特征,从课程目标、学习成果、教学过程、教学资源、课程评价和思政创新6个方面阐述线上线下混合式程序设计类一流课程的建设方案,介绍课程建设实践过程,说明课程建设效果,总结改革中获得的经验和不足,最后从构建程序设计语言生态圈、课程应用、新形态教材和教育大数据分析方面提出未来一流课程建设的方向.

关键词：一流课程线上线下混合式程序设计 C语言

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

边缘计算环境下基于区块链的跨域认证与密钥协商协议

引用

信息安全学报 2021年第1期6卷 54-61页

作者：张金花李晓伟曾新赵榆琴段燃杨邓奇大理大学数学与计算机学院大理671000

身份认证与密钥协商是接入物联网首先要考虑的安全问题。传统的物联网身份认证是基于“云中心-终端设备”的认证架构。而随着边缘计算技术的引入,认证架构转变为“边缘设备-终端设备”的架构,传统的认证方式不再适用。此外,物联网中存... 详细信息

身份认证与密钥协商是接入物联网首先要考虑的安全问题。传统的物联网身份认证是基于“云中心-终端设备”的认证架构。而随着边缘计算技术的引入,认证架构转变为“边缘设备-终端设备”的架构,传统的认证方式不再适用。此外,物联网中存在多个通信域,不同域中的设备之间需要进行跨域间认证与密钥协商。针对以上问题,本文设计了边缘计算环境下基于区块链的跨域认证与密钥协商协议。将终端设备的证书Hash值存储在区块链上,避免了复杂的证书验证过程。基于联盟链的跨域属性使得不同域间的设备可以顺利完成认证和密钥协商。与已有的跨域认证与密钥协商协议相比,本文所提出的协议具有较高的效率,更适用于低性能的物联网设备。

关键词：物联网区块链跨域认证边缘计算

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于二叉树及不定长子树的集合子集求解回溯算法

引用

大理大学学报 2023年第6期8卷 33-37页

作者：赵秦怡赵榆琴大理大学数学与计算机学院云南大理里671003

回溯算法按深度优先在搜索树中进行搜索,搜索过程中不满足问题的约束条件则进行剪枝,适用于求解组合数较大的问题。提出基于二叉树及不定长子树的集合子集求解回溯算法,算法设计采用相容性技术,在搜索过程中不需要剪枝,可求解出所有的... 详细信息

回溯算法按深度优先在搜索树中进行搜索,搜索过程中不满足问题的约束条件则进行剪枝,适用于求解组合数较大的问题。提出基于二叉树及不定长子树的集合子集求解回溯算法,算法设计采用相容性技术,在搜索过程中不需要剪枝,可求解出所有的集合子集,算法时间复杂度较理想,算法运行效率高。基于不定长子树的集合子集求解回溯算法复杂度为O(2^(n)),问题求解规模增大时,算法效率更高。

关键词：回溯算法二叉树不定长子树

来源：

维普期刊数据库

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

求解快递车辆配装问题分支限界算法

引用

大理大学学报 2022年第12期7卷 20-24页

作者：赵秦怡赵榆琴大理大学数学与计算机学院云南大理671003

快递车辆配装问题是指车辆在各快递站点进行货物配送时将价值尽可能大的揽收货物带回配送中心。提出一种求解该问题的带限界函数分支限界算法,搜索树中待处理结点用堆结构存储,结点中存储搜索路径,用设定的搜索下界进行搜索树剪枝,实验... 详细信息

快递车辆配装问题是指车辆在各快递站点进行货物配送时将价值尽可能大的揽收货物带回配送中心。提出一种求解该问题的带限界函数分支限界算法,搜索树中待处理结点用堆结构存储,结点中存储搜索路径,用设定的搜索下界进行搜索树剪枝,实验结果验证了该算法的有效性。

关键词：快递车辆配装问题背包问题分支限界算法

来源：

维普期刊数据库博看期刊

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：