基于时序逻辑和SCR方法的需求分析方法

以定义事件驱动型系统需求的ＳＣＲ（Ｓｏｆｔｗａｒｅ ＣｏｓｔＲｅｄｕｃｅ）方法和时序逻辑为基础,提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动型系统的需求分析方法．为便于理解,还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性．     

一种改进的参考点同步模型多媒体同步控制方法

首先介绍了多媒体同步的分类,并指出了实现多种媒体同步的关键就在于建立适当的同步控制模型;接着分析了现在流行的３ 种单一同步模型以及二级同步模型,评价了它们各自的优点与缺陷． 在此基础上,提出了一种改进的参考点同步模型多媒体同步输出控制方法,这种折衷的同步控制方法,在一定程度上弥补了单一同步模型和二级同步模型各自的缺陷．     

乳化液喷雾与微爆现象的激光全息实验研究

本文采用离轴高速多脉冲红宝石激光全息摄影仪研究高温高压环境中乳化液喷雾的雾化和蒸发过程,记录方式为象面全息方式,再现时分别采用激光和白光光源。实验发现:在适当的温度压力条件下,乳化液喷雾可以发生微爆现象,微爆呈团状,又称“团状微爆”,也称为“二次雾化”,微爆能量可以将众多的小液滴及液滴碎片抛出液束区,有效地改善液体与环境气体的混合过程,具有重要的理论意义和实用价值。     

N-乙基-1,10-菲罗啉-2-甲胺镍(Ⅱ)配合物的合成、晶体结构及性质研究

0IntroductionPhenanthrolinederivativescontainingaminegroupshavebothsoftandhardsitesandaregooddonorsformetalions.1,10鄄phenanthrolineanditsderivativeshavebeenextensivelyusedasligandsinbothanalyticalandpreparativecoordinationchemis鄄try[1].Mostoftheseworksh…     

氧离子与氦、氖原子碰撞中转移电离过程的研究

采用位置灵敏探测和散射离子-反冲离子飞行时间测量技术,测量了氧离子与氖和氦原子碰撞过程中转移电离截面与单电子俘获截面之比.通过比较发现测量结果与文献结果的趋势一致,并对测量结果进行了讨论.     

函数类(?)_∞~r在Orlicz空间内的n宽度

讨论了由非退化的全正核K(x,y)和具有特定性质的函数系{ki(x)}ri=1所确定的某一函数类 (?)∞在Orlicz空间内的n-K宽度,n-G宽度,n-L宽度的精确估计问题.     

LiNbO3:Fe晶体的光折变对喇曼光谱的影响

我们观察到了LiNbO₃:Fe晶体中某些几何配置下十分异常的喇曼光谱现象。这一现象是与该晶体光折变后出现的异常光散射现象相联系的。 关键词：     

在一个磁通量子内dc Josephson电流的阶梯效应(Ⅱ)——大尺寸Josephson结

大尺寸的Josephson结放置于Q值足够高的谐振腔中,当其Josephson频率ω=2cV₀/h激励起腔的第r个本征模谐振时,这个振荡将反馈辐照结,必须考虑反馈场本征模的空间部分在结上是不同的。理论上得到了和文献[2]不同的结果,给出了阶跃电流随磁场的变化,分析了腔的反馈场本征模和Josephson结的辐射电磁波空间匹配的条件,解释了为什么大尺寸的Josephson结不存在周期小于φ₀的阶梯效应的物理原因。 关键词：     

The Synthesis of an Optically Active Intermediate of A-Ring for 1α,25-Dihydroxy Vitamin D_3 Analogs

Asla,25-dihydr0xyvitaminD31,thehorm0nallyactiveformofvitandnD3incalciumhomoeostasis,caninducecelIdifferentiationandinhibitcellproliferation',thesynthesis0f1anditsanalogshaveattfactedmuchinterestz-.Recently,TrostandHanson5havereportedabrilliantstrategyf0rthesynthesis0f1,whichemploysacyclizationofthel,7-enyne3aandthevinylbr0mide2as0utlinedinScheme1.However,theysynthesizedthekeyintermediate4a,startingfromethyl4-chloroacetoacetatewhichhasalowstereoselectivityandisanexpensivereagent.Inthispaper,w…     

A Barbier type reaction promoted by in situ formed active metal bismuth from NaBH_4 and BiCl_3 in aqueous media

In the presence of active metal bismuth (Bi) which was prepared from the combination of bismuth trichloride and sodium borohydride,aldehydes have been found to react with allyl bromide in aqueous media,and the corresponding homoallylic alcohols were obtained in excellent yields with high chemo-and stereoselectivity.