C程序

摘要： 幻方中的奇数阶构造方法有许多种,将之用于计算机学习中,用C程序实现幻方构造的不同种算法,更有助于培养程序设计的逻辑思想。

摘要： 随着C++语言标准的不断演进,词法语法解析工具如JavaCC等对于很多扩充的新特性以及复杂的语法结构不能做到完全支持,这可能会导致抽象语法树生成错误且不完整;针对这一问题,提出一个针对抽象语法树生成错误的处理框架;首先,通过对JavaCC的扩充,实现一套可以解析C++语言的词法语法分析器,生成抽象语法树并记录报错行;其次,根据报错行寻找所在函数区间即不支持或不匹配的语法片段;最后,通过注释函数区间的方式来跳过不支持或不匹配的语法片段进行错误处理并迭代生成抽象语法树;实验结果表明,对抽象语法树生成进行错误处理后可以更全面的分析代码,抽象语法树完成率上升37.8%,分析行数提高3.9倍。

摘要： 文章主要以雷达系统软件安全为背景,首先提出了从C程序到基于一阶逻辑的形式模型的总体转换方法,通过定义辅助运算子,给出从C程序到形式模型保持语义一致的映射规则,对C程序的核心结构如赋值语句、条件语句、循环语句以及函数结构进行了规约,从而得到可执行的形式模型。最后,给出一个典型的C程序案例,应用转换规则生成了对应的形式模型,验证了转换方法的有效性。

摘要： 四阶幻方是最简单的双偶幻方,主要研究用自然方阵及数字组合方阵来构造四阶幻方,并通过程序设计来实现四阶幻方的幻造,同时用程序来验证所构造的四阶幻方为全对称幻方。

摘要： 聚焦安全关键软件,研究基于PROMELA形式模型验证C程序中违反断言、数组越界、空指针解引用、死锁及饥饿等5类故障技术。建立C程序抽象语法树节点到PROMELA模型,验证属性相关函数到PROMELA模型的2类映射规则;根据映射规则提出由C程序自动生成PROMELA形式模型的算法,并对算法进行理论分析;针对C程序中5种故障类型,分别给出基于PROMELA模型的形式化验证方法,并分析验证的范围;覆盖各类故障的验证范围,为每类故障类型选取12个C程序案例进行实证研究,实验结果证明了方法的有效性。

摘要： 本文主要对C程序中引用结构体类型数据中成员的一些方法做了比较详细的探讨,分析了使用结构体变量和指针变量引用成员的区别,并结合具体案例,让初学者对结构体成员的引用有进一步认识。

摘要： C语言广泛应用于嵌入式软件和系统软件的开发,它提供了更直接的底层内存控制,但却缺少对内存访问安全性的检测,导致C程序运行时可能产生内存安全性错误。当前,开发人员力求通过多种验证技术解决内存安全性错误,最常用的是运行时验证技术。文章首先对C程序常见的内存安全性错误进行分析,然后介绍几种相关的内存分析技术,最后分别对几种常用的C程序内存安全性检测工具进行介绍和比较,为接下来的研究工作提供了方向性参考。

摘要： 为解决如何在课时有限情况下面对弱基础的高职学生完成知识结构复杂的C#编程授课以及如何有效的保持学生在C#枯燥语法知识 体系下持续主动学习的兴趣,提出构建基“SPOC+任务驱动”的翻转课堂教学模式,介绍了该模型的三个核心阶段和具体实施过程。

摘要： 随着计算机技术的迅速推广,在程序开发中,C语言变得更为盛行,能够应用于系统及应用软件的开发设计,同时,对于计算机来说,数学也尤为重要,能够决定计算机程序的质量.因此,本文主要是从C语言的特点、C语言和数学方法直接的关系、数学方法在C语言中的具体应用以及多种数学方法在C语言程序中的应用等方面进行阐述,旨在说明不同的数学算法对同一个程序有不同的影响,可以探求最优的数学算法,来提高程序的质量和效率.

摘要： 在类属编程(GenericProgramming)以及科学计算领域中,C++中的模板愈发显示出其不可替代的作用.但是模板也进一步增加了C++语法的复杂度.由于模板的广泛应用,对支持模板分析的分析器的需求也日益增强.因此必须要解决模板分析中的几个难点.本文针对难点之一:类模板偏特化(partialspecialization)匹配问题,提出了一种行之有效的算法,并在JohnLilley的C++分析器基础上实现了该算法.最后给出了该算法实际应用的效果,并与相关工作进行了比较.

摘要： 在类属编程(GenericProgramming)以及科学计算领域中,C++中的模板愈发显示出其不可替代的作用.但是模板也进一步增加了C++语法的复杂度.由于模板的广泛应用,对支持模板分析的分析器的需求也日益增强.因此必须要解决模板分析中的几个难点.本文针对难点之一:类模板偏特化(partialspecialization)匹配问题,提出了一种行之有效的算法,并在JohnLilley的C++分析器基础上实现了该算法.最后给出了该算法实际应用的效果,并与相关工作进行了比较.

