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.     

尖萼金丝桃中的(口山)酮成分

在细胞毒性试验结果指导下,对尖萼金丝桃(Hypericum acmosepaiumN.Robson)全株的活性部位进行化学成分提取分离,得到3个口山酮类及3个甾醇类成分,通过理化数据测定及波谱数据分析,鉴定其结构,分别是:Calycinoxanthon D(1);Isojacareubin(2);6-Deoxyjacareubin(3);β-谷甾醇(4);豆甾醇(5);豆甾醇-3-O-β-D-吡喃葡萄糖甙(6).化合物(1)~(6)均为首次从该植物中分离得到.     

款冬花色素的提取与稳定性研究

研究了款冬花色素的热稳定性、氧化还原稳定性和pH值稳定性，并对常用的几种食品添加剂对款冬花色素的稳定性进行了探讨，结果表明：款冬花色素易溶于丙酮。属于脂溶性色素；在ph=3～9时，款冬花色素的稳定性较好，氧化还原剂及食品添加剂对其稳定性影响不大，Fe^3＋金属离子对其影响显著，Na^＋有增色作用，水浴温度在60℃以下色素的热稳定性较好。     

基于满二叉树的原地快速排序

介绍了一种基于满二叉树的原地快速排序算法。与经典快速排序算法相比，新算法每趟划分采用动态枢轴而不是静态枢轴，同时新算法利用满二叉树的特点计算下一趟划分的枢轴位置和元素范围，避免使用递归或开辟内存堆栈。实验表明，新算法的时间性能优于目前最好的原地排序一堆排序。原地快速排序二叉树的概念对排序算法的研究和改进具有很好的理论和实用参考价值。     

Linguistic Truth Values Lattice Implication Algebras

In order to study uncertainty reasoning and automatic reasoning with linguistic terms, in this paper, the set of basic linguistic truth values and the set of modifiers are defined, according to common sense; partially orderings are defined on them. Based on it, a lattice implication algebra model L18 of linguistic terms is built; furthermore, its some basic properties are discussed.     

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

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

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

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

福建省柑橘线虫的研究Ⅰ.长泰县柑橘5种寄生线虫记述

自2004年至2006年对福建省长泰县柑橘根部寄生性线虫的种类进行了调查研究.共鉴定出7个属10个种,其中对柑橘生产有一定危害的是短体属、矮化属、茎属和真滑刃属中的部分种类,这4个属的种类在长泰县的柑橘树根部普遍存在.本文作者先报道其中的5个种,其中同形真滑刃线虫为中国新记录种.     

一种新颖的串行小生境粒子群算法

提出了一种新颖的自适应串行小生境粒子群优化算法(ASNPSO),它使用多个子群能够串行发现多个最优解.在此算法中,使用了山谷函数以决定如何改变当前运行的子群中粒子的适应度函数,算法具有很强的自适应搜索能力.经使用几个标准测试函数证明了ASNPSO算法在没有任何先验知识的情况下能够有效地发现多个最优解.     

碳纤维催化石墨化的研究概况

论述了催化剂种类、含量及石墨化温度三因素对碳纤维催化石墨化反应的影响。以非金属元素硼、硅为例,从催化作用机理方面阐述了碳纤维在催化石墨化过程中微观结构的变化及宏观力学性能的改变,并对催化石墨化技术的研究发展进行了展望。