公共文化服务平台

搜索到3379篇“ 自动生成软件“的相关文章

一种自动生成软件文档的方法、装置、电子设备及介质: 本发明涉及一种自动生成软件文档的方法、装置、电子设备及介质，属于计算机技术领域，其中，该方法包括：获取源代码并对源代码进行解析，得到解析后的数据；对解析后的数据进行预处理，得到预处理后的数据；基于预设的第一自然语言处理模...; 胡文强李超赵勇

基于Python的超限报告自动生成软件开发: 2025年; 在超高层项目设计中,超限报告的撰写需要设计师重复筛选计算模型的结果并绘制图片,且由于计算模型反复修改,最终报告中的数据往往不一致。针对当前超限报告工作中的实际问题,论文将介绍利用Python语言编写的AD-GRAS软件,可根据YJK软件及ETABS计算结果自动读取并生成数据表格、绘制图片,最终生成Word格式的完整的抗震报告文本,将原本3 d的工作量缩短为5 min以内。; 高心宇江晓峰吴族平王洪军李彦鹏; 关键词：自动生成

一种用于自动生成软件代码的实现方法: 本发明涉及基于数据库表结构的逆向代码生成方法，具体为一种用于自动生成软件代码的实现方法，通过一组用于描述数据库表结构信息的元数据对数据表进行描述并形成描述文件，表结构维护服务通过调用描述文件快速生成对应的数据库表结构，代...; 马根王曙红郝思飞郭瑶华李炎钧

核能装备安全控制代码自动生成软件研发与应用的构想与成果展望: 2024年; 目前,核能装备等安全关键系统中软件的作用越来越重要,对系统的安全稳定运行具有至关重要的影响。安全关键软件规模的增长和复杂度的增加给设计和开发高可信的软件带来了新的挑战,亟需新的软件开发和验证方法与模式。针对此需求,本文围绕核能装备安全控制代码自动生成软件研究面临的三大关键科学问题,分别开展一个基础理论、七大关键技术及一套原型系统的研究。通过核能安全控制代码自动生成软件总体设计集成与评估、核能安全控制与交互系统软件建模技术、核能安全控制系统模型分析与验证技术、核能安全控制系统可信软件代码自动生成技术等方面的研究,突破核能装备安全控制代码自动生成软件在建模、代码生成和测试验证面临的系统性技术瓶颈,建立起新的安全关键软件开发和验证方法与模式。通过可信安全控制代码自动生成软件工程化应用与认证技术研究,构建一个核能装备安全控制代码自动生成的原型系统,并在核能、汽车等领域对研究成果进行验证。通过上述研究实现以下5个方面创新:一是形式化方法与模型驱动开发融合理论,用确定的数学理论保证模型的高可信;二是状态机扩展同步数据流语言形式化定义方法,建立适用于核能、航空、汽车等场景的软件建模方法;三是基于交互式定理证明的可信代码生成器构造方法,形成经过形式化验证的可信代码生成器;四是数据驱动的测试用例智能生成方法,实现测试验证的自动化;五是一套面向核能装备控制软件的一体化研发平台,构建完整的开发和验证工具链。本文旨在以形式化和模型驱动方法为基础,对安全关键软件的建模、模型验证、代码生成、测试验证等方面进行系统性研究,以形成高可信的安全关键软件开发和验证新方法。研究成果对核能等领域安全关键软件开发�; 刘明星刘明星马权杨斐侯荣彬王俊峰王俊峰吴延群; 关键词：代码生成形式化

一种计算机联锁系统数据及进路自动生成软件: 本发明公开了一种计算机联锁系统数据及进路自动生成软件，本软件通过鼠标拖拽的方式，根据现场信号平面布置图绘制计算机联锁上位机软件显示的站场图，绘图完毕后自动生成所有设备继电器的驱动采集数据以及设备间的拓扑关系。根据设备间的...; 张琳吴海波梁云鹏曹城

一种基于数据模型驱动自动生成软件的方法: 本发明公开了一种基于数据模型驱动自动生成软件的方法，所述的方法包括以下步骤：S1：人工页面布局绑定数据或直接数学模型，S2：系统自动编译成间码，S3：间码编译器进行前后端数据库分离并编译成第三方语言(高级语言)同时创建管...; 潘胜怀

飞艇综合处理机校验码自动生成软件设计: 2024年; 为了保证飞艇综合处理机的安全性和可靠性,根据项目需求提出了一种面向飞艇综合处理机的校验码自动生成软件设计方法。首先介绍了校验码自动生成软件的基本功能和工作原理,然后分别从软件开发工具选择、人机交互界面创建、校验码自动生成功能实现这几个方面进行了详细介绍,最后对该软件的实际应用效果进行了说明。实验结果表明:采用PyQt5开发的校验码自动生成软件能够快速而准确地生成各类测试激励的校验码,明显提高了综合处理机的测试效率。同时该软件具有一定的通用性,只需要对程序进行少量适应性改动即可满足其他设备的测试要求。; 邢浩史岩岳佳欣; 关键词：自动生成

基于自定义实体的联锁表自动生成软件设计与实现: 2023年; 为提高联锁表编制效率和准确性,设计基于自定义实体的联锁表自动生成软件。使用AutoCAD二次开发接口,读取利用ObjectARX创建的信号设备自定义实体的数据信息;根据信号设备平面布置图的结构特点自动生成站场型数据结构;利用深度优先搜索(DFS,Depth First Search)算法搜索进路,并根据联锁表编制原则,处理进路数据和生成联锁数据。现场试用结果表明,该软件能与信号设备平面布置图实时交互,快速访问AutoCAD数据库,直接调用其中实体,生成标准格式的铁路车站联锁表及地铁车辆联锁表,准确率超过99%,且具有较高的通用性。; 姚维文杨扬; 关键词：OBJECTARX 自动生成

一种自动生成软件功能耦合矩阵的方法: 本发明提出了一种自动生成软件功能耦合矩阵的方法，用于解得软件产品的功能运行过程中真实耦合的耦合关系和耦合概率，生成耦合矩阵并给出耦合点的耦合优先级来指导后续的软件产品开发和测试；所述方法首先建立软件产品功能和功能点与代码...; 赵海波范渊吴永越郑学新刘韬

读取电子表格文件自动生成软件源代码的方法: 本发明公开了一种读取电子表格文件自动生成软件源代码的方法，包含如下步骤：搭建Python开发环境；安装Python数据分析模块与模板引擎于Python开发环境中；数据分析模块读取若干个电子表格文件，获得第一转换文件；Py...; 李贵斌林晨

加载更多 ∨

相关作者

用户反馈

相关作者

用户登录

用户反馈