基于软件行为的可信动态度量

提出了基于软件行为的可信动态度量,将度量粒度细化到一次行为的引用上,在一定程度上解决了系统工作后的动态可信性问题.同时,提出了基于拓展行为迹的度量机制和行为度量信息基的验证机制,提供了对软件行为可信的判定方法,实现了软件行为的可信判定,给出了基于软件行为的可信动态度量及可信证明模型.     

一类新的宽间隔跳频码的实现

基于ＧＦ（Ｐ）上的ｍ序列,提出了一类新的宽间隔跳频码序列,并在计算机上进行了模拟研究．其模拟结果表明：该跳频码序列的相关性和游程特性均优于最佳的跳频码序列．     

改进的基于属性的软件可信性度量模型

对基于属性的软件可信性度量需要满足的性质集进行了扩充,提出了一种改进的软件可信性度量模型,并通过证明其满足扩充后度量性质集对其进行了理论验证.相关工作比较表明相对于常用的两种基于属性的软件可信性度量模型以及作者之前所提出的3个模型,该模型对扩充后的度量性质满足程度方面更优.     

静态可信度量根安全证明方法

针对可信计算静态信任链中的度量核心CRTM存在着实现上的度量不完整、不准确、以及带来的安全威胁的问题,详细描述了静态可信度量根SRTM的度量漏洞,基于可信平台模块TPM时间戳和SMI中断,提出了一种完整的SRTM度量过程和安全证明协议,通过构造可靠的CRTM安全协议,使得攻击者对时间阈值的篡改攻击是不可行的,有效修补了SRTM系统存在的安全漏洞.     

R-型聚类中基于Gamma-test的一种新度量

对R-型聚类分析的度量进行了研究,提出了一种基于Gamma-test理论的新度量.给出了新度量的5种不同定义方式,对各定义的性质进行了讨论.并将其应用于经典的系统聚类法,对所得的聚类结果与用相关系数作为度量所得的结果进行比较,分析了各定义的优劣,得出了最有效的新度量定义.     

基于改进的增强Lee滤波的数字全息图再现像降噪方法（英文）

在数字全息图的制取过程中,高相干性的激光会在全息图上产生斑点状的噪声,从而在再现像中产生散斑噪声,影响了全息图的质量。目前Lee滤波作为一种去除散斑噪声的方法,对全息图再现像中的乘性散斑噪声也有较好的去除效果。本文在Lee滤波的基础上,结合均值滤波,提出了加权型增强Lee滤波算法。这种方法对数字全息图再现像进行处理,获得了更好的去噪效果.     

可信计算技术在嵌入式操作系统中的应用

针对通用可信计算技术难以直接满足嵌入式操作系统实时性要求的问题,通过对现有可信计算信任链进行裁剪,提出了一种基于完整性度量证书的信任链结构,在嵌入式操作系统内核中构造了嵌入式实时可信平台模块和可信软件栈.实验表明,嵌入式可信平台模块的平均命令执行时间节省了65.81%,嵌入式系统中的应用程序可实现密封存储、远程证明和完整性度量等可信计算功能,研究方案在总体上能够满足嵌入式系统的实时性和安全性要求.     

L-模糊度量空间中序列映射的公共不动点定理

最近,Saadati等人提出了L-模糊度量空间的概念,它推广了模糊度量空间和直觉模糊度量空间的概念。本文在L-模糊度量空间上提出相互压缩的概念,并得到模L-糊度量空间上相互压缩且交换的自映射序列的公共不动点定理。这些结论推广了相关文献中的主要定理。     

基于单片机及FPGA的时码终端系统

本文详细叙述了基于FPGA及单片机，实现时码终端系统的设计方法．该系统可用于对国际通用时间格式码IRIG—B码(简称B码)的解调，以及产生各种采样、同步频率信号，也可作为其它系统的时基和采样、同步信号的基准．     

D*-度量空间广义弱压缩映射的不动点定理

介绍了D^*-度量空间中的相关知识, 并基于D^*-度量空间, 将度量空间中与两种距离控制函数(ψ,?)有关的广义弱压缩映射推广到D^*-度量空间, 通过构造迭代序列，讨论了广义弱压缩条件下映射不动点的存在性和唯一性, 给出了几个不动点定理, 所得结果丰富了D^*-度量空间的不动点理论。     

环F_p+uF_p+vF_p上循环码

本文讨论了有限非链环R=Fp+uFp+vFp上的循环码.通过环R上的循环码与多项式环Rn=(Fp+uFp+vFp)[x]/(xn-1)的理想的对应关系给出了R上循环码的刻画.最后定义了一个Gray映射,并刻画了R上的循环码在该映射下的像.     

选择式频率分集SFH／MFSK系统在短波信道中的性能

