La$_{{1-x}}$Sr$_{x}$TiO$_{3}$ 薄膜的高通量 X 射线衍射

高通量材料合成方法和高通量材料表征手段区别于传统低效率的 "试错法"材料发展方法, 极大地加速了材料科学的变革和发展. 通过设计程序进行了高通量 X 射线衍射实验, 在保证数据分辨率条件下, 高效地表征了 La$_{1-x}$Sr$_{x}$TiO$_{3}$ 薄膜上多个数据位点的晶体结构, 验证了其成分的连续变化性质, 为后续开展更多类型的高通量 X 射线衍射实验提供了指导.     

定逆序数的n元数码置换个数的一种方法

一个确定的n元数码的排列,其道序数是不难求得的;反之,“已知逆序数,求有多少个n元置换”的问题要复杂得多。从最小数码的位置着手,充分利用逆序数是定数,给出一种解决此问题的新方法——最小数码定位法。此法通俗易懂,由此得到了逆序数为k(k=1,2,3……c_n~2)的n元数码的置换个数的一个递推公式:q_k(n)=1+q_1(n-l)+q_2(n-1)+q_3(n-1)+…+q_k(n-1)。     

带有缓冲库的串联CIMS渐近稳定性分析

讨论了一个可靠机器,一个不可靠机器和一个缓冲库构成的计算机集成系统(CIMS),利用由该系统所决定的算子A+E生成的Banach空间中的正压缩C0半群,证明了此系统的非负稳定解恰是算子A+E的0本征值所对应的规范化后的本征向量;同时通过对算子A+E的谱点分布的分析,证明了算子A+E的谱点均位于左半平面且在虚轴上除0点外无谱,作为线性算子半群稳定性的一个直接结果,得出了该系统解的渐近稳定性.     

雷电波分析与比较研究

本文对双指数雷电流模型和 IEC1 3 1 2—— 1推荐的雷电流模型进行了分析和研究 ,计算了这两种雷电流模型的雷电流参数。在此基础上 ,用 FFT方法分析了雷电流的频谱分布     

具有sn-网的空间

证明了具有σ—点有限sn—网及σ—局部可数sn—网的空间可刻划为度量空间在某些确定映射下的象.     

Supercritical Fluid Carbon Dioxide in the Extraction of Lanolin and Its Alcohol

The use of supercritical fluid carbon dioxide (SF-CO_2) in extraction of lanolin and its alcohol issuperior to the conventional solvent extractionmethod. Its distinctive advantages include highextractive ratio, nontoxic and nonflammablesolvents, and minimal by-product pollution. The     

实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题,论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持.     

hb1f广泛表达转基因小鼠品系的建立及其组织形态学分析

人核受体hB1F是核受体超家族Ftz-F1亚家族的新成员, 对其同源基因的研究提示它可能在生物体的胆固醇代谢平衡调节中有重要作用. 在通过显微注射法获得携有hb1f转基因的Founder小鼠后, 各Founder小鼠分别与正常C57小鼠杂交, 同一Founder小鼠经PCR鉴定阳性的F1代间再相互杂交建系. 经F1, F2以及测交子代的分子鉴定, 已成功完成了hb1f广泛表达转基因小鼠品系的建立, 同时也对建系小鼠做了初步的组织形态学分析.     

化学方程式配平的矩阵解法

基于矩阵解方程的理论，定义出了一个化学元素矩阵，从而找到了一种配平化学方程式的新方法，称之为矩阵解法。     

MPEG-1的索引系统设计与实现

文章提出一种对MPEG-1静态文件进行索引的方案。该方案把MPEG-1静态文件分解成独立的系统信息、音频流和视频流,并建立索引树。根据索引可以快速地对音频流和视频流进行搜索和定位,还可以按照流媒体传输规则打成RTP包,并介绍了一种简便易行的视频容错策略。