Regulatory steps in sex pheromone biosynthesis inMamestra brassicae L. (Lepidoptera: Noctuidae)

Summary The de novo biosynthesis of (Z)-11-hexadecenyl acetate, the most abundant pheromone component inM. brassicae, starting from acetate via palmitic acid, requires the presence of a pheromone-biosynthesis-activating neurohormone. Moreover, the conversion of palmitic acid to (Z)-11-hexadecenyl acetate is strongly dependent on the presence of the neurohormone. However, no significant dependence was found for the conversion of (Z)-11-hexadecenoic acid to (Z)-11-hexadecenyl acetate. This indicates that the neurohormonal control of pheromone biosynthesis inM. brassicae occurs at the level of palmitic acid.     

画家算法中漏点产生原因分析及消除方法

Ｚ缓冲算法是消隐算法中常用的一种。它对多边形按深度排序后依次输出，这就象油画家作画一样，因此该算法又称“油画家算法”。该文对该算法从多边形排序到多边形扫描转换分别提出了改进的方法，使得算法的效率大大提高。同时发现，在用改进后的算法输出明暗效果图时，物体上总存在一些未被扫描转换的黑点（又称“漏点”）。该文对“漏点”产生的机制进行了分析，并且提出几种消除“漏点”的方法     

中国中、下寒武统界线的划分

华南过渡区中、下寒武统界线位于Ｂａｔｈｙｎｏｔｕｓ－Ｎａｎｇａｏｐｓ组合带与Ｏｒｙｃｔｏｃｅｐｈａｌｕｓ－Ｘｉｎｇｒｅｎａｓｐｉｓ组合带之间，可与北美·西伯利亚等地的界线对比。贵州凯里相区是华南乃至中国中、下寒武统界线划分最好的地区，台江八郎凯里组剖面是潜在的最佳界线剖面之一．提出中、下寒武统界线划分的原则及依据。     

UML状态图的形式化

为面向对象模型建立坚实的形式化基础是近年来形式化研究的热点，UML是一种被推荐的面向对象建模语言，Z是一种广泛使用的形式化规约语言．适合用来精确表示模型的语法和语义，本文利用DFA描述了UML状态机的语法，并采用Z(Object—Z)语言对UML状态机视图进行了形式化描述．     

旋转抽油杆柱扭转振动固有频率分析

在对旋转抽油杆柱的扭转振动分析的基础上 ,给出了各阶扭转振动固有特性参数的计算式 .实例计算结果表明 :螺杆泵采油系统在 70 0～ 1 80 0 m的正常下泵深度时 ,常用的单级和二级抽油杆柱的前五阶扭转振动固有频率在 2 6～ 6 0 8r/min,覆盖了螺杆泵采油系统的工作转速区 (6 5～3 5 0 r/min) ,这完全不同于有杆泵采油系统 .指出 :在选定螺杆泵采油系统的工作转速时 ,应将杆柱的前五阶扭转振动固有频率对应的转速作为约束条件 ,以避开该转速范围 ;对于级次杆柱的高阶固有频率 ,由于其频率相对单级杆柱的增减幅值在 2 .1 %～ 5 .2 %之间 ,可近似按单级杆柱考虑 .文中提供的数据可以直接指导螺杆泵采油系统的杆柱组合与系统转速的匹配     

基于Z 39.50协议的编目工作注意事项初探

Z39.50作为网络环境下书目数据的检索协议,随着图书馆数字化的深入发展,在编目部门中得到了广泛运用。从查询方式、提取数据、套录方式、补充著录等几个方面分析了利用Z39.50协议著录MARC记录过程中容易出现的一些具体问题,并提出了应对策略。     

低温保存对红枣组培苗生活力的影响

以随机化完全区组设计方法研究了低温保存对红枣试管苗生活力的影响 ;结果表明 ,狗头枣试管苗在 ( 4± 1 )℃下保存 1 0 0～ 1 30 d为宜     

具有(Z2)k作用不动点集为{P}∪V4m+2的光滑闭流形

设（M^r,Φ）是r维光滑闭流形M‘上的（Z2）^k作用，其不动点集为{p}∪V^4m 2，且V^4m 2-2CP(2m 1）。研究了流形M^r的维数和（M^r，Φ）的等价协边类，得到如下结论：1）：r=(4M 4)2^t-1,t为某整数且1≤t≤k；2）[M^r,Φ]2=[σг^kt(CP(2m 2), τ0)]2。     

TCP协议的Z语言描述

计算机通信协议的开发难度随着复杂程度的增加而日益增大，潜在错误也越来越多，其中对协议规格说明理解的偏差是重要原因之一．因此需要对规格说明进行验证和确认，并对协议的实现进行一致性测试．一致性测试就是测试协议的实现是否与相关国际标准中的规格说明相一致．协议的规格说明主要是以自然语言描述的，对其进行形式化是为了精确描述协议，因而可减少这类错误的出现．Z语言是基于一阶谓词逻辑和集合论的形式规格说明语言，采用了严格的数学理论，可产生简明、精确、无歧义且可证明的规格说明．本文以TCP协议为例详细介绍了如何使用Z语言对协议进行形式化，为协议一致性测试打下基础．     

(Z)条件下Cosine算子函数的乘积扰动下的不变性质

A生成Banach空间X上的指数有界cosine函数C(t)，本文讨论了在满足(Z)条件的乘积扰动下C(t)的范数连续性，局部LipschiZ连续性仍保持不变，得到了一个逼近结果．