检索结果-南通市图书馆

一种基于逻辑约束的软件设计过程验证方法及其工程实践

在线全文

学校读者我要写书评

暂无评论

西南师范大学学报（自然科学版） 2007年第4期32卷 82-86页

作者：何俊梅邹显春西南大学计算机与信息科学学院重庆400715

如何在软件设计过程中对软件需求加以正确描述和验证一直是软件开发过程中困扰开发者的重要问题之一.在传统UML面向对象的分析与设计方法的基础上,提出一种利用RSL对系统进行逻辑约束,在开发设计过程中不断进行系统逻辑规约验证的有效... 详细信息

如何在软件设计过程中对软件需求加以正确描述和验证一直是软件开发过程中困扰开发者的重要问题之一.在传统UML面向对象的分析与设计方法的基础上,提出一种利用RSL对系统进行逻辑约束,在开发设计过程中不断进行系统逻辑规约验证的有效反方法.该方法提高了系统的稳定性与可靠性.我们还将该方法用于开发了一个教学管理系统以验证该方法的系统设计能力.

关键词：统一建模语言逻辑约束教学管理平台 RAISE规范语言

在线全文

学校读者我要写书评

暂无评论

基于逻辑约束的肺结节检测方法研究

基于逻辑约束的肺结节检测方法研究

作者：严睿平西安理工大学

学位级别：硕士

如今肺癌已成为威胁人类健康的头等杀手,而肺癌在起初都表现为结节形式,所以对肺结节的检测变得尤为重要。在肺结节检测中存在的主要问题是会检出大量的假阳性,从而降低了诊断效率。针对这个问题,本文从逼近的支持向量机（Proximal Supp... 详细信息

如今肺癌已成为威胁人类健康的头等杀手,而肺癌在起初都表现为结节形式,所以对肺结节的检测变得尤为重要。在肺结节检测中存在的主要问题是会检出大量的假阳性,从而降低了诊断效率。针对这个问题,本文从逼近的支持向量机（Proximal Support Vector Machine,PSVM）和逻辑约束学习算法深入研究了肺结节检测的几种新方法,主要工作和研究成果包括:1、设计实现了基于PSVM的肺结节检测算法。先对图像进行感兴趣区域（Region Of Interest,ROI）的检测和特征提取,选用似圆度、灰度值、紧凑度、灰度方差等特征,并计算出特征值。这些特征值作为数据应用在肺结节检测算法中。由于PSVM算法是把标准SVM中的不等式约束变为等式约束,解决了二次规划问题,提高了求解效率,所以本文基于PSVM完成肺结节检测。为了验证本方法的诊断精度,利用人工标注构造训练样本,然后用五折交叉验证将本方法与传统的基于SVM的肺结节检测算法进行比较。2、提出一种基于逻辑约束的肺结节检测算法。首先挖掘了肺结节的先验知识,并基于本文提出的一阶谓词,给出一阶谓词逻辑表达式,用本文提出的数学公式给出逻辑约束学习框架的不等式约束,然后在训练样本中利用本算法进行学习训练,得到肺结节检测模型,用于肺结节检测。本文还将这一检测算法与其它三种典型的检测算法进行性能上的比较,得出本算法不但提高了诊断精度,而且可以给出因果解释,为进一步更精确的检测提供依据。3、针对上面所述的两种检测算法,并结合其它两种经典的检测算法,设计实现了肺结节检测系统。

关键词：逼近支持向量机逻辑约束最小二乘支持向量机肺结节检测

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

图形逻辑构造与约束研究

哈尔滨理工大学学报 2002年第2期7卷 25-28,31页

作者：胡立坤孙立镌宋双柱哈尔滨理工大学计算机与控制学院黑龙江哈尔滨150080

针对ICAD中在高层次几何推理及概念设计中图形的逻辑构造及约束问题,根据各种图形表示的依赖因素,通过谓词逻辑,提出了二维、三维图形的逻辑构造和逻辑约束以及图形变换的逻辑构造.通过构图实例说明了所述方法的可行性,作为存储图形的... 详细信息

针对ICAD中在高层次几何推理及概念设计中图形的逻辑构造及约束问题,根据各种图形表示的依赖因素,通过谓词逻辑,提出了二维、三维图形的逻辑构造和逻辑约束以及图形变换的逻辑构造.通过构图实例说明了所述方法的可行性,作为存储图形的一种方式可方便于图形的几何推理与概念设计.

