基于Internet的C语言学习支撑平台的设计与实现

提出了一种基于Internet的C语言学习支撑平台的设计模型和实现方式。该系统基于.NET平台,通过重定向技术实现了与经典C语言编译器的无缝交互功能;利用多线程技术和同步控制理论实现了更加准确的编译检错和逻辑检错功能;结合面向对象的工程化设计思想和反射技术解决了庞大的测试用例调度问题,保证了系统的扩展性和健壮性。系统实现的编译错误帮助、逻辑功能检测等服务为C语言学习者提供了更加完善的学习平台,弥补了现有支撑平台无法进行功能检错的不足。     

适合于科学计算的脚本语言Python

Python是面向对象的脚本语言，它有高级的数据类型和简单但却有效的面向对象的程序设计方法，其精炼的语法，动态类型及其自动的解释器，使它适合于大部分平台上编写脚本和快速开发应用程序。Python语言结合C语言编写的Numpy（数值扩展程序模式）或与系统语言C／C＋＋，Fortran结合用于开发科学计算软件。     

C语言在条形码检错方面的应用

主要介绍了一种用C语言编写的对工厂条形码进行检错的软件。论述了以C语言为基础编写检错程序的思路和方法。介绍了检错软件的实现流程。采用C语言编写的程序代码简洁,实时性好,生成的文本文档易于操作,用户使用简单方便。     

写污点值到污点地址漏洞模式检测

设备驱动是允许高级程序与硬件设备交互的底层程序.通常设备驱动中的漏洞较之应用程序中的漏洞对计算机系统的安全具有更大的破坏性.写污点值到污点地址是Windows设备驱动程序中频繁出现的一种漏洞模式.首次明确地对该种漏洞模式进行描述,提出一种针对二进制驱动程序中该种漏洞模式的自动检测方法,并实现相应的原型工具T2T-B2C.该方法基于反编译和静态污点分析技术,与其他方法相比,既可以分析C代码,也可以分析本地二进制代码.该工具由T2T和B2C两个组件组成:首先B2C基于反编译技术将二进制文件转换为C语言文件;然后T2T基于静态污点分析技术检测B2C生成的C代码中出现写污点值到污点地址漏洞模式的语句.使用多种反病毒程序中的二进制驱动对T2T-B2C进行了评估,发现了6个未公开漏洞.评估结果表明:该工具是一款可实际应用的漏洞检测工具,可应用于对较大规模的程序进行检测.     

基于符号执行的软件静态测试研究

文中基于符号执行理论,设计了一种面向C语言的静态分析方法。通过词法分析和语法分析构建了程序的抽象语法树,并在此过程中对源代码进行规范性检查,再根据函数调用关系与抽象语法树来确定程序分析层次,并通过约束求解器确定程序中每一条可执行路径,最后依照程序的可执行路径得到每个变量最终的符号执行结果。该方法支持基于C语言文法的程序规范性检查,便于代码质量度量。利用该方法得到的抽象语法树,可开展静态构架分析,同时利用变量值的符号表达式可辅助测试用例生成,有助于提高测试的效率和质量。     

基于组织的面向Agent 程序设计及其语言Oragent

当前,面向Agent程序设计在支持动态开放多Agent系统开发方面存在一系列的不足,如缺乏高层抽象、底层实现模型与高层设计模型相脱节、在支持系统动态性方面缺乏有效的运行机制和语言设施等.针对这些问题,提出一种基于组织的面向Agent程序设计方法.该方法将组织、Group、角色和Agent等高层抽象作为一阶实体,缩小了多Agent系统的设计模型与实现模型之间的概念鸿沟;借助于组织学中的机制——角色扮演机制、基于角色的交互——支持系统动态性的规约和实现,如Agent行为的动态组合、动态的交互等,基于该程序设计思想,设计了基于组织的面向Agent程序设计语言——Oragent,定义了其抽象语法和形式语义,并通过案例分析说明了如何基于该程序设计思想和Oragent语言来构造和实现动态而灵活的多Agent系统.     

