Spectral analysis for performance evaluation in a bus network

This paper deals with the performance evaluation of a public transportation system in terms of waiting times at various connection points. The behaviour of a bus network is studied in the framework of Discrete Event Systems (DES). Two possible operating modes of buses can be observed at each connection stop: periodic and non-periodic mode. Two complementary tools, Petri nets and (max, +) algebra, are used to describe the network by a non-stationary linear state model. This one can be solved after solving the structural conflicts associated to the graphical representation. From the characteristic matrix of the mathematical model, we determine eigenvalues and eigenvectors that we use to evaluate the connection times of passengers. This work is finally illustrated with a numerical example.     

L_n×L_2上几类特殊类型格蕴涵代数方程的解法

在格蕴涵代数中提出了加既约元、乘既约元,研究了一类重要的格蕴涵代数L_n×L_2中元素的不可约有限分解, 并将这一理论用于研究L_n×L_2上的几类格蕴涵代数方程,讨论了方程有解的充分必要条件,在此基础上给出了方程的具体解集.     

R_0代数的滤子理论

在R0代数中引入了正蕴涵滤子、奇异滤子、MV滤子的概念,讨论了这些滤子的性质及关系.得到了:在R0代数上,蕴涵滤子、正蕴涵滤子、布尔滤子是等价的;奇异滤子与MV滤子是等价的;正蕴涵滤子是奇异滤子,但反之不真.     

IMTL代数上的素布尔模糊滤子及其运算

在IMTL代数M的全体素布尔模糊滤子集ゐゐ(M)∪{φ}上定义格运算和逆序对合对应,证明ゐゐ(M)∪{φ}在这些运算下是一个完备的有逆序对合对应的有界分配格(即是一个完备的拟布尔代数).然后再在ゐゐ(M)∪{φ}上定义一个伴绥对,证明ゐゐ(M)∪{φ}也构成一个剩余格.     

The Validity Range of Two Complex Analysis Theorems

In this article we give complete characterizations of shift-invariant uniform algebras A_S on compact abelian groups, in which two of the classical theorems for analytic functions hold, namely, Radó's theorem for analytic extension and Riemann's theorem for removable singularities. Our characterization is in terms of algebraical properties of the semigroup S of non-zero Fourier coefficients of the functions in A_S .     

Vague集的表现定理

在Fuzzy集理论和现有Vague集理论的基础上,引入二元集合套的概念,讨论它的代数性质。在此基础上,结合Vague集的分解定理,建立Vague集的表现定理,同时得到一系列相关结果,进一步揭示Vague集与经典集合之间的联系。     

Non-linear traces on the algebra of compact operators and majorization

We study non-linear traces of the Choquet type and the Sugeno type on the algebra of compact operators. They have certain partial additivities. We show that these partial additivities characterize non-linear traces of both the Choquet type and the Sugeno type respectively. There exists a close relation between non-linear traces of the Choquet type and majorization theory. We study trace class operators for non-linear traces of the Choquet type. More generally we discuss Schatten–von Neumann $p$-class operators for non-linear traces of the Choquet type. We determine when they form Banach spaces. This is an attempt at non-commutative integration theory for non-linear traces of the Choquet type on the algebra of compact operators. We also consider the triangle inequality for non-linear traces of the Sugeno type.