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

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

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

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

顶夸克和中性top介子的联合产生

在超出标准模型的新物理模型中 ,TC2模型是一个重要的候选者 ,其不仅提供了一种可能的电弱对称性破缺机制 ,并且可产生足够重的顶夸克质量 .TC2理论预言了三个 top介子πt± ,πt0 .top介子是 TC2理论中独有的可观察物理粒子 ,研究 top介子产生与衰变的可能的物理迹象对验证 TC2理论 ,探测新物理有非常重要的意义 .基于 TC2模型 ,我们研究了在高能正负电子对撞机上顶夸克和中性 top介子πt0 的产生过程 e+ e-→ ttπt0.顶夸克和中性 top介子有强的 Yukuwa耦合 ,它的形式为 :mt2 Ftνw2 - Ft2νw[KURtt KULtt* tLt Rπt0 + KUR…     

内电解- 混凝- 吸附法处理松香及樟脑生产废水

研究采用内电解-混凝-吸附法处理松香及樟脑生产废水，处理出水可达国家污水综合排放标准的一级标准。其中，内电解处理可去除50％以上的CODcr，同时提高混凝时矾花的沉降速度；混凝处理选用PAC为混凝剂，PAM为助凝剂，最佳投加量分别为150mg/L和5mg/L。     

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

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

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

采用标准测试方法测定了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异常.而比白垩第三纪生物绝灭更大的二叠-三叠纪之交是否也发生过类似的事件,引起了人们的重视.     

β—酯基丙基三氯化锡与中性配体配合物的合成

利用β－酯基丙基三氯化锡中性配体氧化吡啶、吡啶、２，２’－联吡啶、１，１０－菲唾骂林等反应合成了１０个配合物，通过元素分析，ＩＲ、ＵＶ、Ｈ、ＮＭＲ等表征了其结构     

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

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

温度的等价类定义

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