搜索到1183篇“ C代码“的相关文章
全部数字资源类型
相关度排序
一种基于自动化定理证明器的C代码程序验证方法及系统
本发明提供一种基于自动化定理证明器的C代码程序验证方法及系统，包括C代码编译器、语义解析器、自动定理证明器、测试用例生成器、Isabelle交互式定理证明器、证明目标桥接器、向量数据库。本方案利用所述语义解析器，将项目代...
赵永望章喆
一种基于自动化定理证明器的C代码程序验证方法及系统
本发明提供一种基于自动化定理证明器的C代码程序验证方法及系统，包括C代码编译器、语义解析器、自动定理证明器、测试用例生成器、Isabelle交互式定理证明器、证明目标桥接器、向量数据库。本方案利用所述语义解析器，将项目代...
赵永望章喆
MIPS核处理器的C代码工程项目可视化管理和编译生成方法
本发明提供一种MIPS核处理器的C代码工程项目可视化管理和编译生成方法，其包括：通过JSON数据格式记录工程项目选项，采用solution—project分层方式对多个工程项目选项进行管理；采用脚本程序读取JSON数据文...
高彬
一种从函数式卷积表达式到C代码的重写转换方法
本发明提供了一种在Coq定理证明器中以函数式方式表达AI神经网络算子的方法，实现了一种将函数式卷积表达式转换为C代码的重写技术。主要包括六个关键部分，张量原语的形式化定义、中间变量绑定值的形式化定义、张量原语及中间变量绑...
张晓丽陈钢
云组态中FBD的形式化描述及其向C代码转换算法的研究
可编程逻辑控制器（Programmable Logic Controller，PLC）是工业4.0时代和工业互联网发展的重要组成部分，基于IEC 61131-3标准的PLC编程平台软件在工业自动化发展进程中至关重要。功能...
王涛
关键词：功能块图网络扫描C语言代码
基于安全编码标准的C代码检测方法、设备和存储介质
本发明涉及数据处理领域，公开了一种基于安全编码标准的C代码检测方法、设备和存储介质。包括：接收用户设置的代码目录，并根据代码目录确定头文件的Include目录；接收用户设置的Define开关信息以及基于安全编码标准的解析...
赵秋俊邵学彬鞠伟男刘丽萍王曼娜王诗萌朱永健苏煜郭嘉欣王宇哲黄文涛刘宏伟
基于安全编码标准的C代码检测方法、设备和存储介质
本发明涉及数据处理领域，公开了一种基于安全编码标准的C代码检测方法、设备和存储介质。包括：接收用户设置的代码目录，并根据代码目录确定头文件的Include目录；接收用户设置的Define开关信息以及基于安全编码标准的解析...
赵秋俊邵学彬鞠伟男刘丽萍王曼娜王诗萌朱永健苏煜郭嘉欣王宇哲黄文涛刘宏伟
一种将C代码封装成FMU的方法及装置
本发明公开了一种将C代码封装成FMU的方法及装置，所述方法包括：在接收到封装请求的情况下，获取所述封装请求中包含的待封装C代码；基于FMI标准接口将所述待封装C代码封装为动态链接库文件；基于预设的描述性模板生成与所述待封...
张桥李京燕何子中
SCADE模型与C代码的映射工具
本发明的SCADE模型与C代码的映射工具，包括模型文件解析模块、映射文件解析模块、C文件解析模块、模型重绘模块、映射关系模块、代码渲染模块及界面显示模块，映射工具能同时显示SCADE模型及对应的C代码文件，并追踪SCAD...
赵会兵师瑞音侯锡立
一种基于C代码的航天器控制系统用户需求自动生成方法
一种基于C代码的航天器控制系统用户需求自动生成方法，采用C编译技术进行算法封装；然后搭建状态流图及程序流图，编辑用户需求仿真C代码进行控制器设计；然后将用户编辑的用户需求仿真C代码封装成为一个符合数学仿真验证平台接口需求...
董文强林瀚峥胡海霞张军汤亮陈守磊刘洁涂俊峰张和华
加载更多 ∨

相关作者

方青坡
作品数：10被引量：5H指数：1
供职机构：解放军信息工程大学
研究主题：C代码 信息流 信息流分析 无线局域网 镜像文件
杨志斌
作品数：98被引量：152H指数：7
供职机构：南京航空航天大学
研究主题：AADL 自动生成方法 安全关键软件 L模型 AAD
赵秀凤
作品数：24被引量：36H指数：4
供职机构：解放军信息工程大学
研究主题：可证明安全 C代码 信息流 信息流分析 基于身份
郭渊博
作品数：202被引量：834H指数：14
供职机构：中国人民解放军信息工程大学
研究主题：容忍入侵 入侵检测 网络安全 可证明安全 异常检测
鲁秋子
作品数：4被引量：1H指数：1
供职机构：北京交通大学
研究主题：架构 混杂系统 离散事件系统 主动容错 C代码