重大项目“生命科学中的单分子行为研究”即将启动

由国家自然科学基金委员会生命科学部、数理科学部和化学科学部组织的学科交叉重大项目“生命科学中的单分子行为研究”的论证会于2003年1月19～21日在北京外国专家大厦召开。来自清华大学、北京大学、第二军医大学和中国科学院生物物理研究所、力学研究所、化学研究所、上海有机化学研究所、物理研究所等8个单位的12位申请者参加了答辩。     

《制止价格垄断行为暂行规定》发布

国家发展和改革委员会近日发布《制止价格垄断行为暂行规定》。《制止价格垄断行为暂行规定》将以下行为列为价格垄断行为：一是经营之间通过协议、决议或协调等串通方式操纵价格；二是经营凭借市场支配地位，在向经销商提供商品时强制限定其转售价格；三是经营凭借市场支配地位，牟取暴利；四是经营凭借市场支配地位，以排挤、     

一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

成熟的评估就是透明的评估

业绩评估是整个系统中最关键的一环,因为它使以前大家所做的一切有一个说法。所以这个评估要尽可能地公平,尽可能体现每一位员工和主管在过去一年里的作为     

时间词义赋值的个别差异的初步研究

运用模糊统计对１０个持续时间词进行了初步研究，然后选出其中２个，让不同个性特征的男女被试对其赋值。结果表明：在时间词的估计值和估值范围上，Ａ型行为类型者的赋值都小于Ｂ型行为类型者；低焦虑者的时间词的估值范围大于高焦虑者；在赋值特征上性别差异不显著．     

部分真值表在环形分配器设计中的应用

目前步进电机以五相居多，硬件环形分配器用卡罗图来进行设计，则显得复杂冗赘，如果从步进电机运行的规律中找出约束条件，建立部分真值表，便可以直接写出控制逻辑函数，这对于设计相数、拍数较多的步进电机的环形分配器极为方便，这种设计思路在进行数字电路工程设计中也是可以值得借鉴的。     

鲨鱼的困境

鲨鱼的繁殖鲨鱼有三种繁殖方式:第一种为卵生,跟其他鱼类一样,受精卵外包卵壳产出,每次排卵数目极其有限。卵呈布袋状或螺旋状,通常产出后被固定于珊瑚礁、海底植物或石缝中。第二种为卵胎生(非胎盘型胎生),受精卵在子宫中发育,胎仔以卵黄囊或卵巢所排入子宫的卵为营养,最后以胎仔形