基于动态检测与静态分析的自动评分方法研究

为了给C语言编程题进行合理评分,本文提出了一种新型的自动评分方法,在动态检测阶段先利用KMP算法执行关键字匹配,若匹配相似度落入预期值区间,则将学生源程序转换为可执行文件,通过预先设置的测试用例来驱动评分;若关键字匹配未通过、程序无法运行或者运行期间出现异常,则执行静态分析.静态分析阶段选取控制结构作为静态评分的关键因素,采用抽象语法树作为源代码的中间转换形式,并对其标准化以消除代码语义的多样性;根据抽象语法树中的结点类型提取出控制结构子树;最后,利用基于结点权值的树编辑距离算法来匹配标准化后的学生源程序与模板程序的控制结构子树,计算相似度并给出综合评分结果.实验结果表明,该方法能够对程序进行合理有效地评分,并且具有较高的准确率.     

基于Web的C语言教学系统的设计与实现

提出了一种基于WEB的C语言教学系统的设计与实现。该系统基于.NET平台,并通过客户端脚本与经典的C语言编译器无缝交互功能。利用B/S开发模式中数据交互通道实现了程序的逻辑功能性检测;结合面向对象的工程化设计思想和尝试性的语法语义分析模式对C程序进行语法检错判断。     

基于TI C6000系列DSP的C／C＋＋程序优化技术

在现代DSP的开发中,越来越多地采用C/C++作为开发语言,而C/C++程序的优化成为DSP软件开发的重要环节.在此介绍TI C6000的软件开发流程,重点讨论C6000系列的C/C++程序优化技术,包括优化流程,C/C++代码优化方法,编写线形汇编代码优化方法等.为DSP的C/C++软件开发提供了全面的程序优化技术和方法,对实际系统的开发具有重要的现实意义.     

GCC编译器生成代码中的C++对象模型分析

本文对GCC编译器编译C++程序时使用的对象模型进行了讨论,重点分析了GCC实现C++对象模型过程中采用的相关数据结构和算法。本文的分析可以帮助程序开发者及C++编译器的设计者理解GCC编译器中C++对象模型的实现机制,或在C++程序安全分析领域帮助开发者设计C++程序安全模型。     

Tcl/OTcl语言与C++语言之间的通信

Tcl/OTcl是一种通用的、平台独立的解释类语言。C++是一种编译类的编程语言。这两种语言可以通过一个中间模块相互通信,共同构造出一个应用软件。而且可以通过配置Tcl/OTcl脚本,灵活多样地调度C++程序,从而达到用户预期的目的。文章详细论述了C++和Tcl之间的通信机制,并以NS-2为例,说明了如何使用这一机制构建灵活高效的应用软件。     

C/C++程序设计课程中学生编程能力的培养

根据C/C++程序设计课程的教学内容,探讨如何培养学生的编程能力。针对我院学生学习C/C++程序设计课程时,在编程方面出现的种种问题,分别从程序设计方法,程序设计思维,程序设计风格以及程序设计环境等四个方面进行了详细阐述,以培养更高素质和高能力的编程人才。     

C++基础上的加密/解密置换算法的实现研究

文章对数据加密技术进行了一定的分析研究,对其中的置换算法及加密/解密进行分析,对加密/解密置换算法的程序设计以及实施步骤进行简单的介绍,并且提高大家C++源程序。通过对基于C++基础上加密/解密置换算法的研究,为大家对信息加密以及解密的理解及掌握提供一定的经验。     

Borland C++Builder Client/Server Suite——与Microsoft较量

Borland最近以其C++Builder3的问世确立了软件开发的标准。C++Builfor3是一整套非常诱人的集成工具包。在Windows NT 4环境下,我们对Borland公司C++快速开发环境中新的顶级程序C++Builder3 Cli-ent/Server Suite的一个beta版本进行了测试。该软件包将对高层企业级和低层系统级的编程能力的广泛支持与对Win-dows应用程序开发的深入支持紧密地结合在一起。     

由C++到Verilog实现数字逻辑设计的方法

