利用信息检索和概率有限自动机的程序理解

为提高基于信息检索的程序理解方法的准确性,提出了一种结合信息检索和概率状态机的两阶段程序理解方法.在该方法中使用概率有限自动机(probabilistic finite-state automata,PFA)解决了信息检索结果在程序理解中的不确定性,同时采用信息检索构建了多个简单的PFA,而不是单个复杂的PFA,提高了PFA分析的伸缩性.训练阶段先采用隐式语义分析对源代码进行聚类,然后在聚类结果上生成PFA.在识别阶段以词法处理后的程序作为检索项在程序模板库中进行信息检索,取检索结果中的最相关的n项作为候选模板,由候选模板对应得到相应的PFA,通过分析找到最大概率的PFA,完成对源码内容的语义标注.

基于虚拟现实的汽车驾驶模拟训练系统方案研究

汽车驾驶模拟训练系统是基于通用的计算机软硬件平台,集汽车驾驶虚拟训练、驾驶考核、学员档案管理于一体的综合性多功能驾驶培训教学系统。本文提出了由操纵仿真系统、动力学仿真系统、视景仿真系统、音响仿真系统、运动仿真系统、操作评价系统、数据管理系统组成的汽车驾驶模拟训练系统总体结构,讨论了各个子系统的功能、技术原理和方案,以及整个汽车驾驶模拟训练系统的程序流程和训练科目,并讨论了驾驶虚拟训练的应用和效果。

基于自主学习的大学计算机基础教学方法

针对大学新生计算机水平差距加大,大学计算机基础的教学进度难以把握及课程教学往往忽略对学生能力培养的问题,指出以往教学方法存在的问题,分析基于自主学习模式教学方法的优势,并阐述该方法在我院实施的细节及效果。

一种基于OLSR的传感网络再编程可靠与能量有效传输协议

远程再编程是有效维护和管理部署后传感网络的重要手段,但要求更新的代码可靠且能量有效地传送到网络中的所有节点。提出一种基于OLSR的传感网络再编程可靠与能量有效传输协议,该协议利用ADV消息中的"下次ADV发送间隔"参数t和传输的代码段数C,变传统的ADV-REQ-DATA三次握手顺序传输为ADV-DATA两次握手非顺序传输;并从低层OLSR协议形成的MPR集中选择下级广播节点,有效地减少了广播的节点数,从而降低了能量开销;事后还能统计出实际参与代码更新的节点数。性能分析与模拟实验表明:该协议在节点完全更新代码率、平均延时、能量消耗等方面优于传统的PSFQ。

一种及时可靠的无线体域网络传输协议

无线体域网络比传统传感网络要求更高的数据传输可靠性和及时性,其可靠性属于数据包级可靠。提出了一种及时可靠的无线体域网络传输协议AODV-RT,该协议考虑到节点的存储资源受限和无线体域网络数据优先级,采用E2E(EndTo-End)、HBH(Hop-By-Hop)以及E2E与HBH相结合的错误恢复机制保证数据传输的可靠性。首先在每个节点缓存优先级别最高的警报信息,提供HBH错误恢复;其次通过在中间节点位置为接收信号强度RSSI较低的后一级节点缓存优先级别较高的数据包,提供E2E与HBH相结合的错误恢复;最后对低优先级数据采取E2E错误恢复。性能分析与模拟实验表明:该协议在数据传输率、端到端延迟和能量消耗等方面优于相似协议MAODV-SIM。

适应复杂外形的三维粘性混合网格生成算法

提出一类适应复杂外形的粘性混合网格生成算法。表面网格由前沿推进三角形曲面网格程序获得,边界层布置各向异性的三棱柱体网格,远物面区域采用Delaunay方法生成四面体网格。针对模型的复杂几何特征,综合采用了各种网格处理技术,以保证边界层网格的质量,并避免算法失效问题。网格实例及计算结果表明了本文算法的实用性及和效性。

K^＋-Na^＋和Ag^＋-Na^＋两步离子交换技术制作玻璃基光波导研究

利用K+-Na+和Ag+-Na+两步离子交换得到掩埋型光波导.该方法抑制Ag+-Na+离子交换时产生的Ag+微粒,降低波导损耗,增加波导截面的圆对称性,从而提高光波导器件的性能.用该方法制作了1×8光功分器,其插入损耗平均为10.9dB.

高精度数字检相电路设计

