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

作者：叶梅燕南昌大学

学位级别：博士

机器人机构自动分析与综合理论是机器人机构学中最具原创性和挑战性的关键问题。鉴于现有机构分析与综合理论无法适用于弯曲平移机构的现状,本文从分析与综合理论、自动生成算法以及应用等方面对弯曲平移机构展开系统研究,主要研究内容... 详细信息

机器人机构自动分析与综合理论是机器人机构学中最具原创性和挑战性的关键问题。鉴于现有机构分析与综合理论无法适用于弯曲平移机构的现状,本文从分析与综合理论、自动生成算法以及应用等方面对弯曲平移机构展开系统研究,主要研究内容和成果如下。(1)弯曲平移特征描述与分析方法方面的研究。首先,借鉴高斯非欧几何的内蕴思想和基本概念,建立了可清晰表达弯曲平移特征的描述模型。其次,制定了运动特征的求并和求交运算规则,并给予了相关的数学证明,提出了2条旋转轴存在性判定准则。最后,提出了机器人机构运动特征分析方法,并通过实例证明了该方法的有效性。(2)运动特征自动分析算法方面的研究。首先,归纳总结了机器人拓扑结构和运动特征的组成要素,建立了相应的数字模型。其次,制定了运动特征的数字化求并运算规则,提出了基于递归思想的串联机构运动特征自动分析算法,并进行了实例分析和验证。最后,基于分类排序和先初选后检验的思想,提出了并联机构运动特征自动分析方法,并进行了实例分析和验证。(3)构型自动综合算法方面的研究。首先,利用笛卡尔积提出了拓扑结构数据处理方法,该方法不仅可以有效统计支链数目而且可将数据按重要程度依次存放。其次,基于整体代换思想,提出了弯曲平移支链自动综合算法,建立了弯曲平移支链的数据库,并提出了复合铰链的等效生成算法,对上述支链库进行了扩充和完善。最后,提出了弯曲平移并联机构的自动综合算法,得到了大量新型曲面平移和相贯线平移并联机构。(4)弯曲平移机构在管道焊接中的应用研究。首先,基于内蕴几何思想,提出了新型相贯线焊接机器人机构的设计思路。其次,分析了相贯线平移机构的运动特征,结合焊接要求完成结构类型优选。最后,提出了2种新型相贯线焊接机器人机构,并建立了三维实体模型。期望论文研究成果不仅能完善机器人机构拓扑结构分析与综合理论,丰富现有机器人机构结构类型,而且可为相贯线焊接机器人提供新机型。

关键词：机器人机构弯曲平移数字化建模自动生成算法

来源：评论

学校读者我要写书评

暂无评论

基于类型的街廓自动生成系统开发研究

基于类型的街廓自动生成系统开发研究

引用

作者：朱俊杰南京大学

学位级别：硕士

计算机三维建模目前已成为城市设计工作中一个重要的组成部分,为设计者分析与表达设计方案提供了一个科学直观的手段。而基于算法的三维模型自动生成系统能使这一过程变得更为便捷与高效。虽然许多现有软件可以实现这一功能,但普遍存在... 详细信息

计算机三维建模目前已成为城市设计工作中一个重要的组成部分,为设计者分析与表达设计方案提供了一个科学直观的手段。而基于算法的三维模型自动生成系统能使这一过程变得更为便捷与高效。虽然许多现有软件可以实现这一功能,但普遍存在不合规范要求、缺乏模块化分类等缺点。因此本文针对现有软件的不足,通过对相关规范与设计模式的分析与整理,对基于类型的街廓自动生成系统开发做出了初步的探索。本文主要由四部分构成：第一章首先概述了基于类型的街廓自动生成系统在城市研究工作中的重要性,分析了CityEngine等现有生成软件实现的功能及其优缺点,继而引出本文研究的目的与意义。第二章是本文研究的基础,主要概述了基于类型的街廓自动生成系统的总体流程、基本模块和常用算法。介绍了系统所采用的软件平台和程序设计方面的相关知识,以及基于类型的街廓自动生成系统的用户交互界面和相关的操作流程。第三章是本文研究的核心部分,本章在整理设计资料的基础上,分模块阐述了多层居住建筑、低层居住建筑、高层居住建筑、高层商业办公建筑的街廓生成具体流程及相关的算法。第四章对本文的工作做出总结,并提出改进的方向。本文主要研究成果如下：1.建立了一套基于类型的街廓自动生成算法2.初步完成了Rhino+Grasshopper平台下基于类型的街廓自动生成系统插件的开发工作