通过介绍C++语言配合VerilogHDL来进行数字逻辑设计的模式,提出了一种由C++到Verilog来实现逻辑设计的崭新方法此方法从系统设计(虚拟机)入手,用C++来搭建所需要的系统模型,再由Verilog与C++的一致性转化,将软件设计精确地转化到硬件级上,使得逻辑设计向上可进行软硬件的联合仿真,向下能够实现物理级延伸通过该方法可有效地避免SOC设计中从系统到物理实现在转化过程中产生的逻辑不一致在简叙C++的语言特性后,将Verilog与C++进行了对比分析,给出了两种语言之间进行转化设计的实现方式结合数字信号处理器的设计,对此方法进行了设计应用,最终通过比对C++与Verilog两者的仿真数据文件,对两种层次系统描述进行了测试验证     

关于“C语言程序设计”课程教学改革的探讨

“C语言程序设计”是计算机专业的一门基础课程，也是程序设计类课程的入门课程，学好它对后续的相关课程（如“数据结构”“嵌入式系统”“C++程序设计”等程序类课程）十分重要。然而，“C语言程序设计”这门课程中的概念和语法繁多、运算符和数据结构丰富、功能强大而灵活，且逻辑性和实践性较强，传统的教学以知识点讲授为主，忽略了以学生为导向，导致学生学习兴趣下降、教学效果较差。为了激发学生的学习兴趣，培养学生的逻辑思维及编程能力，应遵循“教学做合一”的课堂教学模式，将教、学、做贯穿到整个教学课堂中。     

一种Linux下动态内存泄漏检测技术的实现

内存泄漏是软件开发中经常遇到的问题。在使用C/C 开发的大型软件中,内存泄漏往往很难发现。现介绍了一种基于动态代码插装技术的内存泄漏检测器的实现方法。该方法在实践中证明简单易用,对软件运行期内的影响较低。     

新的DVB测试系统的软件实现

该系统可以实现对DVB系统的测试和诊断，并能对符合DVB标准的视频节目进行分析。首先，由于采用了多线程的调度算法和层次化的设计结构，能对被测模块处理过程中的码流进行实时分析，通过显示码流的基本信息和出错信息，即码率，每个节目的PID，同步丢失等，完成DVB系统的在线诊断，接着对码流进行更复杂的非实时分析，通过给出码流的SI信息，PCR信息，检测码流中的部分错误，达到对DVB系统的深入诊断。     

软件错误检测与纠正技术可靠性研究

基于信息冗余的错误检测与纠正（Error Detection and Correction,EDAC）技术是常见的系统级抗单粒子翻转（Single Event Upsets,SEU）的容错方法,软件实现的EDAC技术是硬件EDAC技术的替代方案,通过软件编程,在现有存储段上增加具有纠错功能的编码（Error-correcting Codes,ECC）来实现存储区错误的检测和纠正。分析了软件EDAC方案中,纠错编码的纠错能力及编码效率、刷新间隔、需保护代码量等因素对可靠性的影响,分析和仿真实验结果表明,对于单个粒子引起的存储器随机错误,提高单个码字的纠错能力及编码效率、增大刷新间隔对可靠性的影响不大,而通过缩短任务执行的代码量来提高刷新间隔,以及压缩需保护代码的总量,对可靠性有较大改进。分析结论能够指导工程实践中,在实现资源、实时性、可靠性之间进行优化选择。      

铁路道岔液压转辙机实时监测系统设计

铁路道岔在液压转辄机的控制下实现铁轨的移动和连接,液压转辄机一旦出现故障将导致行车事故的发生.为了克服现有人为检查的不足,按照状态检修的要求,提出了一种基于电力线载波的铁路道岔液压转辙机油压实时监测系统.该系统由PC机、母板、子板、下位机构成,下位机安装在液压转辙机上监控油压,使用铁路上现有的供电线路,通过电力线载波将油压数据传输给子板,再通过串口将数据传输到母板,然后由母板转发到PC机进行数据的实时显示.系统在实际应用中各项功能正常.     

基于泛搜索路由协议的AdHoc网络设计与实现

