VERICU做验用户宏程序

编好用户宏程序后一般都要调试，并对它的功能进行校验。许多G代码校验程序不支持用户宏程序，调试一般只能在数控机床上进行，不仅占用机床工时，且成本高、效率低。本文利用VERICUT软件，在计算机上调试用户宏程序，并进行仿真加工校验，取得了良好的效果。[编者按]     

代码自动生成的小程序漏洞实时检测系统设计

代码不够全面就会导致代码自动生成的小程序存有漏洞，为了确保代码自动生成小程序的安全性，就需要设计对代码自动生成的小程序漏洞实时检测系统，为此提出代码自动生成的小程序漏洞实时检测系统设计方法。该方法在系统中设计了多种不同的软件，利用软件采集小程序中的漏洞数据，便于后续的检测；同时在系统中设计不同的硬件功能模块，其中任务管理功能模块发挥着重要作用，该模块能够有效地分配检测任务，大大地提升了系统检测效率，基于设计的软件和硬件，实现检测系统的整体设计。实验结果表明，通过对该方法开展漏洞检测个数测试、耗时测试和漏检个数测试，验证了该方法的精准性强、可靠性高。     

n中取m代码的完全自校验(TSC)校验口的一种新的设计方法

本文提出了为n中取m代码设计有效的完全自校验(TSC)校验■的一种新方法。该方法基于把输入码变量划分成任意的r类。本文确定了在m,n和r中必须保持必要的设计条件。校验■基本上由与1/2到1/2子校验■连接的m/n到1/2子校验■组成。所进行的成本分析指出,对于 n≤4m 的多由m/n 代码,r值导于3或4获得最经济的校验■。同早期的一些设计相比较,逻辑复杂性和测试复杂性方面有了很大的改进。     

USB中的CRC校验原理及其Verilog HDL语言实现

在数据和控制信息中加上循环冗余码是通用串行总线（USB）协议中一个重要的错误检测措施。接收端通过进行循环冗余校验（CRC），可以检测包在传输过程中是否发生损坏。硬件描述语言Verilog HDL常用于数字电子系统性设计，设计者可用它进行各种级别的逻辑设计。介绍了循环冗余码基本原理、USB协议中的循环冗余校验以及CRC校验的串、并行设计和Verilog HDL代码实现。     

一种新的抵抗动态分析软件保护模型设计与实现

作为最常用的软件保护方式之一,序列号保护面临着最多的攻击者的研究.破解者主要的攻击过程分为黑盒阶段,动态分析阶段,静态分析阶段和编辑阶段.动态分析可以理解成一个遵循“定位保护代码-修改二进制代码-测试”的破解循环.从该破解循环入手,提出一种新的程序架构,在校验代码之前加入某种规则决定是否进行校验,并将其嵌入主程序的不同位置,形成的对主程序的校验位置的组合有2N种,这可为软件提供更有效的保护措施.     

基于Windows的数控加工刀具轨迹仿真

一、 前言在数控机床上加工零件，加工前一般要进行数控程序（NC代码）校验，检查刀具运动轨迹是否正确，判断加工参数选择是否合理，是否存在过切、欠切等。实际加工中随着工件复杂程度增加，ＮＣ代码的错误率成级数级增长。如果用传统试切的方法来检验刀具路径，需要花费大量     

DSP空间相机控制器的在轨程序重注

提出了一种基于DSP的空间相机控制器在轨程序重注方法,给出了重注程序接收、存储、校验和执行的流程和部分代码。并给出了DSP重注程序的编写和生成方法。在验证实验中以重注死循环程序为例,验证了在轨程序重注方法和重注程序编写方法的正确性。     

非原子性异常处理的静态分析

异常处理机制是程序设计语言的重要特征之一，它为开发可靠性系统提供了强有力的支持。但异常处理代码必须仔细编写，否则可能破坏程序的一致性。提出了基于扩展的程序依赖图，通过静态分析来发现程序中异常非原子性代码的方法，同时给出了自动的部分屏蔽异常非原子性代码的方法。     

CRC算法在计算机网络通信中的应用

在计算机网络通信中，为了降低数据通信线路传输的误码率，可以采用一种差错检测控制——循环冗余码校验（CRC）。介绍了CRC算法的原理、CRC算法的校验规则、CRC算法分析、CRC算法程序设计。由于CRC算法采用软件校验的方法，不需要设计另外的硬件电路，校验速度非常快，提高了计算机网络通信的速度和报文传输的准确性。     

C程序仿真与校验

