搜索三个目标

本文通过建立简洁而有效的搜索方法 ,证明了对于无穷多个n来说 ,三个目标的最优搜索问题的最小试验次数等于信息论下界 .同时也研究了上述问题的修正情形 ,证明了对于所有整数n来说 ,对应的最小试验次数或者等于信息论下界或者超过信息论下界 1次并且对于无穷多个区间 ,信息论下界均是可以达到的 .     

纬向对称准地转流的非线性稳定性定理

建立了周期域上准地转流在一般的边界条件下对应于Arnold第二定理的非线性稳定性定理。将扰动能量与扰动拟能的上界用初始扰动场的显示表示出来，从而建立了Liapunov意义下的非线性稳定性定理。     

光刻技术及其新进展

介绍了用于制作半导体集成电路的光刻工艺的概念、分类及发展过程，阐述了当前光刻工艺的主流，并重点介绍了极紫外光刻、X射线光刻、电子束光刻、离子束光刻、纳米图形转印等下一代光刻技术的特点及其面临的挑战。     

紧交换半群上概率测度卷积序列的极限性质

本文用“部分群化”的方法研究紧交换半群上概率测度的极限性质.§3讨论 i.i.d 的情形,将紧群上的 Kawada-It(?)型结果以相应的形式建立到紧交换半群上.§4讨论独立非同分布的情形,建立了紧交换半群上的强 Kloss 收敛准则,它曾由苏联学者 Maksimov先后在有限群([1])与紧群上([2])得到.     

On a Boolean-valued Model of the Strict Implication System(Continuous)

The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and S5 in Lewis' five strict implication systems is not decided. This paper makes use of the properties: (1) the equivalence of the modal systems S3 and P3, S4 and P4; (2) the modal systems P3 and P4 all contained the modal axiom T(□p → p); (3) the modal axiom T is correspondence to the reflexive property in VB. Hence, the paper proves: (a) ‖As31‖ = 1; (b) ‖AS41‖ = 1; (c) ‖AS5l‖ = 1 in the model (where B is a complete Boolean algebra, R is reflexive property in VB). Therefore, the paper finally proves that the Boolean-valued model VB of the ZFC axiom system in set theory is also a Boolean-valued model of Lewis' the strict implication system S3, S4 and S5.     

激光探针监测半导体器件内自由载流子浓度调制效应

介绍了基于自由载流子对介质折射率调制作用,而建立的监测半导体器件内自由载流子变化情况的实验装置,该装置能实时反映自由载流子变化情况,且对原电路无任何影响。本方法适用于硅和砷化镓材料的电子和光电子器件,也显示了在测量集成电路内部有源器件特性方面的潜在应用前景。     

基于EWB的D/A数模转换器的仿真研究

阐述了D／A转换器的仿真原理，给出了T形电阻网络D／A转换器仿真模型的构造方法，并采用EWB进行了系统仿真，仿真结果表明该方法是合理、可行的。     

The Spaces b~p with 0 < p < 1

Let 0 < p < 1. In this paper we prove that the Bergman norm on the p-th Bergman space bp(H) is equivalent to certain "normal direction norm" as well as certain "tangential direction norm", where H = Rn-1 × R is the upper half space. As an application, we get the boundedness of harmonic conjugation operators on bp(H).     

集值映射的切导数与向量优化问题的最优性条件

利用集值映射切导数与半可微概念，给出了无约束与具约束的集值向量优化问题局部真有效解与局部强有效解的最优性条件。     

基于cDNA宏阵列的系统聚类分析猪发育阶段的基因表达谱

取杜洛克猪胚胎第33,45,55，65．75天的背最长肌样本．用cDNA Macroarray分析方法和聚类分析技术分析了327个EST在骨骼肌内不同发育阶段的基因表达谱．结果表明有98条EST在不同发育时期显著差异表达．第33天和第45天两阶段基因表达状态相似．第55天和第65天基因表达状态相似．而第75天的基因表达与第55天和第65天两个阶段的基因表达具有相近的聚类关系．表达状态相近，基因功能相似的基因大都被聚类在一起．