AlF和AlCl静电势的量子化学研究

本文报导用量子化学从头计算程序MQM81和分子静电势计算程序ESP所作的AlF和AlCl的计算,优选了它们的平衡构型,得到了分子轨道能级、偶极矩、集居数等一系列分子结构的信息。在此基础上计算了这两个分子的静电势。计算结果提出了AlF(或AlCl)双分子反应的一种可能性。     

大气折射反演和近地面反常折射现象的研究

本文介绍Fraser等人提出的反演方法和有关解非线性方程组的迭代方法,并对模拟大气折射实验进行反演计算。模拟实验很好地反映了大气中反常折射分布的情况。反演结果说明反演方法的正确性,这种反演方法将用于对蓬莱海滋现象的折射反演。     

有穷集

本文主要证明有穷集的一些性质与定理。     

c-补空间及其性质初探

本文首先给出了c-集的概念，然后在有限补拓扑空间及可数补拓扑空间的基础上引入了c-补拓扑空间的概念并对其性质进行了初步探讨。给出了三条引理，证明了一条预备定理与十一条定理。     

基于原始性创新能力的我国基础研究现状分析

基础研究是科学之本和技术之源,基础研究的健康和可持续发展是推进我国2 1世纪现代化建设和全面建设小康社会的关键,为此应切实加强对基础研究客观发展规律的分析和了解。本文以原始性创新能力为基点,分别从诺贝尔奖获奖情况、科技论文发表和基础研究研发(R&D)投入情况等几个方面对目前我国基础研究的现状和存在的问题进行了实证性的分析和思考并作了总结。     

天津市高新技术产业发展的特色及策略研究

系统的分析了天津市高新技术产业发展的现状及特色,并指出在发展过程中存在的约束条件和突出问题;在此基础上,提出了促进高新技术产业发展壮大,使天津从“生产型城市”向“创新型城市”转变的对策建议。     

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.     

An investigation on terahertz response in electro-optic crystals excited at 1.03 lm wavelength

We theoretically investigate terahertz(THz)emission and detection from h110i-oriented electro-optic(EO) crystals adapted for Yb-doped femtosecond pulse laser.According to the principles of phase-matching condition, the dispersion relation between optical velocity and THz pulse,THz absorption spectra, and coherence lengths of CdTe, GaP,and GaAs crystals below the phonon resonant frequency are calculated correspondingly. The optical rectification and EO sampling process of above crystals with the same thickness of0.1 mm are simulated. As a consequence, we found that the optimal emission frequency of CdTe is at 2.65 THz, however,it reaches 6.56 THz of GaAs and 4.77 THz of GaP. With the help of frequency response function, the calculated cut-off frequency of CdTe is only 3.45 THz, while GaAs and GaP achieve 7.15 and 6.37 THz correspondingly. Finally, the EO sampling sensitivity of GaAs is higher than CdTe and GaP when the crystal's thickness exceeds 1.58 mm. The strong THz absorption of CdTe saturates distinctly the EO sampling sensitivity with its thickness increasing.     

羟乙基吡咯烷酮尿嘧啶的合成

报道了一种新的氮杂核苷类似物：羟乙基吡咯烷酮尿嘧啶（８）的合成．以丁二酐和２－氨基乙醇为原料,经酰化、环合、还原及烃氧基化反应制得１－乙酰氧乙基－５－乙氧基－２－吡咯烷酮（６）,在四氯化钛存在下与三甲基硅尿嘧啶缩合,得到乙酰氧乙基吡咯烷酮尿嘧啶（７）,在氨－甲醇体系中去乙酰基得到目的物：羟乙基吡咯烷酮尿嘧啶（８）．