在AdHoc网络技术的工程实现中,路由协议的选择以及硬件无线通信系统设计是要解决的两个关键环节。本文针对节点之间无等级结构的AdHoc网络,基于一种泛搜索路由协议进行AdHoc网络系统设计和实现。硬件通信设备采用单片机C8051F920控制无线数传模块的方案进行设计,按照搜索路由协议对单片机编写程序,继而组建AdHoc网络系统。通过对网络测试所得的数据结果进行分析,表明该路由协议能适应网路拓扑结构变化,准确地找到一条适合传输的路由,所设计通信系统满足AdHoc网络的基本特征。     

MPI程序同步通信基本模型死锁检测

本文提出了MPI程序的同步通信模型及三个基本简化模型,给出了判定这些基本模型是否死锁的方法和定理并予以了严格证明.简化模型的死锁检测理论和方法是真实MPI程序死锁检测的必要基础.这些方法基于程序静态分析,必要时进行运行时检测,它们对两种简化模型可以在程序编译前确定是否死锁,对另外一种模型,在编译前可静态确定部分死锁,运行中可确定其他死锁.我们的理论可以证明MPI程序死锁检测主流算法的正确性,其方法可以减少它们对客户源代码或MPI profiling接口的修改量,从而大大降低死锁检测开销,并可在运行前判定死锁.     

CFCET: A hardware-based control flow checking technique in COTS processors using execution tracing

This paper presents a behavioral-based error detection technique called control flow checking by execution tracing (CFCET) to increase concurrent error detection capabilities of commercial off-the-shelf (COTS) processors. This technique traces the program jumps graph (PJG) at run-time and compares it with the reference jumps graph to detect possible violations caused by transient faults. The reference graph is driven by a preprocessor from the source program.The idea behind the CFCET is based on using an external watchdog processor (WDP) and also the internal execution tracing feature available in COTS processors to monitor the addresses of taken branches in a program, externally. This is done without any modification of application programs, thus, the program overhead is zero. This technique is analytically evaluated based on three different fault models. The results show that the error detection coverage varies between 79.74% and 96.43% depending on the different workload programs. The errors are detected with about zero latency. The external hardware overhead is about 3% using the Altera flex 10K30 FPGA and the execution time overhead is between 33.26% and 140.81% for different workload programs. The overheads have been measured experimentally by executing the workloads on a Pentium system.     

线程划分中的寄存器依赖问题分析

推测多线程主要针对编译器生成的指令进行线程划分,在控制流和数据流分析基础上,实现串行程序的自动并行化.模拟器作为检验线程划分算法的有效手段,不仅能验证程序执行结果的正确性,而且可以评估程序并发执行的加速比性能,进一步也可以反映线程划分算法的合理性.针对Olden Suite程序在模拟器上的运行时统计信息,分析线程划分中所存在的寄存器依赖问题.同时,结合实例详细讨论造成寄存器依赖的主要原因.最后,针对寄存器依赖问题提出一种改进的线程划分方法.     

基于图卷积网络的服装评价信息分类问题的研究

随着互联网的快速发展以及电子设备的逐渐普及,越来越多的人选择在网上购物,买家在购买商品之后,可以通过平台提供的评价系统表达自己对服装产品的感受,因此会产生大量的服装评价信息。由于这些评价信息的标签是通过人工选择的,会受到外在因素的影响,所以具有不确定性。这些不确定性产生的误差会影响到平台以及其他用户对服装产品的评判。针对这一问题,本文研究了一种基于图卷积的分类方法,将单词、文档、主题视为节点,三者之间的关系作为边构建大型异构图网络。将该异构图作为图卷积网络模型的输入,并引入了注意力机制,根据不同邻居节点与某一特定节点的关系具有不同的重要程度,构建了关注矩阵。最后对一个公开的服装评价文本进行实验评估以及分析,实验结果表明本方法取得的分类结果优于传统神经网络。     

台达变频器和C51单片机通讯

台达VFD全系列变频器均能够通过通讯进行参数的读写和控制,随着单片机功能的越来越强大,在嵌入控制中的应用更加广泛。如何实现单片机和变频器之间的通讯是本文的介绍重点。同时本文给出了单片机和变频器通讯的硬件电路图和通讯源程序051,有助于读者掌握台达变频器在嵌入式系统的通讯应用技术。