萼花臂尾轮虫有性生殖、种群增长和休眠卵产量间的关系

利用种群指数增长和Logistic增长模型 ,通过计算机模拟研究了萼花臂尾轮虫有性生殖发生的频率、后代中的混交雌体百分率对种群增长和休眠卵产量的影响 .在所模拟的参数范围内 ,随有性生殖发生频率由 10 0 %减小到 2 0 % ,获得最大休眠卵产量所需的混交雌体百分率由 9%增大到 6 9% ;随密度制约作用的增大 (环境容纳量K值由 10 0 0减小到 10 0 ) ,该混交雌体百分率由 18%增大到 6 9% ,休眠卵产量由10 72 .10降低至 133.6 7.种群的内禀增长率与获得最大休眠卵产

传输层安全协议的安全性分析及改进

基于一次一密、访问控制和双证书机制对TLS(transport layer security)协议进行了安全性分析,并针对分析结果,对TLS协议的消息流程以及消息的内容进行了扩展,改进后的协议更具有安全性和实用性.

密码协议的一种安全模型

将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、假设函数的设定问题、进程+逻辑的系统特性描述问题等难题.以kerberos密码协议系统为例,利用该安全模型和假设/保证推理技术对密码协议系统进行了安全验证.

基于逻辑"或"约束优化的实时系统设计

标准约束优化问题的等式或不等式约束之间是逻辑“与”关系，目前已经有很多高效、收敛的优化算法．但是，在实际应用中有很多更一般的约束优化问题，其等式或不等式约束之间不仅包含逻辑“与”关系，而且还包含逻辑“或”关系，现有的针对标准约束优化问题的各种算法不再适用，给出一种新的数学变换方法，把具有逻辑“或”关系的不等式约束转换为一组具有逻辑“与”关系的不等式，并应用到实时单调速率调度算法的可调度性判定充要条件中，把实时系统设计表示成混合布尔型整数规划问题，利用经典的分支定界法求解．实验部分指出了各种方法的优缺点．

Biologically Inspired Tensor Features

According to the research results reported in the past decades, it is well acknowledged that face recognition is not a trivial task. With the development of electronic devices, we are gradually revealing the secret of object recognition in the primate's visual cortex. Therefore, it is time to reconsider face recognition by using biologically inspired features. In this paper, we represent face images by utilizing the C1 units, which correspond to complex cells in the visual cortex, and pool over S1 units by using a maximum operation to reserve only the maximum response of each local area of S1 units. The new representation is termed C1 Face. Because C1 Face is naturally a third-order tensor (or a three dimensional array), we propose three-way discriminative locality alignment (TWDLA), an extension of the discriminative locality alignment, which is a top-level discriminate manifold learning-based subspace learning algorithm. TWDLA has the following advantages: (1) it takes third-order tensors as input directly so the structure information can be well preserved; (2) it models the local geometry over every modality of the input tensors so the spatial relations of input tensors within a class can be preserved; (3) it maximizes the margin between a tensor and tensors from other classes over each modality so it performs well for recognition tasks and (4) it has no under sampling problem. Extensive experiments on YALE and FERET datasets show (1) the proposed C1Face representation can better represent face images than raw pixels and (2) TWDLA can duly preserve both the local geometry and the discriminative information over every modality for recognition.

Comparison of Loss and Crosstalk Characteristics of SOI Based Intersecting Waveguides with Different Bend Structures

By means of two dimension beam propagation method (2D-BPM) with high order Pade approximation, behaviors of SOI waveguide based bend intersections with variant bending radius are simulated and analized. The result shows that crosstalk of intersections decreases with the increase of bending radius and intersecting angle. Furthermore, loss and crosstalk characteristics of bend intersections formed by sine bend, cosine bend and arc bend are compared. Sine bend based structures are proved that it can present lowest loss and smallest crosstalk properties among the three and may find their wide application in the design of bend intersections and other more complicated photonic devices and circuits.