文章提出一种高精度数字检相电路 ,适合应用于相位法激光测距等要求精密测相的场合 .该电路采用脉冲填充法和单片机相结合 ,采取具体措施解决了零点漂移、幅值变化、频率变化等原因引起的测相误差 ,获得了高的相位测量精度和稳定性 。

面向C语言课程的多角度模块化教学方法探索

针对C语言课程中概念繁杂,规则多样等教学难点,提出了多角度模块化教学方法,从概念、算法、实验三方面进行模块化教学探索。通过班级试点表明了该教学方法的有效性。

基于后缀树的程序理解Plan自动提取

为辅助维护用于程序理解的代码片段模版(Plan)库,提出了基于后缀树的Plan自动提取方法.通过词法/语法分析将源代码转换成Token串,然后对Token串生成后缀树,遍历后缀树得到候选代码Plan集,过滤后生成更小、更准确的Plan集.采用动态模式匹配合并合适的Plan和给Plan命名,最后生成可用于程序理解的Plan.由于后缀树的线性增长特性,该方法可以应用于大规模软件的程序理解.将方法应用于多个不同规模的软件,测试结果表明,该方法可以从源码中提取有效的Plan.

GSM手机对心电信号电磁干扰的消除办法

介绍手机的信号特性及它们对医疗设备的电磁干扰的成份。通过设计实验来测试GSM手机对心电信号(ECG)的干扰,用频谱分析的方法来讨论干扰信号的影响。根据受干扰信号的特性,仔细研究了用屏蔽,模拟滤波和数字滤波的方法来消除手机对ECG的干扰。

ASP的作品保护

阐述了利用硬盘序列号产生的随机性和ASP代码加密软件对ASP作品的保护的方法 。

DDM-CM理论及其在VLSI中的应用

阐述了保角变换理论的最新研究成果DDM-CM理论及其在VLSI中的应用。其最大的优点就是给出的结果比较简单、精确,并且在整个的计算过程中不需要求解保角变换函数,只要求得导体几何的保角模即可。

二元函数插值法校正传感器非线性及温度漂移

介绍二元函数插值方法对传感器非线性特性和温漂特性进行校正的原理。

一种针对突发OFDM信号的定时同步新算法

在正交频分复用(OFDM)系统中,定时同步和频偏估计对系统性能起着关键作用。给出了基于IEEE802.11a的突发OFDM系统模型,利用突发OFDM本身所具有的前导字,提出了一种易于硬件实现的定时同步估计算法,仿真结果表明该算法能较好地适应突发OFDM系统在短时间内快速定时的要求。

光纤液位远程测量系统

本文介绍一种本质安全型液位远程测量系统 ,采用光纤作为信号传输媒体使测量现场远离电信号 ,适用于储油罐等易燃易爆场合液位的测量。该系统采用相位法激光测距原理 ,具有较高测量精度。文中详细描述了系统设计原理和实现方案 ,分析了误差产生的原因 。

异地无源总线式数据传输

利用三极管的导通、截止特性 (0、1特性 ) ,实现当地无源总线式数据传输 ,其硬件结构简单 ,传输可靠 ,成本低廉。

低压供电线路的自动检测器

本文介绍一种新型的检测器 ,它用于居民低压远程抄表的计费 ,该监测器采用 80C31单片机 ,定时检测和记录变压器低压侧的各相电压、各相电流、功率、总电量等等 ,并保存在外部RAM中 ,供电部门可按月自动读取并导入微机 ,经微机处理便可获得各种数据 ,并由此绘制各种图表 ,生成数据库 。

基于嵌入式Linux的远程modem通讯

本文介绍了MC68EZ328为核心的便携机在uClinux作系统的平台上实现modem远距离通讯问题。针对uClinux的特点介绍了串口驱动和数据传输的编程方法,且根据实际的项目介绍了modem通信的一些相关技术问题。

高性价比的光谱自动检测和识别系统

本文介绍一种光谱自动检测和识别系统 ,该系统通过计算机控制面阵CCD对完整的光谱图像分段采样 ,然后利用数字图像处理的算法 ,进行滤波、锐化和拼接 ,还原成一幅完整的光谱图像。由计算机自动控制完成所摄谱图和标准谱图的快速比对确定物质成份 ,并按用户需要 ,显示鼠标指定谱线的波长、进行曲线拟合和光谱参数的计算等操作。