何以拒斥社会建构论?——论拉宾格尔对科学的社会建构论的回应

社会建构论者提出了一种新的科学观，科学家对此并不认可。化学家拉宾格尔从科学争论的终结与关于科学的争论的无终结的对比、另一种科学是否可能、社会建构论者反对的科学方法到底指什么及这种指责能否成立等几个方面对社会建构论提出了质疑。本文对拉宾格尔的质疑进行了较为深入的分析与评价，并力求作出中立的判断。     

同步时钟系统在山西电力系统的综合应用

论证了电力系统建设时间同步网的必要性,提出网同步才是真正的同步,并结合山西电力已建的数字同步网及数据通信网,提出了利用山西电网已建的同步时钟系统实现全省各变电站时间同步的初步解决方案。     

IBM大力支持开放文档格式

随着全球政府与新兴经济市场越来越关注使用开源软件来替代专有软件，IBM近日宣布，将扩大面向桌面的开放标准支持范围。除了IBM基于标准的广泛服务器软件组合，IBM宣布IBM Workplace Managed Client即将发布的版本将支持最近由结构化信息标准促进组织批准的办公应用标准开放文档格式。通过扩大面向桌面的开放标准支持范围，IBM客户现在能够确保公司文档的一致性、可靠性与可访问性，从而有效保护企业在公司数据方面的投资。     

新型锚喷支护结构在萍乡矿区的应用

根据壳体结构的力学原理设计地下新型网壳喷层结构，大幅度提高喷层的抗弯能力，同时使喷层整体具有一定的可缩性，能承受强大变形地压及采动荷载，达到用较少材料又提高喷层支撑能力与让压的目标，较好解决了加强支撑、喷层合理配筋、简化施工作业、降低材料消耗等问题，在萍乡软岩巷道中进行了工业性试验。     

网络时间协议的基本原理及其在校园网络的应用

论述了网络时间协议(NTP)的基本原理、算法及其工作方式，结合校团网络中不同的设备实施网络时间统一。     

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

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

网的收敛与分离公理

用Ｍｏｏｒｅ－Ｓｍｉｔｈ收敛给出了一个拓扑空间分别是Ｔ０，Ｔ１，正则，正规空间的充要条件．