基于Visual Basic的局域网实时语音系统的设计

详细描述使用Visual Basic编程工具,通过调用低级音频函数,实现局域网内计算机间的实时语音通信的方法。通过引入发送令牌和问候机制实现简单的流量控制,经分析和实践,达到比较理想的效果,就语音通信模式的扩展提出对策。

基于Trans-SEQICR模型的铁路客流控制研究

基于传统传染病模型、综合考虑客流流动传染和病毒传播特点,建立了TransSEQICR模型。通过对模型的平衡点、基本再生数及特征值的求解,反解铁路客流控制量。使用该模型对2022年两城市间疫情传播趋势进行模拟,对比分析不同客流控制情况下的疫情传播规模。研究结果表明,通过模型求解可得到合理的客流控制量,以此为依据可有效限制铁路客流引发的疫情传播,为铁路部门未来面对各类传染病时的运营与科学防控提供决策支持。

九寨沟县勿角镇甲勿沟泥石流基本特征与防治建议

甲勿沟泥石流距九寨沟“8·8”地震震中距离较近,地震致使流域内新增了大量松散物源,通过甲勿沟泥石流形成条件分析,新增物源增强了泥石流的易发性,降低了泥石流的激发雨强。在甲勿沟“8·17”泥石流的启动条件以及危害性分析的基础上,针对沟域内现有物源分布情况,提出了“拦挡+固源+导流+防护”的综合治理方案,通过拦挡坝的拦挡削峰减流、谷坊坝的固源压脚、导流堤的引流、防护堤的护坡等作用来起到良好的治理效果。

云南东川区老沙沟泥石流基本特征研究

老沙沟沟口处有拟建工程和居民房屋,沟谷上中游多呈“V”型,下游多呈“U”型,一旦暴发泥石流,将会对拟建工程和人员造成难以估计的损失。本文通过实地调查、遥感解译、资料收集等方法,查明泥石流的地形条件、物源条件、水源条件等基本特征,表明了泥石流的成因机制;并通过规范对泥石流的动力学特征值进行剖析。研究结果表明:老沙沟为发展期、低频期、稀性泥石流,老沙沟泥石流在暴雨频率P=2%和P=1%时的流速分别为2.39 m/s、2.49 m/s,峰值流量分别为269.30 m^(3)/s、344.69 m^(3)/s,泥石流整体冲击力分别为12.2 KPa、14.0 KPa,最大冲击力分别为16.3 KPa、17.0 KPa。对过去所建的拦挡坝、渠道工程进行效果评价,并说明存在的问题。研究成果为老沙沟泥石流活动评估和防治工程提供了可靠的依据。

反汇编结果代码结构分析算法研究

反汇编结果的代码结构分析在程序解读、可执行程序编辑、软件维护、程序理解以及编译器设计中有重要的作用与意义.本文提出了一种对主流微处理器二进制代码逆向还原到汇编级代码后进行结构分析的算法,给出了该算法的形式化描述和结构分析结果的记录方法,并且根据该算法在二进制代码辅助分析系统中的应用情况,给出了实验数据.试验数据表明,该算法在多款处理器目标代码的分析过程中都有较高的结构分析准确度和执行效率.

汇编级软硬结合的控制流检测方法

控制流检测技术是防止由于瞬时故障造成程序错误运行的有效手段之一,在ARGOS卫星上测试过的基于汇编语言的软件控制流检测算法CFCSS具有较高的错误检测能力和较低的冗余指令开销,实用性较强,但此算法存在检测混淆和检测出错现象.为此,首先阐述了CFCSS算法中存在的检测混淆和检测出错现象;接下来根据汇编语言特点,修改了基础基本块的选择方法和多调整签名值赋值语句的插入位置,提出了改进的ICFCSS控制流检测算法;为了在ICFCSS算法基础上进一步提高错误检测能力、降低故障延迟时间和冗余指令开销,提出了软硬结合的ICFCSSHS控制流检测方法,此方法在编译程序时只增加了和签名有关的信息,在程序运行时通过译码阶段判指令类型来触发相应的硬件完成控制流检测.实验表明,此方法的冗余代码空间开销比CFCSS算法减少了21.5%,平均未检测出错误率仅为1.5%,具有一定的使用价值.

一种基于控制流检测的低功耗基本块划分方法