关键词：城市设计三维模型基于类型自动生成算法建筑规范

来源：评论

学校读者我要写书评

暂无评论

财务预算智能决策支持系统

财务预算智能决策支持系统

引用

作者：朱薇北京工业大学

学位级别：硕士

通过一个财务预算智能决策支持系统的设计实践，讨论了关于智能决策支持系统的三个重要问题：模型程序的数据库访问接口、复合模型的表示方法及复合模型程序的自动生成问题。提出了一个基于规则与逆向搜索的复合模型程序自动生成算法，... 详细信息

通过一个财务预算智能决策支持系统的设计实践，讨论了关于智能决策支持系统的三个重要问题：模型程序的数据库访问接口、复合模型的表示方法及复合模型程序的自动生成问题。提出了一个基于规则与逆向搜索的复合模型程序自动生成算法，并通过算法的程序实现验证了：对同一个推理过程，相应的原子模型和复合模型可以具有不同的表示机制。例如，原子模型可采用类和对象来表示而同时复合模型可用知识来表示。\n 由于在推理过程中，各协调工作的模型组装及运行控制系统可以根据不同的具体问题动态地生成不同的复合模型程序，这使得决策支持系统中的原子模型具有了较好的可重复使用性。

关键词：财务预算智能决策支持系统数据库数据接口自动生成算法系统设计

来源：评论

学校读者我要写书评

暂无评论

装配尺寸链自动生成的研究

引用

工程设计学报 2000年第4期7卷 21-24页

作者：田立中马玉林姬舒平哈尔滨工业大学现代生产技术中心黑龙江哈尔滨150001 上海海运学院上海200135

基于装配的计算机辅助公差设计主要包括公差表达、公差链的生成、公差分析和公差综合四个部分。公差链的生成是其余三部分的基础。本文在实体关系模型的基础上研究了装配尺寸链的自动生成算法 ,在一维尺寸链生成算法中提出基于搜索方向... 详细信息

基于装配的计算机辅助公差设计主要包括公差表达、公差链的生成、公差分析和公差综合四个部分。公差链的生成是其余三部分的基础。本文在实体关系模型的基础上研究了装配尺寸链的自动生成算法 ,在一维尺寸链生成算法中提出基于搜索方向的配合关系图生成的新算法。该算法中加入了配合关系方向性的取舍 ,降低了配合图生成的复杂度。

关键词：装配尺寸链计算机辅助公差设计自动生成算法

来源：评论

学校读者我要写书评

暂无评论

基于多性能目标的街坊模型自动生成与优化方法研究——以南方地区城镇为例

基于多性能目标的街坊模型自动生成与优化方法研究——以南方地区...

引用

作者：饶鉴同济大学

学位级别：硕士

街坊是衔接控制性详细规划与城市设计的基本单元，它将城市尺度的空间容量与品质以抽象的街坊指标的形式提出，作为后续城市设计的要求。面对绿色城市与建筑的时代需求，城市设计需要增加对多种环境物理性能的评价。在一组指标对应的多... 详细信息

