可信平台模块分析与测试技术研究

在可信计算平台的体系结构中，可信平台模块的基础性地位决定了其在可信计算平台的研究中居于中心的地位。本文对可信平台模块中可信机制特别是隐私性保护机制进行了详细的分析，并以可信平台模块作为建模的对象，对其进行形式化分析，探讨利用形式化模型生成测试用例，进行符合性测试的技术。本文主要取得了以下几个方面的成果： 1、针对现有的隐私性保护方案即BCC方案在多信任域环境下的不足，提出了一种多信任域内的直接匿名证明方案，该方案为直接匿名证明方案在多信任域的网络环境下的应用奠定了基础。 2、针对BCC方案匿名性机制中“验证着相关的完全或无”匿名性的缺陷，提出了带子群隐私保护的隐私性保护方案，该方案为小群体内应用隐私性保护方案提供了可行的解决方法，增强了现有隐私性保护方案匿名机制的灵活性。 3、提出了一种新的基于双线性映射的直接匿名证明方案，该方案的计算量小，签名长度短，为下一代基于椭圆曲线的可信平台模块提供了可行的隐私性保护方案。 4、针对目前可信平台模块符合性测试缺少自动化测试方案的现实，本文提出了一个新的针对可信平台模块的测试方案，该方案利用EFSM形式化模型生成测试用例，支持覆盖度的分析，可以实现测试的自动化，在符合性测试中可以帮助提高测试的覆盖程度与工作效率。 5、最后，本文首次对可信平台模块的本地化产品可信密码模块进行了系统的分析，指出了其中的AP授权协议的一些缺陷，并给出了改进意见，对可信密码模块和可信平台模块进行了详细的对比和分析，指出可信密码模块存在的不足和优势。 总的说来，本文的研究成果为可信平台模块的推广提供了有力的支撑，并且为我国可信密码模块的发展提供了借鉴。 关键词：可信平台模块、可信计算平台、 符合性测试、直接匿名证明

P-选择素CR结构域功能的模拟预测

<正>选择素(selectin)与其配体间相互作用介导的细胞粘附在炎症级联反应、肿瘤转移和淋巴细胞归巢等病理、生理过程中起重要作用。其结构组成从远离细胞表面的N-末端到胞内C-末端,依次为:钙型凝集素功能区(Calcium-type lectin domain,Lec),类上皮生长因子功能区(Epidermal Growth Factor-like module,EGF),具有粘附补体蛋白作用的多个重复序列(Consensus Repeats,CRs),跨膜区(Transmembrane,TM)和胞内区

岷江源头区植被景观与流域土壤侵蚀的动态相关性