关键词： ICAD 逻辑构造规则表示图形几何推理概念设计逻辑约束二维图形三维图形

在线全文

学校读者我要写书评

暂无评论

基于ORD的面板堆石坝建模关键技术与应用

水电能源科学 2024年第3期42卷 88-91页

作者：王海建中水珠江规划勘测设计有限公司广东广州510610

针对面板堆石坝在大坝前期设计阶段方案比选多、工作量大的问题,结合面板堆石坝结构设计原理,提出一种基于ORD软件的参数化建模方法,即利用OpenRoads Designer软件研究创建面板堆石坝BIM模型的关键环节和要点,并实现将坝体结构转换为一... 详细信息

针对面板堆石坝在大坝前期设计阶段方案比选多、工作量大的问题,结合面板堆石坝结构设计原理,提出一种基于ORD软件的参数化建模方法,即利用OpenRoads Designer软件研究创建面板堆石坝BIM模型的关键环节和要点,并实现将坝体结构转换为一系列逻辑约束的组件来创建坝参数化模板,并将其应用于贵州省望谟县某面板堆石坝方案比选中。实际应用结果表明,该方法用于面板堆石坝建模和前期设计方案比选切实可行,大大提高了设计效率,且成果输出展示更直观,为面板堆石坝BIM技术应用提供了新思路。

关键词： BIM OpenRoads Designer 面板堆石坝模板创建逻辑约束

基于改进的冲突A*算法的卫星电源系统故障诊断方法研究

在线全文

学校读者我要写书评

暂无评论

计算机测量与控制 2023年第8期31卷 10-15页

作者：王毅恒李俊麟张伟沈阳化工大学信息工程学院沈阳110142 中国科学院沈阳自动化研究所机器人学国家重点实验室沈阳110016 中国科学院机器人与智能制造创新研究院沈阳110169

针对卫星电源系统的在轨故障诊断,提出了一种改进的冲突A*算法故障诊断方法;改进的冲突A*算法在冲突A*算法基础上,增添了一个扩展节点消减模块,通过该模块可以达到故障隔离的目的,从而加快搜索速度;首先改进的冲突A*算法会生成一个候选... 详细信息

针对卫星电源系统的在轨故障诊断,提出了一种改进的冲突A*算法故障诊断方法;改进的冲突A*算法在冲突A*算法基础上,增添了一个扩展节点消减模块,通过该模块可以达到故障隔离的目的,从而加快搜索速度;首先改进的冲突A*算法会生成一个候选诊断,然后,在卫星电源系统模型中对应部件生成输出,当模型部件生成的输出与实际观测值不一致时,改进的冲突A*算法会缩减可扩展的冲突节点,然后生成下一个候选诊断并进行循环,直到搜索结束;采用多组件受约束卫星电源系统模型开展验证实验,结果显示,多重故障诊断中改进的冲突A*算法在搜索速度上相比冲突A*算法提升50%,证明了该算法在卫星电源系统故障诊断中应用的有效性。

关键词：故障诊断 A*算法定性模型卫星电源逻辑约束

语境原仁:关于仁概念的一次“公共阐释”实践

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

在线全文

学校读者我要写书评

暂无评论

天津社会科学 2018年第4期4卷 51-60页

作者：崔平上海师范大学哲学与法政学院

被缺乏逻辑普遍性保障功能的"原仁"方法论所误导,自"仁"字创立和使用以来的所有文本中都不含有对仁概念的确定而可公度的描述。在此批判性论断前提下,通过重新设计建构原仁方法,把原仁任务确定为发现原始的仁概念,在这一考古式认识过程... 详细信息