基于产生式的多语言程序理解的算法

提出一种程序理解实现方案,通过将程序设计语言的词法规则和语法规则以产生式表示,设计基于产生式多语言程序处理算法,将产生式自动转化为对应的词法和语法规则函数,使得不同的程序设计语言规则可以采用统一的方式描述,从而可用一套程序理解系统实现对多种程序设计语言的程序理解,以后增加某种程序设计语言的程序理解,只要定义对应程序设计语言的词法和语法规则产生式即可实现,有效地解决了程序理解系统的共享性难题。     

C语言中基于类函数宏技术的泛型顺序栈的设计与实现

泛型编程是多数现代程序设计语言支持的,能够简化代码、提高代码复用性的现代编程方法.依据C语言的基础语法规则,深度挖掘C语言本身的语言特性,基于类函数宏技术实现了泛型顺序栈的编程实践,为使用C语言实践泛型编程提供了一种解决思路.     

语法引导编辑系统CSDE

本文介绍一个面向程序设计语言C的语法引导编辑系统CSDE。CSDE以统一的用户界面帮助用户管理自己的文件系统,支持用户在C语言语法的引导下对程序进行编辑。在程序编辑过程中,CSDE对用户的程序进行增量语法检查,指出程序中的语法错误,引导用户建立符合语法的程序。CSDE还支持模块化的概念,为用户的模块化程序系统生成并维护一全程量说明模块,帮助用户处理外部量引用问题。     

C程序变量错误检测技术的设计与实现

C语言自其出现以来便以其优秀的特性被广泛应用于程序开发中,如今C语言程序在各大领域依然发挥着重要的作用,尤其在一些重要的部门领域如航空航天、医疗、银行等部门提供着系统支持,相应的在软件安全和系统稳定上有更高的要求。本文主要针对C语言程序中常见的变量异常检测进行研究,以现有开源软件位基础实现编译器前端对C语言源程序进行词法语法解析,并实现基于C语言源代码插桩检测程序变量使用异常的实验,对"变量使用前未赋初值"、"变量值溢出"等变量使用错误错误实现检测和反馈。     

基于AADL的混合关键系统随机错误与突发错误安全性分析

许多复杂的嵌入式系统都是混合关键系统(mixed-criticality system,简称MCS).MCS通常需要在指定的关键性(criticality)等级状态下运行,但是它们可能会受到一些危害的影响,这些危害可能会导致随机错误和突发错误,进一步导致执行线程中止,甚至导致系统故障.目前的研究仅集中于对MCS的可调度性分析,未能进一步分析系统安全性,未能考虑线程之间的依赖关系.本文以随机错误和突发错误为研究对象,提出一种集成故障传播分析的基于架构的MCS安全分析方法.使用架构分析和设计语言(Architecture Analysis and Design Language,简称AADL)刻画构件依赖关系.为了弥补AADL的不足,创建新的AADL属性(AADL突发错误属性),并提出新的线程状态机(突发错误行为线程状态机)语义来描述带有突发错误的线程执行过程.为了将概率模型检查应用于安全分析,提出模型转换规则和组装方法,从AADL模型推导出PRISM模型.建立了两个公式,分别获得定量安全属性以验证故障发生的概率,以及定性安全属性以生成相应的正例来求出故障传播路径来进行故障传播分析.最后,以动力艇自动驾驶仪(power boat autopilot,简称PBA)系统为例,验证了该方法的有效性.     

Interference checking approach with tolerance based on assembly dimension chain

CAD model with nominal dimension is implemented in interference checking of assembly simulation of aircraft complex parts at present,which causes inadequate availability.In order to address this challenging issue,interference checking method with tolerance based on assembly dimension chain was proposed.Worst case and maximum error probability of tolerance of composing loop were used,and CAD models were respectively re-constructed and inserted into simulation system.Before dynamic interference checking,engineering semantic interference condition was set to assembly requirements.Finally,the interface checking result was a basis for reasonability of assembly process and tolerance.A prototype system was developed based on the above research.     