作为复杂的生态过程之一，土壤侵蚀常常被空间景观异质性影响。深入地研究土壤侵蚀与植被景观的相关性对以减少水土流失为目的的河流中上游生态恢复工作来说十分重要。本文利用遥感和GIS 技术，对岷江源头区的植被景观和土壤侵蚀动态（1974年～2002 年）进行分析，并从景观生态学的角度，系统地研究了整体植被景观和不同的植被景观类型的景观特征与土壤侵蚀量、侵蚀模数以及土壤侵蚀强度的相关性，得出的结论主要有以下几个方面：1. 从植被景观特征与土壤侵蚀量和土壤侵蚀模数的相关性的角度出发，森林能最大限度地控制土壤侵蚀，草地对土壤侵蚀的控制能力不及森林，而且能在一定程度上增加土壤侵蚀。灌丛与土壤侵蚀量和土壤侵蚀模数的关系则比较复杂，还需要进一步地研究。农用地与森林、灌丛、草地等植被类型不同，它的增加将会明显地增加产沙量。随着各景观类型（灌丛除外）分布的镶嵌性的增强，土壤侵蚀量和侵蚀模数会减少。2. 从植被景观特征与土壤侵蚀强度的相关性的角度出发，在景观水平上，植被景观的景观多样性指数、景观破碎度指数、景观形状指数和景观聚集度指数均与土壤侵蚀强度有明显的相关性。在较轻侵蚀强度的区域中的植被景观具有更丰富的多样性和更低的破碎程度，景观的组分和结构都更加复杂，景观斑块的形状也比较复杂。同时，植被景观的空间异质性也较强。3. 从不同景观类型对土壤侵蚀强度的控制能力大小看：针叶林> 落叶阔叶林>针阔混交林> 灌丛> 草地> 农用地。同时，对于除农用地以外的其他植被景观类型来说，增加其平均斑块面积和形状的复杂性会在一定程度上减少土壤侵蚀强度。而对于农用地来说，斑块形状的简单化以及分布形式的均匀镶嵌化则是减少土壤侵蚀强度的有效手段。 As a complex ecological process, soil erosion is affected by the spatial landscape heterogeneity.The relation between soil erosion and landscape characteristic weights a lot in ecosystemrestoration that aim to control the soil erosion in watershed. By means of RS and GIStechniques, this study analyzed dynamic variations in landscape characteristic and soil erosionin the Minjiang headwater region over a period of 28 years to elucidate the interrelationshipsbetween landscape characteristics and soil erosion. The results are as follows:1. In terms of relation between landscape characteristics and soil erosion module, forest canmitigate the soil erosion much better than grass. The relation between shrub and soil erosionmodule is rather complicated that requests further more study to confirm how those two factorscorrelated with each other. Cultivated land differs from other landscape classes in creatingconditions most favorable for soil erosion. Moreover, the dispersion of all landscape classes,except for shrub, correlates with soil module negatively.II2. In terms of relation between landscape characteristics and soil erosion strength, the diversityindex, fragment index, shape index and contagion index of the vegetation in Minjiangheadwater region at landscape-level correlated with soil erosion clearly. Vegetation landscapein No and Slight erosion region is more diverse, fragmental and constructed in more complexway. The shape of those vegetation patches is also more complicated. The spatial heterogeneityof the vegetation landscape is much more evident than that located in moderate and strong erosion region too.3. At class-level, different landscape classes affected soil erosion strength in different ways.Taking the mitigating effect on erosion strength into consideration, landscape classes can bearranged in this turn: coniferous forest > Deciduous forest > Mixed forest > Shrub > Grassland > Cultivated land. At the same time, for most landscape classes, except for cultivated land,increase the mean patch size and complicate the shape of patch will help to relieve the erosionstrength. However, for cultivated land, simplifying the shape of patch and scattering thepatches have the same effect.

基于电路复用结构的NIM\ECL\TTL电平适配器

In this paper,a multi-functional adapter circuit which can be used to accomplish level adaptation between the NIM,TTL,ECL levels will be described briefly.This circuit is designed based on the multiple-using structure of circuit unit.It is signal-width NIM standard module.The module is used for level adaptation between the different digital signals in the measurement system of nuclear physics experiments.中文文摘：基于单元电路复用结构,设计了NIM、ECL、TTL电平多功能适配器,介绍了电路复用结构和单元电路的设计原理。该插件用于核物理实验测量系统中不同逻辑电平的数字信号的适配与转换。

基于MSP430 单片机和DS18B20 的多分支多通道温度测量系统远程监控软件

This paper present that the system can acquire the remote temperature measurement data of 40 monitoring points,through the RS-232 serial port and the Intranet.System s hardware is consist of TI s MSP430F149 mixed-signal processor and UA7000A network module.Using digital temperature sensor DS18B20,the structure is simple and easy to expand,the sensors directly send out the temperature data.MSP430F149 has the advantage of ultra-low-power and high degree of integration.Using msp430F149,the multi-branch multi-p...中文文摘：文章论述了通过RS-232串口和Intranet网络,来实现对远端的40个温度测量点的监控。系统硬件由TI公司的MSP430F149混合信号处理器和UA7000A网络模块构成。传感器采用数字式温度传感器DS18B20,它将直接得到温度的数字量,结构简单,易于扩展。MSP430F149处理器具有超低功耗和高度集成等优点,利用它构建的多分支多通道温度测量系统功能强大,结构简单,可靠性高,抗干扰能力强。系统客户端软件采用Microsoft Visual C++6.0设计。本监控系统能够很好地完成对4个分支共40个温度测量点的远程实时监控。

