基于安全策略模型的安全功能测试用例生成方法

实施第三方安全功能独立测试是信息安全产品测评中的一个重要环节,对于以安全数据库管理系统为代表的信息安全产品,其系统规约的测试并不能完全真实反映系统行为,还需要满足系统安全策略.提出了基于安全策略模型的安全功能测试用例自动生成方法,该方法包括基于语法的划分、基于规则的划分、基于类型的划分等步骤,依据形式化安全模型生成正确描述系统行为的操作测试用例集.该方法有助于提高测试质量,发现手工测试中难以发现的缺陷,并有助于减少测试过程中的重复劳动,实现测试自动化并提高测试效率.

黄土高原沟壑区小麦品种演替过程中籽粒灌浆特性研究

为了解黄土高原沟壑区小麦品种演替过程中的籽粒灌浆特性,以此地区20世纪50年代至今的主栽小麦品种为供试材料,研究了不同小麦品种演替过程中籽粒干物质积累量及灌浆速率的变化。结果表明,黄土高原沟壑区小麦演替过程中,小麦籽粒千粒重呈现逐渐增加的趋势。平均灌浆速率逐渐增加,小麦籽粒的干物质积累随之增加,长旱58的W0最大,达50.53 g。灌浆三阶段中,各阶段的灌浆速率表现为,V2>V1>V3。从灌浆持续时间看,T1和T2持续的时间较长且变异系数较大,而T3和T相对稳定。从灌浆速率来看,V1、V2、V3、Vm、Va变异系数较大,灌浆速率易受环境因素影响而波动。

Modification of emission wavelength of self-assembled In(Ga)As/GaAs quantum dots covered by InxGa1-xAs(0 <= x <= 0.3) layer

Red shifts of emission wavelength of self-organized In(Cla)As/GaAs quantum dots (QDs) covered by 3 nm thick InxGa1-xAs layer with three different In mole fractions (x = 0.1, 0.2 and 0.3, respectively) have been observed. Transmission electron microscopy images demonstrate that the stress along growth direction in the InAs dots was reduced due to introducing the InxGa1-xAs (x = 0.1, 0.2 and 0.3) covering layer instead of GaAs layer. Atomic force microscopy pictures show a smoother surface of InAs islands covered by an In0.2Ga0.8As layer. It is explained by the calculations that the redshifts of the photoluminescence (PL) spectra from the QDs covered by the InxGa1-xAs (x greater than or equal to 0.1) layers were mainly due to the reducing of the strain other than the InAs/GaAs intermixing in the InAs QDs. The temperature dependent PL spectra further confirm that the InGaAs covering layer can effectively suppress the temperature sensitivity of PL emissions. 1.3 mum emission wavelength with a very narrow linewidth of 19.2 mcV at room temperature has been obtained successfully from In,In0.5Ga0.5As/GaAs self-assembled QDs covered by a 3-nm In0.2Ga0.2As strain reducing layer. (C) 2001 Elsevier Science B.V. All rights reserved.

公平认证密钥交换协议的安全模型与模块化设计

传统的密钥交换协议通常假定合法通信双方都是可信的,然而很多现实应用都要求通信双方在互不信任的环境中执行认证密钥交换协议,为此本文提出了公平认证密钥交换(FAKE)的思想:除了具有一般认证密钥交换协议的基本特点外,通过客户在协议会话中预先植入"会话证据",使得在不揭示会话证据的前提下,合法通信双方均可以否认会话的发生;一旦客户方揭示会话证据,则协议会话记录就会与通信双方的身份绑定.该思想为解决网络服务中保护个人隐私与处理网络服务纠纷的矛盾提供了一种切实可行的技术解决思路.文中系统规划了公平认证密钥交换协议的形式化安全模型,纠正了Kudla关于并发签名公平性安全模型存在的错误之处,利用并发签名具体构造了一个公平认证密钥交换协议,并在随机预言模型(ROM)中证明了该协议满足mBJM-AK安全性、条件可否认性以及公平性.

黄河三角洲丹顶鹤生境变化与评价

