共查询到19条相似文献,搜索用时 156 毫秒
1.
基于Internet的C语言学习支撑平台的设计与实现 总被引:2,自引:0,他引:2
提出了一种基于Internet的C语言学习支撑平台的设计模型和实现方式。该系统基于.NET平台,通过重定向技术实现了与经典C语言编译器的无缝交互功能;利用多线程技术和同步控制理论实现了更加准确的编译检错和逻辑检错功能;结合面向对象的工程化设计思想和反射技术解决了庞大的测试用例调度问题,保证了系统的扩展性和健壮性。系统实现的编译错误帮助、逻辑功能检测等服务为C语言学习者提供了更加完善的学习平台,弥补了现有支撑平台无法进行功能检错的不足。 相似文献
2.
适合于科学计算的脚本语言Python 总被引:2,自引:0,他引:2
Python是面向对象的脚本语言,它有高级的数据类型和简单但却有效的面向对象的程序设计方法,其精炼的语法,动态类型及其自动的解释器,使它适合于大部分平台上编写脚本和快速开发应用程序。Python语言结合C语言编写的Numpy(数值扩展程序模式)或与系统语言C/C++,Fortran结合用于开发科学计算软件。 相似文献
3.
主要介绍了一种用C语言编写的对工厂条形码进行检错的软件。论述了以C语言为基础编写检错程序的思路和方法。介绍了检错软件的实现流程。采用C语言编写的程序代码简洁,实时性好,生成的文本文档易于操作,用户使用简单方便。 相似文献
4.
写污点值到污点地址漏洞模式检测 总被引:1,自引:0,他引:1
设备驱动是允许高级程序与硬件设备交互的底层程序.通常设备驱动中的漏洞较之应用程序中的漏洞对计算机系统的安全具有更大的破坏性.写污点值到污点地址是Windows设备驱动程序中频繁出现的一种漏洞模式.首次明确地对该种漏洞模式进行描述,提出一种针对二进制驱动程序中该种漏洞模式的自动检测方法,并实现相应的原型工具T2T-B2C.该方法基于反编译和静态污点分析技术,与其他方法相比,既可以分析C代码,也可以分析本地二进制代码.该工具由T2T和B2C两个组件组成:首先B2C基于反编译技术将二进制文件转换为C语言文件;然后T2T基于静态污点分析技术检测B2C生成的C代码中出现写污点值到污点地址漏洞模式的语句.使用多种反病毒程序中的二进制驱动对T2T-B2C进行了评估,发现了6个未公开漏洞.评估结果表明:该工具是一款可实际应用的漏洞检测工具,可应用于对较大规模的程序进行检测. 相似文献
5.
6.
当前,面向Agent程序设计在支持动态开放多Agent系统开发方面存在一系列的不足,如缺乏高层抽象、底层实现模型与高层设计模型相脱节、在支持系统动态性方面缺乏有效的运行机制和语言设施等.针对这些问题,提出一种基于组织的面向Agent程序设计方法.该方法将组织、Group、角色和Agent等高层抽象作为一阶实体,缩小了多Agent系统的设计模型与实现模型之间的概念鸿沟;借助于组织学中的机制——角色扮演机制、基于角色的交互——支持系统动态性的规约和实现,如Agent行为的动态组合、动态的交互等,基于该程序设计思想,设计了基于组织的面向Agent程序设计语言——Oragent,定义了其抽象语法和形式语义,并通过案例分析说明了如何基于该程序设计思想和Oragent语言来构造和实现动态而灵活的多Agent系统. 相似文献
7.
8.
泛型编程是多数现代程序设计语言支持的,能够简化代码、提高代码复用性的现代编程方法.依据C语言的基础语法规则,深度挖掘C语言本身的语言特性,基于类函数宏技术实现了泛型顺序栈的编程实践,为使用C语言实践泛型编程提供了一种解决思路. 相似文献
9.
本文介绍一个面向程序设计语言C的语法引导编辑系统CSDE。CSDE以统一的用户界面帮助用户管理自己的文件系统,支持用户在C语言语法的引导下对程序进行编辑。在程序编辑过程中,CSDE对用户的程序进行增量语法检查,指出程序中的语法错误,引导用户建立符合语法的程序。CSDE还支持模块化的概念,为用户的模块化程序系统生成并维护一全程量说明模块,帮助用户处理外部量引用问题。 相似文献
10.
11.
许多复杂的嵌入式系统都是混合关键系统(mixed-criticality system,简称MCS).MCS通常需要在指定的关键性(criticality)等级状态下运行,但是它们可能会受到一些危害的影响,这些危害可能会导致随机错误和突发错误,进一步导致执行线程中止,甚至导致系统故障.目前的研究仅集中于对MCS的可调度性分析,未能进一步分析系统安全性,未能考虑线程之间的依赖关系.本文以随机错误和突发错误为研究对象,提出一种集成故障传播分析的基于架构的MCS安全分析方法.使用架构分析和设计语言(Architecture Analysis and Design Language,简称AADL)刻画构件依赖关系.为了弥补AADL的不足,创建新的AADL属性(AADL突发错误属性),并提出新的线程状态机(突发错误行为线程状态机)语义来描述带有突发错误的线程执行过程.为了将概率模型检查应用于安全分析,提出模型转换规则和组装方法,从AADL模型推导出PRISM模型.建立了两个公式,分别获得定量安全属性以验证故障发生的概率,以及定性安全属性以生成相应的正例来求出故障传播路径来进行故障传播分析.最后,以动力艇自动驾驶仪(power boat autopilot,简称PBA)系统为例,验证了该方法的有效性. 相似文献
12.
《计算机辅助绘图.设计与制造(英文版)》2012,(1):84-88
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. 相似文献
13.
针对目前藏文文本自动查错方法的不足,该文提出了一种基于规则和统计相结合的自动查错方法.首先以藏文拼写文法为基础,结合形式语言与自动机理论,构造37种确定型有限自动机识别现代藏文字;然后利用查找字典的方法识别梵音藏文字;最后利用互信息和t-测试差等统计方法查找藏语词语搭配错误和语法错误等真字词错误,实现藏文文本的自动查错... 相似文献
14.
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. 相似文献
15.
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. 相似文献
16.
17.
惯性仪表误差直接影响导航精度,很多情况下,为了能够取得更好的惯性测量系统误差标定结果,需要在机载动态的情况下实时地在线标定惯性器件的误差;基于此目的,利用PC机和两组RS-232串口通道作为基本的平台硬件,在Visual C++开发环境下开发了半物理仿真应用程序;仿真平台具备了基本的可视化操作界面、惯性测量系统仿真功能、数据传输功能以及标定解算功能;并且对安装方式的误差进行了标定仿真实验,并取得了较好的可实现性,为空中在线标定惯性系统误差提供了比较可靠的仿真实验平台。 相似文献
18.