程序设计方法

作品数：789被引量：1295H指数：14
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：高平和蔡经球罗继亮王静薛锦云更多>>
相关机构：武汉大学南京大学清华大学华中科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点实验室开放基金江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于西门子PLC的模块化控制在散粮储运自动化中的应用
《现代食品》2025年第3期1-5,共5页许加建 孙成鑫 王均骞 杨明 石云龙 
在实现散粮储运自动化控制过程中,存在着大量的气缸、气阀、传感器、电机等控制对象,运用常规的程序设计方法会出现代码冗余、编程效率低、维护成本高等问题。针对上述问题,提出了运用模块化程序设计方法进行设计的思路,并以双作用气缸...
关键词：散粮储运 自动化控制 模块化 程序设计方法 
基于FSM程序设计方法的ZD6转辙机导通试验装置设计
《工业控制计算机》2024年第12期61-62,65,共3页蒋东明 
转辙机是铁路信号最重要的基础设备,现阶段铁路信号施工和设备维护过程中,转辙机导通试验需要室内外分离。针对导通方法陈旧问题,提出一种基于有限状态机程序设计方法的ZD6转辙机导通试验装置设计方案。在阐述了系统框架的基础上,从软...
关键词：转辙机 单片机编程 有限状态机 
程序设计方法的范式演进及发展趋势
《软件工程与应用》2024年第5期651-659,共9页徐明毅 
文章回顾了软件开发方法的范式演进,将之大致划分为三个大的阶段。首先从基于机器指令编程发展到使用计算机高级语言编程,这隔离了指令集的差异,使得面向过程编程得到广泛应用。然后随着软件规模的膨胀,为提高数据的封装性和代码的简洁...
关键词：程序设计方法 面向过程编程 面向对象编程 大型语言模型 编程助手 智能体 
城区物流无人机垂直起降程序设计方法被引量：4
《指挥信息系统与技术》2022年第5期1-10,共10页张洪海 李靖宇 费毓晗 冯讴歌 
国家自然科学基金面上项目(71971114)资助项目。
基于国际民航组织和欧洲航空安全委员会关于直升机和垂直起降航空器的飞行程序设计标准以及传统民航飞行程序设计,对城区物流无人机垂直起降程序进行了设计。将垂直起降航空器的垂直起降程序分为6个程序模块。在起始进近、中间进近和最...
关键词：城区物流 垂直起降航空器 飞行程序设计 仿真 
嵌入式技术在工业机器人分拣技术中的应用研究被引量：3
《电子世界》2021年第24期17-18,共2页周友良 管贻生 
为了使得工业机器人分拣更具有适应性,提出一种基于嵌入式技术改进的程序设计方法,利用相机采用信息后,通过嵌入式技术进行位置识别与抓取,同时通过硬件、软件方面的设置,提高检测与抓取的精度。这一过程中,通过智能摄像头读取工件信息...
关键词：工业机器人 嵌入式技术 程序设计方法 工件识别 主控单元 位置识别 分拣 智能摄像头 
提高“程序设计”课程教学挑战度的研究被引量：1
《工业和信息化教育》2020年第11期75-79,共5页康松林 刘卫国 奎晓燕 严晖 
2018年湖南省普通高等学校教学改革研究项目“泛在学习中自适应学习系统模型与实现机制研究”(项目编号:湘教通〔2018〕436号);2020年中南大学教育教学改革研究项目“基于慕课的程序设计课程混合式教学改革研究与实践”(项目编号:2020jy040);2019年中南大学“课程思政”建设立项项目“数据结构与算法课程”(项目编号:中大教字〔2019〕128号)。
“新工科”建设对“程序设计”课程教学提出了更高的要求,本文从数据结构、算法分析与设计、逻辑思维、编程方法等方面探讨了提高“程序设计”教学难度和挑战度的方法,提出了“程序设计”课程人才培养所需的4个要素。
关键词：程序设计教学 数据结构 算法分析与设计 逻辑思维 程序设计方法 
试前可验证正确性的高炮标准值程序设计方法
《火力与指挥控制》2020年第5期193-197,共5页史海龙 王晶晶 化斌斌 任成才 杜伟 
为保证高炮动态射击诸元标准值程序能够在动飞试验前保证正确性,应用开放-封闭原则建立算法和适用于此算法的测试流程。算法基于所建立的中介坐标系,通过抽象出不同射表的通用接口,区分开程序中变化部分与不变部分,将算法复杂度从动态...
关键词：高炮 动态射击诸元标准值算法 正确性验证 程序设计 
关于C++语言程序学习的方法
《电脑知识与技术》2020年第4期126-127,140,共3页杨琴 涂德红 吴秋丽 孙新杰 
目前,C++语言程序在计算机语言当中占据很大的基础部分,想要学好C++语言程序,不仅仅是上课认真听课还需要课下把不理解的知识进行查阅,许多的初学者一开始并没有接触过C++语言程序,为此缺乏关于这方面的基础知识,我们总结了一些关于怎...
关键词：兴趣 逻辑思维 程序设计方法 
水准网条件平差粗差检测程序设计方法
《区域治理》2019年第9期176-177,共2页王兵 
本文依据水准网的条件平差数学模型,利用传递数矩阵建立任意网形的水准网条件方程,并进行水准网闭合差计算.若水准网存在粗差,需要对整个网形进行粗差检测.以下以VB作为编程语言,讨论一种可用于编程的列立水准网条件方程并进行粗差检测...
关键词：水准网 条件平差 粗差检测 
形式化方法概貌被引量：90
《软件学报》2019年第1期33-61,共29页王戟 詹乃军 冯新宇 刘志明 
国家自然科学基金(61532007;61632005;61672435;61732019)~~
形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各...
关键词：形式化方法 形式规约 形式验证 程序设计方法学 软件开发 
全选清除导出
共79页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部