被缺乏逻辑普遍性保障功能的"原仁"方法论所误导,自"仁"字创立和使用以来的所有文本中都不含有对仁概念的确定而可公度的描述。在此批判性论断前提下,通过重新设计建构原仁方法,把原仁任务确定为发现原始的仁概念,在这一考古式认识过程中,只对其历史存在的有效描述负责,而不对其真理性负责。以对仁概念"日用而不知"这一怪象的存在原理分析为突破口,按照概念世界的存在形式和规律把原仁确定为一种摆脱历史文本章句的纯粹逻辑思维,原仁任务被彻底改造为创造而非潜入文本去发现原始的仁概念,从而建立起一个挑战一般诠释学经验的奇异的诠释学对象,而其奇异的诠释程序为,设立原仁语境即具有与原始仁概念的历史性相匹配的意识存在的历史内容,通过范畴相关分析,不涉及具体概念内涵地确立"仁"、"德"、"天"之间的概念上升次序,然后从"天"概念的构成分析开始逐次下降,演绎确立仁概念。这一诠释活动反叛当代主流诠释学而直接形成对"公共阐释"这一理论立场的脚注。

关键词：原仁逻辑约束天德仁

在线全文

学校读者我要写书评

暂无评论

约束规划方法在原油混输调度中的应用

计算机与应用化学 2008年第1期25卷 51-53页

作者：周祥郭锦标周涵单石灵梁彬华中国石油化工股份有限公司石油化工科学研究院北京100083 中国石油化工股份有限公司广州分公司广东广州510726

应用约束规划方法建立炼厂原油混输模型,并通过搜索求解获得可操作的调度方案。约束规划允许以逻辑约束表达混输过程中的操作规则,使模型简洁直观,而对整型变量及非线性约束不敏感,则降低了模型的求解难度。选取了一个时间跨度为300小... 详细信息

应用约束规划方法建立炼厂原油混输模型,并通过搜索求解获得可操作的调度方案。约束规划允许以逻辑约束表达混输过程中的操作规则,使模型简洁直观,而对整型变量及非线性约束不敏感,则降低了模型的求解难度。选取了一个时间跨度为300小时实际调度问题作为案例,模型中包含约8000个变量和14000条约束,在普通PC机上计算求解,能够在30秒内获得调度方案,方案具有可操作性且优于人工方案,表明以约束规划方法解决原油混输调度问题是可行的。

关键词：原油混输调度方案约束规划逻辑约束

在线全文

学校读者我要写书评

暂无评论

协同救援一致性推理模型及求解算法

解放军理工大学学报（自然科学版） 2010年第1期11卷 54-59页

作者：于枫乔欣姜腊林江苏科技大学计算机科学与工程学院江苏镇江212003 东南大学计算机科学与工程学院江苏南京210096 南京陆军指挥学院江苏南京210045

针对传统的一致性推理模型多测重于单纯的定量、定性时态推理,难以适用于协同救援方案求取问题,基于Allen区间代数理论,添加逻辑约束,提出了一种协同救授一致性推理模型,该模型型同时包含救援行为时态约束和逻辑约束两类信息。基于该模... 详细信息

针对传统的一致性推理模型多测重于单纯的定量、定性时态推理,难以适用于协同救援方案求取问题,基于Allen区间代数理论,添加逻辑约束,提出了一种协同救授一致性推理模型,该模型型同时包含救援行为时态约束和逻辑约束两类信息。基于该模型的等价类子网化简设计协同方案求解算法,并以海上协同教授一致性方案推理为例演示建模与求解过程。结果表明,该模型符合协同一致性方案求解对时态、逻辑两方面推理的需求,可应用于协同救援规划验证。

关键词：协同救援一致性推理区间代数网络逻辑约束

对解题教学中数学直觉的价值及培养途径的思考

在线全文

学校读者我要写书评

暂无评论

数学通报 2021年第7期60卷 56-59,62页

作者：杨元韡耿晓华江苏省常州高级中学 213003 常州市北郊高级中学 213031

直觉通常理解为人的大脑不经演绎、不经推理就能立即感知的事实.数学直觉思维是具有意识的人脑对数学对象(结构及其关系)的某种直接的领悟和洞察.数学直觉思维是一种非逻辑思维活动,是一种由下意识(潜意识)活动参与.不受固定逻辑约束.... 详细信息

直觉通常理解为人的大脑不经演绎、不经推理就能立即感知的事实.数学直觉思维是具有意识的人脑对数学对象(结构及其关系)的某种直接的领悟和洞察.数学直觉思维是一种非逻辑思维活动,是一种由下意识(潜意识)活动参与.不受固定逻辑约束.由思维主体自觉领悟事物本质的思维活动.[1]

关键词：事物本质主体自觉数学直觉思维数学对象非逻辑思维培养途径解题教学逻辑约束