合成(Z)-乙烯酮缩硒硫醇的新方法

炔基硒基锂盐与Cp_2Zr(H)Cl(Cp=η~5-C_5H_5)在THF中反应得到中间产物α-锆取代的乙烯基硒基锂,接着与卤代烃反应得到α-锆取代的乙烯基烃基硒醚,进一步与烷基硫氯反应得到(Z)-乙烯酮缩硒硫醇。上述反应有很好的区域选择性和立体选择性。     

Refinement and Transformation from Z Specification to C + +

As a kind of formal specification language, Z has gained a position in the field of software development, but there is still no standard way of transforming Z specification into executable code that is promising in increasing the quality, reusability and maintainability of software. With the automatic programming model of software engineering, through the analysis for Z specification language, a feasible semi-automatic way of refinement and transformation is proposed, and the correctness of the procedure is also discussed.     

Z25, a novel intronic snoRNA encoded in mammalian nucleolin gene

A novel intronic small nucleolar RNA ( snoRNA) , termed Z25, was identified from mammals by-computer analysis and experimental sequence methods. Z25 is a 69 nucleotides long RNA containing typical boxC/D motifs, terminal stem and an 11-nucleotide sequence complementary to 18S rRNA. In theory, Z25 functions as an RNA guide for the 2'-0-ribose methylation of adenine at position 1678 (human 18S rRNA coordinate) in 18S rRNA. Z25 snoRNA gene was found to be located in the fifth intron of nucleolin gene of human, mouse and rat, demonstrating that the mammalian nucleoline gene is a host gene encoding multiple snoRNAs.     

Reusing Test Cases Based on the Function Point

Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing and that of the test case. A function unit with small granularity usually results in the test cases with the same small granularity. Therefore a test case defined as the function point,i. e.,the smallest size function unit,was provided for the first time.Though test cases with smaller granularity usually have better reusability,the cost of accurately reusing and integrating such test cases is also higher. In order to balance the test case reusability and the cost of test case reuse,a novel test case reuse model based on the function point was proposed in this paper. In this model,a reusable test case for specification-based testing was defined and some reuse strategies and three formal reuse methods were given. Finally,the complete automatic software process was realized by a reusing generation tool. The new method has improved reuse accuracy,while greatly enhances the software productivity.     

ZY码汉字输入法编码设计

ＺＹ码汉字输入法，按照传统汉字的方式设计。它根据汉字内在的书写特点和结构特点，以及形成的基本规律，充分反映了汉字的音和型的特征。它的规则简单，记忆量小。从而达到易学、易记、易用，高速的效果。     

以{P}∪ F4m+2为不动点集的光滑对合

设（M^n,T)是n维光滑闭流形Mn上以{p}∪F^4m 2为不动点集的对合，其中F^4m 2-CP(2m 1),确定了流形M^n的维数并给出（M^n,T)的等价协边类，即[M^n,t]2=[CP(2m 2),τo]2,且n-4m 4.     

2×1.244Gb／s光时分复用系统的研究

使用光纤作延迟器，利用高温熔融拉伸法微调延迟时间，完成了２×１．２４４Ｇｂ／ｓ全光时分复用系统，满足了同步传输模式的要求。     

Identification and biological significance of 4-methyl-3Z,5-hexadienoic acid produced by males of the gall-forming tephritidsUrophora cardui (L.) andUrophora stylata (Fab.) (Diptera: Tephritidae)

Summary A new natural substance has been identified in the rectal ampullae of gall-forming fruit flies. The substance was found to be the only volatile compound in the rectal ampulla of maleUrophora cardui andUrophora stylata. GC-MS methods were used to characterize its structure as 4-methyl-3Z,5-hexadienoic acid. Physiological parameters such as the amount of the acid at different ages and under different conditions were investigated. The biological significance of the new volatile as an arresting pheromone was tested in several bioassays. The arrestant function could not be established, but the results gave hints of a territorial function between conspecific males. The results are discussed with respect to gland morphology and predictions of communication models among fruit flies.     

具有不动点集＊UF^4l＋2的可换对合

设(Mr,φ)是r维光滑闭流形Mr上的(Z2)k作用,其不动点集为*∪F4l+2,且F4l+2～2CP(2l+1).本文研究流形Mr的维数和(Mr,φ)的等价协边类,得到结论(1)r=(4l+4)@2t-1,t为整数,且1≤t≤k;(2)[Mr,φ]2=[σГkt(CP(2l+2),τ0)]2.     

顺式环氧琥珀酸的结构和性质的理论研究

采用DMol3程序对顺式环氧琥珀酸(ESA)的结构和相关性质(振动频率、热力学性质、反应活性及稳定性)进行了理论研究.得到了分子的几何优化构型和各原子上的电荷分布以及前线分子轨道能级.计算结果表明:ESA分子容易得到电子,且环氧基上氧原子是亲电反应的作用点.