摘要： 在类属编程(GenericProgramming)以及科学计算领域中,C++中的模板愈发显示出其不可替代的作用.但是模板也进一步增加了C++语法的复杂度.由于模板的广泛应用,对支持模板分析的分析器的需求也日益增强.因此必须要解决模板分析中的几个难点.本文针对难点之一:类模板偏特化(partialspecialization)匹配问题,提出了一种行之有效的算法,并在JohnLilley的C++分析器基础上实现了该算法.最后给出了该算法实际应用的效果,并与相关工作进行了比较.

摘要： 数字系统中可测性的测度是表征电路可测难易程度的一个量.可测性包括可控性和可观测性.这里主要讨论可控性算法以及相应的C++程序设计思想,最终的目标是对于任意给定的一个数字电路,可通过运行编写的程序,得到电路任意一节点的可控性值.

摘要： 数字系统中可测性的测度是表征电路可测难易程度的一个量.可测性包括可控性和可观测性.这里主要讨论可控性算法以及相应的C++程序设计思想,最终的目标是对于任意给定的一个数字电路,可通过运行编写的程序,得到电路任意一节点的可控性值.

摘要： 数字系统中可测性的测度是表征电路可测难易程度的一个量.可测性包括可控性和可观测性.这里主要讨论可控性算法以及相应的C++程序设计思想,最终的目标是对于任意给定的一个数字电路,可通过运行编写的程序,得到电路任意一节点的可控性值.

摘要： 数字系统中可测性的测度是表征电路可测难易程度的一个量.可测性包括可控性和可观测性.这里主要讨论可控性算法以及相应的C++程序设计思想,最终的目标是对于任意给定的一个数字电路,可通过运行编写的程序,得到电路任意一节点的可控性值.

摘要： 该文介绍了YHSIM语言的特点,描述了YHSIM仿真程序与外部C程序及经验函数一起进行编译与连接的工作流程;描述了在YHSIM仿真程序调用C程序的实现方法,包括,在C函数的传值和传地址的形式参数如何编写,在YHSIM程序中参数如何说明,如何调用C函数,如何设置YHSIM的编译与连接选项等等.

摘要： 该文介绍了YHSIM语言的特点,描述了YHSIM仿真程序与外部C程序及经验函数一起进行编译与连接的工作流程;描述了在YHSIM仿真程序调用C程序的实现方法,包括,在C函数的传值和传地址的形式参数如何编写,在YHSIM程序中参数如何说明,如何调用C函数,如何设置YHSIM的编译与连接选项等等.

摘要： 该文介绍了YHSIM语言的特点,描述了YHSIM仿真程序与外部C程序及经验函数一起进行编译与连接的工作流程;描述了在YHSIM仿真程序调用C程序的实现方法,包括,在C函数的传值和传地址的形式参数如何编写,在YHSIM程序中参数如何说明,如何调用C函数,如何设置YHSIM的编译与连接选项等等.

摘要： 在NC程序检索装置中包含：第1图像生成步骤，在该步骤中，如果从外部输入了加工对象物的形状数据，则生成与加工对象物的形状数据相对应的图像数据，作为加工对象图像数据；第2图像生成步骤，在该步骤中，基于以前生成的NC程序，生成加工完成形状的图像数据，作为完成形状图像数据；保存步骤，在该步骤中，将完成形状图像数据与所对应的NC程序相关联而进行保存；相似度计算步骤，在该步骤中，通过对加工对象图像数据和完成形状图像数据进行比较，从而计算两者的相似度；检索步骤，在该步骤中，基于相似度，检索与加工对象图像数据相似或一致的完成形状图像数据的候补并进行显示；以及显示步骤，在该步骤中，显示通过外部输入而从完成形状图像数据的候补中指定的完成形状图像数据的NC程序。

摘要： 一种NC程序生成装置，其使用快速进给移动指令和直线插补移动指令生成在激光加工中使用的NC程序，该快速进给移动指令使加工头和被加工物之间的相对位置以第1移动速度进行移动，该直线插补移动指令使相对位置在仿形于被加工物的状态下以第2移动速度进行移动，该NC程序生成装置具有：移动时间计算部(19)，其计算出在使用了快速进给移动指令的情况下的相对位置的第1移动时间、和在使用了直线插补移动指令的情况下的相对位置的第2移动时间；移动方法选择部(21)，其对与第1及第2移动时间中的时间较短的那一个相对应的移动指令进行选择；以及NC程序生成部(22)，其通过将选择出的移动指令设定于加工点间，从而生成NC程序。

摘要： 本发明提供一种NC程序生成装置，其基于被加工物的加工前的三维形状数据以及被加工物的加工后的三维形状数据，提取相对于被加工物的加工区域即形状部位，生成与提取出的形状部位对应的NC程序，加工属性信息设定部(17)基于被加工物的加工机可利用的加工方法与被加工物的加工后的三维形状中可设定加工属性信息的形状部位的特征、位置以及方向之间的关联信息，设定被加工物属性信息。