研究了选择式频率分集Ｍ进制频移键控慢跳频（ＳＦＨ／ＭＦＳＫ）系统在多径瑞利衰落信道中的性能，分析了部分边带干扰，多径干扰，信道热噪声和调制阶数Ｍ对无编码和有编码系统性能的影响．研究结果表明，多径干扰强度和信道热噪声对系统性能影响较大，分集仅能在一定程度上削弱它们对系统性能的影响，只有在分集与编码相结合，并采用适当的调制阶数Ｍ时，才能显著地改善系统的性能．     

噪声归一化合并的SFH／MFSK系统在短波信道中的性能

分析了噪声归一化合并的短波慢跳Ｍ进制频移键控（ＳＦＨ／ＭＦＳＫ）系统，在受到部分边带于扰多径莱斯（Ｒｉｃｉａｎ）衰落的短波信道中分集和编码的性能，研究了信道热噪声，调制阶数Ｍ对系统性能的影响。研究结果表明，多径干扰的强度对系统性能的影响较大，分集能有效地削弱部分边带干扰的影响，但单靠分集并不能有效地抵抗多径效应的影响，只有采用编码与分集技术相结合，才能有效地削弱部分边带干扰和较好地抗拒多径干扰的影响．     

两种捕食螨的生殖行为

作者在室内对东方钝绥螨和尼氏钝绥螨的生殖行为进行了研究。结果表明,交配之前,两种捕食螨的雄螨积极主动寻找雌螨并能辅帮雌后若螨蜕皮。正式交配的方位为雄性在下,雌性在上,雌雄腹面紧贴。交配的持续时间,东方钝绥螨长于尼氏钝绥螨。交配结束至产卵,雌螨需大量取食。产卵方     

卷积Turbo码编码器及CPLD实现

详细探讨了卷积Turbo码编码器实现过程中的关键问题,结合CCSDS及IMT－2000国际通信标准给出了具体解决方案,使用Maxplus2开发工具在CPLD上实现整个卷积Turbo码编码器并给出了系统分析,实验结果表明了该编码器的正确性和合理性。     

短波瑞利衰落信道FH／MFSK编码系统的性能

基于ＳｔｕｂｅｒＧ．Ｌ．的系统模型，研究带反馈链路的选择式频率分集与编码ＦＨ／ＭＦＳＫ系统在具有加性白高斯噪声（ＡＷＧＮ）的瑞利衰落信道中的编码性能，给出了采用ＲＳ码、双－ｋ码、重发码时，编码前与编码后系统的码符差错概率与比特能量噪声比的关系曲线．研究结果表明：无编码时，单纯增加分集重数Ｌ对系统性能的改善并不是十分明显的，只有同时采用分集与编码技术，才能有效地改善系统的性能．     

非法计算故障的自动测试方法

基于对程序源代码的静态分析方法，针对程序中的非法计算故障，提出了一种自动测试方法．以非法计算故障的表现形式为基础，将静态分析程序源代码和识别非法计算的过程模型化，建立了静态检测非法计算所需的计算模型，将非法计算故障静态检测过程自动化，给出了非法计算自动测试算法．该方法通过对程序源代码的静态分析，实现了非法计算故障检测的自动化．实验结果表明，该自动测试方法能有效地提高检测非法计算的准确率和自动化水平．     

浙江维管植物分布新记录

报道了浙江维管植物分布新记录10种,分别为：睫毛蕨科Pleurosoriopsidaceae的睫毛蕨Pleurosoriopsis makinoi （Maxim.ex Makino） Fomin;榆科Ulmaceae的山黄麻Trema tomentosa （Roxb.） Hara;樟科Lauraceae的华南木姜子Litsea greenmaniana Allen和黄枝润楠Machilus versicolora S.K.Lee & F.N.Wei;景天科Crassulaceae的东至景天Sedum dongzhiense D.Q.Wang & Y.L.Shi和高岭景天Sedum tricarpum Makino;紫金牛科Myrsinaceae的少年红Ardisia alyxiaefolia Tsiang ex C.Chen;禾本科Poaceae的广州鼠尾粟Sporobolus hancei Rendle、远东芨芨草Achnatherum extremiorientale （Hara） Keng ex P.C.Kuo和南荻Miscanthus lutarioriparius L.Liu ex Renvoize & S.L.Chen.其中,睫毛蕨科为浙江新记录科.凭证标本保存于浙江农林大学植物标本室（ZJFC）.     

B邻接片错误纠错码的最佳设计

给出B邻中国科学院计算技术研究所CAD实验室片错误纠错码的最佳设计,分析了其双字节错误的误纠概率,从而为码的实际应用提供了依据。     

B邻接片错误定位码的译码

针对两类Ｂ邻接片错误定位码进行了分析，并给出了其译码方案．