(Z)-1,17-diaminooctadec-9-ene,a novel aliphatic diamine from coccinellidae

Summary The isolation and structure determination of (Z)-1,17-diaminooctadec-9-ene from several species of Coccinellidae is reported.Maître de Recherches du Fonds National de la Recherche Scientifique.We gratefully acknowledge the Fonds National de la Recherche Scientifique for financial support. We express our sincere thanks to Professor K. S. Hagen for a generous gift ofH. leis conformis.     

关于简单数序列的均值

利用初等方法研究函数Zω(n),SM(n)与最大素因子函数p(n)在简单数集中的加权均值分布,并给出两个渐近公式.     

香叶菖蒲与石菖蒲挥发油成分对比分析

目的研究香叶菖蒲和药典石菖蒲新鲜叶的挥发油化学成分,并进行对比分析。方法采用水蒸气蒸馏法提取香叶菖蒲和石菖蒲挥发油,应用气相色谱-质谱联用仪(GC-MS)对挥发油的化学成分进行研究。结果从香叶菖蒲和石菖蒲挥发油中分别鉴定了12和13种成分,主要化学成分的种类相似,其中α-细辛醚为二者的主要成分,含量分别占总挥发油的69.52%和49.57%。结论香叶菖蒲和石菖蒲挥发油含量丰富,研究结果为二者的进一步开发利用提供了实验依据。     

微电脑控制多功能电热水器

该文介绍了一种微电脑控制多功能电热水器，它集煮沸水与热水，自动控制与显示，安全检测与报警于一身，还可人为控制，充分利用单片机的优点，是Ｚ８单片机应用开发的一个实例。     

国外企业应收账款的管理方法

讨论了国外信用管理的先进管理方法，旨在为中国信用管理提供一些参考.     

Z+Z智能教育平台在数学教学中的应用

信息技术的发展对数学教育产生了很大影响,本文从数学教学的角度出发,以Z+Z智能教育软件为工具,针对数学教学中的一个实例,分析数学软件对数学教育改革的影响。     

HPLC-MSMS法快速鉴定Z/E马来酸桂哌奇特异构体

首次采用高效液相色谱串联质谱技术建立了快速鉴定E型马来酸桂哌奇特原料药中Z型异构体杂质的新方法.以20%乙腈、80%乙酸铵缓冲溶液（pH=4.0）为流动相,通过高分辨电喷雾串联质谱在线检测,获得相关的色谱和质谱信息.本法能在无对照品情况下,快速准确地分离鉴定马来酸桂哌奇特原料中的Z/E异构体.     

非平稳信号实时谱分析算法及其FPGA实现

针对传统谱分析仪不具有实时谱检测功能且非平稳瞬态信号分析能力不足的问题,提出一种实时谱分析方法并利用FPGA(field-programmable gate array)平台硬件实现。该方法采用长度逼近平稳信号的观察窗、多相滤波器组、线性调频Z变换(chirp Z transform,CZT)频谱细化算法和谱分析算法实现信号实时谱分析。根据系统时延分析和用户输入参数对FPGA各模块时钟频率与运算参数进行配置。仿真结果表明,该方法克服了传统基于快速傅里叶变换(fast fourier transform, FFT)算法全景谱分析和短时傅里叶变换时频相互制约的缺陷;对于平稳信号频率测量误差小于0.6%和功率误差小于4.5%,系统最大时延小于37 μs;对于长度为32.768 μs的非平稳信号最大时间测量误差和频率测量误差分别为0.836 μs和94 kHz。该设计除有22.558 μs的初始计算延时外,对连续数据处理具有实时性能。     

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

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

TCP协议的Z语言描述

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