Properties of Traffic Risk Coefficient

We use the model with the consideration of the traffic study the relationship between the traffic risk coefficient interruption probability （Physica A 387（2008）6845） to and the traffic interruption probability. The analytical and numerical results show that the traffic interruption probability will reduce the traffic risk coefficient and that the reduction is related to the density, which shows that this model can improve traffic security.     

矩形毛细微槽中三角形区域接触线特性的研究

利用CCD和宽视场体视显微镜相结合的技术,拍摄了矩形毛细微槽内液体工质在三角形区域的润湿图像,并进行了图像处理,研究结果表明:随着热流密度的增加,三角形区域内的三相接触线向微槽底角收缩,导致三相接触线的长度减小,液膜厚度减小;随着微槽深度的增加,三角形区域的接触线长度减小;随着微槽宽度和倾斜角度的增加,三角形区域内的接触线长度增加,液膜厚度增加.     

基于TcpChannel技术的消息中心中间件设计

在介绍了消息中心整体架构的基础上,详细探讨了与TcgChannel技术相结合的消息发布/订阅模式平台的实现.该平台符合实际的监控业务需求,很好地支持了各部门消息订阅、分布式监控以及多种监控通知方式等功能.各模块之间耦合度小,具有良好的可扩展性.适用于传统分布式的监控系统,并在实际应用中已得到验证.     

Enantioselective Hydrolysis of Phenyl Glycidyl Ether Catalyzed by Newly Isolated Bacillus Megaterium ECU1001

Microbial epoxide hydrolases from bacterial and fungal sources?1? are hi ghly versatile catalysts for the asymmetric hydrolysis of chiral epoxides which are extensively employed as useful building blocks for the synthesis of various biologically active products in the pharmaceutical and agrochemical industries. Microorganism means allows an unlimited supply of these enzymes for preparative -scale applications. Phenyl glycidyl ether (PGE), an aryl epoxide, is a potenti ally useful compound in the synthesis of chiral amino alcohols and bioactive com pounds such as ?blockers. No suitable biocatalyst with sufficiently high enan tioselectivity (E?20) for the kinetic resolution of this compound was previ ously found among bacteria and fungi. This prompted us to screen epoxide hydrola se-producing microorganisms with higher enantioselectivity toward phenyl glycid yl ether from soil samples.     

NCl(a~1Δ)自猝灭对NCl(a~1Δ)/I激光能量提取的影响

利用连续流平面型光腔动力学模型对NCl(a1Δ)/I 激光体系进行了模拟计算,探讨了温度在300 K 时NCl(a1Δ)自猝灭对NCl(a1Δ)/I激光能量提取的影响。计算结果表明,NCl(a1Δ)自猝灭反应对光腔位置的选取、功率密度沿流动方向的分布和总输出功率都有较大的影响。其中,光腔位置的可选范围大大缩短,在较小的初始HI粒子数密度和适当的输出镜反射率下总输出功率大幅度降低,而随着HI粒子数密度的增加,NCl(a1Δ)自猝灭对总输出功率的影响逐渐减小。     

SoC架构设计中的适应性扩展方法研究

为了应对SoC研发的机遇、困难和高昂花费,寻求对目标应用领域的最佳支持与广泛适用性之间的恰当平衡已成为目前电子系统设计的中心课题。通过一个从基于3G终端到网络多媒体播放器应用的架构扩展实例,重点论述了对SoC架构设计中适应性扩展方法的研究;另外,提出了一种基于IP的多处理器共享及层次结构存储体系,用以应对高密度的计算及传输任务需求;并通过系统级设计工具CoCentric,建立软硬件协同仿真平台,验证了本实例的扩展思路。     

一阶时态逻辑(带等词)的一个完备性定理

一阶时态逻辑是由计算机科学的发展而建立起来的一门逻辑,它是模态逻辑和时态逻辑的一个发展,同时,一阶时态逻辑还具有谓词演算的功能,本文的目的是:为具有广泛应用的带等词的一阶时态逻辑奠定一个基础,建立一个完备性定理。     

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

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

深沪股市收益率分布特征的统计分析

本文通过对深沪两地股票市场的股指收益率数据进行分析,发现两地股票收益率分布均呈现"尖峰厚尾"反正态特征,本文通过引入Laplace分布代替过去人们常用的正态分布去刻画收益率分布,结果显示Laplace分布比正态分布拟合效率有了明显的提高。     

偏最小二乘火焰原子吸收光谱法同时测定汞和钴

本文研究了偏最小二乘原子吸收光谱法同时测定Hg和Co的方法,校正中Co253.649nm对Hg 253.652nm的吸收红重叠干扰,用Hg空心阴极灯同时一合成样中的Hg和Co,方法快速、简单、准确,结果令人满意。