Micro Insert: A Prototype Full-Ring PET Device for Improving the Image Resolution of a Small-Animal PET Scanner

A full-ring PET insert device should be able to enhance the image resolution of existing small-animal PET scanners. Methods: The device consists of 18 high-resolution PET detectors in a cylindric enclosure. Each detector contains a cerium-doped lutetium oxyorthosilicate array (12 x 12 crystals, 0.72 x 1.51 x 3.75 mm each) coupled to a position-sensitive photomultiplier tube via an optical fiber bundle made of 8 x 16 square multiclad fibers. Signals from the insert detectors are connected to the scanner through the electronics of the disabled first ring of detectors, which permits coincidence detection between the 2 systems. Energy resolution of a detector was measured using a Ge-68 point source, and a calibrated 68Ge point source stepped across the axial field of view (FOV) provided the sensitivity profile of the system. A Na-22 point source imaged at different offsets from the center characterized the in-plane resolution of the insert system. Imaging was then performed with a Derenzo phantom filled with 19.5 MBq of F-18-fluoride and imaged for 2 h; a 24.3-g mouse injected with 129.5 MBq of F-18-fluoride and imaged in 5 bed positions at 3.5 h after injection; and a 22.8-g mouse injected with 14.3 MBq of F-18-FDG and imaged for 2 h with electrocardiogram gating. Results: The energy resolution of a typical detector module at 511 keV is 19.0% +/- 3.1 %. The peak sensitivity of the system is approximately 2.67%. The image resolution of the system ranges from 1.0- to 1.8-mm full width at half maximum near the center of the FOV, depending on the type of coincidence events used for image reconstruction. Derenzo phantom and mouse bone images showed significant improvement in transaxial image resolution using the insert device. Mouse heart images demonstrated the gated imaging capability of the device. Conclusion: We have built a prototype full-ring insert device for a small-animal PET scanner to provide higher-resolution PET images within a reduced imaging FOV. Development of additional correction techniques are needed to achieve quantitative imaging with such an insert.

Study of the LED based light calibration system for neutron wall detector

The light calibration system is one of the key components of Neutron Wall detector. It is used to calibrate the electronics and to monitor the long-term stability of the detector modules. With the detaile investigations, a calibration system with high-power LED (3W) driven by the fast pulses has been carried out. It is also tested together with the detector module of the Neutron Wall and the result of the preliminary calibration demonstrates that it fulfills the needs. It's a new design proposal to the light calibration system of the fast scintillator detector.

Characteristics of the sampling paddle modules of neutron wall from the cosmic ray test

In the construction of a large area neutron detector (neutron wall) that is used to detect neutrons at GeV energies, the performances of all the sampling paddle modules prepared for the neutron wall are investigated with a specially designed test bench. Tested by cosmic rays, an average intrinsic time resolution of 222.5 ps is achieved at the center of the modules. The light attenuation length and the effective speed of the light in the module are also investigated.

多路信号处理与QDC门信号产生逻辑插件的研制

本论文描述了多路信号处理与QDC（电荷数字转换器）门信号产生逻辑插件的研制过程。该逻辑插件的逻辑电路和模拟电路都经过了精心的设计和调试。核物理研究沿着激发能、核自旋及核同位旋三个自由度深入开展，产生了核物理研究中许多新的前沿领域。随着入射能量的增加，开放的反应道增多，多重探测器投入使用，使核物理实验的数据参数已经从几十路上升到上千路，即需要电子学工作者研制和开发一些高速触发、高密度、高稳定性的电子学硬件系统。本论文描述的多路信号处理与QDC门信号产生逻辑插件，主要用于产生QDC的开门信号。该电路系统早十六路并行、独立的高速放大单元电路、高速比较单元电路、延迟和脉宽成形单元电路、逻辑信号扇出单元电路、触发指示单元电路及多路模拟信号求和单元电路构成。该逻辑插件可接收≥ 20mv的小辐度输入信号而产生32路标准ECL（高电平-0.8V，低电平-1.6V）互补输出逻辑信号。输出ECL逻辑信号用于产生QDC的门控信号。该插件的多路模拟信号求和单元电路对每路输入信号可产生幅度为50mv的输出信号。该输出信号可用于多重符衙事件的鉴别和产生trigger触发信号。总的来说，多路辐度信号处理与QDC门信号产生逻辑插件不仅适用于重离子核物理实验中产生QDC开门信号，也可用于其它核物理实验的多重符合事件的鉴别。该插件的研制成功为多参数获取系统提供了一个良发的前端硬件设备。