星载嵌入式系统要求更小的功耗和必备的在空间辐射环境中运行的高可靠性,控制流检测技术是防止由于单粒子翻转事件而造成程序错误运行的有效手段之一。为了在低功耗模式下保证错误检测概率,提出一种基于控制流检测的低功耗基本块划分方法,此基本块划分方法在编译后期完成,不影响编译调度效果。采用GCC、SDCC两款编译器,将三种具有代表性的控制流检测算法注入到典型的程序集中进行测试。实验证明,此种基本块划分方法在保证错误检测概率的条件下,降低了程序运行功耗。

一种基于格式化标签的可扩展控制流检测方法

硬件瞬态故障是运行于高辐照宇宙环境下的航天计算机面临的最主要挑战之一.其中,控制流错误是这种故障影响系统可靠性的重要体现.首先在程序控制流图的基础上,利用图着色算法对基本块进行分类,然后基于基本块的格式化标签提出一种有效的控制流检测方法ECCFS,并针对基本块内部和过程间两个控制流检测问题分别给出其扩展解决方法.检测效能分析和故障注入实验的结果都表明,除了伪分支和几个边界检测盲点之外,ECCFS能够检测出绝大部分的控制流错误.与两个有代表性的控制流检测方法相比较,ECCFS在错误检测率和性能开销等方面都具有一定的优势.

一种控制流基本块的静动态结合反汇编方法

针对静态反汇编间接跳转定位难和反汇编路径覆盖等问题,提出一种基于控制流基本块精确的静动态结合反汇编方法,首先利用函数定位切分识别函数块依赖关系,其次从超汇编指令集中产生粗粒度控制流图,接着结合中断标记点处理机制实现对代码执行路径可知,继而建立精确的控制流基本块,并最终完成以实际控制流引导的反汇编过程.实验结果表明该方法能有效地提高代码反汇编的准确性和覆盖率,为代码分析提供了一种新的解决途径.

一种基于虚拟基本块和格式化标签的控制流检测方法

空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些故障的主要影响之一是引发程序控制流错误.文中提出了一种软件实现的控制流检测方法CFCAF.CFCAF基于插入虚拟基本块后的控制流图对基本块分类,并为基本块设计格式化标签,然后在基本块内插装标签更新、比较指令,实现对基本块之间、基本块内和过程间调用的控制流检测.CFCAF的特点是可以根据可靠性和性能的需求进行灵活配置.对CFCAF及目前有代表性的两个同类算法进行的故障注入实验结果表明,CFCAF算法以平均41.7%的性能代价和平均34%的空间代价,使程序的平均失效率降到了5.2%,在3个同类算法中,CFCAF算法具有较低的时空开销和最高的可靠性.

基于基本块标识方法的控制流图生成器设计

设计一个实用的程序控制流分析工具需要解决非结构程序中goto等语句的控制流图构造问题。C语言程序控制流图生成器CfgGen的设计采用基于基本块标识的控制流图构造方法解决该问题。CfgGen程序基于规则,通过语法制导翻译标识基本块、构造控制流图,易移植和维护。CfgGen构造的控制流图标识了基本块,可以很方便地用于程序分析和优化。

改进的CFCSS控制流检测算法

针对软件控制流检测算法(CFCSS)存在的检测混淆和检测出错问题,分析了造成可靠性差的根本原因,并根据汇编语言结构特点,通过修改基础基本块的选择方法和多调整签名值赋值语句的插入位置,提出了改进的软件控制流检测算法(ICFCSS),弥补了硬件故障容错性能上的不足,改进算法克服了出错问题的发生.实验表明:此检测算法的平均未检测出错误率仅为2.9%.

基于VB的总流量控制系统的仿真

总流量控制系统是一个比较大型的系统,在实际的复杂系统建立以前,先用仿真系统模拟现场进行可行性操作和分析是相当必要的。可视化程序语言VB是目前已成为国内比较广泛的支持可视化编程特性的高级语言之一,可以很容易地再现仿真过程。本文在初步探讨了铜板轧制中应用总流量控制理论的基础上,用VisualBasic6.0对相关数据进行了模拟,对轧制过程进行了动态仿真。并给出一些实际数据进行了实例分析。

基本路径测试方法之圈复杂度计算

