一种空间相关高斯噪声背景下的时变时延估计算法

在空间相关高斯噪声的背景下,基于二阶统计量的时延估计方法会失效,该文提出了一种基于三阶统计量的自适应时变时延估计算法,并分析了算法的收敛性,最后的仿真结果表明该算法可以有效地抑制相关高斯噪声。     

一种基于软件源代码的远程证实方法

The Binary-based attestation （BA） mechanism presented by the Trusted Computing Group can equip the application with the capability of genuinely identifying configurations of remote system. However, BA only supports the attestation for specific patterns of binary codes defined by a trusted party, mostly the software vendor, for a particular version of a software. In this paper, we present a Source-Code Oriented Attestation （SCOA） framework to enable custom built application to be attested to in the TCG attestation architecture. In SCOA, security attributes are bond with the source codes of an application instead of its binaries codes. With a proof chain generated by a Trusted Building System to record the building procedure, the challengers can determine whether the binary interacted with is genuinely built from a particular set of source codes. Moreover, with the security attribute certificates assigned to the source codes, they can determine the trustworthiness of the binary. In this paper, we present a TBS implementation with virtualization.     

遥爪型液体聚合物及其多相共聚物的合成与表征——Ⅰ.端羧基乙烯基四氢呋喃-环氧丙烷液体共聚醚的合成

本文探索了端羟基液体聚合物,四氢呋喃-环氧丙烷共聚醚,与顺丁烯二酸酐的酯化反应,得到了端羧基乙烯基液体聚合物。 通过控制反应温度,配料比以及选择适宜的催化剂,使端基转化率达到了100%。 用化学分析、核磁共振以及红外光谱分别对端基转化程度和聚合物结构进行了测定。     

表面增强拉曼光谱法快速检测西红花中5种酸性色素

建立表面增强拉曼光谱法快速检测西红花中诱惑红、日落黄、苋菜红、胭脂红、酸性橙Ⅱ5种酸性色素的方法,对于阳性样品采用液相色谱-串联质谱法确证。称取西红花样品0.1 g于15 mL离心管中,加入5 mL 50%甲醇水溶液,振荡30 min,以4 000 r/min离心10 min,用一次性吸管取出上清液于15 mL离心管中,于55℃氮吹至1 mL左右,加水至10 mL,涡旋混匀,作为样品溶液。取200μL胶体金表面增强试剂于拉曼样品池中,加入50μL凝聚剂Ⅰ（酸性色素试剂盒中试剂）混匀,再加入50μL样品溶液,混匀,于5 min内放入拉曼光谱仪检测。5种色素在西红花中的检出限：诱惑红、日落黄和苋菜红均为0.05 g/kg、胭脂红为0.5 g/kg、酸性橙Ⅱ为1 g/kg。该方法操作简单、快捷、准确,能够实现西红花中5种酸性色素的快速检测。     

两种锥形脉管制冷机的数值模拟及其实验验证

本文对所提出的新型结构的脉管制冷机进行了数值模拟分析和实验研究。研究表明：锥形脉管制冷机存在一最佳锥度;在最佳锥度下,采用锥形脉管制冷机对改善制冷机的性能,进一步降低制冷温度、提高相同制冷温度下的制冷量是有利的。     

分置式微型斯特林制冷机的理论分析

本文建立了分置式微型斯特林制冷机的理论分析模型,给出了其内部各种参数（热力参数、流动参数、传热参数）的动态变化规律;并进行了主要结构参数的优化分析;同时还给出了各组成部件变质量、非稳定流动系统的■损失计算式。可推荐给工程实际应用。     

基于Markov链的椭圆曲线标量乘法算法性能分析

在椭圆曲线密码系统中,采用规范重编码、滑动窗口等优化技术可以有效提高椭圆曲线上点的标量乘法k·P的运算性能,但在实现中,需要对不同优化技术的算法性能进行定量分析,才能确定标量乘法的最优实现.本文运用Markov链对标量k规范重编码表示的滑动窗口划分过程进行了建模,提出了一种对椭圆曲线标量乘法的平均算法性能进行定量分析的方法,并运用该方法分析了不同参数下标量乘法运算的平均性能,计算了滑动窗口的最优窗口大小.最后,通过比较说明,采用规范重编码和滑动窗口技术的椭圆曲线标量乘法的运算开销比用m-ary法少10.32~17.32％,比单纯采用滑动窗口法也要少4.53~8.40％.     

基于全局公钥方案的VANETs安全位置服务

随着车载自组织网的应用不断增加,交换位置信息的通信服务时常受到干扰和攻击。针对VANETs通信中位置服务的安全问题,本文提出了全局公钥方案GPKS(Global public key scheme)通信方式。通过双线性对密码理论,产生私钥,同时,利用全局的公钥产生加密信息,减免了数字证书的认证负担,对传递的数据包,先用私钥对消息数字签名,再用公钥加密,有力保证了数据的保密性、可追溯性、不可否认性。选用地图位置服务MBLS(Map-Based location service)评估本文方案的性能。仿真结果表明,GPKS方案在保证位置服务的安全性的同时,对查询成功率没有影响,既维护了位置服务的安全性,又保证了位置服务的应用准确性。     

投入占用产出表中纯部门占用额及占用系数的计算方法问题

本文给出根据一定的假设,用产业部门占用矩阵及产出矩阵,推算纯部门的占用额及直接占用系数的方法。并给出完全占用系数的计算方法。     

脉管制冷法的重要改进——双向进气可逆脉管的理论分析与实验验证

一、前言 脉管制冷机具有结构简单、可靠性高等优点,作为高技术领域中光电传感器的冷源特别有吸引力。美国Gifford教授最早提出的基本型脉管制冷法,其单级制冷温度只达到124K。1983年,苏联Mikulin教授提出了小孔型脉管制冷法(参见图1实线部分),大大提高了制冷机的制冷能力。遗憾的是,小孔脉管制冷机中由于小孔和气库的加入,增加了一个不可逆损失源。文献[3]指出:对于一个效率为75％的压缩机来说,小孔脉管制冷机的比功率在80K时,约为100W/W,远大于同样情况下的斯特林制冷机,其比功率约为40W/W。所以提高脉管制冷机的效率是一个急待解决的问题。