搜索到843篇“ 系统开发方法“的相关文章
一种配网三维可视化动态运维系统开发方法系统
本发明涉及电力行业技术领域,公开了一种配网三维可视化动态运维系统开发方法系统,包括:扫描配电设备和环境,获取三维点云数据。对点云数据进行预处理和特征提取,构建配电网设备三维模型。将三维模型和配电网实时监测数据导入可视化...
潘飞周识远徐梁刚黄鑫颜艳艳徐涛杨梦卢佳敏
系统开发方法、装置、设备及存储介质
本申请公开了一种系统开发方法、装置、设备及存储介质,涉及计算机技术领域。方法包括:显示系统开发界面,系统开发界面包括第一区域、第二区域和第三区域,第一区域用于显示组件,第二区域用于预览系统界面,第三区域用于配置组件;响应...
王成才石小勇曾凯明周琛蔡鹏
一种系统开发方法、装置、设备及存储介质
本申请提供了一种系统开发方法、装置、设备及存储介质,涉及计算机技术领域,包括:根据业务需求,确定项目需求基线;基于所述项目需求基线,采用第一模式开发具备基础业务功能的新核心系统;当在生产环境中运行所述新核心系统时,在所述...
赵琴梁亮
基于状态图转形式化B模型的安全苛求系统开发方法
2024年
形式化方法精确且严格,较多应用于安全苛求系统开发,但目前仍存在学习成本高、使用复杂、重用性低等问题。常用的非形式化状态图模型虽易于使用却缺乏严格验证。针对这些问题,提出一种将状态图SCXML模型转译为形式化B模型的模型转化方法,从而结合状态图的易用性降低在安全苛求软件系统开发过程中使用形式化方法的复杂度。该转译方法分为映射规则、同步语义和程序实现3个部分,以保证自动转译后的模型自身含义与基础语义不变。在平交道口控制系统开发案例分析中,该方法根据图元模型自动生成了对应形式化模型,通过对形式化模型的分析改进系统在功能安全、数据安全、隐藏分支3个方面的非安全因素,并保证从需求至模型的一致性,证明了该方法可降低形式化方法建模难度,提高软件系统的正确性、可靠性与安全性。
赵大地王恪铭
关键词:形式化方法B方法
大语言模型辅助土木工程CAD系统开发方法研究
土木工程CAD系统开发的需求持续增长,大语言模型凭借其强大的自然语言处理能力在生产生活中产生了巨大影响,使用大语言模型辅助土木工程CAD系统开发成为可行且有效的方式。本文将对大语言模型辅助系统开发进行调研,特别是针对提示...
陈彦安马智亮
关键词:系统开发CAD
基于ADAS感知的主被动融合行人保护系统开发方法
本发明涉及一种基于ADAS感知的主被动融合行人保护系统开发方法,包括设定ADAS信号方案测试工况;建立测试车辆模型,非转弯工况测试车辆设置;建立测试车型模型,转弯工况测试车辆设置;建立障碍车辆模型;建立行人假人模型;建立...
王德平 朱学武 王晓霞 王士彬 籍龙波
基于ADAS感知的主被动融合行人保护系统开发方法
本发明涉及一种基于ADAS感知的主被动融合行人保护系统开发方法,包括设定ADAS信号方案测试工况;建立测试车辆模型,非转弯工况测试车辆设置;建立测试车型模型,转弯工况测试车辆设置;建立障碍车辆模型;建立行人假人模型;建立...
王德平 朱学武 王晓霞 王士彬 籍龙波
可自进化自动泊车系统开发方法、装置、设备及存储介质
本发明涉及智能驾驶领域,并公开了一种可自进化自动泊车系统开发方法、装置、设备和存储介质,该方法包括:获取预设的测试车位信息,根据所述测试车位信息进行泊车测试,并确定所述泊车测试对应的泊车结果;若所述泊车结果是泊车失败,则...
肖官生谢业军付广何逸波林智桂
一种服务于第三方开发者的云平台系统开发方法
本发明涉及云平台系统技术领域,具体公开了一种服务于第三方开发者的云平台系统开发方法,所述云平台系统由云端和客户端组成,所述云端包括通信模块、任务模块和数据库,所述客户端包括操作界面和显示界面,所述云端与客户端通过http...
李有恩 栾辉 陈敏 朴春日 曾盼盼
一种自动泊车引导系统开发方法、装置、车载终端及车辆
本申请提出的一种自动泊车引导系统开发方法、装置、车载终端及车辆,该方法包括:通过构建自动泊车引导系统,并确保自动泊车控制器的质量在进行实车测试之前要对其进行仿真测试,使得自动泊车仿真模型的仿真测试能够与自动泊车网络架构开...
徐阳 黄华磊 彭江 代飞

相关作者

侯金奎
作品数:89被引量:166H指数:6
供职机构:潍坊学院
研究主题:模型驱动开发 软件体系结构 形式化语义 代码生成 模型驱动体系结构
王帅强
作品数:13被引量:41H指数:3
供职机构:山东大学计算机科学与技术学院
研究主题:平台无关模型 模型驱动开发 推荐系统 进化计算 形式化方法
徐宏喆
作品数:34被引量:146H指数:6
供职机构:西安交通大学
研究主题:INTERNET XML 跨平台 面向对象 包过滤
黄征华
作品数:6被引量:18H指数:3
供职机构:西安交通大学
研究主题:MDA 模型驱动架构 系统开发方法 企业信息 信息化教育
蒋晓宇
作品数:6被引量:0H指数:0
供职机构:三峡大学
研究主题:微电网 并行化 PQ 分布式潮流计算 分布式并行计算