基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

约束条件下船内液体对稳性的影响

给出在约束条件下即船内液舱近满舱或空舱时液体倾侧力矩的计算公式，并通过计算说明约束条件下当船内液舱较多或容量较大时，忽略舱内液体对稳性的影响是不安全的，在船舶 营运配载过程中应引起充分的注意。     

线性系统和迭加原理

以系统的观点给出电路分析中的一个重要定理——迭加定理，并对迭加定理的证明。迭加定理与线性系统的关系．迭加定理的齐次性和可加性，作了较详细的论证。     

部分线性模型中估计的渐近正态性

考虑回归模型 y_i-x_iβ+g(t_i)+σ_ie_(is)i-1,2…,n, (1) 其中σ_i~2-f(u_i)>0,(x_i,t_i,u_i)是固定非随机设计点列,β是未知待估参数,g(·)和     

Cesp(E1,E2)的k一致凸性

文章讨论了Banach空间的k一致凸性在cesp(E1，E2)中的提升问题。     

金属有机化学国家重点实验室

金属有机化学国家重点实验室依托于中科院上海有机化学研究所,其前身是中科院金属有机化学开放实验室。实验室于1989年正式建成并对外开放;在1995年和1999年的两次评估中都被评为优秀实验室;经论证,科学技术部于2000年2月批准组建金属有机化学国家重点实验室,并于2001年4月通过     

经编针织运动服装的织物性能研究

从人体穿着舒适性能考虑,织物的热湿舒适性越来越成为人们重视的服用性能.本文针对功能性的针织运动服的原料选用和织物组织结构,分析其导湿性.     

"沸腾"的石头--沸石

如果有人说石头也会沸腾,那么绝大多数人都不会相信。但事实上,确实有这么一类“石头”,它们在加热的过程中会“沸腾”起来,只不过这种“沸腾”不像水和其他液体那样剧烈,只是具有明显的起泡和轻微沸腾的现象。这一类“石头”便是大名鼎鼎的“沸石”。 沸石,英文名称为zeolite,在希腊语中就是“沸腾”的意思。1756年,瑞典的矿物学家克朗斯特德     

一种简易新型长光程薄层光谱电化学池

设计并制作了一种新型长光程薄层光谱电化学池，其具有光程长、灵敏度高、重现性好等特点，且组装简便，电极容易更换，溶液未补偿电阻小，溶液用量少．易清洗．电解池以石墨为工作电极，分别用循环伏安、交流阻抗技术、光谱恒电位技术对其性能进行测试，得到比较满意的结果．