一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

并发进程的一种跟踪与重演算法

并发程序的执行具有“不确定性”，即在同样的输入条件下并发程序的执行结果不一定相同。这使得传统的对于顺序程序的循环调试方法对于并发程序的调试不再有效。通过对并行程序的执行情况进行跟踪和重演，可以保证并发程序在相同的输入时候两次执行完全一样。本分析了基于消息传递的并发程序执行模型，并给出了相应的跟踪和重演算法及其实现。     

最小二乘法在石油闪点检测中的应用

以铂电阻分度函数为基础，利用最小二乘法算法，给出了拟合多项式，很好地解决了石油闪点检测系统中铂电阻不平衡电桥法测温方案中的非线性误差，其方便性和实用性已在应用中得到验证。     

高额外汇储备下人民币汇率制度选择分析

我国加入WTO后金融体制的改革步伐进一步加快，离外资银行全面进入我国市场的时间越来越近。但东南亚金融危机后，人民币汇率的稳定似乎显得更为重要，这一方面使得我国汇率制度的改革滞后；另一方面，中央银行在外汇市场被动地吸收外汇，造成我国外汇储备过度快速增长。本文就是从这个角度出发分析，认为我国应该回归到有管理的浮动汇率制度。     

辨析企业人才的"留"与"流"

论述了辨证认识与处理好人才的“留”与“流”的关系，指出了只有做好人才管理工作，慎重地考虑人才的留用，才能使企业长期、持续、健康、稳定地发展。     

单摆测重力加速度的研究

本文分析了单摆测重力加速度的误差主要来源，在测量装置，测量工具和测量方法上进行改进，从而有效地提高了测量精度。     

对"现代物流热"的冷思考

一、“现代物流热”潮继房地产热、知识经济热、网络热、西部开发热之后 ,“物流热”显然又已成为一股新的潮流。我国的沿海各大中城市纷纷厉兵秣马 ,向现代物流进军 ,欲夺物流之天下。上海提出着重发展３类物流和５个物流园区 ,把上海建成国际航运中心 ,成为全球现代物流中心的枢纽之一 ;香港提出建成国际供应链管理中心 ;天津提出建设中国及东北地区重要的物流及信息枢纽和中国重要的国际性物流中心城市 ;青岛以建设北方国际航运中心为切入点 ,建成与国际接轨的物流服务网络 ;广东省已将发展物流产业作为经济领域四大主攻方向之一 ,深圳市…