OBSERVABILITY OF EXTENDED TIMED EVENT GRAPH

In this paper, we study some results of extended timed event graph (ETEG) by using graph theory's methods in the dioid framework. A necessary and sufficient condition for the observability of ETEG is obtained and ETEG's standard structure is also established.     

基于图论的制冷系统稳态仿真算法的构建

系统算法的构建是制冷系统稳态仿真的重要环节。本文在传统的连续替代算法的基础上，引入图论方法实现制冷系统仿真算法的自动构建。首先，将制冷循环表示为图的数据结构：然后，采用图论的广度遍历算法构建制冷循环的仿真算法；最后，引入模块化的部件模型完成系统仿真。仿真实例显示本文方法具有良好的通用性和稳定性。本文方法亦可适用于其他热力系统仿真算法的构建。     

有向H图中的有向圈数

有向Ｈ图中的有向圈数施宇丹（计算机科学与工程系）人们时常要把一组对象按优劣排成次序．将所有对象看作一个有向图的顶点，如果对象ａ比对象ｂ好，就在相应的两个顶点之间画一条有向边（ａ指向ｂ）．于是当出现ａ比ｂ好．ｂ比ｃ好，ｃ又比ａ好时，就在排序中出现了一个...     

对一类图的棱凝聚度最小值上界的估计

本文对δ(G)≥[p+1/2]的一类简单连通图棱凝聚度的最小值上界给出进一步的估计,並指出这个最小值如果不是负整数,只能是0,或者是1。     

Fuzzy图的矩阵

本探讨了Fuzzy图的矩阵表示问题，揭示了一个Fuzzy图G的矩阵XG的k次幂XkG中元素与G顶点间k连通强度，连通强度间的联系。     

关于一些p-t对的极大性

C00k引进了卢p-t可化归性概念以及由此所导出的P-t度及p-t度之间化归关系,Ladner和Ambos-Spies又进一步对p-t度结构进行了广泛的讨论。下面所谓的度均指p-t度,其他记号和概念参见文献[3]。 定义 度a,b称为度c的一个分枝对指c为a,b之下确界,o的分枝对称为极小对,度a,b称为一个递增度列{c_n}的一个恰对指n(c_n≤a,b&d≤a,b→n(d≤     

关于路图P_3(G)的Hamilton性的两个结果

“路图”是线图概念的发展.给定一个图G及自然数k≥2,路图P_k(G)的顶点是G中k个顶点的路P_k;两条路P_k在路图中是相邻的,如果它们的并是P_(k+1)或C_k.为     

沿通路送流的两个新算法

本文证明对满足一定约束条件的一类无耗网络,应用沿通路送流法,可获得一个有效的求多商品流算法,其运算复杂度仅为 O[d_(pr,max)|E(P_((?),max))|(n k-1)],并且当流网络中各边容量及各源汇对间传输要求量均为整数的情况下,可获得整数流解.本文还将上述算法推广到有耗网络中多商品流的求解问题,提出并证明了平面有耗网中多商品流存在的充分条件,据此获得一个求有耗网络多商品流的多项式时间算法.