双旋Y切石英振子厚度模式的频温特性的研究

本文利用描述固体中弹性声波的克里斯托费尔方程,建立了双旋Y切石英振子厚度模式的频温特性分析方法,并编制了相应的计算机程序。该程序可给出双旋Y切石英振子在任意切角(ф_3ф_1)下的厚度模(a、b、c模)的频率温度特性曲线。文中给出了单旋AT切、BT切(b模)、双旋SC切(b、c模)、FC切、IT切、LC切、NL_1切、NL_2切、AK切等各已知切型的频温特性曲线。对石英谐振器的切角灵敏度和切角误差进行了分析。     

双反馈晶振和石英谐振器低噪声性能的进一步研究

本文进一步探讨了有关双反馈晶振低噪声性能的问题,着重分析了石英谐振器静电容C_0对双反馈晶振电路Q倍增固子、石英谐振器Q值及净噪特性的影响。为验证上述C_0的影响,也对不同C_0的石英谱振器的相噪特性进行了测量并得到了与分析一致的结果。     

新型空分制氮技术(二)

<正> 第二讲 分子筛空分制氮 变压吸附技术自1936年开发以来,不断改进和发展,从70年代起日益得到广泛应用和工业化。这是由于这种新技术的经济性较好,并且容易实现连续生产和自动化操作。 近二十年来,运用PSA法分离空气中O_2和N_2的技术不断发展,日臻完善。国际上发达国家一方面采用N_2作为许多产品在生产过程中、储运过程中不可缺少的保护气体,使产品质量不断提高;另一方面采用     

双旋Y切石英振子的T型（厚度）模式及其频温特性的分析

在上前双转角切型的分析资料较少的情况下，本文较 对双转角切型石英转子的一些基本关系和分析方法进行了系统的研究，通过求解描述固体中弹性声波的ｃｈｒｉｓｔｏｆｆｅｌ方程，得出了在任意切角下求取ａ，ｂ，ｃ模的频率常数值的有效方法；发现了两个ｂ，ｃ模发生物理特性交替的点，这在目前所见到的资料中尚未见报道，它对掌握模式的物理机理是有意义的。     

微米级P-Si@a-TiO2负极材料的制备及电化学性能

以微米级Al-Si合金粉为原料,采用去合金法和溶胶-凝胶法制备了无定形TiO2包覆珊瑚状多孔Si结构的复合材料(记为P-Si@a-TiO2),通过XRD、XPS、SEM和TEM对复合材料的结构和形貌进行了表征,分析并揭示了TiO2层的制备机理及包覆层厚度对复合材料电化学性能的影响.结果表明,珊瑚状多孔Si结构和适当厚度的包覆层可以有效缓冲材料的体积膨胀,提高电极的循环稳定性.当TiO2包覆层约为10 nm时,对材料的改性效果最佳.此时的P-Si@a-TiO2的电极电势差仅为0.321 V,在1.0 A/g电流密度下循环50次后具有1357.4 mA·h/g的放电比容量,展现出优越的电化学性能.     

基于智能手机的实时体重健康管理系统软件设计

随着生活节奏的加快,办公室人群普遍缺乏运动是诱发健康问题的主要原因。目前国内对于办公室人群的健康问题尚未引起足够重视,市场上也鲜有相关产品问世。该文基于安卓平台在智能手机上开发出一款实时体重健康管理软件,结合位于鞋垫的传感器进行数据传输,根据足底压力判断人的当前运动状态从而实时指导用户锻炼,养生等行为。结果表明,将智能手机应用于健康管理的范畴具有很强的现实意义。     

Lazy Slicing for State-Space Exploration

CEGAR (Counterexample-guided abstraction refinement)-based slicing is one of the most important techniques in reducing the state space in model checking.However,CEGAR-based slicing repeatedly explores the state space handled previously in case a spurious counterexample is found.Inspired by lazy abstraction,we introduce the concept of lazy slicing which eliminates this repeated computation.Lazy slicing is done on-the-fly,and only up to the precision necessary to rule out spurious counterexamples.It identifies a spurious counterexample by concretizing a path fragment other than the full path,which reduces the cost of spurious counterexample decision significantly.Besides,we present an improved over-approximate slicing method to build a more precise slice model.We also provide the proof of the correctness and the termination of lazy slicing,and implement a prototype model checker to verify safety property.Experimental results show that lazy slicing scales to larger systems than CEGAR-based slicing methods.     

带钢热镀锌及其保护气体的技术进步

介绍了带钢热镀锌技术的发展,同时对其保护气体的技术发展作了重点阐述.     

氮基气氛的研究进展

简要回顾了国内外研究氮基气氛热处理的历史，概述了氮基气氛在热处理和烧结中的作用，介绍了氮基气氛的主要类型及应用，列举了氮基气氛的成分和供氮方式，着重评述了深冷法、变吸附法和膜分离三种制氮方法。     

香蕉试管苗培育环境计算机自动监控网络系统

自行研制的、多种智能仪表为前端机组成的环境参数自动监控计算机集散系统的结构、各智能仪表的工作原理及实现、以及系统在香蕉试管苗培育环境的实际运行结果