黄河三角洲丹顶鹤生境变化与评价 摘 要 从水禽角度出发，把影响其生境选择的因素划分为水、食物、隐蔽物和干扰四类。用遥感和地理信息系统软件对黄河三角洲地区3期TM数据进行处理，根据生境要素特征，对生境进行分类，获取该地区1986年、1996年和2001年3个时期各生境要素图。把生境要素图进行叠加，最终得到3个时期的黄河三角洲的水禽生境类型图。 通过对各生境要素图的面积、斑块数变化及转移矩阵的分析，可以看出各生境要素的结构发生了明显的变化，对水禽生境而言，总的结果是干扰加重、积水地区面积增多、植物性食物和适宜隐蔽物范围减小，通过对这种变化进行分析得出：人类有意识的活动（干扰）是引起各生境要素发生变化的主要驱动力。生境要素的变化造成黄河三角洲地区水禽生境质量的下降。 再以黄河三角洲生境分布图为基础，运用遥感和地理信息系统软件得出三个时期丹顶鹤（Grus japonensis）生境分布图。选取一系列的景观指数，通过APACK软件进行计算，结合土地利用动态度的概念对黄河三角洲地区从1986—2001年丹顶鹤生境的动态变化进行量化分析。结果表明：适宜丹顶鹤栖息的总生境面积不断减小，该地区的生境破碎化程度也不断升高；相应的适应丹顶鹤栖息的各生境类型的面积除了轻干扰深积水鱼类苇田（人类活动造成）的面积增加外，其余大多呈减少趋势，总的来说丹顶鹤栖息生境质量呈下降趋势。人类活动是黄河三角洲丹顶鹤生境的变化的主要驱动力。 在利用景观连接度模型进行丹顶鹤生境评价的研究中发现：在黄河三角洲内尚有1062.63 km2适宜丹顶鹤生存的生境，占总面积6021.05 km2的17.65%。其中最适生境面积为205.84km2，占总面积的3.42%；适宜生境面积为142.47 km2，占总面积的2.37%；中等适宜面积为420.27 km2，占总面积的6.98%；勉强适宜面积为294.05 km2，占总面积的4.88%；不太适宜面积为2532.07 km2，占总面积的42.05%；不适宜面积为2426.36 km2，占总面积的40.30%。虽然适宜生境面积还很大，但在空间分布上十分零散，除了几个较大的斑块外，尚有许多较小斑块处于孤立状态，这些斑块将无法为丹顶鹤所利用。 黄河三角洲是我国最大的新生湿地生态系统，优越的生境条件使得该区物种丰富，成为许多水禽迁徙的重要中转站、越冬栖息地和繁殖地。本研究对区域生态保护和物种的生境评价研究有重要的理论和实践意义，为确保东亚鸟类迁飞网络的安全提供了科学的依据，这对黄河三角洲湿地生态系统、湿地鸟类及物种多样性的保护都意义重大。

基于MSP430F149型单片机的智能温度控制系统

介绍了以MSP430F149单片机为核心的一个智能温度控制系统。介绍了如何利用MSP430F149本身的优点并结合相关的外部电路实现键盘输入、实时监测、自动温度控制和调节的控制系统的方法。重点阐述了系统的硬件构成、各部分的主要作用及系统软件的设计过程。由于本模块对输入量同时采用硬件和软件的非线性补偿,故具有精度高、可靠性较好、电路简单、成本低、体积小、生产调试方便等特点。

Stability shear stress and equilibrium cross-sectional geometry of sheltered tidal channels

This study relates tidal channel cross-sectional area (A) to peak spring discharge (Q) via a physical mechanism, namely the stability shear stress ( tau sub(S)) just necessary to maintain a zero gradient in net along-channel sediment transport. It is assumed that if bed shear stress ( tau ) is greater than tau sub(S), net erosion will occur, increasing A, and reducing tau similar to (Q/A) super(2) back toward tau sub(S). If tau < tau sub(S) there will be net deposition, reducing A and increasing tau toward tau sub(S). A survey of the literature allows estimates of Q and A at 242 sections in 26 separate sheltered tidal systems. Assuming a single value of tau sub(S) characterizes the entire length of a given tidal channel, it is predicted that along-channel geometry will follow the relation Ah sub(R) super(1) super(/) super(6) similar to Q. Along-channel regressions of the form Ah sub(R) super(1) super(/) super(6) similar to Q super( beta ) give a mean observed value for beta of 1.00 plus or minus 0.06, which is consistent with this concept. Results indicate that a lower bound on tau sub(S) (and an upper bound on A) for stable channels is provided by the critical shear stress ( tau sub(C)) just capable of initiating sediment motion. Observed tau sub(S) is found to vary among all systems as a function of spring tidal range (R sub(sp)) according to the relation tau sub(S) approximately 2.3 R sub(sp) super(0.79) tau sub(C). Observed deviations from uniform tau sub(S) along individual channels are associated with along-channel variation in the direction of maximum discharge (i.e., flood-versus ebb-dominance).

草坪草对干旱胁迫的反应及适应性研究进展

就近年来有关草坪草对干旱胁迫的反应和适应性研究作了概述 ,并对草坪草抗旱比较方法作了探讨 ,提出了在草坪草抗旱性研究领域中存在的问题及研究的重点与趋势

污灌对土壤重金属环境容量及水稻生长的影响研究

对农田污灌区污水和土壤监测结果表明 ,土壤中Cd、As、Hg、Cu、Pb、Cr和Zn等含量为当地环境背景值的1 5 5～ 5 2 9倍 ,其中Cd和As含量分别为国家土壤环境质量 2级标准的 3倍和 1 4 2倍。污水中 7种重金属含量为农田灌溉水质标准的 4 8～ 34倍 ,部分有机污染物含量为灌溉水质标准的 1 1 0～ 1 87倍。以 3级标准为最大容量限值 ,土壤重金属达土壤环境容量的污灌年限估算结果依次为Cr>Hg >Pb >Cu >Zn >Cd。污土清灌和污水直接灌溉均影响盆栽水稻的正常生长 ,其中污染土壤持续污灌可导致部分秧苗死亡

稀土元素在生命科学中的应用

稀土元素在生命科学中的应用蒋宇扬，张成刚，蔺继尚（中国科学院沈阳应用生态研究所，１１００１５）稀土元素又称稀土金属（简称ＲＥ）是指元素周期表中皿Ｂ族的斓系元素（镧、铈、镨、钕、钷、钐、、钆、铽、镐、钬、铒、铥、镜、锗）和抗与记。除抗外其它１６个元素化...