自动化仓库客户服务管理问题的时态逻辑描述

在扩展的时态逻辑框架下对自动化仓库中的客户服务管理问题进行研究，内容包括对此服务管理过程进行描述与分析，并给出了相应的控制策略，以使系统达到期望的动态行为．     

北冬虫夏草液体深层发酵最适营养的研究

通过摇瓶单因子和正交设计试验结果。液体培养的最佳营养条件为：葡萄糖２％，食用糖１％，酵母膏１％，蛋白胨１％，ＮＨ４Ｃｌ０．２％，ＭｇＳＯ４．７Ｈ２Ｏ０．０５％，ＫＣｌ１０．１％，１００立升发酵罐结果，碳，氮源分别为食用糖３％，蛋白胨１．５％。     

用于高分辨率测向的噪声子空间抽取算法

高分辨率测向是有广阔应用前景的技术，当前的一个主要问题是其计算量巨大，噪声子空间抽取算法（ＮＯＳＥ）首先利用最小二乘法求得噪声子空间中的一组基或这组基的一个子集，然后形成空间谱并估计可能的波达方法。最后，再利用一次最小二乘法检测信号数目并确定真实波达方向。在存在相干源时，ＮＯＳＥ可利用空间平滑技术去相干后进行检测和估计。与标准的高分辨率测向算法（多信号分类算法ＭＵＳＩＣ）相比，ＮＯＳＥ不但运算量大为减少，而且分辨率也有提高，文中的信号数目的检测方法基于对波达方向的估计，具有简单准确的特点，可以推广到多种算法中去。     

物理学中规模最小的实验

物理学中规模最小的实验田学文编译美物理学家采用激光技术，将一个电子分成了两部分，并且观察到这两部分相互之间会发生干涉。据英国《新科学家》杂志报道，两位美国物理学家，在一个原子内，完成了量子力学中的一项经典实验，他们将一个电子分成了两部分，并且观察到了...     

强化硒奶粉

强化硒奶粉是利用硒的保健功能,结合牛奶的营养成分,适当调整脂肪、蛋白质、碳水化合物三大营养素比例,强化部分维生素和微量元素,根据人均膳食营养标准设计的一种具营养、补硒、保健、疗效于一体的新型功能性乳制品。 强化硒奶粉的原料包括牛奶、蔗糖、饴糖、麦芽糊精、维生素和微量元素。组成为:奶干物质55％～65％(其中脂肪≥15％,蛋白质≥14％),蔗糖10％～20％,麦芽糊精5％～10％,     

一个Heilbron型问题的渐近估计

平面上ｎ个不同的点间的最大距离和最小距离的比记为ｒｎ，ｒｎ的下确界设为Ｒｎ。在本文中我们求得了Ｒｎ的上界，即Ｒｎ＜Ｃ１　＋　，这里Ｃ１＝１．０５００７５…。由此得到渐近估计：Ｒｎ～Ｃ１　．     

大气中卤烃化合物的气相色谱分析——Carbotrap热脱附

作者研究以Ｃａｒｂｏｔｒａｐ作吸附剂，采集大气中卤烃化合物，并直接采用热脱附气相色谱法，对新型吸附剂Ｃａｒｂｏｔｒａｐ的突破体积、回收率、分析精度、固定液的选择等作了试验。本法具有灵敏度高、色谱峰形好、吸附剂可反复使用等优点，可对大气中ｐｐｂ级卤烃化合物进行测定     

用微分连续法求解Newton运动方程

用微分连续法构造性地证明了Ｎｅｗｔｏｎ运动方程（组）周期解的存在性和唯一性，并给出了数值计算方法及数值计算实例，计算结果表明，所用方法不仅大范围收敛，而且还具有收敛快、精度高等优点。     

用相转移催化法合成二丙基二硫的研究

对具有浓郁的洋葱和大蒜香味的香料二丙基二硫的合成进行了研究．以正面基溴和二硫化二钠为原料，四丁基溴化铵作相转移催化剂，在水溶液中反应，合成了二丙基二硫．对其结构进行了红外光谱、核磁共振分析，考察了投料的摩尔比、催化剂的用量对产率的影响，产率达82．0％．     

广义解析函数的RDR复合边值问题

研究了广义解析函数边界条件中含有斜微商的ＲＤＲ复合边值问题，并把它化为等价的向量形式的广义Ｒｉｅｍａｎｎ边值问题，给出了可解性条件