用Petri网描述进程的死锁

死锁是操作系统的一个重要概念,本文提出用库所/变迁网直观、动态地描述并发进程的死锁,本人将这一方法用于操作系统有关死锁内容的教学取得了非常好的效果.     

有机环硅烷的有效合成方法及其波谱性质(英文)

有机基取代二氯硅烷与金属锂在有1,1,1—三甲基三苯基二硅烷存在的四氢呋喃溶液中发生还原偶联反应,合成并分离得到较高收率的具有热力学稳定结构的有机环硅烷,反应式和取得的化合物如下:nR~1R~2SiCl_2+2nLi Ph_3SiSiMe_3 THF→(R~1R~2Si)_n a n=6 b n=5化合物:1a R~=R~2=Me;2b R~1=R~2=P;3a R=Hex,R~2=Me;4a R~1=Ph,R~2=Me;5a R~1=p-tol,R~2=Me,6b R~1=o-tol,R~2=Me;7a R~1=PhCH_2,R~2=Me;8b R~1=Ph,R~2=Et;9a R~1=Ph,R~2=allyl 所有的环硅烷经氢核磁共振谱,红外光谱,紫外光谱等予以鉴定,对新化合物还测定了质谱,并讨论了它们的波谱性质。加入催化剂量的1,1,1—三甲基三苯基二硅烷是用来在溶液中产生三苯基硅基负离子,它可作为促进缩合反应和平衡化的催化剂。本方法特别有利于用来大量生产十二甲基环六硅烷和由烷基、芳基不对称取代的环硅烷。     

列宁过渡时期学说、新民主主义社会论与过渡时期总路线关系研究综述

列宁过渡时期学说、新民主主义社会论与过渡时期总路线之间有着密切的历史和理论关联。它们之间的关系是我党过渡时期理论与实践研究中的热点和难点。围绕三者之间的关系,近二十年来,学术界进行了广泛的讨论,提出了极为丰富的观点。     

内积空间中一类螺形映照的增长定理与Koebe1/4一定理

本文利用泛函分析和复函分析的基本理论,对复内积空间中单位球,给出其上一类螺形映照的增长定理至与1/4—掩盖定理。并且所给结论是精确的。