On the Automorphism Groups of Cayley Graphs of Finite Simple Groups

Let G be a finite nonabelian simple group and let be a connectedundirected Cayley graph for G. The possible structures for thefull automorphism group Aut are specified. Then, for certainfinite simple groups G, a sufficient condition is given underwhich G is a normal subgroup of Aut. Finally, as an applicationof these results, several new half-transitive graphs are constructed.Some of these involve the sporadic simple groups G = J₁, J₄,Ly and BM, while others fall into two infinite families andinvolve the Ree simple groups and alternating groups. The twoinfinite families contain examples of half-transitive graphsof arbitrarily large valency.     

一种嵌入式关系模型的形式化描述

在 Ｎ Ｒ／ Ｔ 网的基础上,对基于嵌入式关系模型的数据库信息系统的行为,给出了一种形式化的描述方法,并设计了一个变迁点火执行算法     

卢瑟福散射实验装置的研制

研制了一种鼎瑟福散的实验装置,并介绍了其实验结果,由于要用了步进电机和半导体探测器,该装置具有结构紧凑,操作简便等优点。     

SYNTHESIS AND ANTIBACTERIAL ACTIVITY OF 3,6-DISUBSTITUTED S-TRIAZOLO[3,4-b]-1,3,4-THIADIAZOLES

A series of 3,6-disubstituted s-triazolo[3,4-b]-1,3,4-thiadiazoles have been synthesized,whosestructures were determined by elemental and spectral analyses;all the new compounds showed significantantibacterial activity.     

也谈长直螺线管磁场的全空间解

本文证明了长直螺线管上电流密度沿螺线管圆周切线方向分量和电流密度沿螺线管轴线方向分量与θ无关。并给出了长直密绕通电螺线管磁场的全空间解。     

WA, a new Antifungal Antibiotic from a Soil Fungus Strain 38

Inthecourseofourscreeningnewantifungalandanticancercompoundsusingthebioassaysystembasedonmorphologicaldeformationorgrowthinhibiti0n0fPyriculariaoryzae,anovelactivecomPoundWAwasobtainedfromthemetab0litesofthefungusstrain38isolatedfromasoilsample'.ItSminimalinhibitionc0ncentrationwas288.4pglml.InthispaPer,wedescribethephysic0-chemicalpr0pertiesandstructureelucidationofWA.Comp0undWAwasobtainedaswhitep0wderhavingmeltingpointl2ful28"C.Itsm0lecularformula,Cl1HIo04,wasdeterminedbyCI-MS[Inlz20…     

二级形式语义与语义导引编译

本文给出了一种形式语义方法,它能使形式语义与编译一致。这种方法的基础是一时序逻辑语言,一方面它是一种逻辑系统,故其语义简明,便于形式化和有效地实现;另一方面它又是一种中间程序语言,其它高级语言的语义可以用严格形式转换的方法投射到它之上,这样形成的一种二级形式语义本身即构成一种编译转换。