Equality of proofs for linear equality

This paper is about equality of proofs in which a binary predicate formalizing properties of equality occurs, besides conjunction and the constant true proposition. The properties of equality in question are those of a preordering relation, those of an equivalence relation, and other properties appropriate for an equality relation in linear logic. The guiding idea is that equality of proofs is induced by coherence, understood as the existence of a faithful functor from a syntactical category into a category whose arrows correspond to diagrams. Edges in these diagrams join occurrences of variables that must remain the same in every generalization of the proof. It is found that assumptions about equality of proofs for equality are parallel to standard assumptions about equality of arrows in categories. They reproduce standard categorial assumptions on a different level. It is also found that assumptions for a preordering relation involve an adjoint situation.      

有限可补格上的一阶格值逻辑几个性质

本文建立了格值逻辑的正规性概念,证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑,并证明了Fraise定理在其上成立.     

逻辑环随机模型负荷非均衡的服务对策分析

本针对逻辑环随机服务模型中实际存在的站点负荷非均衡现象，（1）阐述该类系统的特点和基本要求；（2）分析已有单一服务策略和设置优先站点服务策略的局限性；（3）与分布系统的负荷分配和均衡问题进行对比；（4）探讨克服原有服务策略的不足，提高系统性能的着眼点；（5）分析新提出的服务策略。     

Closed Submodules of Holomorphic Functions with Two Generators

Let I be a closed submodule over a polynomial ring in a space of holomorphic functions on a domain in the complex plane. We establish sufficient conditions under which I is generated by two functions or two special submodules. As a corollary, it follows from these results that if an invariant subspace W C (a,b) (with respect to the differentiation operator) admits spectral synthesis, then it is the solution space of a system of two homogeneous convolution equations.