程序逻辑

作品数：86被引量：73H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：吴敬征武斌武延军王博赵琛更多>>
相关机构：青海汉拉信息科技股份有限公司上海能感物联网有限公司青海沃爱思智能科技有限公司江苏华音信息科技有限公司更多>>
相关期刊：更多>>
相关基金：国家社会科学基金国家自然科学基金中央高校基本科研业务费专项资金国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于交互式定理证明的并发程序验证工作综述
《软件学报》2024年第9期4069-4099,共31页王中烨 吴姝姝 曹钦翔 
并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定...
关键词：并发程序验证 可线性化 上下文精化 程序逻辑 关系霍尔逻辑 
基于类C语言内存模型的复杂数据结构验证方法
《计算机技术与发展》2024年第8期57-66,共10页李薛剑 王俊宜 
安徽省自然科学基金面上项目(2008085MF188)。
对系统中操作复杂结构程序的正确性验证是保证软件高可信的重要途径,目前大多数基于高层抽象建模和程序结构拆分的方法难以满足复杂数据结构程序的验证要求。针对这一问题,论文提出基于类C语言内存模型的验证方法。首先,以内存块为基础...
关键词：形式化验证 复杂数据结构 程序逻辑 内存模型 操作系统内核 
基于护理程序逻辑行动方案在提高PICC置管患者自我护理能力中的应用
《哈尔滨医药》2023年第1期103-106,共4页杜永磊 兰灵 段晓丽 
目的 探究基于护理程序逻辑行动方案对经外周静脉置入中心静脉导管(PICC)置管患者护理能力的影响。方法 根据我院基于护理程序逻辑行动方案实施时间为节点,随机从2018年6月至2019年6月于我院行PICC置管患者中选取73例,纳入对照组,予以...
关键词：护理程序逻辑行动方案 经外周静脉置入中心静脉导管 自我护理能力 自我管理能力 生活质量 
“高级语言程序设计(C++)”课程设计与实践
《计算机应用文摘》2022年第23期30-32,35,共4页赵旭 
福建省教育科学“十三五”规划2019年度课题(FJJKCG19⁃282)。
C++语言是一门高效实用的程序设计语言,是C语言的超集,保持了C语言简洁、高效的特点,既支持面向过程的程序设计,又支持面向对象的程序设计。它实现了类的封装、继承及多态,用它设计的程序在可重用性、可扩展性和可靠性等方面较用C语言...
关键词：C++语言 程序逻辑 协同学习 研究型教学 
“1+X”证书制度下《使用Java理解程序逻辑》课程实训操作教学探索
《产业与科技论坛》2022年第16期170-171,共2页庄帅 
根据大数据应用开发(Java)职业技能“1+X”证书的考点要求,及分析往年《使用Java理解程序逻辑》课程教学成果,调整《使用Java理解程序逻辑》课程标准与“1+X”证书考点要求相适应,采用项目驱动教学方式,对《使用Java理解程序逻辑》课程...
关键词：Java理解程序逻辑 “1+X”证书 课程教学 
护理程序逻辑行动方案应用对心肌梗死患者认知与行动水平的影响
《黑龙江医学》2022年第14期1755-1758,共4页闫振 周昆明 李沛沛 
目的:分析护理程序逻辑行动方案应用对心肌梗死患者认知与行动水平的影响。方法:选择2018年2月—2019年9月驻马店市中心医院收治的80例心肌梗塞患者作为研究对象,以随机数表法将其分为研究组和对照组,每组各40例。通过自制心肌梗死患者...
关键词：护理程序 逻辑行动 心肌梗死 认知水平 行动水平 
基于AutoLISP的岩土工程勘察方案辅助设计系统研究被引量：1
《电子技术与软件工程》2022年第1期126-129,共4页张志遥 
本文基于Lisp语言编程,建立布置岩土工程勘察方案的辅助设计系统。该系统通过将工作流程标准化,将勘探孔动态属性块标准化、根据建筑轮廓自动生成勘察方案,批量修改勘探孔属性等方法,实现快速布置岩土工程勘察方案。实际应用表明采用该...
关键词：LISP 程序逻辑 系统开发 辅助设计 
挂治电厂机组桨叶反馈故障原因分析与处理
《水电站机电技术》2021年第8期30-31,59,共3页胡丰 皮征永 张洪 
挂治电厂2号机组调速器系统改造后,突发一起机组桨叶反馈装置故障的设备缺陷,经过仔细检查和分析发现故障原因系桨叶反馈装置拉线传感器数值跳变及调速器PLC程序逻辑设计不合理导致。文章介绍了故障发生的经过、检查情况、原因分析及处...
关键词：桨叶反馈 调速器PLC 传感器 程序逻辑 
基于护理程序逻辑行动方案对子宫肌瘤患者认知与行为转变的影响被引量：10
《齐鲁护理杂志》2021年第13期26-29,共4页杨海霞 党丹 段丽 
目的:探讨基于护理程序逻辑行动方案对子宫肌瘤患者认知与行为转变的影响。方法:选择2017年6月1日~2018年5月31日收治的60例子宫肌瘤患者作为对照组,实施常规性照护干预;选择2018年6月1日~2019年5月31日收治的58例子宫肌瘤患者作为研究...
关键词：护理程序 逻辑行动 子宫肌瘤 认知转变 行为转变 
基于PlayKit(Plus)套件的单片机课程设计教学改革探索被引量：1
《电子世界》2020年第24期37-38,共2页田园 陆金金 孙铮 
大连海事大学教学改革项目(2020Y27);教育部高教司项目(201902118025)的研究成果。
通过PlayKit套件和Proteus软件的结合来开展单片机课程设计,极大的提高了学生的编程兴趣,锻炼了动手能力,套件丰富的扩展功能,可以满足不同层次学生的要求,通过实例进一步演示了PlayKit在课程设计中的使用,有利于更好的提高学生的软硬...
关键词：单片机课程设计 软件开发能力 硬件故障 程序逻辑 语法错误 PROTEUS软件 PLUS 实验箱 
全选清除导出
共9页<123456789>
检索报告 对象比较 聚类工具 使用帮助 返回顶部