摘要： 本发明属于计算机软件技术领域，公开了一种pthread库多线程C程序到MSVL程序的转换方法、计算机程序；所述pthread库多线程C程序到MSVL程序的转换方法包括：对pthread库多线程C程序进行静态分析，得到程序的层次语法图；将pthread库多线程C程序通过给出的规则转换为语义等价的MSVL程序。本发明适用于模型检测中pthread库多线程C程序的转换，相较于传统的模型检测方式，MSVL语言的优势在于集系统建模、仿真和验证于一体，可用于描述系统的顺序、选择、循环、并发、同步和信号量等特征，同时可以满足并发及分布式系统的建模需求。本发明提升了工作效率，促进了模型检测技术在学术界和工业界的推广。

摘要： 在NC程序检索装置中包含：第1图像生成步骤，在该步骤中，如果从外部输入了加工对象物的形状数据，则生成与加工对象物的形状数据相对应的图像数据，作为加工对象图像数据；第2图像生成步骤，在该步骤中，基于以前生成的NC程序，生成加工完成形状的图像数据，作为完成形状图像数据；保存步骤，在该步骤中，将完成形状图像数据与所对应的NC程序相关联而进行保存；相似度计算步骤，在该步骤中，通过对加工对象图像数据和完成形状图像数据进行比较，从而计算两者的相似度；检索步骤，在该步骤中，基于相似度，检索与加工对象图像数据相似或一致的完成形状图像数据的候补并进行显示；以及显示步骤，在该步骤中，显示通过外部输入而从完成形状图像数据的候补中指定的完成形状图像数据的NC程序。

摘要： 一种NC程序生成装置，其使用快速进给移动指令和直线插补移动指令生成在激光加工中使用的NC程序，该快速进给移动指令使加工头和被加工物之间的相对位置以第1移动速度进行移动，该直线插补移动指令使相对位置在仿形于被加工物的状态下以第2移动速度进行移动，该NC程序生成装置具有：移动时间计算部(19)，其计算出在使用了快速进给移动指令的情况下的相对位置的第1移动时间、和在使用了直线插补移动指令的情况下的相对位置的第2移动时间；移动方法选择部(21)，其对与第1及第2移动时间中的时间较短的那一个相对应的移动指令进行选择；以及NC程序生成部(22)，其通过将选择出的移动指令设定于加工点间，从而生成NC程序。

摘要： 提供生成能够确保适合的加工精度的NC程序的技术。在包括CPU(11)并生成针对车床中的工件的车削加工用的NC程序的变换用计算机(10)中，将CPU(11)构成为计算在车削加工时的多个加工位置处的处理对象的工件中发生的变位，并根据在多个加工位置处的工件中发生的变位来决定在车削加工时使用的工具的移动路径，生成使工具按照所决定的移动路径进行移动的NC程序。

摘要： 本发明提供一种NC程序生成装置，其基于被加工物的加工前的三维形状数据以及被加工物的加工后的三维形状数据，提取相对于被加工物的加工区域即形状部位，生成与提取出的形状部位对应的NC程序，加工属性信息设定部(17)基于被加工物的加工机可利用的加工方法与被加工物的加工后的三维形状中可设定加工属性信息的形状部位的特征、位置以及方向之间的关联信息，设定被加工物属性信息。

摘要： 本发明属于计算机软件技术领域，公开了一种pthread库多线程C程序到MSVL程序的转换方法、计算机程序；所述pthread库多线程C程序到MSVL程序的转换方法包括：对pthread库多线程C程序进行静态分析，得到程序的层次语法图；将pthread库多线程C程序通过给出的规则转换为语义等价的MSVL程序。本发明适用于模型检测中pthread库多线程C程序的转换，相较于传统的模型检测方式，MSVL语言的优势在于集系统建模、仿真和验证于一体，可用于描述系统的顺序、选择、循环、并发、同步和信号量等特征，同时可以满足并发及分布式系统的建模需求。本发明提升了工作效率，促进了模型检测技术在学术界和工业界的推广。

摘要： 本发明公开一种面向C程序源码的程序可信性验证方法及装置，涉及软件安全领域，包括以下步骤，判断C程序源码是否符合编译器的规范要求，实施预处理，预处理后的C程序源码进入编译器的语法分析，生成控制流图，通过类型检查符号化，将安全性质添加到符号模型检测模块，再经过静态单赋值，形成符号公式系统，使用逻辑公式求解系统对符号公式系统进行逻辑公式转换，生成逻辑公式，将逻辑公式接入逻辑求解系统，从逻辑求解系统获取是否可满足结论，确定源码是否存在缺陷，解决C程序源码未能通过测试解决的潜在缺陷问题，以及基于定理证明等形式化验证方法效率低的问题，以静态方式实施运行时错误的检测，与传统测试技术方法形成互补。