Implementing Operating System Support for Extended Trusted Path in TPM-Capable Environments

Trusted path is one of the crucial features that operating systems must provide for fundamental security support. In order to explore the possibility of implementing a trusted path mechanism with the support of trusted platform module （TPM） technologies, and to support TPM capabilities in operating systems, the paper extended the scope of the conventional trusted path to cover the situation in which a user communicates with software residing on a remote host. The paper combined the concept of operating system support for trusted path with that for TPM platforms, and proposed the architecture of an extended trusted path mechanism in operating system with considerations on TPM-capable platforms support. As part of the author＇s research in secure operating systems, the work of the paper was carried out with Linux as an experimental prototype system. The research result shows that TPM capabilities can strengthen extended trusted path mechanisms of operating systems.     

fMRI time series analysis based on stationary wavelet and spectrum analysis

The low signal to noise ratio (SNR) of functional MRI (fMRI) prefers more sensitive data analysis methods. Based on stationary wavelet transform and spectrum analysis, a new method with high detective sensitivity was developed for analyzing fMRI time series, which does not require any prior assumption of the characteristics of noises. In the proposed method, every component of fMRI time series in the different time-frequency scales of stationary wavelet transform was discerned by the spectrum analysis, then the components from noises were removed using the stationary wavelet transform, finally the components of real brain activation were detected by cross-correlation analysis. The results obtained from both simulated and in vivo visual experiments illustrated that the proposed method has much higher sensitivity than the traditional cross-correlation method.     

动态电压恢复器的控制策略

通过把负载电压看作动态电压恢复器(DVR)的控制对象,开关器件的占空比看作控制量,电网电压和负载电流看作干扰量,可将DVR的数学模型简化为单输入单输出系统.结合控制量的计算方法,推导出了控制量到被控对象和干扰量到被控对象的传递函数.分析传递函数可知,负载电流特别是其中的高频分量会使DVR的补偿性能变坏.提出了误差校正控制方法,在传统电网电压前馈的基础上通过误差校正实现了负载电流前馈,基本消除了负载电流的影响.仿真结果验证了理论分析的正确性.     

生物组织冻结相变过程的数值模拟

建立了生物组织(含正常生物组织和肿瘤)冻结过程的传热模型.生物组织作为一种多孔介质,其相变发生在一个温度范围内,且存在一个固相与液相共存的糊状过渡区.采用显热容法模拟了生物组织冻结过程中的传热和冰晶增长过程.模拟结果显示,在冻结过程中,冷刀的初始温度越低,冷刀的降温速率越快,生物组织内温度下降和冰晶增长的速率越快.结果还表明组织中液相流动会增加生物组织内传热和冰晶生长的速度.计算结果为冷刀设计和冷冻外科手术提供了理论依据.     

光纤曲率传感器的特性测试与分析

研制了一种新型光纤曲率传感器,通过在光纤表面加工敏感区,放大因被测结构变形引起光纤弯曲所造成的光传输损耗,而最终获得的光损耗就是被测结构变形的信息,非常适合用于智能结构宏弯变形的测量。在实验特性测试中,设计出悬臂梁、简支梁及标准圆柱体机构,并通过精密放大电路,完成对光纤曲率传感器的静态特性、动态特性及方向性测试。     

洪涝发生的灰色预测分析

利用常用的GM(1.1)灰色预测原理,建立了一个预测降水量的数学模型.通过对某一地区历年的降水量进行分析计算,得出的结果较好地预测了下一个洪涝年份(超过一定标准的降水量).     

一类具连续分布滞量的非线性中立型偏微分方程的振动准则

讨论了一类具连续分布滞量的二阶非线性中立型偏微分方程在Robin,Dirichlet边界条件下解的振动性,获得了解振动的若干充分条件.     

室内承载板法测定土基回弹模量的理论修正

土基回弹模量是路面结构设计中一个重要的参数,能否选用合乎实际的土基回弹模量直接关系到路面结构的安全性和经济性.由于野外承载板法费时、费力,且测点位置的选取以及测点多寡对回弹模量的影响,室内试验是一种不可缺少的方法.以弹性层状体系理论为基础,对室内承载板法测定土基回弹模量进行了理论修正,利用有限元程序求出修正系数,并通过实例工程进行验证.结果表明:室内承载板测定土基回弹模量应乘以0.95这个修正系数,从而为室内合理测定土基回弹模量值提供参考依据.     

低分辨率人脸序列的超分辨率重构识别

针对低分辨率人脸序列的识别这一问题,提出了一种超分辨率重构识别算法.该算法利用低分辨率序列中所提供的关于同一人脸的不同信息,先重构出一幅具有更高分辨率的人脸图像,然后再进行基于Gabor特征的人脸识别.实验结果表明,该算法能够显著提高人脸识别率.     

雕塑在城市公园环境艺术中的意境

公园雕塑越来越被城市广泛使用，大有方兴未艾之势，但是，粗制滥造、败坏人们对雕塑审美趣味的现象出现了。既不考虑环境，也没深刻立意，更无雕塑意境。通过对城市公园雕塑的欣赏，详细说明雕塑在环境中的意境以及雕塑意境产生的条件，提出应该如何欣赏雕塑中的意境。