CRP复合材料板复合型裂纹扩展方向预测理论研究

本文对碳纤维增强的复合材料板裂纹扩展方向预测理论进行了研究。介绍了最新发展起来的复合材料Z断裂理论 ,并通过试验证明了新理论的正确性     

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

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

THE TYPE OF A CLASS OF VILENKIN CONVOLUTION OPERATORS

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

双端热透镜Z型固体激光腔图解分析

采用传播圆图解方法研究了具有双端热透镜的Z型折叠固体激光腔的工作特性,得到了谐振腔各腔臂中的光模参数bt1,bt2,b2及光斑尺寸wt1,wt2,w2随激光介质的热动力参数1/ft1及1/ft2的变化关系;结果表明通过合理选择参数可对腔的热稳定范围及基模光斑尺进行调控,其关键参数是对称的第1、3臂的长度l01 f1(或l02 f2),其值越小,腔的热稳定区越宽,同时激光晶体处的基模光斑越小.第2臂中的参数δ对热稳区宽度没有明显影响,但δ值越大,对应的光斑半径wt1及wt2也越大.     

江西兰科一新记录种—线柱兰

报道了产于南昌的兰科Orchidaceae线柱兰属Zeuxine线柱兰Z.strateumatica（L.）Schltr.,该种及其所在属均为江西首次发现。     

李超代数osp(1|2n)的双参数量子超群

给出ur,s(osp(1｜2n))的定义,并刻画其上的Z2阶化Hopf代数结构.推广Drinfel'd 量子对偶概念,证明Ur,s(osp(1｜2n))与D(B,B′)是同构的.构造Scasimir算子,确定了Ur,s(osp(1｜2))的中心.     

tRNase Z: the end is not in sight

Although the enzyme tRNase Z has only recently been isolated, a plethora of data has already been acquired concerning the enzyme. tRNase Z is the endonuclease that catalyzes the removal of the tRNA 3′ trailer, yielding the mature tRNA 3′ end ready for CCA addition and aminoacylation. Another substrate cleaved by tRNase Z is the small chromogenic phosphodiester bis(p-nitrophenyl)phosphate (bpNPP), which is the smallest tRNase Z substrate known so far. Hitherto the biological function as tRNA 3′-end processing enzyme has been shown only in one prokaryotic and one eukaryotic organism, respectively. This review summarizes the present information concerning the two tRNase Z substrates pre-tRNA and bpNPP, as well as the metal requirements of tRNase Z enzymes. Received 29 March 2007; received after revision 15 May 2007; accepted 21 May 2007     

具有常余维数2k+2k-2不动点集的(Z2)k作用

设(Z2)k作用于光滑闭流形Mn,其不动点集具有常余维数r,Jn,kr是具有上述性质的未定向的n维上协边类[Mn]构成的集合.Jn,kr=∑n≥rJn,kr为未定向上协边环N*=∑n≥rNn的理想.通过构造上协边环N*的一组生成元决定了理想J2k 2k-2*,k.     

图像处理过程中的边缘检测和边缘配准

综述了在图像处理过程中的边缘检测和边缘匹配的算法并比较了各算法的性能,同时在牙齿三维模型建立的实验中实现了边缘检测,同时根据边缘检测出来的Z子线,以及轮廓线与模型进行配准.     

具有两种不同服务的负顾客M/G/1排队系统

考虑单服务台提供两种不同服务的负顾客M/G/1排队模型,每个正顾客接受第一种服务后以概率θ(0≤θ≤1)进行第二种服务,或者以概率1-θ离开系统,第二种服务完成后也离开系统.服务规则是先到先服务(FCFS).在正顾客接受两种服务的过程中均可能有负顾客到达,负顾客不接受服务,只起抵消正顾客的作用,抵消正在接受服务的顾客(RCH).通过补充变量法和状态转移方程求得了系统稳态队长的概率母函数.