一个多项式时间可解的自由作业排序问题

一个多项式时间可解的自由作业排序问题俞国胜（上海大学理学院数学系，上海２０１８００）１引言和记号自由作业（ｏＰｅｒｌｓｈｏＰ）排序问题是：有ｎ个工件Ｊ一《ＪＩ，人，··，人｝和。台机器Ｍ一｛ＭＩ，ＭＺ，…；Ｍｔｎ｝，每个工件Ｊｊ需要在机器Ｍｉ上加工，...     

带有缓冲器串行生产线的Harris链结构分析

本文以随机过程中的一类特殊的Ｍａｒｋｏｖ链（Ｈａｒｒｉｓ常返Ｍａｒｋｏｖ链）为工具，研究离散事件动态系统（ＤＥＤＳ）中的典型情况之一：带有缓冲器的串行生产线．求得了各缓冲器中产品数的联合稳态分布，产品在各台机器上受阻时间的联合稳态分布，以及受阻时间的强大数定律和产品在各台机器加工完时刻的极限行为．     

证明台体积公式的新方法

证明台体积公式的新方法吴小平（重庆师范学院数学系６３００４７）本文利用共面定理，非常简明地证明了台的体积公式．如果两个四面体有一个公共面，称它们是一对共面四面体．共面定理：若直线ＰＱ与△ＡＢＣ所在的平面π交于Ｍ，则ＶＰ－ＡＢＣＶＱ－ＡＢＣ＝ＰＭＱＭ．...     

多重运输调度问题的计算复杂性

本文研究了多重运输调度问题的计算复杂性。分别证明了在平面图上一台车辆的ＭＶＲＰ问题为ＮＰ－完全的、在树形网络上求ＭＶＲＰ最小总距离及最小车辆数问题是ＮＰ－完全的、ＭＶＲＰ最小总距离和最小车辆数的ε－近似解为ＮＰ－完全的。     

基于中介逻辑的时序逻辑系统

本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（Ｍｅｄｉｕｍ Ｔｅｍｐｏｒａｌ Ｌｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性．最后对ＭＴＬ系统和经典时序命题逻辑系统进行对比，指出经典时序命题逻辑系统是ＭＴＬ的子系统     

基于中介逻辑的对序逻辑系统

本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（Ｍｅｄｉｕｍ Ｔｅｍｐｏｒａｌ Ｌｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性。最后对ＭＴＬ系统和经典时序命题逻辑系统进行了对比，指出经典时序命题逻辑系统是ＭＴＬ的子系统。     

综合计算机网络管理系统的应用

本文介绍了ＳＮＭＰ和ＣＭＩＰ的体系结构，阐述综合网络管理的基本原则，并从开放系统互连的角度出发对ＳＮＭＰ和ＣＭＩＰ综合进行了探讨，同时引入模糊聚类分析方法，文中给出了具体实现的模型     

一类两参数马氏过程的构造──在马氏过程上生长马氏过程

本文概率地实现了在单参数马氏过程上生长单参数马氏过程的构想，定义了一类重要的两参数过程；ＭＭ类过程．证明了：ＭＭ类过程具有宽过去马氏性和１马氏性；ＭＭ过程不具有马氏性，单点马氏性，２马氏性和宽将来马氏性，除非它退化．     

具有离散参数齐次随机场的线性预测（Ⅶ）

本文讨论了下列４个线性预测问题，预测问题１４（Ｎ，Ｍ），１５（Ｎ，Ｍ），１６（ｌ０，Ｍ）及１７（Ｎ，Ｍ）并得到了它们的预测值及预测误差的明显表达式。     

带边界Riemann流形上的Sobolev空间等价范数

对具光滑边界αＭ的Ｒｉｅｍａｎｎ流形（Ｍ，ｇ），本文建立了Ｓｏｂｏｌｅｖ空间Ｈ（Ｍ）的等价范数     

系数在基本Harish—Chandra模中的Virasoro代数的上同调群

