积分式直流数字电压表的设计

本系统以STC12C5A60S2单片机为控制核心,研究通过积分运算实现了直流数字电压表的一种设计方案。本系统由单片机最小系统、双积分A/D转换电路、自动校零电路、量程自动转换电路与按键显示电路组成,利用精密电容的充放电过程将被测电压转化为积分时间,通过对该时间的精密测量实现对电压的检测。同时,系统加入了软件滤波、误差修正以及工频影响消除的功能,提高了的系统抗干扰性与可靠程度。     

一种高效的多模式字符串匹配算法

在Fan-Su(FS)多模式字符串匹配算法基础上,结合BM-Horspool(BMH)算法和Quick Search(QS)算法的优点,提出一种高效的多模式字符串匹配算法。该算法能够充分利用本次匹配失败和部分匹配成功的信息,一方面增加模式树根节点失配的概率,提高匹配过程中失配时的跳跃距离。另一方面避免不必要的状态转移,实现不匹配时的连续跳转。分析指出,在最好情况和平均情况下,时间复杂度均优于ACBM算法和FS算法。实验结果表明,一般情况下该算法的查找时间仅为AC算法的10%~35%,ACBM算法的50%~60%,FS算法的70%左右,FSQB算法的65%左右。     

格值一阶逻辑LF(X)中的α-语义归结方法

自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理。首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性。     

基于日志挖掘的移动应用用户访问模型建模技术研究

提出了一种基于监控日志挖掘的移动应用用户访问模型自动构造方法,该方法包括监控代码注入和界面访问模型构造两部分。首先,提出了一种监控代码自动注入方法,即通过对移动应用代码的静态分析,自动地在相应位置插入监控代码以支持在运行时动态地监控用户的访问行为。其次,提出了一种基于状态机的移动应用用户访问模型构造方法。访问模型中状态机的节点和节点间跳转上的附加属性描述了UI界面之间的跳转行为和界面内控件的使用情况。对移动应用进行的实验表明,这种基于监控日志挖掘的移动应用用户访问模型自动构造方法能够成功地自动注入移动应用的监控代码,并能够有效获得移动应用用户界面访问行为。     

远程用户体验评估综述:工具、方法和挑战

远程用户体验评估允许评估人员和用户在时间和(或)空间上分离,它具有经济、便捷、对用户打扰少,能在真实环境中对大量多样的用户进行研究等特点,被认为是解决传统用户体验评估问题的一个理想方案,并逐渐成为人机交互领域中一个热门的研究课题。首先介绍了远程用户体验评估的概念和分类;然后描述了远程评估的研究概况;接着提出了远程评估工具的系统架构,并依据系统架构,详细描述了数据采集、分析和呈现的各种方法;最后,总结了远程评估所面对的挑战以及未来的研究方向。     

Lerisk－i*框架自动建模与编辑工具介绍

在需求工程中,基于主体的i*建模框架(主要包括策略依赖模型及策略推理模型)已经成为最常用的早期需求建模与分析的工具之一,而且关于i*建模框架的编辑工具开发也有很多相关的研究工作。然而现有的这些工具往往只提供诸如模型图编辑、存储等基本功能,而笔者需要在需求工程小组的项目中为对需求文本进行建模的结果进行模型可视化,同时提供编辑存储及自动布局功能,并开发出新的基于i*建模框架的工具。文中首先对主流的i*建模工具进行了调研,研究了建模工具的基本功能,同时分析了其功能的不足点,在此基础上提出了新工具设计的功能补充点;然后对i*框架的布局问题进行介绍并详细描述了其自动布局算法的实现,给出了可视化工具的详细设计;最后在此工具的基础上,进行了实际需求文本的建模及模型编辑功能的实验,并将此工具与主流工具的功能进行对比,以展示本工具的功能特点。     

基于斯沃仿真系统的数控虚拟加工技术

随着计算机技术的普及应用,数控加工仿真系统因其功能强大、交互性好、操作便捷和安全可靠等优点,在数控技术相关课程教学中越来越得到广泛应用。本文以典型的轴类零件为研究对象,结合MasterCAM自动编程技术,重点介绍基于斯沃数控仿真系统的数控虚拟加工技术在教学中的应用。通过研究得出在虚拟环境中数控加工,不仅丰富了教学手段,提高了学生学习兴趣,还有效解决了在数控技术课程实验教学中因数控设备昂贵与资金短缺而造成的教学效果不理想、效率低的问题。     

“自动更正”的前世今生

自从有了“自动更正”,我们便能在长途跋涉中继续舞文弄墨、挥洒创意,并且无须绞尽脑汁去记住生僻难懂的单词,因为其目前的内建字典已可谓汗牛充栋、学富五车,无论是俚语还是新词汇,都能手到擒来。     

如何高效使用EC2之服务安全与成本控制

过去4年里,作者所在团队一直使用EC2服务,积累了大量实践经验。在5月刊《如何高效使用EC2之服务可用性与数据存储》一文中给出了数据可用性和数据存储两方面的使用建议,本文将分享服务安全、服务监控、自动部署和成本控制等方面的经验与技巧。     

巧妙解决FoxmailTemp的问题

正前几天偶然进入"AppData"文件夹,意外发现这里有一个名为Foxmail7的文件夹,其下以日期为单位更有若干子文件夹,都是一些HTML文档或GIF图片(如图),这些文档或图片其实就是相应的邮件,如果双击打开HTML文档可以查看完整的邮件内容。其实,这些文件都是Foxmail7在读邮件的过程中生成的临时文件,一般保存在"\AppData\Roaming\Foxmail7\"路径下,默认设置下会自动删除三天前生成的临时文件,但由于种种原因,很