一种时间相关安全协议的自动验证工具

设计并实现了一个时间相关安全协议的自动验证工具。工具以一种时间相关安全协议逻辑TCPL为基础,以XML语言为描述方式,采用构造分层逻辑树的方法,完成了对安全协议目标的自动验证。实现结果表明,该工具简化了安全协议的证明过程,提高了效率,具有较好的实用性。     

对一种公平非否认协议的新改进

Zhou-Gollmann协议是一种公平非否认协议,近年来得到广泛讨论.Kim发现该协议在时限公平性方面存在缺陷,针对该缺陷提出一种改进的协议,但其改进方法高度依赖于网络时钟的同步.通过详细分析,发现在缺乏时钟同步时Kim的改进协议也可导致不公平.针对此问题,提出一种新的改进方案.新的改进消除了协议对时钟同步的依赖性,保持了协议的公平非否认性,且不会降低协议的效率.     

非计算机专业C语言程序设计的课堂教学实践与改进

本文针对高校非计算机专业C语言程序设计在课堂教学方法方面的一些问题,提出在教学活动中,通过让学生建立一个最简单的计算模型等方法,培养学生用计算机程序解决实际问题的能力,强调在课堂教学中要特别重视分析程序运行和内存变量的关系,并阐述了面向技能形成的习题训练的观点。     

计算机专业毕业设计选题工作探讨

毕业设计是计算机专业本科生在大学中的重要学习阶段,是对大学课程的综合应用。当前学生的毕业设计选题存在着很多问题,针对存在的问题,从教师、学生两个方面讨论了毕业设计选题的改进方法,提高计算机专业本科生毕业设计的效果。     

汉语意见型主观性文本类型体系的研究

主观性文本是一种描述个人想法、情感和意见等的非约束性文本。它与主要描述以事实为主的客观性文本在内容和结构上有很大的不同。意见型文本是包含有意见元素(意见持有者、意见陈述范围、意见主题和意见情感)的一种主观性文本,它大量出现在网上的电子公告板、论坛和博客等媒介中,受到广泛的关注,并成为研究意见挖掘方法和技术的语料。该文介绍了主观性文本的定义及其与客观性文本的差异,同时着重讨论了意见型文本的定义、特点、类型体系及其在意见挖掘技术中的应用。     

GB/T 10184—2015在高炉煤气锅炉炉效计算中的应用分析

根据GB/T 10184—2015,构建了高炉煤气锅炉炉效计算模型,分析了高炉煤气锅炉炉效计算方法。结果表明：燃气基准的差异导致高炉煤气水分及低位发热量的计算方法不同,并列出了2种燃气基准下高炉煤气水分的计算方法及低位发热量的换算方法;提出了3种适用于高炉煤气锅炉的过量空气系数、实际烟气量及烟气中CO2含量的求解方法,并提出了适用于含煤气加热器的高炉煤气锅炉排烟温度的修正方法;GB/T 10184—2015对部分公式的计算有待于进一步探讨,并可作适当修改。     

基于同步相量轨迹拟合的电力系统次同步/超同步振荡的实时参数辨识EI北大核心CSCD

基于同步相量数据的次同步振荡参数辨识可有效监测次同步振荡的动态过程。该文提出一种基于同步相量轨迹拟合的电力系统次同步/超同步振荡的实时参数辨识方法。通过求解超定非线性的同步相量轨迹拟合方程组,能准确得到频移基波、次同步和超同步分量的频率、幅值和相位。该方法利用各分量对应的同步相量正负频率部分耦合而成的椭圆轨迹特性,仅依据100ms的同步相量数据序列即可进行高实时性的参数辨识。所提算法相比现有算法的优势在于,一方面可辨识与次同步分量耦合的超同步分量参数;另一方面超短数据窗大幅提升了算法实时性,并克服了频谱分析法的频率分辨率受限问题。模拟同步相量测量终端(phasor measurement unit,PMU)数据和实际仿真数据的对比分析结果表明,所提方法可准确获取基波和次同步/超同步振荡参数,并有效实现次同步振荡的动态实时监测。     

基于语音交互的脑瘫康复训练系统的设计

研究了使用人机交互的方式对脑瘫患儿进行康复训练的技术,设计了基于语音交互的脑瘫康复训练系统。该系统采用51单片机驱动整个系统,芯片采用LD3320语音芯片,下位机程序采用C语言编程,上位机采用Lab VIEW编程,通过串口传送的方式,把下位机接收到的命令传送到上位机,患儿通过识别上位机界面的图片,对应说出所要识别的文字,语音芯片进行识别,评价系统自动评判出患儿说的正确与否,并记录患儿每次识别所用的时间。案例实验验证了本设计的有效性。     

多耦合拘束效应对P92钢蠕变裂纹扩展行为的影响

基于断裂力学理论,针对不同面内拘束效应下P92钢高温蠕变裂纹扩展(Creep crack growth,CCG)进行了数据模拟与分析。研究发现不同的拘束效应对CCG行为有着各异的影响,主要分析了试样几何形状、尺寸以及初始裂纹深度等对CCG行为的影响,并且着重研究比较这3种耦合拘束效应对CCG行为的影响程度。基于多种耦合拘束对CCG行为的影响程度做了横向比较,研究发现:试样几何形状对CCG行为的影响程度要大于几何尺寸,试样尺寸和初始裂纹深度对CCG行为的影响程度相似,试样形状比初始裂纹深度的影响程度更大。     

发动机进气噪声气动声源特性分析

目前主要通过进气空滤器对发动机进气系统的气动噪声进行降噪,而通过对气动声源的研究进行源头降噪具有一定实际意义。但由于进气道-气门-燃烧室等的特殊性,难以测量声源的声学状况,故以进气道-气门-燃烧室为研究对象,通过仿真研究气动声源位置分布。结果表明：进气门密封锥面处偶极子声源强度较大;两进气道的气流相遇处以及靠近壁面处四极子声源强度较大。在原有结构中改变进气门过渡圆角半径R对气动噪声源进行控制,R增大为11 mm时,偶极子和四极子声源声压级(Sound Pressure Level,SPL)峰值分别降低7 dB和8 dB,噪声主要集中在中低频区域,频率大于2 000 Hz后SPL衰减迅速。增大R可以降低噪声源处的声能量,从而降低对外表现的噪声。