an integrity assurance mechanism for run-time programs

Chinese Assoc Cryptol Res, State Key Lab Informat Secur, Inst Software, Grad Univ Chinese Acad Sci, Natl Nat Sci Fdn China

Copolymers derived from bismaleimide oligomer with active solvent

An oligomer from 4, 4'-bis(maleimido)diphenyl methane and methylenedianiline were dissolved in active solvent N,N-dimethyl acrylamide in a solid content up to 50-70%; the solution was poured in a sheet-shaped module and irradiated b y Co-60 with the dose from 20 to 350 kGy at room temperature. The polymerized sheet was postcured at 180degreesC to obtain a transparent red-orange sheet with tensile strength above 100 MPa. The glass transition temperature before and after postcuring was around 100degreesC and 150-180degreesC, respectively. Styrene was used along with DMAA to decrease the water absorption for the copolymers.

Study on the integrated membrane processes of dehumidification of compressed air and vapor permeation processes

Blend modified polyimide (PI) hollow fiber membranes were used in vapor permeation for gas phase dehydration of ethanol. Dry air sweeping operation was used and the dry air was supplied by a dehumidification membrane module of compressed air. An integrated membrane process was composed. The effects of some factors, such as the modification of membrane materials, the humidity and current velocity of sweeping air, the operation temperature, on the efficiency of dehydration were discussed.

Studies on extraction and mass transfer of samarium and neodymium in hollow fiber membrane (HFM) with HEH/EHP

The membranes of polyvinylidene fluoride, which were synthesized by our laboratory, were used to study the transfer and extraction performances of Nd(III) and Sm(III) with the extraction system of HEH/EHP-kerosene. The results show that the membrane material was suitable to the study on membrane extraction, and could offer a good transfer performance in the membrane construction parameters selected, The extraction reaction in the membrane module was the same as that in liquid-liquid process, HEH/EHP ammoniated for increasing the mass transfer coefficient was almost the same with increasing the concentration of HEH/EHP, and H+ was still transferred first at higher pH range of feed solution when HEH/EHP was ammoniated, The controlling model of the membrane extraction process was the diffusion model accompanied by interfacial reaction, The controlling function of interfacial reaction would increase gradually with the increasing of the membrane pore size. The mass transfer coefficient increased when extraction and stripping were carried out simultaneously.

SUSPENDED SEDIMENT TRANSPORT IN THE OFFSHORE NEAR YANGTZE ESTUARY

Based on the Estuarine, Coastal and Ocean Modeling System with Sediments (ECOMSED) model, a 3-D hydrodynamic-transport numerical model was established for the offshore area near the Yangtze Estuary in the East China Sea. The hydrodynamic module was driven by tide and wind. Sediment module included sediment resuspension, transport and deposition of cohesive and non-cohesive sediment. The settling of cohesive sediment in the water column was modeled as a function of aggregation (flocculation) and deposition. The numerical results were compared with observation data for August, 2006. It shows that the sediment concentration reduces gradually from the seashore to the offshore area. Numerical results of concentration time series in the observation stations show two peaks and two valleys, according with the observation data. It is mainly affected by tidal current. The suspended sediment concentration is related to the tidal current during a tidal cycle, and the maximum concentration appears 1 h-4 h after the current maximum velocity has reached.

潮波模型的优化开边界方法研究

