CRC校验的软件实现方法

论述ＣＲＣ校验的数学原理及软件实现方法，提出用Ｃ语言程序实现ＣＲＣ校验的查表方法。     

数据校验的实现方法

给出了在计算机系统及计算机网络中普遍使用的两种数据校验既奇偶校验和循环冗余校验(CRC)的原理及软、硬件实现方法。     

数据校验的实现方法

给出了在计算机系统及计算机网络中普遍使用的两种数据校验既奇偶校验和循环冗余校验(CRC)的原理及软、硬件实现方法。     

循环冗余校验的原理及软件实现

论述了循环冗余校验的数学模型以及编码原理，并给出了软件的实现方法。     

基于One Wire Bus的CRC校验软件实现

利用OneWireBus串行传输iButton器件数据，CRC校验是必不可少的。有二种CRC校验实现方案：硬件实现和软件实现方案。软件方案中，又有几种不同的方法，软件实现节省了专门的硬件校验电路。DOWCRC用查表法速度更快，CRC16用公式法更优越，既节省存储空间又提高校验速度。     

组合体中补线题目校验机制的设计与实现

文章采用分类方法，对在计算机上实现组合体补题目的匹配校验问题进行了较为详细的讨论，提出了校检机制的设计思路，并给出了相应的校验算法。     

基于混合分析的二进制程序控制流图构建方法

构建控制流图（CFG）是二进制程序分析的基础工作,针对静态构建方法无法处理间接跳转,动态构建方法效率低、不适用于大规模程序的问题,提出结合静态分析和动态分析的混合分析方法. 使用静态分析获得基础的控制流信息;采用模糊测试生成测试用例以进行动态分析,利用动态插桩获得间接跳转信息;融合静态分析和动态分析结果生成控制流图. 基于该混合分析方法,设计并实现了面向x86平台二进制程序的控制流图构建工具CFGConstructor. 分别在示例程序和CGC数据集上进行实验,评估该工具的有效性和性能. 实验结果表明CFGConstructor相比于静态分析能够构建更加完备的控制流图,相比于动态分析分析效率更高,能够适用于大规模程序.     

循环冗余校验CRC的算法分析及其实现方法

循环冗余校验CRC(Cyclic Redundancy Check)是一种编码简单,且高效、可靠的差错控制方法,广泛应用于工业测控及数据通信领域。阐述用循环冗余校验码CRC进行差错控制的原理,并介绍使用硬件和软件两种方式实现CRC码的方法。     

基于质因数分解的控制流错误检测方法

软件控制流错误检测技术是防止由于单粒子翻转事件而造成程序错误运行的有效手段之一,其方法主要是将编译时计算的签名值同运行时生成的签名值进行比较.因此,体现基本块间依赖关系的签名值的表示方法决定软件控制流错误检测概率的高低.为了在低检测代码开销的情况下提高错误检测概率,结合图论理论提出一种汇编层的控制流检测方法.该方法运用整数可唯一分解为素数乘积的代数基本定理表示基本块间依赖关系的要素,以此作为生成签名值的依据,将其插入以基本块为单位的检测指令中.实验表明,此算法的性能评价指标优于CFCSS等具有代表性的软件控制流检测方法,具有很强的实用价值.     

工资数据校验技术的设计与实现

数据准确性和一致性是工资管理系统的核心要求。针对工资数据可靠性的迫切需要,在分析现有方法的基础上,提出了完整的数据校验功能和实现技术,包括原始数据校验、格式转换和一致性校验等,给出了具体的软件设计流程和实现方法。设计了正则表达式以验证员工编号,设计了数据筛选方法以动态抽取数据子集。在数据文件管理中,实现了数据连接管理和数据格式转换方法。软件测试结果表明,系统能极大地提高工资数据校验的工作效率。     

地图审校与错误修改的数学定义及地图质量控制模型

制图物体在制图者认知结构中的拓扑映射即制图主体的观念模型,它是客体的主体建构并以概念的形式表现。根据地图符号反映观念模型是否完整或有某种缺失,定义地图符号的正确或错误。错误修改定义为从错误地图符号到正确地图符号的变换。发现错误并标注出来是地图审校的本质特征。基于错误地图符号的有限性和可修改性,建立了传统和现代地图制图中地图质量的控制模型。     

Soft error reliability in advanced CMOS technologies—trends and challenges

With the decrease of the device size, soft error induced by various particles becomes a serious problem for advanced CMOS technologies. In this paper, we review the evolution of two main aspects of soft error-SEU and SET, including the new mechanisms to induced SEUs, the advances of the MCUs and some newly observed phenomena of the SETs. The mechanisms and the trends with downscaling of these issues are briefly discussed. We also review the hardening strategies for different types of soft errors from different perspective and present the challenges in testing, modeling and hardening assurance of soft error issues we have to address in the future.     