软件测试是软件开发过程中不可缺少的重要组成部分,贯穿整个软件开发过程。在软件测试方法中,白盒测试和黑盒测试是经常使用的测试技术。白盒测试中的基本路径测试方法是解决复杂路径测试最有效的方法,而圈复杂度的计算则是基本路径测试方法中非常重要的环节。实践经验表明,圈复杂度和程序可能存在的缺陷数量有着很大的相关性,本文就基本路径测试方法中如何正确计算圈复杂度进行了探讨。

一种递归式汇编级代码模块分析算法设计

提出了一种对主流微处理器汇编级代码在汇编级进行模块分析的算法,给出了该算法的形式化描述和模块分析结果的记录方法,根据该算法在汇编级代码辅助分析系统中的应用情况取得了实验数据。实验表明,该算法在多款处理器目标代码的分析过程中都有较高的模块分析速度与准确度。

基于结构化标签的控制流错误检测算法

在高辐射宇宙环境下,大量射线容易使航天计算机发生瞬态故障,导致程序出现控制流错误,而传统控制流错误检测算法存在运算复杂度高、具有滞后性和配置不灵活等缺点。为此,基于结构化标签提出一种可配置的控制流错误检测算法。算法使用2个标签,通过对基本块设计结构引入双指令环,解决块间滞后性的问题,实现基本块间和块内的控制流检测。实验结果表明,与同类算法相比,该算法在保证等效检错能力的情况下可使空间开销降低49.3%,时间开销降低17%~45.3%,故障覆盖率提高6.2%~8.6%。

基于可满足性模理论求解器的程序路径验证方法

针对程序中因存在路径条数过多或复杂循环路径而导致路径验证时的路径搜索空间过大,直接影响验证的效率和准确率的问题,提出一种基于可满足性模理论(SMT)求解器的程序路径验证方法。首先利用决策树的方法对复杂循环路径提取不变式,构造无循环控制流图(NLCFG);然后通过基本路径法对控制流图(CFG)进行遍历,提取基本路径信息;最后利用SMT求解器作为约束求解器,将路径验证问题转化为约束求解问题来进行处理。与同样基于SMT求解器的路径验证工具CBMC和FSoft-SMT相比,该方法在对测试集程序的验证时间上比CBMC降低了25%以上,比FSoft-SMT降低了15%以上;在验证精度上,该方法有明显的提升。实验结果表明,方法可以有效解决路径搜索空间过大的问题,同时提高路径验证的效率和准确率。

一种新的一阶系统自调整模糊控制器

对一类大惯性纯滞后一阶系统的特点进行了数学分析,提出了一种基于目标设定值动态调整基本控制量f0与比例因子kf的方法,并根据控制过程的不同阶段采用不同修正因子α进行自调整模糊控制;采用该方法的模糊控制器具有无超调、非振荡、稳态误差小、控制量变化过程平滑等优良性能,为纯滞后大惯性环节一阶系统的控制提供了一种新思路.通过对变频空调温度模型的仿真,证明了该控制器的有效性.

基于流分析的可执行程序结构化表示工具

直接面向可执行程序进行安全漏洞分析时,首先需要得到二进制代码的中间语言表示。探讨了流分析技术在汇编代码理解中的应用,并在Linux平台上实现了一个轻量级汇编代码结构化表示工具BESTAR。该系统利用控制流和数据流分析技术识别通用控制结构,分析程序执行流,重构表达式和函数,发现数据依赖关系,将汇编代码转换成一个结构化、易理解的中间语言程序,为进一步进行安全分析打下了基础。

一种实用的程序控制流错误检测方法

该文武介绍了一种检测软件控制流错误的方法,阐述了该方法的原理,给出了具体的实现方案和测试结果.本方法在RSCFC方法的基础上,通过把程序划分为若干个基本模块并分别为每个模块设定静态标记,在每个基本模块的首部和尾部分别加上相应的测试和设置指令,在程序运行时通过比较运行时生成的动态标记和编译时确定的静态标记是否匹配来检测程序控制流错误.本方法和RSCFC方法相比的优点在于:使用相同长度的标记可以编码更多的基本模块;在基本模块的起始处和结束处都进行错误检测,错误覆盖率高;可以在发生错误的当前基本模块检测出所有的单个控制流错误,不会延迟到控制流进入下一个基本模块.