MPEG-2／4AAC音频编码模块的验证

先进音频编码（AdvancedAudioCoding,AAC）以其多声道、多采样率、高压缩比、音质好等特点被广泛使用。文中首先介绍了MPEG-2／4AAC音频编码技术;接着基于MPEG-2／4AAC音频编码原理,开发了时钟复位、寄存器配置和音频数据收发的BFM模型,搭建了音频编码模块的RTL级虚拟验证平台,同时归纳了验证项;最后基于此验证平台和验证项,对设计进行了全面的仿真验证。实践证明该验证方法效率高、收敛快、覆盖率高,取得了较好的效果,为后续的FPGA平台验证和芯片应用提供了有力的保证。     

RFID复杂事件处理关键技术的研究与改进

RFID复杂事件处理是一个新兴的技术领域,它用来处理大量的简单事件,并从中整理出有价值的事件。RFID事件和传统的事件相比较具有海量性、空间性和时间性、数据不准确性等特征。文中在分析RFID数据特点的基础上,对RFID复杂事件处理的关键技术进行研究和改进,主要介绍RFID数据的清洗和事件检测技术。对于RFID数据清洗部分,提出了多层次过滤的方法使得到的数据更接近真实情况,而事件检测方面则提出了局部检测和全局检测相结合的方法对相关数据进行检测以得到更有意义的数据供上层应用使用。最后,对RFID复杂事件处理的发展趋势做出展望。     

基于双线性映射和属性证书的远程证明方案

针对现有TCG组织定义的远程证明机制证明过程复杂和隐私泄漏的不足,通过使用基于双线性映射的BBS’签名算法和属性证书机制代替平台配置信息的方式,提出了一种基于双线性映射和属性证书的远程证明方案（Bilinear Mappingand Property Based Attestation,BMPBA）。与已有的远程证明方案相比,BMPBA方案更好地降低了平台配置信息易泄露的风险,其使用的签名方案具有密钥与签名长度短和计算效率高的优点,从而提高了远程证明机制的运行效率。分析结果表明：利用该方案能够高效率地实现平台间的远程证明,并能较好地保证平台证明的安全性、正确性和不可伪造性。     

HIS系统维护中“死锁”现象的分析与解决

在我院HIS系统的维护工作中,死锁现象时有发生。通过分析“死锁”产生的机制．合理使用科学的手段预防和解决“死锁”问题,将会大大提高工作效率。     

基于Linux的USB存储设备访问控制机制研究

USB存储设备所造成的数据泄漏问题日益严重。对USB存储设备进行访问控制,可以有效阻止USB存储设备的数据泄漏。文中主要研究基于Linux操作系统的USB存储设备访问控制机制,并且从用户态、内核Lsm框架以及驱动这三个不同层次分别提出了三种可行的USB存储设备访问控制机制。在这基础上,结合这三种访问控制机制各自的特点以及关键技术对它们的有效性、可用性进行了分析。作为验证,在Linux平台上实现了这三种机制。三种方法均可以有效地进行USB存储设备访问控制。     

模型驱动下的Web应用系统自动生成

为了提高Web应用系统开发效率,提出了模型驱动下的Web应用系统自动生成方法。这种生成方法是以Me—taEdit＋作为元建模工具,首先创建Web应用系统元模型、定制DSL,进而建立Web应用系统领域模型,然后通过MetaEdit＋提供的生成器定义语言MERL,软件开发人员可以很方便地设计出Web应用系统所需的JSP生成器、Servlet生成器、Jayabeans生成器和数据库生成器,从Web应用系统图形模型直接生成整个Web应用系统。最后通过一个WebShopping实例详细介绍了模型驱动下的Web应用系统生成方法及生成过程。经测试,所生成的Web应用系统可以在Windows操作系统中的Web应用服务器上正确运行。     

多分辨率点状地标实时渲染研究

大规模点状地标的高性能实时渲染是地理信息系统和计算机图形技术面临的一项具有挑战性的难题。采用多分辨率的技术是解决上述问题的有效方法,其本质是通过动态控制显示的规模获得最佳的显示效果和性能。根据不同层次分辨率的点状地标的空间分布特点,提出一种基于空间分割和视点高度的显示规模控制方法,推导了帧时间计算公式,由此确定最佳空间分割尺寸。通过两个不同层次点状地标的空间分割和性能测试,给出了最佳空间分割尺寸,验证了基于空间分割的多分辨率点状地标渲染方法的正确性和有效性。     

启发式教学的Visual FoxPro课堂实践

《VisualFoxPro程序设计》是医学院校普遍开设的计算机课程,结合医学院校中《VisualFox—Pro程序设计》课程特点,提出在课堂教学过程巧用启发式教学。并结合教学实例说明启发式教学能充分调动学生积极性,使学生真正参与课堂．从而取得好的教学效果。     

CAE技术在汽轮机高温强度计算中的应用

为分析某百万千瓦超超临界汽轮机高压缸旋转部件在高温以及高离心力载荷下的强度状况,建立高压缸第一级动叶片的模型.根据蠕变试验数据,采用最小二乘法拟合幂蠕变方程中的各个参数,并详细介绍各参数的拟合、优化和验算过程;用CFD分析软件计算流体域内的对流传热系数并插值到有限元计算程序中,分析叶根倒角处危险区域的蠕变应力状况.数据验算结果表明,利用拟合数据计算得到的蠕变应力值与试验值比较接近,证明该方法可靠;CAE计算结果表明,叶根倒角处危险区域蠕变应力考核合格,并且有充足的安全裕量.     

有限元分析后处理中Surfer与Word的互接

为提高有限元分析后处理中等值线图的处理效率,利用VB Scripter编程实现Surfer等值线图的拼合,实现向Word中批量插入等值线图并为其设置格式、添加标题等功能.溪洛渡拱坝实例表明该程序可以减少有限元后处理的文件整理工作量.