检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于体扫模式的组合RHI自动实现算法

气象 2010年第2期36卷 109-112页

作者：陈大任陈刚吴峥嵘中国气象局气象探测中心北京100081 安徽四创电子股份有限公司合肥230088 民航空中交通管理局气象中心北京100621

天气雷达的RHI扫描方式能够直观地提供云雨回波垂直结构的详细信息,因而该扫描方式在实际业务工作中,常常被用于人工影响天气的指挥作业。传统RHI方式需采用人工定位的手工操作方式,且只能获取指定方位空间的有限信息,这些都制约了新一... 详细信息

天气雷达的RHI扫描方式能够直观地提供云雨回波垂直结构的详细信息,因而该扫描方式在实际业务工作中,常常被用于人工影响天气的指挥作业。传统RHI方式需采用人工定位的手工操作方式,且只能获取指定方位空间的有限信息,这些都制约了新一代天气雷达全空域自动监测效能的有效发挥。在现有自动连续的体扫工作模式下,所开发的算法利用有限仰角层数据实现了自动组合"RHI"的功能,以增强基于现有新一代天气雷达业务扫描方式的业务产品功能。

关键词： RHI 自动生成算法雷达产品

基于Polygon之间相互切割的算法描述与实现

在线全文

学校读者我要写书评

暂无评论

地理空间信息 2005年第1期3卷 12-14页

作者：卢华兴江涛林照明山东科技大学地球信息科学与工程学院山东泰安271019 山东胜利油田物探公司山东东营257000

在地理信息系统(GIS)或一些图形处理中,经常会碰到地理图形切割,以及对切割后的数据进行处理。文章主要讨论了由Polygon切割Polygon生成Polygon算法的现实意义,以及如何实现切割后的Polygon自动生成算法的问题。

关键词：算法描述地理信息系统(GIS) 自动生成算法图形处理图形切割行处理

在线全文

学校读者我要写书评

暂无评论

有序用电平衡分组算法研究

大众用电 2021年第7期37卷 19-21页

作者：吴裕宙梁永昌万志恒龙凤飞广东电网有限责任公司东莞供电局

近年来,随着我国经济的持续发展,电力需求的增长日益显著,但是高峰时期的电力供需仍存在不平衡风险问题。为应对电力供应紧缺问题,实施有序用电仍然是近期我国重要的负荷管理手段。为了提高有序用电预案的科学性、合理性,减少人力参与,... 详细信息

近年来,随着我国经济的持续发展,电力需求的增长日益显著,但是高峰时期的电力供需仍存在不平衡风险问题。为应对电力供应紧缺问题,实施有序用电仍然是近期我国重要的负荷管理手段。为了提高有序用电预案的科学性、合理性,减少人力参与,防止人为干预,提高预案编制的智能化水平,应使有序用电预案每组之间的总可错负荷尽量均匀。基于此,文章通过引入数学规划模型中的多目标规划,构建了优化问题模型,研究了最优分组方案及自动生成算法。

关键词：数学规划模型有序用电多目标规划负荷管理预案编制电力需求电力供需自动生成算法

在线全文

学校读者我要写书评

暂无评论

面向设计流图的代码支撑工具

计算机科学 2005年第11期32卷 203-206页

作者：戴清涵李宣东赵建华郑国梁南京大学计算机科学与技术系南京210093

在通信网络软件中,代码的可靠性格外重要,编码与测试在很大程度上决定着代码的可靠性。如果让机器自动生成代码,将会减少人工编码出错的概率,而且,也为代码的跟踪、测试提供了方便。为此,本文结合UML的相关理论,提出了设计流图的概念并... 详细信息

在通信网络软件中,代码的可靠性格外重要,编码与测试在很大程度上决定着代码的可靠性。如果让机器自动生成代码,将会减少人工编码出错的概率,而且,也为代码的跟踪、测试提供了方便。为此,本文结合UML的相关理论,提出了设计流图的概念并描述基于设计流图的代码生成的原理及其应用。本文首先描述设计流图在软件开发过程中的作用;然后,给出设计流图的形式化定义;第3部分给出代码自动生成算法;第4部分给出基于设计流图的跟踪、测试方法,最后一部分对工具作了简要的介绍。本文详细描述了如何根据设计流图生成代码,并简要介绍实现基于设计流图的跟踪与测试。本文还实现了一个集成开发环境 AutoCodeGen,在该环境中可以编辑设计流图、对设计流图进行简单的检查、编译设计流图(生成代码)、编译代码、执行设计流图(执行编译后的代码)、基于设计流图的跟踪与测试(动态显示执行路径、当前执行点、路径覆盖情况、异常点位置等)。在实践中,利用该工具实现了 TCAP(Trans-action Capabilities Application Part)协议中部分编码与解码。

关键词：设计流图任务节点转换边面向设计代码生成支撑工具流图自动生成算法集成开发环境测试方法

在线全文

学校读者我要写书评

暂无评论

形式化故障树分析建模和软件安全性测试

同济大学学报（自然科学版） 2001年第11期29卷 1299-1302页

作者：徐中伟吴芳美同济大学沪西校区信息与控制工程系上海200331

阐述了安全性需求的形式化故障树表示技术 ,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构 ,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论 .

关键词：软件测试形式化故障树安全软件软件工程动态扩展安全性测试自动生成算法

基于STL格式的增材制造八棱柱状支撑结构的设计与优化

在线全文

学校读者我要写书评

暂无评论

制造技术与机床 2021年第11期 16-21页

作者：葛啸史廷春岳秀艳杭州电子科技大学自动化学院浙江杭州310018 杭州电子科技大学图书馆浙江杭州310018

熔融沉积制造(FDM)是一种运用热塑性粘合材料,通过逐层打印的方式来制造产品的增材制造技术。通过Matlab软件,设计了一种基于STL格式的八棱柱状支撑结构自动生成算法。该算法可以对模型进行待支撑区域识别与提取。将识别出来的待支撑区... 详细信息

熔融沉积制造(FDM)是一种运用热塑性粘合材料,通过逐层打印的方式来制造产品的增材制造技术。通过Matlab软件,设计了一种基于STL格式的八棱柱状支撑结构自动生成算法。该算法可以对模型进行待支撑区域识别与提取。将识别出来的待支撑区域向二维平面投影,在投影区域进行等距采样,计算采样点上方模型的高度,自动生成支撑结构,实现结构优化。在确保可打印的前提下,该算法能够有效节省打印时间和材料。结果表明该算法比Cura软件节约了27.23%的材料和14.85%的打印时间。

关键词：熔融沉积制造增材制造八棱柱状支撑结构自动生成算法结构优化

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

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

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

作者：朱俊杰南京大学

学位级别：硕士

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

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

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

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

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

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

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

学位级别：硕士

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

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

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