数值模式是潮波研究的一种有利手段，但在研究中会面临各种具体问题，包括开边界条件的确定、底摩擦系数和耗散系数的选取等。数据同化是解决这些问题的一种途径，即利用有限数量的潮汐观测资料对潮波进行最优估计，其根本目的是迫使模型预报值逼近观测值，使模式不要偏离实际情况太远。本文采用了一种优化开边界方法，沿着数值模型的开边界优化潮汐水位信息，目的是设法使数值解在动力约束的意义下接近观测值，获得研究区域的潮汐结果。边界值由指定优化问题的解来定，以提高模拟区域的潮汐精度，最优问题的解是基于通过开边界的能量通量的变化，处理开边界处的观测值与计算值之差的最小化。这里提供了辐射型边界条件，由Reid 和Bodine（本文简称为RB）推导，我们将采用的优化后的RB方法（称为ORB）是优化开边界的特殊情况。 本文对理想矩形海域（ E- E， N- N， 分辨率 ）进行了潮波模拟，有东部开边界，模式采用ECOM3D模式。对数据结果的误差分析采用，振幅平均偏差，平均绝对偏差，平均相对误差和均方根偏差四个值来衡量模拟结果的好坏程度。 需要优化入开边界的解析潮汐值本文采用的解析解由方国洪《海湾的潮汐与潮流》（1966年）方法提供，为验证本文所做的解析解和方文的一致，本文做了其第一个例子的关键值a,b,z,结果与其结果吻合的相当好。但略有差别，分析的可能原因是两法在具体迭代方案和计算机保留小数上有区别造成微小误差。另外，我们取m=20，得到更精确的数值，我们发现对前十项的各项参数值，取m=10,m=20各项参数略有改进。当然我们可以获得m更大的各项参数值。 同时为了检验解析解的正确性讨论m和l变化对边界值的影响，结果指出，增大m，m=20时，u的模最大在本身u1或u2的模的6%；m=100时，u的模最大在本身u1或u2的模的4%；m再增大，m=1000时，u的模最大在本身u1或u2的模的4%，改变不大。当l<1时， =0处u的模最大为2。当l=1时， =0处u的模最大为0.1，当l>1时，l越大，u的模越小，当l=10时，u的模最大为0.001，可以认为为0。 为检验该优化方法的应用情况，我们对理想矩形区域进行模拟，首先将本文所采用的优化开边界方法应用于30m的情况，在开边界优化入开边界得出模式解，所得模拟结果与解析解吻合得相当好，该模式解和解析解在整个区域上，振幅平均绝对偏差为9.9cm,相位平均绝对偏差只有4.0 ，均方根偏差只有13.3cm，说明该优化方法在潮波模型中有效。 为验证该优化方法在各种条件下的模拟结果情况，在下面我们做了三类敏感性试验： 第一类试验：为证明在开边界上使用优化方法相比于没有采用优化方法的模拟解更接近于解析解，我们来比较ORB条件与RB条件的优劣，我们模拟用了两个不同的摩擦系数，k分别为：0,0.00006。 结果显示，针对不同摩擦系数，显示在开边界上使用ORB条件的解比使用RB条件的解无论是振幅还是相位都有显著改善，两个试验均方根偏差优化程度分别为84.3%，83.7%。说明在开边界上使用优化方法相比于没有采用优化方法的模拟解更接近于解析解，大大提高了模拟水平。上述的两个试验得出， k=0.00006优化结果比k=0的好。 第二类试验，使用ORB条件确定优化开边界情况下，在东西边界加入出入流的情况，流考虑线性和非线性情况，结果显示，加入流的情况，潮汐模拟的效果降低不少，流为1Sv的情况要比5Sv的情况均方根偏差相差20cm,而不加流的情况只有0.2cm。线性流和非线性流情况两者模式解相差不大，振幅，相位各项指数都相近, 说明流的线性与否对结果影响不大。 第三类试验，不仅在开边界使用ORB条件，在模式内部也使用ORB条件，比较了内部优化和不优化情况与解析解的偏差。结果显示，选用不同的k,振幅都能得到很好的模拟，而相位相对较差。另外，在内部优化的情况下，考虑不同的k的模式解， 我们选用了与解析解相近的6个模式解的k,结果显示，不同的k,振幅都能得到很好的模拟，而相位较差。 总之，在开边界使用ORB条件比使用RB条件好，振幅相位都有大幅度改进，在加入出入流情况下，流的大小对模拟结果有影响，但线形流和非线性流差别不大。内部优化的结果显示，模式采用不同的k都能很好模拟解析解的振幅。