街坊是衔接控制性详细规划与城市设计的基本单元，它将城市尺度的空间容量与品质以抽象的街坊指标的形式提出，作为后续城市设计的要求。面对绿色城市与建筑的时代需求，城市设计需要增加对多种环境物理性能的评价。在一组指标对应的多种城市空间可能中进行筛选，也需要性能分析优化作为评价标准。于是，抽象的指标与具体的街坊模型之间出现了转译的需求。而对于在区域总量下如何调配各个地块的指标，则需要进行多次尝试以找到最佳的指标组合。在传统的工作流中一般采取人工多次试错的方法，其巨大的工作量导致找到的结果的局限性很大，也很难大面积展开调整。随着各种自动化性能优化算法的出现，如何基于多性能目标进行自动生成与优化对于寻找最佳的指标组合和城市空间环境性能而言是十分必要的。　　本研究尝试基于自动生成算法、性能分析软件、多目标优化算法和深度强化学习算法构建多性能目标的街坊模型自动生成与优化方法。针对抽象指标到街坊模型的转译问题，以Rhino和Grasshopper为平台，利用GhPython开发了Penguin街坊自动生成系统。针对多性能目标的城市设计和指标优化问题，探索以日照辐射和风环境性能为优化目标，以Ladybug进行日照辐射分析，Butterfly进行风环境模拟，Octopus和日照标准约束下的深度强化学习算法为优化方法的生成与优化流程。针对性能分析耗时长与算力不足的局限，提出了两段式优化流程。　　本研究以我国南方地区的上海市为例，以夏季日照辐射得热量尽可能小，冬季日照辐射得热量尽可能大，夏季过小风速比和冬季过大风速比尽可能小为优化目标，进行了综合性能和日照标准的两段式优化实验。实验结果显示本研究方法能够在日照标准和多性能约束下优化筛选出较好的指标组合和建筑布局。　　本研究实现了基于规划指标的街坊自动生成系统和基于日照辐射和风环境性能导向的城市设计和指标优化流程，弥补了自动生成算法、性能分析平台、多目标优化算法和深度强化学习算法间的数据传输裂缝，提出了基于多性能目标的街坊模型自动生成与优化方法和两段式优化流程，能够在今后的城市设计过程中为规划设计人员提供借鉴和参考。

关键词：街坊设计仿真模型自动生成算法日照辐射多目标优化

来源：评论

学校读者我要写书评

暂无评论

基于UPPAAL模型的列控等级转换场景测试用例生成方法研究

基于UPPAAL模型的列控等级转换场景测试用例生成方法研究

引用

作者：董家希西南交通大学

学位级别：硕士

列控系统是安全严苛的复杂系统,需要全面精细的安全验证。等级转换作为列车运行过程中的重要场景,其高效有序的运行有助于保证列控系统的安全性和稳定性。目前,等级转换场景软件的测试用例主要采用手工编制方式,效率低、耗时长、工作量... 详细信息

列控系统是安全严苛的复杂系统,需要全面精细的安全验证。等级转换作为列车运行过程中的重要场景,其高效有序的运行有助于保证列控系统的安全性和稳定性。目前,等级转换场景软件的测试用例主要采用手工编制方式,效率低、耗时长、工作量大,测试用例质量难以得到保障。如果能够自动生成测试用例,将会大大缩短软件开发周期,降低软件开发费用。因此,自动生成能够完备覆盖系统规范的测试用例成为了等级转换测试的首要问题。本文首先依据列控系统技术方案需求规范,对等级转换场景进行形式化建模并完成系统仿真及性能验证;其次基于最小测试成本迁移覆盖准则,设计深度优先搜索算法求解得到有效迁移序列并扩展为测试路径集合;然后,再对逻辑表达式分析的基础上引入快速生成算法,将抽象测试用例具体化为测试数据,从而生成具体的测试用例;最后,编程实现测试用例生成工具,分析测试用例覆盖度。本文主要工作分为以下四点:1.建立时间自动机模型。根据CTCS-3级列控系统等级转换场景的需求规范,依据信息交互时序图和时间自动机原理,使用UPPAAL建模工具,建立列控系统等级转换的时间自动机模型,得到两种转换场景下各个子系统的状态迁移图。然后借助UPPAAL工具对模型的性能变量及时钟约束进行系统仿真,使用BNF时态逻辑公式对功能性需求及实时性需求进行验证,保证了模型的准确性和完备性。2.基于模型生成测试路径。对模型对应的XML文件进行解析,利用哈希表来储存和映射模型中的状态和迁移条件的关系,依据迁移覆盖准则,设计深度优先搜索求解得到满足最小测试成本的有效迁移序列集合,并将其扩展为完整测试路径集合。3.基于测试路径生成具体测试用例。基于修正判定条件覆盖(MC/DC)准则对迁移条件中的逻辑表达式进行分析,在语法树理论的基础上,设计快速生成算法,计算得到测试数据集,采用“三步法”,结合相应测试路径,生成最终的测试用例。4.设计实现测试用例自动生成工具。通过直观的用户操作界面,展示测试用例生成功能,验证了模型和算法的可行性。

