气相色谱内标法测地表水样中痕量苯的含量

为了解化学实验室排放的污水对环境污染的程度，用毛细管柱气相色谱内标法对浙江师范大学地表水中苯的含量进行了定性、定量分析．最低检测浓度约为ρ(苯)=0．02mg／L，测得化学楼附近水样中ρ(苯)为6．04mg／L，其他3处苯的含量均低于0．02mg／L,说明化学楼附近地表水受到污染,但不算严重。     

公诉证明标准的重塑——从证明标准的概念谈起

廓清了证明标准与证明要求的关系,在"案件事实清楚,证据确实、充分"这一证明要求的旗帜下,从两个层次上对公诉证明标准进行了阐述,提出了"有足够证据"这一表述方式,并对如何具体把握作了进一步的探讨,以期从庞杂的证明标准体系中理出一点头绪。     

时延驱动的门阵和标准单元布图系统——Tiger

Ｔｉｇｅｒ可以完成从布局到详细布线的整个布图全过程。在整个布图过程中，根据ＲＣ延迟模型计算所有连线的延迟，并把整个芯片的时延最小作为优化目标。在Ｔｉｇｅｒ系统中，应用了性能驱动的布局和总体布线算法、ＤＲＡＦＴ通道布线算法和基于垂直通道模型的走线道分配算法。实验结果表明，Ｔｉｇｅｒ的布图速度要比ＴｉｍｂｅｒＷｏｌｆ６．０快很多。它在保证芯片性能的同时，其芯片面积与ＴｉｍｂｅｒＷｏｌｆ差不多。     

温度对正负离子表面活性剂及其复配体系表面活性的影响

本文应用张力法测定了正负离子表面活性剂及其复配体系在不同温度下的表面张力，研究了各种体系的表面性质与温度的关系，并计算了在不同温度下的标准自由能变化．对不同体系的变化规律作了讨论．     

一种面向对象的形式化规范说明技术

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明．     

图形LOTOS和Petri同模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．     

基于通信顺序进程的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便。但在实际中，使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性     

熵的相对标准法问题研究

根据热力学第三定律和统计热力学，运用“相对标准法”对单质和化合物的熵的相对标准进行了讨论，并指出熵与焓的相对标准状态不同，应该统一起来，以满足热力学函数定义式；G＝H－TS。     

用户界面模型与形式规格说明研究

在讨论人机交互方式和界面控制与通信的基础上，描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。     

浅谈新产品的技术标准审查

技术标准是企业生产技术活动的基础，也是企业管理的依据和准则，应贯穿于新产品的设计、制造、销售及售后服务的全过程。文章概述了技术标准审查工作的意义以及技术标准审查的范围和内容，提出了技术标准审查程序及对标准化审查人员的要求