本文应用NC程序仿真校验软件VERICUT，研究了NC程序的仿真技术，分别探讨了手工编写的和由CAD／CAM软件生成的NC程序的校验方法，完成了典型零件手工编写的和由CAD／CAM软件生成的NC程序的切削加工仿真和程序校验。     

MIS中数据寻入的代码辅助技术及其实现方法

本文结合我局开发的ＭＩＳ项目介绍了一些有智能化性质的代码辅助输入数据的程序设计方法和技巧，着重在多种代码手段的协同操作，拼音代码的模糊比较，代码的高频先见与关联列表等方面作了比较详细的阐述。     

基于SMC的Android软件保护研究与实现

随着Android平台的广泛应用,Android平台的软件保护越来越受到重视。由于Android平台普及时间较短,Android软件保护的研究尚处于起步阶段,而且开发人员安全意识不足,导致软件开发者的知识产权受到侵犯的事件屡见不鲜。文章针对Android平台逆向工程技术越来越泛滥的问题,在深入研究Android系统软件保护的基础之上,结合Android平台的软件破解技术,提出一种改进的基于代码自修改(self-modifying code,SMC)的Android软件保护机制。文章参考Windows平台代码自修改技术,通过对Android平台应用运行机制的整合,实现了Android平台的代码自修改。该机制在Android的代码自修改基础之上,采用自校验技术以及双层SMC,实现了对程序完整性的自校验以及在程序运行时对内存关键代码的修改,并通过相关代码的测试,验证该机制能够有效提高Android应用的抗逆向分析和防篡改能力。     

基于MATLAB的低通FIR数字滤波器的滤波

应用窗函数法，同时借助于MATLAB程序设计语言对FIR DF进行了有效的设计，并附有源程序代码。     

Kjava虚拟机的研究与设计

Kilos Vinual Machine(KVM)是J2ME的核心技术，通过安装KVM、手机等嵌入式设备可以通过网络下载运行J2ME版的Java应用程序。讨论了KVM的主要设计技术，提出了符合CLDC规范的KVM设计方案；该方案首次采用了基于预处理程序的实现技术，使得KVM的代码校验、垃圾回收和代码优化等在线处理工作大大减小，从而提高了KVM的性能；研究了预处理模块、垃圾回收模块的结构与算法及代码优化的策略；并讨论了具体实现中的若干问题。     

利用Visual C++6.0的APPWIZARD实现代码重用

本文论述了如何利用Visual C 6．0的Appwizard实现代码重用,通过该方法来设计程序有效地利用了以前程序的代码,大大节省了程序开发的时间。     

代码统一设计的若干方法及比较

通过实例详细讨论了实现代码统一设计的几种方法，并论述了各种方法的优缺点。所介绍的几种方法基本可以实现清晰、流畅、统一的代码设计，有效地减少了程序员的工作量，大大提高了程序的可维护性和可扩充性。     

通用数据接口装配件的设计与应用

采用ADO.NET默认结构,数据库操作和数据校验程序位于同一个.cs代码文件中,使得程序结构不清晰,因此,有必要按装配件设计思想对ADO.NET默认结构进行重构,把数据库操作和数据校验功能从Web业务逻辑层进行分离而封装为一个通用的数据接口装配件.同时,基于装配件的分解思想,将任一个Web应用分解为业务层、业务规则校验层、SQL语句生成层和数据对象实体层,并给出业务层中的促销入库业务类调用该装配件的方法.应用实践结果表明,该装配件具有良好的通用性,且大幅缩短了开发周期.     

西门子S7-200PLC 在自由模式下与计算机的通信

阐述了西门子S7—200 PUC以自由模式与上位计算机进行通信的方法，着重讲述了通信协议的指定以及PUC参数的设定、程序的设计方法和通信数据的校验方法，最后介绍了上位机运用Delphi语言和采用MSComm控件进行的程序设计。     

利用CRC—32检测程序的完整性

本文提出了一种利用循环冗余校验和（ＣＲＣ）对程序的完整性进行校验的方法，给出了计算ＣＲＣ－３２的Ｃ语言算法程序，给软件开发者进行程序完整性检测提供了一种思路。     

逆向工程中基于投机的反向优化技术研究

投机机制通过改善内存操作效能提高程序的执行性能，但是它需要大量复杂的代码处理投机失败及恢复，增加了程序的理解和投机代码再工程的复杂性。文中提出了一个算法，在安腾的二进制代码中消除投机指令并保证程序的语义，使得投机消除后的程序更容易理解,更易于应用传统逆向工程的技术进行代码再工程。