关键词：测试用例自动生成算法列控系统等级转换时间自动机模型

来源：评论

学校读者我要写书评

暂无评论

基于Web的通用考试系统方案设计与实现

基于Web的通用考试系统方案设计与实现

引用

作者：何慧婵湖南大学

学位级别：硕士

基于Web的通用考试系统是一个基于Windows NT Server和Windows95操作系统平台和SQL Server数据库平台,利用ⅡS(Internet Information Server)建立Web站点,并以Visual Basic、ASP(Active Server Pages)作为辅助开发工具的Internet应用系统.系统综合应用了数据库技术、网络技术、构件技术以及数据库与Web互连技术.该文分析了系统的需求状况,并提出一个较好的设计方案.针对系统中几个关键问题:系统安全性能,对多媒体信息的自理和试卷的自动生成算法,提出了具体的解决方案.最后,对如何利用构件技术实现该系统做了一些探讨.

关键词：互连网 Web站点自动生成算法通用考试系统系统安全性能

来源：评论

学校读者我要写书评

暂无评论

一种自动生成炼钢专家规则算法图的方法

引用

冶金自动化 2023年第S1期 368-372页

作者：俞佳熠钱卫东徐永军上海宝信软件股份有限公司工业互联网研究院

针对炼钢专家规则由于查找、拖拽算子和算子连线导致算法图生成耗时长、易出错的问题，提出了一种自动生成炼钢专家规则算法图的方法。在实践中发现，算法图的生成可以表示为一套固定的逻辑，将逻辑提炼成数据输入、规则判断、指示参数... 详细信息

针对炼钢专家规则由于查找、拖拽算子和算子连线导致算法图生成耗时长、易出错的问题，提出了一种自动生成炼钢专家规则算法图的方法。在实践中发现，算法图的生成可以表示为一套固定的逻辑，将逻辑提炼成数据输入、规则判断、指示参数生成和数据输出4个部分，并通过推导验证了算法图的生成逻辑。试验结果表明，使用自动生成算法能够将效率提升5倍，同时较好地避免了手动构造算法图出错的问题，为炼钢专家规则库的构建提供了理论依据。

关键词：钢铁工业炼钢专家规则自动生成算法算法图

来源：评论

学校读者我要写书评

暂无评论

一种XML数据到结构化数据的转换方法

引用

华侨大学学报（自然科学版） 2003年第2期24卷 201-207页

作者：陈维斌喻小光华侨大学信息科学与工程学院福建泉州362011

分析半结构化树状层次结构的 XML文档的结构特征 ,描述 XML结构与关系数据库的对应关系 .给出 XML文档的 DTD中各主要元素与关系数据模型之间的映射规则 ,设计转换规则脚本的自动生成算法和数据转换算法 .

关键词：数据转换 XML文档关系数据库结构化数据转换规则自动生成算法数据格式

来源：评论

学校读者我要写书评

暂无评论

一种新颖的自动化攻击图生成方法

引用

微计算机信息 2012年第1期28卷 120-121,92页

作者：武健汪东升苏格林清华大学计算机科学与技术系

攻击图在网络安全评估和防御方面,占有重要地位。通过对攻击图的分析,网络管理者可以预知网络脆弱程度,采取加强网络安全性的措施。基于原子域的攻击图生成算法,其在生成时间复杂度和扩展性方面具有实用性的优势;本文通过对网络评估系... 详细信息

攻击图在网络安全评估和防御方面,占有重要地位。通过对攻击图的分析,网络管理者可以预知网络脆弱程度,采取加强网络安全性的措施。基于原子域的攻击图生成算法,其在生成时间复杂度和扩展性方面具有实用性的优势;本文通过对网络评估系统的介绍,重点介绍基于原子域的攻击图生成系统在网络安全评估中的应用设计与实现,同时对基于原子域生成系统进行性能测试。

关键词：网络安全评估攻击图原子域自动生成算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：