一种基于类数据流的软件测试技术

提出了一种类数据流测试技术，通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件，匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例)．这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误，并且弥补了传统数据流测试技术的不足，减少了重复测试，提高了测试效率．     

苦楝种核提取物对蛙神经干动作电位的影响

用电生理学方法观察了苦楝种核提取物对蛙离体神经干A，C类纤维动作电位幅度和传导速度的影响，结果显示：浓度为0．1g／ml的苦楝种核提取物对A，C两类纤维复合动作电位的幅度和传导速度均有明显的抑制效应，且C类纤维复合动作电位先于A类纤维被阻断。     

传统民居的类设计模式建构

对传统民居的研究 ,其对象是千百年的文化积淀所形成的历史产物 .其目的在于探索“有中国特色的现代化建筑”的创新之路 .文中以吴良镛先生的“类四合院”为例子 ,论述传统民居“类设计”模式的提出 .以类型学理论为依据 ,分析传统民居“类设计”模式的设计方法与创新思维 .以张永和先生的“清溪坡地住宅群”,以及安藤忠雄先生的“住吉长屋”为实例 ,阐明传统民居“类设计”模式的丰富内涵与普遍意义     

江中有机污染物结构与生物降解性定量关系研究

采用标准测试方法测定了20种化合物在自然江水(松花江)中的生化需氧量(BOD)随时间的变化,得到了生物降解半衰期.实验结果表明,20种有机污染物在120h基本上都达到了降解平衡,降解半衰期在10～27h之间.采用量子化学MOPAC6.0 AM1法计算了分子最高占据轨道能(EHOMO),结合酸解离常数pKa进行定量结构 生物降解性关系研究,得到如下模型:T1/2=55.87(±9.27)+4.62(±0.94)EHOMO+0.94(±0.26)pKa,R=0.880,s=2.84.应用所得模型对生物降解性进行预测,大部分化合物拟合很好,残差较小.所研究化合物的生物降解性主要与取代基的电子效应有关.     

广西东罗二叠-三叠系界线Ni-Ir异常与(竹蜓)类的绝灭

<正>自W.Alvarez首次利用铱异常解释白垩-第三纪撞击事件及生物大量绝灭以来,在全球已发现了70处以上的白垩-第三系Ni-Ir异常.而比白垩第三纪生物绝灭更大的二叠-三叠纪之交是否也发生过类似的事件,引起了人们的重视.     

磺酰胺类萃取剂对锌,镉的萃取性能

研究了２－（十二烷基苯磺酰胺）噻唑和２－（十二烷基苯磺酰胺）苯并噻唑萃取锌，镉的行为，研究表明，这两种萃取剂在一定的条件下，能有效地萃取锌（ＩＩ）和镉（ＩＩ）并采用斜率法探讨了它们以锌（ＩＩ）和镉（ＩＩ）的萃取机理。     

温度的等价类定义

用现代数学中的等价类概念定义了热力学中的温度概念。     

福建海岛草丛植被的等级聚合分类

福建海岛草丛植被是海岛的重要资源,植被调查是实现沿海地区经济发展战略的重要措施之一。本文用等级聚合分类把福建海岛22个样地的草丛植被分为10个类型。揭示了按优势种划分的各个类型之间的联系和区别,表明了群落样地中的种类组成与环境之间的关系。研究证明,等级聚合分类在草丛植被分类中是可行的。     

[（n-Bu）4N]2[X2Mo4O10（OCH3）2]的合成与表征

本文选用醌类配体菲醌和酚类配体1，2-二羟基萘，合成了具有相似结构、通式为[(n-Bu)4N]2[X2Mo4O10(OCH3)2](X=OC10H6O和OC14H8O)的二种四聚钼多酸配合物，进行了元素分析、核磁共振、红外光谱和热重分析等表征．并对菲醌与钼多酸配合时由醌式状态向酚式结构的还原进行了研究和探讨．     

一种改进的Fuzzy c—means聚类算法

该文提出了一种改进的ｆｕｚｚｙ ｃ－ｍｅａｎｓ算法（ＭＦＣＭ）。此算法是将传统算法（ＦＣＭ）直接对样本集聚类变为对特征集聚类，从而极大提高了ｆｕｚｚｙ ｃ－ｍｅａｎｓ的速度，证明了ＭＣＭ与ＦＭＣ在分类效果上的等价性，且ＭＦＣＭ较ＦＣＭ有较低的时间复杂性，讨论了ＭＦＣＭ与ＦＭＣ空间复杂性的关系。最后数值实验证实了结论。