基于Z语言的互联网登陆系统的形式化规格与验证

Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可产生精确地需求规格说明.本文用形式化语言Z对互联网登陆系统的主要操作模式进行规格说明,接着通过形式化验证,证明设计的规格说明能够满足用户的需求,提高了系统的可靠性和稳定性.     

基于C++STL的Z规格说明数据类型的表示

介绍了Z规格说明的数据类型和它们的分类,从定义出发,阐述了这些数据类型派生的派生与继承关系．以Z规格说明向可执行代码的自动转换为目的,结合C 语言中STL模板库对数据结构和通用算法的强大支持功能,提出了用STL中的容器表示Z规格说明数据类型的方法。     

一类具有较少正规子群的有限p-群

给出了N1-p-群的完全分类。所谓N1-群是指一个群G仅有1个正规子群既不包含G'又不包含在Z(G)中。     

河南《鸡公山木本植物图鉴》增补(Ⅱ)——河南玉兰属两新种

描述了河南玉兰属Yulania Spach两新种:两型玉兰Y.dimorpha T.B.Zhao et Z.X.Chen,sp.nov.和信阳玉兰Y.xinyangensis T.B.Zhao,Z.X.Chen et H.T.Dai,sp.nov..两型玉兰形态特征是:叶2种类型,玉蕾2种类型.花2种类型:①单花花被片9枚,有萼、瓣之分,瓣状花被片先端具喙,边部明显波状起伏;②单花花被片9枚,花瓣状,先端无喙,边缘微波状起伏.信阳玉兰的形态特征是:叶宽倒卵圆状三角形,先端最宽,通常微凹,或具短尖头,有时2裂,或具3个短三角状尖头.玉蕾顶生,小,卵球状,或短柱状.花喇叭型,单花花被片6～9枚,匙形.     

两类特殊S0-模糊传递矩阵的收敛性

定义了两类特殊的S0-模糊传递矩阵,讨论它们的收敛性.首先定义了Sz-模糊传递矩阵,证明了对任意n阶Sz-模糊传递矩阵A有An=A2n=A3n=….其次定义了Z0-模糊传递矩阵,证明了对任意n阶Z0-模糊传递矩阵A,A(n-1)2+1中元素全是非零元,并给出A(n-1)2+1=A(n-1)2+2=…成立的充分条件以及振荡周期PA=n-1的充分条件.     

具有常余维数2k+7不动点集的(Z2)k作用

设(Z₂)^k作用于光滑闭流形Mⁿ上, 其不动点集具有常维数n-r, J^r_n,k是具有上述性质未定向的n维协边类［Mⁿ］构成的集合,
J^r_*,k=∑〖DD(〗〖〗n≥r〖DD)〗J^r_n,k为未定向协边环MO*=∑〖DD(〗〖〗n≥0〖DD)〗MO_n的理想. 通过构造MO*的一组生成元证明了J^2k+7_*,k(k≥5)由所有维数大于2^k+7且模2欧拉示性数为0的协边类及分解式中每个因子的维数都小于2^k的2^k+7维可分解协边类构成.     

用有限局部环Z/2kZ上m阶斜对称矩阵构作的卡氏验证码

设R=Z/ 2kZ(k＞1),Wm(R)(m=2v 2≥4)是R上所有m阶斜对称矩阵构成的集合,WmA(R,Hr1r2)={A∈Wm(R)|PAP'=Hr1r2}是Wm(R)中一切与Hr1r2合同的斜对称矩阵构成的集合,令F=∪0≤r1＜r2≤k-1WmA(R,Hr1r2),其中Hr1r2=Dr1(◎)Δr2,Dr1=02-r1I(v)-2-r1I(v)0,Δr2=2-k-12-r2-2-r20-,v≥1,0≤r1＜r2≤k-1.利用F中矩阵构作一个Cartesian验证码,计算其全部参数.     

（Z、E）－1－对氯苯基－2－（1，2，4－三唑－4－基）－4，4－二甲基－1－戊烯－3－酮的合成分离和结构测定

合成１－对氯苯基－２－（１，２，４－三唑－４－基）－４，４－二甲基－１－戊烯－３－酮。分离出Ｚ和Ｅ异构体并测定分子结构。讨论结构对熔点和￣１ＨＮＭＲ谱的影响。     

“化控”是玉米增产新途径

生根壮苗剂是中药型一种化控物质,它可激活酶系统,提高光合作用能力,从而提高农作物的产量.