C代码

作品数：78被引量：107H指数：5
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：赵秀凤杨志斌方青坡郭渊博钱俊更多>>
相关机构：南京航空航天大学解放军信息工程大学华中科技大学同济大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金江苏省“六大人才高峰”高层次人才项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于UPPAAL的发电厂控制系统网络物理建模与安全验证
《信息记录材料》2025年第2期224-228,共5页路羚涛 刘镇瑜 
随着信息技术的发展,发电厂控制系统从传统的机械控制逐渐转向自动化和网络物理系统(cyber-physical systems,CPS),为电力生产和输送带来了新的机遇和挑战。CPS的引入使得系统能够实时监控和控制物理过程,但同时也引发了网络安全问题,...
关键词：网络物理系统(CPS) UPPAAL PLC代码 攻击与防御 
模具电极排版设计及加工工艺的优化与改进
《模具技术》2024年第6期1-7,共7页胡光良 王雷 严胜义 朱少军 尹银辉 
对电极传统装夹及加工方法进行分析研究,提出了一种基于标准载板整体排版的电极批量高效加工的方法和工艺。详细介绍了电极排版设计的方法,NC程序串联工具软件的开发,以及各工序对应的加工作业要求和标准等。该电极排版设计和加工工艺...
关键词：标准载板 模具电极 电极排版 CNC代码串联 电极池 
鞍钢冷轧1780 mm生产线自动化系统数字化开发实践被引量：1
《鞍钢技术》2023年第5期43-47,共5页秦大伟 王军生 张岩 刘宝权 陈百红 孙瑞琪 
结合钢铁企业自动化系统现状和特点,确定了自动化系统数字化开发目标。在鞍钢冷轧1780 mm生产线自动化系统开发中,应用数字化开发方法,实现了设备选型、系统设计与程序开发之间数据交互,实现了系统建模、仿真与程序开发一体化。
关键词：自动化 控制系统 PLC代码 数字化开发 
虚拟道岔软件测试台架研究
《轨道交通装备与技术》2023年第4期57-61,共5页罗长才 
文章介绍了虚拟测试技术应用到轨道交通道岔软件测试的机理及方案,通过对比亚迪公司云巴、云轨道岔系统的研究,确定了通用的虚拟测试系统方案,以自行设计的道岔虚拟测试控制台架为基础平台,依据道岔控制方案,编制相关测试案例,并在虚拟...
关键词：道岔系统 虚拟台架 软件测试 PLC代码 
基于C代码的三相桥式全控整流的Simulink仿真应用技术研究被引量：1
《电子制作》2023年第5期106-108,105,共4页王尊 罗志斌 荀庆来 
随着芯片技术的日益成熟,基于微控制单元的自动化装备及电力电子设备的应用已经越来越广泛,由此针对不同工程应用需求进行的项目开发工作也愈发频繁。在市面上主流的微控制单元大多支持基于C语言的开发应用,为了将工程程序与数字仿真技...
关键词：整流 C语言 SIMULINK仿真 
反例引导的C代码空间流模型检测方法
《软件学报》2022年第6期1961-1977,共17页于银菠 刘家佳 慕德俊 
广东省基础与应用基础研究基金(2021A1515110279);太仓市基础研究计划(TC2020JC03);中央高校基本科研业务费专项资金(D5000210588)。
软件验证一直是确保软件正确性和安全性的热点研究问题.然而,由于程序语言复杂的语法语义特性,应用形式化方法验证程序的正确性存在准确度低和效率差的问题.其中,由指针操作带来的地址空间的状态变化使得现有模型检测方法的检测准确度...
关键词：软件验证 模型检测 稀疏值流分析 指针分析 漏洞检测 
C2P:基于Pi演算的协议C代码形式化抽象方法和工具被引量：4
《软件学报》2021年第6期1581-1596,共16页张协力 祝跃飞 顾纯祥 陈熹 
国家重点研发计划(2019QY1302)。
形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为此,提出了一种检测安全协议代码语义逻辑错误的形式化验证方法.通过将协议C源码自动化抽象为Pi演算模型,基...
关键词：协议实现 形式化验证 PI演算 模型抽取 ProVerif 
修改Csharp/PLC代码提升展馆展项功能
《电脑编程技巧与维护》2021年第6期3-8,12,共7页曹俊波 丁蓉 
随着展示馆接待任务逐年不断加重、旅游旺季参观人数也在不断增加,相应的的各项服务和配套设备的智能控制也需要及时跟上。通过整理出来的URS用户需求,以及对样例“规划大沙盘”的控制原理分析与解析,通过逆向工程对代码进行修改,从而满...
关键词：Csharp代码 PLC代码 CodeMap程序 URS用户 
大规模可变C代码增量式分析方法被引量：1
《软件》2021年第3期79-85,共7页石剑君 刘法旺 计卫星 杨玚 
2019年工业互联网创新发展工程项目“车联网安全综合服务平台”支持。
提出一种基于头文件复用的大规模可变C代码增量式分析方法。以Linux内核代码为例,首先统计和分析了大规模C代码中的头文件包含情况。然后根据头文件包含顺序,构建C代码分析的头文件加载树。最后,按照头文件加载树增量地分析C代码。实验...
关键词：大规模C代码 可变代码 代码分析 
基于RTDS的微型燃气轮机发电系统实时仿真研究被引量：2
《现代电子技术》2021年第5期151-155,共5页李强胜 郝正航 赵晓龙 
国家自然科学基金(51567005);贵州省科技厅联合资金项目(LH字[2017]7230,LH字[2017]5788,LH字[2016]7434)。
基于RTDS实时仿真平台,建立采用双SVPWM换流器的微型燃气轮机发电系统的仿真模型,系统电机侧采用电压电流控制,控制直流侧电压稳定;电网侧采用PQ双闭环控制,控制微型燃气轮机的功率输出以满足电网或负荷的功率需求。研究负荷变化情况下...
关键词：发电系统 微型燃气轮机 RTDS 仿真模型建立 功率输出控制 PQ控制 C代码转化 
全选清除导出
共8页<12345678>
检索报告 对象比较 聚类工具 使用帮助 返回顶部