一种基于IPM的简化空间矢量PWM研究

基于智能功率模块（IPM），提出了一种简化的以三相相电压的大小来判断具体扇区的空间矢量脉宽调制（SVPWM）算法，分析了算法原理，并给出了算法流程．在不同载波比N和调制度M下，用MATLAB软件对参考电压矢量各扇区分布、调制信号、直流电压利用率及输出电压谐波等进行了仿真研究，分析得出N影响到参考电压矢量扇区分布和谐波性能，M将影响到调制波形、直流电压利用率和谐波含量，合适的N和M有利于提高SVPWM总体性能．利用TMS320F2812DSP进行了实验，验证了算法的有效性。     

形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。     

基于图像感知哈希技术的钓鱼网页检测

文中提出一种基于图像感知哈希技术的钓鱼检测方法,简称Phash———将网页以图像格式保存,提取图像的主要可视信息的像素点,由这些像素点组成感知哈希序列,再进行哈希序列的相似度匹配。该方法既克服了钓鱼网页存活时间短的问题,又能快速地与特征库进行匹配。实验表明,该方法是有效的,在保证一定误判率和召回率的情况下大大提高了匹配速度。     

基于文本特征分析的钓鱼邮件检测

提出了一种基于邮件文本特征的钓鱼邮件检测方法。首先利用邮件解析器将邮件中非文本部分内容剔除,然后提取邮件剩余部分中存在的网站链接及其他内容,并在此基础上提取10种特征。针对这些特征,利用机器学习方法对其进行训练和预测,将邮件分类为普通邮件和钓鱼邮件。我们改进了以往一些针对网站链接分析的检测方法,并结合钓鱼邮件发展的新趋势,提出了6种新的特征。实验证明,本方法结合了新的钓鱼邮件特征,有效地提高了钓鱼邮件检测的召回率以及精准率,同时误判率有所降低。并且,本方法稍加改进以后就能用于钓鱼网站的检测。     

一种集成的字符集检测方法研究

有些文本缺少字符集信息,因而阻碍了字符信息的正确解析.为了获得字符集信息可以根据文本中字符信息的统计特征以及各种字符集之同的差异来识别出文本的字符集.集成的字符集检测方法通过综合应用编码模式检测方法、字符分布方法和双字符序列检测方法来检测字符集.它根据算法复杂度和每种算法的准确率来调度算法.使得在用一种方法不能确定字符集的情况下利用其它方法来检测出字符集实验结果表明:集成的字符检测技术具有较高的准确率.集成的字符检测方法在某些情况下通过适度增加一些时间来获得较高的精度.     

Haskell:一种现代纯函数式语言

随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度.函数式程序设计语言为解决这些问题提供了优美独特的框架.文中主要介绍一种纯的函数式语言Haskell,包括其发展历史、程序特点、程序结构等.Haskell是现代的、标准的、惰性的、纯函数式程序设计语言,它具有表达力强的语法,以及丰富的内置数据类型.     

VC,Cr3C2对WC-Co纳米粉烧结性能的影响

研究了WC-10Co纳米复合粉的热压烧结,确定合理的烧结温度为1360℃.在纳米WC-10Co复合粉中分别掺杂1.0%VC和1.0%Cr3C2(质量分数),根据烧结体的断裂强度、洛氏硬度等性能和断口形貌,研究了晶粒生长抑制剂VC,Cr3C2对纳米复合WC-10Co粉末烧结性能的影响.结果表明,纳米WC-10Co复合粉掺杂1.0%VC或1.0%Cr3C2,在1360℃烧结,可以得到晶粒度小于300nm的整体性能较好的超细WC-Co硬质合金,掺杂1.0%VC抑制晶粒生长的效果要好于掺杂1.0%Cr3C2.     

基于形式化方法的服务自动测试方法

鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从“观察”角度考察系统及其性质,结合单子的高度可结合性、反射性和重用性,对Web服务相关活动的性质进行统一描述和测试,重点研究基于单子的Web服务测试用例形式化描述及其自动生产,以及服务测试单子的设计和实现等,以期从一定程度上解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题。     

并发程序切片方法综述

随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅仅局限于顺序程序,并发程序切片的研究也越来越多.但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决.文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,结果表明并发程序切片的效率和精度都达到理想的目标是不可能的,只能是在两者之间的均衡,最后简要介绍了并发程序切片的应用.     

多媒体技术在电控汽车教学中的应用

现代汽车以微机控制/管理为手段,对汽车运行中的有关状态参数进行实时检测、实时决策、实时控制,与之相适应,采用多媒体技术的现代汽车教学将汽车技术中一些隐蔽的、抽象的东西通过多媒体的方式显示出来,从而将电控汽车的基本原理直观地展现出来.