关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

免用第三变量的两变量值交换

针对采用第三变量两变量值的交换占用多余内存的不足，提出算术运算法、布尔型变量的交换法、异或运算法和异或运算取反法等4个免用第三个临时变量的两变量值交换方法，并分析这些方法的优缺点。关键词：变量交换第三变量异或运算     

水－仲丁醇－碳4三元体系8MPa时的液液平衡

在国内首次建立的一套温度高达３５０℃，压力直至２０ＭＰａ的高压液液相平衡测定装置上，测定了水－仲丁醇－碳４三元体系在８ＭＰａ和４０３．１５，４２３．１５，４４３．１５Ｋ时液液相平衡数据。采用修改的Ｒ－Ｋ方程对此数据进行了理论关联。关联结果与实验数据一致。     

自级联式感应电动机控制系统的研制

描述了自级联式感应电动机的数学模型及其控制系统的结构,研制成功该类电机矢量控制系统样机.根据实验结果,分析了其动态和静态品质,得出此种类型电机控制系统完全可以达到与直流电动机控制系统相同性能的结论,提出了自级联式感应电动机进一步的应用前景.     

拥挤型网络的路流组合及模型求解的搜索法

证明了一个路流组合定理并由此而给出了一个求解网络选址两级模型的算法，讨论了网络的Ｂｒａｅｓｓ性及其在网络规划中的应用前景。     

Technical Notes ：STUDIES ON THE VALUE OF SECONDARY MARKET TO THE SUPPLY CHAIN

This paper investigates the impact of a secondary market, where retailers can buy and sell excessinventories, on the supply chain. We develop a two-period model with a single manufacturer and tworetailers. At the beginning of the first period the retailers order and receive products from themanufacturer, but at the beginning of the second period, they can trade surplus products betweenthemselves in the secondary market. We investigate the impact of the correlated dependence ofretailers' demand on both the quantity effect and the allocation effect under the secondary market.Lastly,we study potential strategies for the manufacturer to increase sales with the existence of thesecondary market.     

短轮伐林地土壤肥力的数值化综合评价

对雷州半岛短轮伐桉树林地砖红壤的各肥力因子进行系统的数值化处理，通过隶属度函数模型和偏相关分析，确定了林地土壤各肥力因子的隶属度值及其权重，根据加乘法则，对雷州半岛短轮伐期桉树砖红壤的综合肥力水平进行了分析和探讨，研究结果显示，雷州半岛林地砖红壤其土壤综合肥力水平并不高，绝大部分土壤属于较低或极低水平，与实际土壤生产水平完全吻合。     

社会结构视域中的社会失范--一种系统自组织理论方法的分析

本文认为特定的社会结构既是特定文明类型的存在，又是特定社会的客观规范。当代中国存在着的社会失范现象，从根本上说是由于社会从农业文明向工业文明、前现代化向现代化转型而引起的结构性失范。所以，当代中国克服普遍社会失范现象的根本途径，是建立健全适合社会主义市场经济发展的现代化社会结构体系。     

向量变分不等式解的存在性

利用广义向量平衡问题解的存在性结论，给出了向量变分不等式解的存在性定理。