状态图

作品数：474被引量：824H指数：11
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：石启龙曾一姚淑珍缪淮扣赵亚更多>>
相关机构：西安电子科技大学北京航空航天大学国防科学技术大学南京航空航天大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家科技支撑计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
农业机械车路协同辅助驾驶路线规划系统的设计与实现
《农机化研究》2025年第6期232-238,共7页宋朋 赵伯鸾 
江苏省教育科学研究院一般立项项目(ZYB131)。
农业机械车辆是现代农业生产中不可或缺的重要工具,能够有效地提高农业生产效率和质量。农业机械车路协同辅助驾驶路线规划系统能够实现对农机车辆的自主导航和驾驶,可以有效地解决其中存在的问题。为此,基于激光雷达传感器获取农田三...
关键词：农业机械 路线规划 协同驾驶 遗传算法 GPS定位 三维时空通行状态图 
高校会议室预约管理系统设计与实现
《自动化应用》2025年第1期221-223,共3页曾荣江 蒋银虎 
针对高校会议室预约管理方法存在的效率低下、不便于查询、难于管理时间冲突等问题,设计与实现了高校会议室预约管理系统。使用用例图和状态图构建系统的基本模型;使用E-R图实现系统的数据模型;使用ASP.NET(C#)与SQL Server实现系统,重...
关键词：会议室 预约管理 UML 状态图 E-R ASP.NET 预约审核模块 时间冲突检测模块 
基于状态图转形式化B模型的安全苛求系统开发方法
《计算机工程》2024年第11期173-186,共14页赵大地 王恪铭 
四川省自然科学基金(2022NSFSC0464);成都市软科学研究项目(2023-RK00-00084-ZF)。
形式化方法精确且严格,较多应用于安全苛求系统开发,但目前仍存在学习成本高、使用复杂、重用性低等问题。常用的非形式化状态图模型虽易于使用却缺乏严格验证。针对这些问题,提出一种将状态图SCXML模型转译为形式化B模型的模型转化方法...
关键词：软件功能安全 形式化方法 模型转化 SCXML状态图 B方法 
基于有限自动机在质子放疗控制系统研究与应用
《计算机应用文摘》2024年第15期74-78,共5页从亚奎 白鹤 马鹏飞 周田 汤洋 吕雅婧 
2022年深圳高新区发展专项计划坪山区创新平台项目(29853M-KCJ-2023-002-24)。
在传统编程模式开发中,为了克服放疗控制系统的控制程序可移植性差及维护困难等缺点,文章提出了基于有限状态机理论的研究方法,实现了控制软件单元的功能定义和控制逻辑分离;结合Simulink/Stateflow工具,开发了质子放疗的建模仿真平台;...
关键词：质子放疗 控制系统 有限自动机 状态图 
教科院教研活动网络管理系统的开发与实现
《现代信息科技》2024年第13期90-95,102,共7页蒋银虎 
针对教科院教研活动管理上存在的问题,文章首先分析了教研活动的重要性、管理难点、课程类和非课程类教研活动的区别,提出构建教科院教研活动网络管理系统;其次使用用例图构建系统的主要功能模型,使用UML状态图分析教科院课程和教研活...
关键词：教研活动管理 用例图 状态图 E-R图 ASP.NET 
UML模型在信息系统需求分析中的应用被引量：1
《现代计算机》2024年第12期62-66,78,共6页胡振章 张治坤 
系统需求分析是软件信息系统开发活动的起始环节,使用UML模型进行软件需求分析是目前面向对象的需求分析方法的一种重要方法,根据不同软件系统的需求描述,选取适当的UML分析模型从不同的角度对需求中的功能点进行描述,可以使系统用户、...
关键词：UML 需求分析 用例图 活动图 状态图 
基于UML状态图的PLC程序测试路径生成方法
《上海电气技术》2024年第2期44-47,共4页聂红红 高伟哲 
为了提高可编程序控制器程序的测试效率,提出一种基于统一建模语言状态图的可编程序控制器程序测试路径生成方法。这一方法利用反蚁群算法生成测试路径,可以避免测试路径过多导致的爆炸问题。通过人工蚂蚁搜索未被遍历或信息素最小的顶...
关键词：统一建模语言 状态图 可编程序控制器 程序 测试 路径 
基于ASP.NET的高校毕业论文管理系统设计与实现被引量：1
《现代信息科技》2024年第10期118-122,127,共6页蒋银虎 
昆明幼儿师范高等专科学校2023年校级课题(202305)。
针对高校毕业论文传统管理方法存在的问题,以昆明幼儿师范高等专科学校为例,分析了毕业论文管理上的难点,并提出了相应的解决方案。使用用例图设计了系统的主要功能,使用状态图设计了系统的主要流程,同时构建了系统数据库。使用ASP.NET...
关键词：毕业论文管理 状态图 E-R图 ASP.NET 
SDLSD:基于状态图的智能合约描述语言
《软件导刊》2024年第4期119-130,共12页张浩 吴胜 张人娄 
江苏师范大学研究生科研与实践创新计划项目(2022XKT1541)。
智能合约在区块链发展中扮演着重要角色,并广泛应用于各领域。然而,已有的智能合约语言均由专业的合约研发人员开发,使得相关应用领域的专家难以轻松地设计合约。为了便于领域专家进行智能合约设计,引入领域特定语言的概念,提出一种基...
关键词：智能合约 状态图 词法分析 语法分析 语义分析 代码生成 
龙眼果粉的水分吸附特性研究被引量：1
《食品与发酵工业》2024年第7期236-241,共6页周颖钿 黄世鑫 郑斯文 朱焱宗 王凯 刘旭炜 赵雷 胡卓炎 
国家荔枝龙眼产业技术体系项目(CARS-32);茂名市科技计划项目(221025114936144)。
以龙眼果粉为对象,利用静态测量法测定其在不同温度下的吸湿等温线,探究在不同含水率下龙眼果粉的X射线衍射图谱及玻璃化转变温度,并通过数学方程计算其热力学特性参数,以揭示龙眼果粉的水分吸附特性。结果表明,龙眼果粉的吸湿等温线为...
关键词：龙眼果粉 吸附等温线 玻璃化转变温度 状态图 热力学特性 
全选清除导出
共48页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部