Syntax-directed correction of syntax errors

The systematic approach to compilation represented by syntax-directed compilers makes possible a similarly systematic approach to the automatic correction of syntax errors. This paper describes the syntax-directed syntax error correction system EXPL. Techniques for pinpointing the locations of syntax errors, generating sets of possible corrections and for choosing the best correction from such a set are presented. A particularly promising approach involves the use of semantic information to assist in the elimination of inappropriate syntactic corrections.     

基于规则与统计相结合的藏文文本自动查错方法研究

针对目前藏文文本自动查错方法的不足,该文提出了一种基于规则和统计相结合的自动查错方法.首先以藏文拼写文法为基础,结合形式语言与自动机理论,构造37种确定型有限自动机识别现代藏文字;然后利用查找字典的方法识别梵音藏文字;最后利用互信息和t-测试差等统计方法查找藏语词语搭配错误和语法错误等真字词错误,实现藏文文本的自动查错...     

Dynamic observer error linearization

In this paper, a new framework of observer error linearization problem is proposed. The main idea of our approach is twofold. The one is to introduce an auxiliary dynamics whose input is the system output, and the other is to transform the augmented system into an observable linear system with an injection term which contains the system output as well as the state of the auxiliary dynamics. It is a natural extension of the recently developed dynamic observer error linearization where the injection term contains only newly defined output. It is also shown that whenever an n dimensional system is immersible into an n+d dimensional linear system up to an output injection, then it can be also dynamically observer error linearizable in our sense with a d dimensional auxiliary dynamics. Moreover, we show that the converse is not true by providing a counterexample, which implies that our approach is applicable to a strictly wider class of systems than that of the system immersion method.     

经纬仪跟踪伺服系统中的动态高型控制的研究

为了在不影响系统动态特性的基础上提高传统PID控制的跟踪精度，提出采用高型控制方法设计Ⅱ型经纬仪跟踪伺服系统．根据经纬仪跟踪伺服系统的特点，采用动态高型控制方法进行动态跟踪调节，通过计算某时刻误差和误差变化率乘积的正负来确定积分环节的增减．动态高型控制方法使跟踪性能大大改善；不但提高了跟踪精度和速度，而且可适当增大积分常数而并不影响系统的稳定性，克服了传统积分作用导致积分饱和的缺点．仿真结果表明其跟踪效果和动态性能优于其他方法．     

惯性测量系统误差模型的机载验证仿真平台实现研究

惯性仪表误差直接影响导航精度,很多情况下,为了能够取得更好的惯性测量系统误差标定结果,需要在机载动态的情况下实时地在线标定惯性器件的误差;基于此目的,利用PC机和两组RS-232串口通道作为基本的平台硬件,在Visual C++开发环境下开发了半物理仿真应用程序;仿真平台具备了基本的可视化操作界面、惯性测量系统仿真功能、数据传输功能以及标定解算功能;并且对安装方式的误差进行了标定仿真实验,并取得了较好的可实现性,为空中在线标定惯性系统误差提供了比较可靠的仿真实验平台。     

别名集切片与并行化研究

针对复杂程序的分析问题,提出基于别名集切片的切片级并行技术与并行程序分析技术。利用传统分析算法,在每个切片上并行地进行复杂程序分析,从而实现复杂程序分析的并行化,加快复杂程序分析速度。以SPEC CPU2000/CPU2006中的部分C程序为测试用例进行实验,结果表明,利用别名集切片技术可在4个进程并行情况下,获得3.42的加速比。     

高精度激光干涉条纹细分系统

在激光干涉测量中,通常以相位差为90°的两路信号进行辨向计数和细分,而在这两路信号中普遍存在着非正交误差、不等幅误差和直流电平漂移误差,这些误差的存在严重地影响了测量结果的精度。因此,设计了以C8051F单片机为核心的电路补偿模块,采用以Heydem ann模型为基础的误差修正方法,对以上3种误差进行了动态补偿,进而实现了纳米级精度的位移测量。