薄膜材料的非线性折射率和非线性吸收系数研究

介绍了用单光束纵向扫描技术(Z扫描)测量薄膜材料的三阶非线性光学效应方法,研究了薄膜材料的非线性吸收效应对其非线性折射率测量的影响.当非线性吸收和非线性折射共存时,非线性吸收效应使Z扫描闭孔的测量曲线峰谷不对称,当耦合因子ξ=β     

关于Meyer—Konig—Zeller算子

本文给出了Ｍｅｙｅｒ－Ｋｏｎｉｇ－Ｚｅｌｌｅｒ算子的一个新的逼近阶估计，推广了文〔１〕中的结果。     

结构化面向对象形成规格说明语言OOZS：设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现;形式方法全目标软件系统的需求规格说明简明、精,精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

结构化面向对象形式规格说明语言OOZS——应用实例

ＯＯＺＳ是一种面向对象的形式规格说明语言,它是Ｚ规格说明语言的一种面向对象扩展,本文结合一个四边形图形的例子对ＯＯＺＳ语言的应用进行说明。     

Kadets1／4定理和缓增样条

证明了Ｓ２ｍ（Ｔ,Ｒ）∩Ｌ２（Ｒ）上的Ｍａｒｃｉｎｋｉｅｗｉｃｚ－Ｚｙｇｍｕｎｄ型不等式及Ｂｅｒｎｓｔｅｉｎ型不等式,其中Ｓ２ｍ（Ｔ,Ｒ）是以｛ｔｊ｝为非正规节点系的缓增的２ｍ阶多项式样条函数空间,节点系｛ｔｊ｝满足Ｋａｄｅｔｓ１／４定理的条件,即ｔｊ＝ｊ＋ｗｊ,ｓｕｐ↓ｊ│ｗｊ│≤ｒ〈１／４,ｗｊ∈Ｒ,ｊ∈Ｚ,由以上结果,进一步给出了在节点系上插值的插值样条ｓ２ｍｆ（ｘ）在Ｌ２（Ｒ）中收敛到ｆ（     

THE TYPE OF A CLASS OF VILENKIN CONVOLUTION OPERATORS

在满足第二个数公理的零紧Ａｂｅｌ群Ｇ的空间Ｌ（Ｇ）中研究了一类Ｖｉｌｅｎｋｉｎ卷积算子的性质．该类算子包括Ｖｉｌｅｎｋｉｎ－Ｆｏｕｒｉｅｒ级数的部份和、Ｆｅｊｅｒ平均等作为特例．文中证明了这类算子是弱（１,１）型和强（ｑ,ｑ）型的,１＜ｑ＜∞．     

光滑流形在(Z2)2作用下信息为{(2,2,0),(2,0,2),(0,2,2)}的上协边类

设(Z2)^2作用于光滑闭流形M^n，其不动点集的法丛的信息为P＝{(2，2，0)，(2，0，2)，(0，2，2)}，Jn^4，2(P)是有代表元M^n且具有上述性质的n维上协边类[M^n]构成的集合．作者通过构造上协边环M0n的一组生成元决定了Jn^4，2(P)的群结构．     

中老年女子服装成衣规格设计--提高服装体型覆盖面的研究

为使尽可能多的中老年女子能根据自己的体型选购到合体的服装，统计分析了中老年女子的人体体型数据，以身胸比来进行体型分类，并在此基础上运用二维区间概率分析方法，制订出对生产具有实用价值的中老年女子合体服装规格参考表，为中老年女子服装的生产提供参考依据。     

ATP对可溶性糖为底物B-Z反应系统振荡的干扰

可溶性糖，单糖如葡萄糖、果糖，双糖如麦芽糖、乳糖等，对以它们和丙酮为底物的B—Z反应受ATP干扰进行研究．ATP的加入总的结果是延缓了反应的进行，即使振荡反应诱导期增长，周期变大．对这些非线性动力学行为可由FKN机理以合理的解释．