软件能力可信研究综述

能力可信是可信计算研究领域中的重要研究内容,它要求系统的功能是可信赖的,如今,系统的开发方式,系统规模、应用模式已发生巨大变化,这使得获得功能的可信赖性的任务更具挑战性,首先综述能力可信的概念、内涵等,详细介绍了能力可信的性能指标,从缺陷分析、可靠性模型、恢复技术三个方面讨论了能力可信的研究现状、和存在问题,最后对能力可信的未来发展趋势进行了探讨.     

基于预测的最长队列优先调度算法

提出了一个基于预测的最长队列优先(PLQF)调度算法,该算法不仅考虑队列当前长度,还考虑了即将到来的流量信息,根据这一信息,资源被分配给最可能发生溢出的用户,通过预先调整队列长度以满足即将到来的流量,降低了丢包率(CLR),同时提高了缓存的利用率。理论分析表明,PLQF算法可以获得比传统LQF算法更低的CLR,仿真结果证实了PLQF算法的CLR只有传统LQF算法的10%~60%。     

Bézier曲线的新扩展

给出2组含有2个形状控制参数 的四次、五次多项式基函数,其分别是三次、四次Bernstein基函数的扩展。分析2组基的性质,定义带 的2类多项式曲线：三次E-Bézier曲线和四次E-Bézier曲线,其具有三次或四次Bézier曲线的特性、形状可调性和更好的逼近性。当 时,2类曲线分别退化为三次、四次Bézier曲线。给出2个扩展曲面的定义。实例表明,定义的曲线为曲线/曲面的设计提供了一种有效的方法。     

面向航空电子的分区操作系统

伴随新一代航空电子的综合化趋势,机载软件对机载操作系统提出新的要求.通过管理系统的软硬件资源,包括内存、CPU、通信等,机载操作系统将各类机载软件融合在同一个CPU上,实现综合化.该文给出一种面向航空电子的分区操作系统的实现框架,支持二级调度,对于各类机载软件实施分区调度,并且分区的运行互不干扰,保证了分区的安全性.     

模块液体冷却技术及其应用与分析

随着电子技术的迅速发展,电子元器件的总功率密度大幅度增长而物理尺寸却越来越小,而且高温的温度环境会影响电子元器件的性能.有效解决电子元器件的散热问题已成为当前电子元器件和电子设备制造的关键技术,液体冷却技术可在一定程度上适应高热流密度的散热要求.针对模块上电子元器件的液冷问题,该文综述液体冷却的特点,设计不同通道形式的冷板,并进行适当的应用分析.     

一种基于C#的通用软件安装程序的架构设计与实现

可以说每个商业化软件都必须具备安装工具,使用系统软件自带的打包程序有时很难满足实际需求,为此提出了一种基于C#的通用软件安装程序的架构,给出了实现这一架构的设计方法和关键代码.通过该架构,可以非常容易地实现安装程序的功能扩展和代码维护.     

利用PCA增强随机化隐私数据保护方法

基于随机化的数据扰乱及重构技术是数据挖掘中的隐私保护(Privacy-Preserving Data Mining,PPDM)领域中最重要的方法之一.但是,随机化难以消除由于属性变量本身相关性引起的数据泄漏.介绍了一种利用主成分分析(Principal Component Analysis,PCA)进行属性精简的增强随机化方法,降低了参与数据挖掘的属性数据间相关性,更好地保护了隐私数据.     

多媒体课件图像处理和图形加工技术

在多媒体课件创作中,准备多媒体素材是非常重要的环节。多媒体素材包括文字、图像、图形、动画、声音、影像等。在这几类素材中,图形图像是多媒体课件中应用最基本、最重要和最多的材料,其处理与加工也最为复杂,以下针对这一问题进行探讨。     

基于COSMOS／Works的汽车起重机转台有限元分析

转台是汽车起重机的主要承载件之一,通过分析转台受力情况,建立力学模型,应用COSMOS／Works对转台结构进行有限元分析,其分析结果对汽车起重机设计具有重要指导意义。     

SP短信业务平台的设计

介绍SP短信业务平台的系统设计过程,围绕系统的两条主线和一个核心展开.两条主线是用户业务主线和底层接口主线,一个核心是脚本.底层接口主线包括了短信网关接口和数据库接口.系统中采用了不少理论和技术:编译技术、ADO、流量控制、多线程、系统的关键问题是如何编译脚本、封装短信接口和数据库接口.