形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

1400-1500 nm,Different Material-doped Raman Fiber Lasers Pumped by Nd∶YVO_4 Laser

Different material-doped Raman fiber lasers with very high efficiency operating in continuous-wave are presented.With 1 W Nd∶YVO 4 laser pumping at wavelength of 1 342 nm, single mode output power of above 500 mW (optical-to-optical conversion efficiency of 50%) is simulated in the range of 1 400-1 500 nm.Using high-germanium,high-phosphate and high-borate silicate fibers as the gain medium,laser output at wavelengths of 1 420,1 450,1 480 and 1 495 nm can be achieved with different geometries,which are just as pumping C-band and L-band distributed Raman fiber amplifiers.     

我国企业开展流程再造应从工作研究开始

由于管理基础工作薄弱，我国很多企业流程再造的努力未获成功。基于企业流程再造与工作研究之间的对比分析，文章提出了运用工作研究领域内的有关理论、经验、方法和工具来帮助我国企业开展流程再造。     

新生牛肝活性肽的制备及其毒性检测

目的制备新生牛肝活性肽并评价其安全性。方法采用膜法分离制备新生牛肝活性肽。将3批制品于37～40℃,75%相对湿度条件下存放3个月,以多肽含量为指标观察其稳定性,并进行急性毒性试验、小鼠骨髓细胞微核试验、Ames试验、小鼠精子畸形试验和大鼠喂养试验。结果制备的3批新生牛肝活性肽存放3个月后,多肽含量无明显下降,质量稳定。小鼠和大鼠经口灌人大于20.0g/kg体重的新生牛肝活性肽,均无急性毒性。3种致突变试验均未显示出致突变性,大鼠喂养试验各项指标均未见明显毒性。结论新生牛肝活性肽未表现出明显毒性。     

高频地波雷达相位补偿系统

OSMAR2000采用的是“一发八收,收发共用”模式的相控阵高频地波雷达.为了扩大其探测的范围,在新的雷达系统中将采用多发多收的模式,从而导致当信号通过通道后,信号的相位会因受到通道的调制而发生改变,使得雷达无法正常工作,因此需要对通道的相位进行实时监控和补偿.在参考了低频段的相位测量原理和射频段的相移电路的设计理论的基础上,该文提出了基于差分放大器、容阻和容感器件的高频地波雷达收发通道的相位控制系统.     

MEMORY·童年·印象--合肥市政务文化新区儿童公园概念性方案

合肥市政务文化新区儿童乐园的概念性方案,充分考虑了儿童的心理和成长交流需要,以儿童的自发活动为特色,兼顾各类活动设施,创造丰富活动空间,构筑了一个富有感染力、空间变幻多彩的都市儿童乐园.     

高混凝土面板堆石坝堆石体施工期变形研究

1引言随着高混凝土面板堆石坝的建造,特别是200m级高坝的变形和应力与一般大坝相比,变化巨大。在已建的一些大坝中发生了堆石体变形较大,混凝土面板裂缝偏多、局部挤压破损,周边缝位移值高等现象,国外工程也有类似的报导。这些经验和教训,给设计、施工、科研等提出了更高的要求     

水文学的研究方法与理论创新

回顾了水文学在其 30 0余年的形成和发展中曾出现过的若干引人入胜、富有启发性、对学科发展起着重要推动作用的研究成果 .论述了“假设”、“猜想”、“推理”、“比拟”、“综合”和“实验”等研究方法的运用在水文学理论创新中的重要作用 .     

轮式工程机械轮边减速器优化模型与方法

论述了重构轮式工程机械轮边减速器优化设计数学模型的必要性,给出了精确化的目标函数,全面化和准确化的设计变量、基于并行设计的约束条件;介绍了对优化解适用性评价的方法和手段。巧妙地解决了优化解中离散变量的圆整问题,提供了基于MATLAB的求解反渐开线函数的M文件。     

一种固定阈值的毫米波图像边缘检测方法

文章提出了一种固定阈值的毫米波图像边缘检测方法。根据图像的统计特征确定出像素的标准梯度强度，并采用单阈值对图像进行边缘粗定位，然后施行非最大抑制处理和滤波，得到最终检测结果。由于该算法对各幅毫米波图像设置相同的阈值，故能实现自动检测，同时还具有计算量小的特点。实验结果表明该方法进行毫米波图像边缘检测的有效性和可行性。