多模式智能路灯控制系统

使用AT89S52单片机作为主控芯片,设计了一种多模式智能路灯控制系统,该系统能够根据道路、巷口或定时应用3种情况进行工作模式选择,并根据环境光亮度决定是否启动所设定的工作模式.巷口工作模式时,系统通过红外传感器检测道路上有汽车或行人通过时,将识别信号送入单片机,由单片机控制交通灯开启;道路工作模式时,路灯处于开启状态,以保障行人畅行;定时模式时,通过DS1302定时模块,可以设定路灯的开关时间.此外,该系统还具有自动故障检测功能,功能全面,有较强的实用价值.     

软件控制流故障诊断的研究

软件的故障诊断是软件测试的一个重要组成部分,快速准确地定位故障发生位置对于提高软件质量具有重要的意义.文章提出了一种利用运行时执行路径计算的方法进行故障诊断的方法.利用测试算例,计算出执行路径和候选路径集,并在候选路径集中找出预期路径.通过比较执行路径和预期路径,给出故障诊断的信息.该方法简洁明了,易于应用.     

面向能耗相关软/硬件划分的层次化控制数据流图建模方法

针对C语言描述的嵌入式软件功能模型在时间和成本约束下以降低能耗为目标的软/硬件划分问题,提出一种面向划分的层次化控制数据流图(简称PO-HCDFG)方法。首先,对PO-HCDFG进行了形式化描述,然后,分析了C语言程序向PO-HCDFG的转换方法,包括节点层次数的设置、数据依赖分析、划分对象的建立与粒度变换等关键问题,最后,通过实验验证了PO-HCDFG在软/硬件划分建模中的有效性。     

射流主动流动控制对舰船甲板流场的影响

随着舰船的发展和大量应用,舰船甲板流场的分析与控制的重要性进一步凸显出来。为改善舰船甲板流场,提出了一种新型的基于射流装置的主动流动控制方法,并以直升机桨盘位置为例分析了不同射流装置参数对于直升机桨盘流场优化的效果。首先基于Navier-Stokes方程建立了舰载直升机甲板流场的数值模型,以研究基于射流主动流动控制对舰船甲板流场的影响。然后该方法选取k-ε湍流模型,并通过算例验证了方法的有效性。最后模拟得到添加射流装置的舰船甲板流场流线与速度分布,结合流场信息对旋翼受力的影响对比分析了加装射流装置对舰船甲板流场的流动控制作用。结果表明：上射流的添加可以使得甲板流场中回流区的影响范围减小,从而使得桨盘流场速度梯度减小;桨盘流场速度梯度的减小可以有效降低旋翼气动力变化和响应水平;不同的来流角下添加上射流装置均能通过控制甲板流场从而减小响应,提高直升机的安全性。射流速度对流场控制效果影响显著,应结合射流装置安装位置选取最优射流速度从而达到较好的控制效果。     

置换型flow—shop控制的一些新结果

提出置换型ｆｌｏｗ－ｓｈｏｐ控制的新方法，并与文献「１」提出的基于极大代数模型的方法进行了比较，表明该方法比极大代数模型的方法更，所得结果有进一步扩大且更有实际意义，并通过实例分析证明了这一点。     

滑动窗口流量控制中的窗口大小计算

提出了在特定的网络条件下,确定滑动窗口流量控制的窗口最佳算法,揭示了不同条件下窗口大小与虚电路链路段数的取值关系。     

自适应模糊PID控制在ATM网络流量控制中的应用

针对ATM网络中的可用比特率(ABR)业务,应用自适应模糊PID控制方法,探索了实际网络中可行的控制机制和策略,并分析了在有不同回路时延的情况下闭环系统的稳定性,进而给出了各个参数的确定方法。仿真结果表明在合适的参数组合下,系统具有很好的自适应能力和动态性能,保证了ATM网络的服务质量。     

挖掘机电液流量匹配控制系统流量补偿试验

为改善挖掘机液压系统的操控性和节能性,采用电比例泵和电比例多路阀同步控制方式的电液流量匹配控制系统.以2 t挖掘机试验样机为研究对象,分析电液流量匹配控制系统的结构原理和特点;针对挖掘机轻重负载不同工况,测试系统的压力和流量特性,通过试验研究基于压力特性的开环流量补偿方法.利用实时检测的油缸速度间接实现流量闭环控制,试验分析动臂、铲斗单执行器动作和复合动作的速度控制特性,并对系统进行变负载、变速度工况测试.试验结果表明：采用流量补偿方法提高系统的流量控制精度;电液流量匹配控制系统与负载敏感系统相比,泵的压力裕度减小0.6～0.7 MPa,提高了系统的节能性和动态响应性.