变系数线性常微分算子的正规能解性

结合广义函数论，局部凸拓扑空间理论和正规能解算子理论，证明了变系数线性常数分算子的正规能解性，从而解决了相应微分方程的弱解存在性问题。     

时间Petri网的时间知识推理算法及在铁路智能运输系统中的应用

介绍一种基于时间Petri网的时间知识推理算法，它是在已有算法的的基础上，引入模糊时间区间的操作进行扩展而形成，该算法可一次性构建相应的时间知识系统的生成图，再用生成图进行时间知识验证和推理，相对于已有的算法来说，具有效率高，可处理时间区间的不确定性问题等优点，针对列车运行的时间知识系统进行算法的应用研究得出，本算法可验证时间约束的列车运行调整方案的可行性，能验证铁路专家系统中时间知识的一致性问题，用生成图可推导出某些带时间约束事件同时发生的可能性等。     

厦门湾锚地规划

分析厦门到港船舶逐年增加、船舶大型化以及内锚地减少导致船舶港内锚泊困难的原因,探讨厦门港在现有自然条件下规划外锚地的必要性和可行性.     

上海市中山环路高架道路研究情况

上海市城市交通愈来愈拥挤,原因就是道路设施建设跟不上交通量的迅速增长。建设现代化的道路,仍是解决城市交通的根本途径,但在城市的发展中,面临的却是土地极其紧缺的矛盾。本研究从充分利用城市空问、合理使用土地出发,对上海市中山环路进行修筑高架道路的研究,分析其经济效益。研究工作始于1986年组织进行,1987年7月,上海市市政工程管理局曾请上海市土木工程学会组织专家评估。此项研究对解决城市交通具有一定的现实意义,能因地制宜地修筑高架道路,无疑是解决城市交通的出路之一,这是带有治本性的措施。