施工项目成本管理信息系统

施工项目成本管理信息系统具有协助施工企业成本管理工作者确定施工项目各种成本、编制成本计划及根据进度计划动态调整成本计划，进行进度、成本统计和成本控制等。由于采用人机会话，可随时将用户意图变换输入，因此具有较强的适应性。     

On spectra of operators on locally convex spaces

Ｏｎｓｐｅｃｔｒａｏｆｏｐｅｒａｔｏｒｓｏｎｌｏｃａｌｌｙｃｏｎｖｅｘｓｐａｃｅｓ￥ＨｕａｎｇＳｈａｏｗｅｎ；ＴａｎｇＣｈｕｎｌｅｉ；ＬｉｕＸｉａｏｐｉｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＳｏｕｔｈｗｅｓｔＣｈｉｎａＮｏｒｍａｌＵｎ...     

抗生素80－7－A的分离与鉴别

从普拉特链霉菌８０－７发酵液中分离到抗生素８０－７－Ａ．该抗生素对引起柑桔贮藏病害的指状青霉和白边青霉有较强的抑制作用．经鉴别，抗生素８０－７－Ａ很可能与已知核苷类抗生素杀结核菌素同质     

高效沉降槽固含分布测定及理论分析

对高效沉降槽内固合分布进行了直接测定．利用作者自行研制的深层取样器取样进行测定，测定结果表明，良好的絮凝沉降与合理的槽形结构所促成的高效固液分离过程，有许多优异的特性．本文对此进行了初步的理论分析．     

广泛粒度分布条件下冶金动力学研究新方法──表面化学反应控制

针对冶金动力学研究中难以获得单一粒度（或窄粒级范围）的固体颗粒的情况，提出了一种广泛粒度分布条件下冶金动力学研究新方法．通过与等浸出率法比较，说明该法亦可有效地应用于冶金动力学研究．     

高速ON／OFF电磁阀在汽车主动控制悬架系统中的应用

采用高速ＯＮ／ＯＦＦ电磁阀取代压力比例阀来构成一个更经济的系统，并对１个１／４车体模型进行仿真计算和实验研究．实验结果表明，所提案的系统价格低廉，且抗污力强，具有较大的应用价值与推广价值     

A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证     

组合火腿加工方法的研究

本文就组合火腿的加工方法进行研究。设想将西式火腿和肉糜灌肠结合到一起，加工成组合式火腿。研究中将西式火腿原料和肉糜灌肠原料分别处理，成型前混合充填，经蒸煮加工出兼具火腿和灌肠两种风味的组合式火腿。研究表明只要严格按本文提出的工艺加工，完全可以生产出优质的组合式火腿。     

分子筛色谱柱快速活化方法的研究及应用

发展了一种机上快速活化分子筛色谱柱的方法。活化温度３００～３２０℃，全部活化时间只需要３ｈ，为常规活化方法的三分之一，活化效果优于现有方法。该方法用于探井井口气分析，取得了较好的经济效益。     

推导菲涅耳公式的另一种方法

本文介绍推导非涅耳公式的另一种方法，可以得到一种对称形式的菲涅耳公式。