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

1

作者 陈华 王灿 +2 位作者 陈纯 唐文彬 钱剑飞 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2008年第12期2108-2111,2132,共5页

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

关键词 程序理解 概率有限自动机 信息检索 软件工程

在线阅读 下载PDF 职称材料

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

2

作者 蔡忠法 刘大健 章安元 《系统仿真学报》 CAS CSCD 2002年第6期771-774,共4页

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

关键词 虚拟现实 汽车驾驶模拟训练系统 驾驶模拟器 仿真

在线阅读 下载PDF 职称材料

基于自主学习的大学计算机基础教学方法 被引量：13

3

作者 刘砚秋 何灵敏 +1 位作者 周杭霞 陆慧娟 《计算机教育》 2012年第3期80-83,共4页

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

关键词 大学计算机基础 自主学习 教学方法

在线阅读 下载PDF 职称材料

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

4

作者 谭劲 康顺利 金宁 《传感技术学报》 CAS CSCD 北大核心 2010年第8期1146-1152,共7页

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

关键词 传感网络 再编程 网络仿真 能量有效

在线阅读 下载PDF 职称材料

一种及时可靠的无线体域网络传输协议 被引量：4

5

作者 谭劲 王艺静 张曼曼 《传感技术学报》 CAS CSCD 北大核心 2014年第2期233-240,共8页

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

关键词 无线体域网络 可靠性 及时性 缓存

在线阅读 下载PDF 职称材料

适应复杂外形的三维粘性混合网格生成算法 被引量：8

6

作者 陈建军 曹建 +3 位作者 徐彦 王康健 赵大伟 郑耀 《计算力学学报》 CAS CSCD 北大核心 2014年第3期363-370,共8页

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

关键词 网格生成 混合网格 单元质量 粘性计算

在线阅读 下载PDF 职称材料

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

7

作者 李锡华 金宁 +3 位作者 宫汝振 杨建义 江晓清 王明华 《光子学报》 EI CAS CSCD 北大核心 2008年第8期1520-1523,共4页

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

关键词 集成光学 玻璃光波导 离子交换 光功分器

在线阅读 下载PDF 职称材料

高精度数字检相电路设计 被引量：14

8

作者 金宁 汪伟 +1 位作者 张增耀 黄咏梅 《中国计量学院学报》 2002年第1期60-63,共4页

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

关键词 数字检相 高精度测相电路

在线阅读 下载PDF 职称材料

基于后缀树的程序理解Plan自动提取 被引量：1

9

作者 陈华 陈纯 +2 位作者 唐文彬 钱剑飞 刘康苗 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2008年第8期1340-1344,共5页

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

关键词 程序理解 后缀树 软件维护 软件工程

在线阅读 下载PDF 职称材料

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

10

作者 郑文斌 战国科 王康健 《教育教学论坛》 2013年第19期204-205,共2页

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

关键词 程序设计 C语言 多角度 模块化 教学方法

在线阅读 下载PDF 职称材料

GSM手机对心电信号电磁干扰的消除办法 被引量：1

11

作者 徐冰俏 潘卫江 胡大可 《中国医疗器械杂志》 CAS 2004年第5期334-339,共6页

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

关键词 GSM手机 电磁干扰(EMI) 心电信号(ECG) 屏蔽 滤波器

在线阅读 下载PDF 职称材料

ASP的作品保护 被引量：3

12

作者 陈莲娜 梁自力 《计算机应用》 CSCD 北大核心 2003年第z1期282-283,共2页

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

关键词 ASP 代码保护 加密

在线阅读 下载PDF 职称材料

DDM-CM理论及其在VLSI中的应用 被引量：1

13

作者 赵吉祥 冯晖 《微波学报》 CSCD 北大核心 2006年第1期19-22,共4页

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

关键词 区域分解法 保角变换 超大规模集成电路

在线阅读 下载PDF 职称材料

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

14

作者 刘大健 卫力 叶强 《仪表技术》 2001年第5期50-51,共2页

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

关键词 传感器 误差校正 非线法 温度漂移 二元函数插值法

在线阅读 下载PDF 职称材料

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

15

作者 金小萍 周小微 金宁 《电子技术应用》 北大核心 2005年第12期48-50,共3页

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

关键词 OFDM 突发 定时同步 前导字

在线阅读 下载PDF 职称材料

光纤液位远程测量系统

16

作者 金宁 张增耀 +1 位作者 汪伟 黄咏梅 《仪器仪表学报》 EI CAS CSCD 北大核心 2001年第z2期143-144,共2页

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

关键词 液位 远程测量 激光测距 相位

在线阅读 下载PDF 职称材料

异地无源总线式数据传输

17

作者 陈莲娜 《计算机应用》 CSCD 北大核心 2001年第12期73-74,共2页

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

关键词 总线式数据传输 硬件设计 信号传输 软件设计

在线阅读 下载PDF 职称材料

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

18

作者 程林滨 《计量与测试技术》 2004年第9期30-32,共3页

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

关键词 低压供电线路 相电压 变压器 相电流 远程抄表 电量 自动检测 RAM 读取 微机

在线阅读 下载PDF 职称材料

基于嵌入式Linux的远程modem通讯 被引量：1

19

作者 陈森 道克刚 邓永刚 《微型电脑应用》 2007年第2期41-43,5-6,共3页

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

关键词 嵌入式系统 LINUX 便携机 MODEM

在线阅读 下载PDF 职称材料

高性价比的光谱自动检测和识别系统 被引量：2

20

作者 龙之一 陈森 道克刚 《计量技术》 2004年第7期8-10,共3页

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

关键词 光谱图像 光谱检测 面阵CCD 自动检测系统 自动识别系统 性价比 数字图像处理

在线阅读 下载PDF 职称材料