设ｇ为特征为０的二次闭域上的Ｖｉｒａｓｏｒｏ代数。本文决定了Ｈ＾１（ｇ，Ｍ（４，１）），Ｈ＾２（ｇ，Ｍ（４，２））及Ｈ＾２（ｇ，ＭＬ）的结构，其中Ｍ（４，１），Ｍ（４，２）为两类基本Ｈａｒｉｓｈ－Ｃｈａｎｄｒａ模，ＭＬ为无常数项单变量Ｌａｕｒｅｎｔ多项式。     

剩余幺半群的商结构

本文首先定义了交换剩余幺半群Ｍ相对于其子半群Ｐ（Ｍ）的商结构Ｍ／Ｐ（Ｍ），然后研究了它的性质并给出了一些同构定理。     

Internet与管理信息系统的变革

本文阐述了Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ的有关概念和技术，分析了传统ＭＩＳ的不足与缺陷，并且结合ＭＩＳ的特点和Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ的技术，提出了一种新型的ＭＩＳ结构。     

平面上的强Markov性

本文对具有转移函数的两指标＊Ｍａｒｋｏｖ过程提出了＊－强Ｍａｒｋｏｖ性的一般定义，讨论了各种强Ｍａｒｋｏｖ性之间的关系，证明了有右连续轨道的两指标Ｆｅｌｌｅｒ过程是＊－强右选Ｍａｒｋｏｖ过程。这些结果类似于（１，２）中对两指标宽过去Ｍａｒｋｏｖ过程的相应结果。     

软代数的素M—理想与同余关系

在文〔１〕中，裴礼文教授引入了软代数的Ｍ－理想的概念。本文在此基础上，定义了对偶Ｍ－理想、素Ｍ－理想、素对偶Ｍ－理想等概念。并讨论了它们的若干性质及相互关系。证明了由一素Ｍ－理想，可确定软代数Ｌ的一个同余关系，这时Ｌ可同态于一个四元软代数或一三元软代数。     

“MM教育方式”的教学评价问题

编者按本刊文［１］～［４］的相继发表，为介绍和推广“ＭＭ教育方式”起了一定积极作用，受到读者的广泛关注．为了进一步深入作好“ＭＭ教育方式”的有关工作，我们再次“配套”推荐本文，以飨读者．１本文讨论的主要是在“ＭＭ教育方式”的推广和应用性实验中的教学评...     

CIMS环境下技术创新的组织

本文探讨了ＣＩＭＳ环境下企业技术创新的组织问题，提出了ＣＩＭＳ环境下技术创新的组织结构和组织形式，为ＣＩＭＳ环境下企业技术创新组织的重构提供了参考。     

余代数和Morita-Takeuchi关系

本文证明了若余代数Ｃ和Ｄ是Ｍｏｒｉｔａ Ｔａｋｅｕｃｈｉ等价的，则Ｃ的子余代数格和Ｄ的子余代数格同构．设ＭΓ，ＮΓ是拟有限右Γ 余模，则（ｈ－Γ（Ｍ，Ｍ），ｈ－Γ（Ｎ，Ｎ）；ｈ－Γ（Ｎ，Ｍ），ｈ－Γ（Ｍ，Ｎ）；ｆ，ｇ）有Ｍｏｒｉｔａ Ｔａｋｅｕｃｈｉ关系．并给出了此Ｍ Ｔ关系是Ｍ Ｔ等价条件的及由已知的Ｍ Ｔ关系构造新的Ｍ Ｔ关系的方法．     

软代数的素M－理想与同余关系

在文［１］中，裴礼文教授引入了软代数的Ｍ－理想的概念。本文在此基础上，定义了对偶Ｍ－理想、素Ｍ－理想、素对偶Ｍ－理想等概念。并讨论了它们的若干性质及相互关系。证明了由一素Ｍ－理想，可确定软代数Ｌ的一个同余关系，这时Ｌ可同态于一个四元软代数或一三元软代数。     

关于算子的超等距膨胀

本文研究了算子可超等距膨胀的条件，证明了超等距可膨胀算子有非平凡的不变子空间，并在一定条件下对Ｂｅｒｇｍａｎ空间的乘法算子Ｍｆ１，Ｍｆ２，…；Ｍｆｋ，Ｍｆ，证明了的充分必要条件是ｆ１＝ｆ２＝…＝ｆｋ＝ｆ＝常数．这里ｋ＞２．