This paper focuses on optimally determining the existence of connected paths between some given nodes in random ring-based graphs.Serving as a fundamental underlying structure in network modeling,ring topology appears...This paper focuses on optimally determining the existence of connected paths between some given nodes in random ring-based graphs.Serving as a fundamental underlying structure in network modeling,ring topology appears as commonplace in many realistic scenarios.Regarding this,we consider graphs composed of rings,with some possible connected paths between them.Without prior knowledge of the exact node permutations on rings,the existence of each edge can be unraveled through edge testing at a unit cost in one step.The problem examined is that of determining whether the given nodes are connected by a path or separated by a cut,with the minimum expected costs involved.Dividing the problem into different cases based on different topologies of the ring-based networks,we propose the corresponding policies that aim to quickly seek the paths between nodes.A common feature shared by all those policies is that we stick to going in the same direction during edge searching,with edge testing in each step only involving the test between the source and the node that has been tested most.The simple searching rule,interestingly,can be interpreted as a delightful property stemming from the neat structure of ring-based networks,which makes the searching process not rely on any sophisticated behaviors.We prove the optimality of the proposed policies by calculating the expected cost incurred and making a comparison with the other class of strategies.The effectiveness of the proposed policies is also verified through extensive simulations,from which we even disclose three extra intriguing findings:i)in a onering network,the cost will grow drastically with the number of designated nodes when the number is small and will grow slightly when that number is large;ii)in ring-based network,Depth First is optimal in detecting the connectivity between designated nodes;iii)the problem of multi-ring networks shares large similarity with that of two-ring networks,and a larger number of ties between rings will not influence the expected cost.展开更多
We investigate decomposition of codes and finite languages. A prime decomposition is a decomposition of a code or languages into a concatenation of nontrivial prime codes or languages. A code is prime if it cannot be ...We investigate decomposition of codes and finite languages. A prime decomposition is a decomposition of a code or languages into a concatenation of nontrivial prime codes or languages. A code is prime if it cannot be decomposed into at least two nontrivial codes as the same for the languages. In the paper, a linear time algorithm is designed, which finds the prime decomposition. If codes or finite languages are presented as given by its minimal deterministic automaton, then from the point of view of abstract algebra and graph theory, this automaton has special properties. The study was conducted using system for computational Discrete Algebra GAP. .展开更多
Let G be a graph on n vertices whose degree sequence is d_1≥…≥d_n.For a positive integer p,the degree power of G is defined by e_p(G)=∑_(i=1)~n d_i~p.In this paper,by majorization,we prove that for a minimally k-c...Let G be a graph on n vertices whose degree sequence is d_1≥…≥d_n.For a positive integer p,the degree power of G is defined by e_p(G)=∑_(i=1)~n d_i~p.In this paper,by majorization,we prove that for a minimally k-connected graph G of order n≥4k,it always holds e_2(G)≤kn(n-k)and the extremal graph is K_(k,n-k).Furthermore,we respectively determine the maximum degree powers among all minimally 2(3)-connected graphs and minimally 2-edgeconnected graphs,whose extremal graphs are also characterized.展开更多
In this paper, two methods of generating minimally persistent circle formation are presented. The proposed methods adopt a leader-follower strategy and all followers are firstly motivated to move into the leader's in...In this paper, two methods of generating minimally persistent circle formation are presented. The proposed methods adopt a leader-follower strategy and all followers are firstly motivated to move into the leader's interaction range. Based on the information about relative angle and relative distance, two numbering schemes are proposed to generate minimally persistent circle formation. Distributed control laws are also designed to maintain the desired relative distance between agents. The distinctive features of the proposed methods are as follows. First, only 2n - 3 unilateral communication links for n agents are needed during the circle formation process and thus the communication complexity can be reduced. In addition, the formation topology is kept fixed for the whole motion and achieves a self-stability property. Finally, each follower keeps a regualr interval with its neighbors and the formation converges to a uniform circle formation. Simulation results are also provided to demonstrate the effectiveness of the proposed methods.展开更多
Segmentation of three-dimensional(3D) complicated structures is of great importance for many real applications.In this work we combine graph cut minimization method with a variant of the level set idea for 3D segmenta...Segmentation of three-dimensional(3D) complicated structures is of great importance for many real applications.In this work we combine graph cut minimization method with a variant of the level set idea for 3D segmentation based on the Mumford-Shah model.Compared with the traditional approach for solving the Euler-Lagrange equation we do not need to solve any partial differential equations.Instead,the minimum cut on a special designed graph need to be computed.The method is tested on data with complicated structures.It is rather stable with respect to initial value and the algorithm is nearly parameter free.Experiments show that it can solve large problems much faster than traditional approaches.展开更多
We estimate the number of disjoint open subsets in Rn, which can support area-decreasing minimal graphs. This result generalizes the related results of Li-Wang and Tkachev for minimal hypersurfaces to higher codimensi...We estimate the number of disjoint open subsets in Rn, which can support area-decreasing minimal graphs. This result generalizes the related results of Li-Wang and Tkachev for minimal hypersurfaces to higher codimensional case.展开更多
An engineering system may consist of several different types of components,belonging to such physical"domains"as mechanical,electrical,fluid,and thermal.It is termed a multi-domain(or multi-physics)system.Th...An engineering system may consist of several different types of components,belonging to such physical"domains"as mechanical,electrical,fluid,and thermal.It is termed a multi-domain(or multi-physics)system.The present paper concerns the use of linear graphs(LGs)to generate a minimal model for a multi-physics system.A state-space model has to be a minimal realization.Specifically,the number of state variables in the model should be the minimum number that can completely represent the dynamic state of the system.This choice is not straightforward.Initially,state variables are assigned to all the energy-storage elements of the system.However,some of the energy storage elements may not be independent,and then some of the chosen state variables will be redundant.An approach is presented in the paper,with illustrative examples in the mixed fluid-mechanical domains,to illustrate a way to recognize dependent energy storage elements and thereby obtain a minimal state-space model.System analysis in the frequency domain is known to be more convenient than in the time domain,mainly because the relevant operations are algebraic rather than differential.For achieving this objective,the state space model has to be converted into a transfer function.The direct way is to first convert the state-space model into the input-output differential equation,and then substitute the time derivative by the Laplace variable.This approach is shown in the paper.The same result can be obtained through the transfer function linear graph(TF LG)of the system.In a multi-physics system,first the physical domains have to be converted into an equivalent single domain(preferably,the output domain of the system),when using the method of TFLG.This procedure is illustrated as well,in the present paper.展开更多
目的:对国内外有关腰椎间盘突出症微创治疗的相关文献进行计量学分析,并总结其研究现状、热点与发展趋势。以期为相关学者和医务工作者了解该领域的研究热点和趋势提供有用的参考。方法:以腰椎间盘突出症微创治疗以及相关词汇为检索主题...目的:对国内外有关腰椎间盘突出症微创治疗的相关文献进行计量学分析,并总结其研究现状、热点与发展趋势。以期为相关学者和医务工作者了解该领域的研究热点和趋势提供有用的参考。方法:以腰椎间盘突出症微创治疗以及相关词汇为检索主题,检索中国知网(CNKI)和Web of Science(WOS)核心合集数据库。运用CiteSpace和VOSviewer软件对2013—2023年收录的相关文献进行知识图谱的可视化分析,对关键词、突现词和时间趋势图谱等进行数据分析。结果:共纳入1065篇来自CNKI的文献和602篇来自WOS的文献。通过可视化分析后于CNKI可得腰椎间盘突出症和经皮椎间孔镜手术等10个聚类结果,在WOS中可得危险因素、腰椎间盘突出症和椎管狭窄等9个聚类结果。结论:CNKI中研究热点主要集中在腰椎功能、复发率、经椎板孔入路、临床疗效、疼痛、并发症等关键词,而在WOS中研究热点主要集中在并发症、复发率、治疗结果、经椎间孔入路、疼痛、学习曲线等关键词。近两年在CNKI中研究热点主要集中在疼痛和经皮椎间孔镜椎间盘切除术等关键词,而在WOS中主要集中在并发症和复发率等关键词。目前国内外学者对于该领域的研究热点既有重叠也有不同的关注方向。展开更多
Recently,linear codes with a few weights have been extensively studied due to their applications in secret sharing schemes,constant composition codes,strongly regular graphs and so on.In this paper,based on the Weil s...Recently,linear codes with a few weights have been extensively studied due to their applications in secret sharing schemes,constant composition codes,strongly regular graphs and so on.In this paper,based on the Weil sums,several classes of two-weight or three-weight linear codes are presented by choosing a proper defining set,and their weight enumerators and complete weight enumerators are determined.Furthermore,these codes are proven to be minimal.By puncturing these linear codes,two classes of two-weight projective codes are obtained,and the parameters of the corresponding strongly regular graph are given.This paper generalizes the results of[7].展开更多
This paper provides a comprehensive examination of El Sallam Garden in Port Said City,concentrating on its landscape characteristics and potential for design enhancement.This study looks at how space syntax can be use...This paper provides a comprehensive examination of El Sallam Garden in Port Said City,concentrating on its landscape characteristics and potential for design enhancement.This study looks at how space syntax can be used to assess the impact of a tree planting design’s spatial configuration on an urban park’s visual fields.Trees play an important role in determining the spatial characteristics of an outdoor space.According to space syntax theory,an urban area is a collection of connected spaces that can be represented by a matrix of quantitative properties known as syntactic measures.Computer simulations can be used to measure the quantitative properties of these matrices.This study uses space syntax techniques to assess how tree configurations and garden area which can affect the social structures of small-scale gardens in Port Said.It also looks at how these techniques can be used to predict the social structures of four garden zones in El Sallam Garden.The study includes an observational and space syntax study through comparative analysis of four garden zones in El Sallam garden.The results of the study show that the area and planting configurations of the garden had a significant effect on the syntactic social and visual measures of the urban garden.The conclusions and recommendations can be a useful tool for landscape architects,urban planners,and legislators who want to enhance public areas and encourage social interaction in urban settings.展开更多
Much data such as geometric image data and drawings have graph structures. Such data are called graph structured data. In order to manage efficiently such graph structured data, we need to analyze and abstract graph s...Much data such as geometric image data and drawings have graph structures. Such data are called graph structured data. In order to manage efficiently such graph structured data, we need to analyze and abstract graph structures of such data. The purpose of this paper is to find knowledge representations which indicate plural abstractions of graph structured data. Firstly, we introduce a term graph as a graph pattern having structural variables, and a substitution over term graphs which is graph rewriting system. Next, for a graph G, we define a multiple layer ( g,(θ 1,…,θ k )) of G as a pair of a term graph g and a list of k substitutions θ 1,…,θ k such that G can be obtained from g by applying substitutions θ 1,…,θ k to g. In the same way, for a set S of graphs, we also define a multiple layer for S as a pair ( D,Θ ) of a set D of term graphs and a list Θ of substitutions. Secondly, for a graph G and a set S of graphs, we present effective algorithms for extracting minimal multiple layers of G and S which give us stratifying abstractions of G and S, respectively. Finally, we report experimental results obtained by applying our algorithms to both artificial data and drawings of power plants which are real world data.展开更多
A. Kaneko and K. Ota proved that for a minimally (n, λ)-connected graph G, if |G| = p ≥ 3n - 1, then e(G) ≤ nλ(|G| - n); and if e(G) = nλ(|G| - n), then G is isomorphic to the graph Kn^λ,p-n whic...A. Kaneko and K. Ota proved that for a minimally (n, λ)-connected graph G, if |G| = p ≥ 3n - 1, then e(G) ≤ nλ(|G| - n); and if e(G) = nλ(|G| - n), then G is isomorphic to the graph Kn^λ,p-n which is obtained from the complete bipartite graph Kn,p-n by replacing each edge with A multiple edges; if 3n - 1 ≥ |G}≥ n + 1, then e(G) ≤λ(|G| + n)^2/8. In this paper, we determine all the minimally (n, λ)-connected graphs with order p and the maximum size λ(p+n)^2/8 for 3n- 1 ≥ p ≥ n+ 1 for 3n-1≥p≥n+1.展开更多
基金supported by NSF China(No.61960206002,62020106005,42050105,62061146002)Shanghai Pilot Program for Basic Research-Shanghai Jiao Tong University。
文摘This paper focuses on optimally determining the existence of connected paths between some given nodes in random ring-based graphs.Serving as a fundamental underlying structure in network modeling,ring topology appears as commonplace in many realistic scenarios.Regarding this,we consider graphs composed of rings,with some possible connected paths between them.Without prior knowledge of the exact node permutations on rings,the existence of each edge can be unraveled through edge testing at a unit cost in one step.The problem examined is that of determining whether the given nodes are connected by a path or separated by a cut,with the minimum expected costs involved.Dividing the problem into different cases based on different topologies of the ring-based networks,we propose the corresponding policies that aim to quickly seek the paths between nodes.A common feature shared by all those policies is that we stick to going in the same direction during edge searching,with edge testing in each step only involving the test between the source and the node that has been tested most.The simple searching rule,interestingly,can be interpreted as a delightful property stemming from the neat structure of ring-based networks,which makes the searching process not rely on any sophisticated behaviors.We prove the optimality of the proposed policies by calculating the expected cost incurred and making a comparison with the other class of strategies.The effectiveness of the proposed policies is also verified through extensive simulations,from which we even disclose three extra intriguing findings:i)in a onering network,the cost will grow drastically with the number of designated nodes when the number is small and will grow slightly when that number is large;ii)in ring-based network,Depth First is optimal in detecting the connectivity between designated nodes;iii)the problem of multi-ring networks shares large similarity with that of two-ring networks,and a larger number of ties between rings will not influence the expected cost.
文摘We investigate decomposition of codes and finite languages. A prime decomposition is a decomposition of a code or languages into a concatenation of nontrivial prime codes or languages. A code is prime if it cannot be decomposed into at least two nontrivial codes as the same for the languages. In the paper, a linear time algorithm is designed, which finds the prime decomposition. If codes or finite languages are presented as given by its minimal deterministic automaton, then from the point of view of abstract algebra and graph theory, this automaton has special properties. The study was conducted using system for computational Discrete Algebra GAP. .
基金Supported by NSFC(No.12011530064)Natural Science Foundation of Shanghai(No.22ZR1416300)。
文摘Let G be a graph on n vertices whose degree sequence is d_1≥…≥d_n.For a positive integer p,the degree power of G is defined by e_p(G)=∑_(i=1)~n d_i~p.In this paper,by majorization,we prove that for a minimally k-connected graph G of order n≥4k,it always holds e_2(G)≤kn(n-k)and the extremal graph is K_(k,n-k).Furthermore,we respectively determine the maximum degree powers among all minimally 2(3)-connected graphs and minimally 2-edgeconnected graphs,whose extremal graphs are also characterized.
基金Project supported by the National Basic Research Program of China (Grant No.2010CB731800)the National Natural Science Foundation of China (Grant Nos.60934003,61074065,and 61375105)the Natural Science Foundation of Hebei Province,China (Grant No.F2012203119)
文摘In this paper, two methods of generating minimally persistent circle formation are presented. The proposed methods adopt a leader-follower strategy and all followers are firstly motivated to move into the leader's interaction range. Based on the information about relative angle and relative distance, two numbering schemes are proposed to generate minimally persistent circle formation. Distributed control laws are also designed to maintain the desired relative distance between agents. The distinctive features of the proposed methods are as follows. First, only 2n - 3 unilateral communication links for n agents are needed during the circle formation process and thus the communication complexity can be reduced. In addition, the formation topology is kept fixed for the whole motion and achieves a self-stability property. Finally, each follower keeps a regualr interval with its neighbors and the formation converges to a uniform circle formation. Simulation results are also provided to demonstrate the effectiveness of the proposed methods.
基金support from the Centre for Integrated Petroleum Research(CIPR),University of Bergen, Norway,and Singapore MOE Grant T207B2202NRF2007IDMIDM002-010
文摘Segmentation of three-dimensional(3D) complicated structures is of great importance for many real applications.In this work we combine graph cut minimization method with a variant of the level set idea for 3D segmentation based on the Mumford-Shah model.Compared with the traditional approach for solving the Euler-Lagrange equation we do not need to solve any partial differential equations.Instead,the minimum cut on a special designed graph need to be computed.The method is tested on data with complicated structures.It is rather stable with respect to initial value and the algorithm is nearly parameter free.Experiments show that it can solve large problems much faster than traditional approaches.
基金supported by zhongdian grantof NSFC (A010501)NSFC-NSF (1081112053)supported by NSFC (10701025)
文摘We estimate the number of disjoint open subsets in Rn, which can support area-decreasing minimal graphs. This result generalizes the related results of Li-Wang and Tkachev for minimal hypersurfaces to higher codimensional case.
基金supported by research grants from the Natural Sciences and Engineering Research Council(NSERC)of Canada
文摘An engineering system may consist of several different types of components,belonging to such physical"domains"as mechanical,electrical,fluid,and thermal.It is termed a multi-domain(or multi-physics)system.The present paper concerns the use of linear graphs(LGs)to generate a minimal model for a multi-physics system.A state-space model has to be a minimal realization.Specifically,the number of state variables in the model should be the minimum number that can completely represent the dynamic state of the system.This choice is not straightforward.Initially,state variables are assigned to all the energy-storage elements of the system.However,some of the energy storage elements may not be independent,and then some of the chosen state variables will be redundant.An approach is presented in the paper,with illustrative examples in the mixed fluid-mechanical domains,to illustrate a way to recognize dependent energy storage elements and thereby obtain a minimal state-space model.System analysis in the frequency domain is known to be more convenient than in the time domain,mainly because the relevant operations are algebraic rather than differential.For achieving this objective,the state space model has to be converted into a transfer function.The direct way is to first convert the state-space model into the input-output differential equation,and then substitute the time derivative by the Laplace variable.This approach is shown in the paper.The same result can be obtained through the transfer function linear graph(TF LG)of the system.In a multi-physics system,first the physical domains have to be converted into an equivalent single domain(preferably,the output domain of the system),when using the method of TFLG.This procedure is illustrated as well,in the present paper.
文摘目的:对国内外有关腰椎间盘突出症微创治疗的相关文献进行计量学分析,并总结其研究现状、热点与发展趋势。以期为相关学者和医务工作者了解该领域的研究热点和趋势提供有用的参考。方法:以腰椎间盘突出症微创治疗以及相关词汇为检索主题,检索中国知网(CNKI)和Web of Science(WOS)核心合集数据库。运用CiteSpace和VOSviewer软件对2013—2023年收录的相关文献进行知识图谱的可视化分析,对关键词、突现词和时间趋势图谱等进行数据分析。结果:共纳入1065篇来自CNKI的文献和602篇来自WOS的文献。通过可视化分析后于CNKI可得腰椎间盘突出症和经皮椎间孔镜手术等10个聚类结果,在WOS中可得危险因素、腰椎间盘突出症和椎管狭窄等9个聚类结果。结论:CNKI中研究热点主要集中在腰椎功能、复发率、经椎板孔入路、临床疗效、疼痛、并发症等关键词,而在WOS中研究热点主要集中在并发症、复发率、治疗结果、经椎间孔入路、疼痛、学习曲线等关键词。近两年在CNKI中研究热点主要集中在疼痛和经皮椎间孔镜椎间盘切除术等关键词,而在WOS中主要集中在并发症和复发率等关键词。目前国内外学者对于该领域的研究热点既有重叠也有不同的关注方向。
基金supported by the Natural Science Foundation of China (No.11901062)the Sichuan Natural Science Foundation (No.2024NSFSC0417)。
文摘Recently,linear codes with a few weights have been extensively studied due to their applications in secret sharing schemes,constant composition codes,strongly regular graphs and so on.In this paper,based on the Weil sums,several classes of two-weight or three-weight linear codes are presented by choosing a proper defining set,and their weight enumerators and complete weight enumerators are determined.Furthermore,these codes are proven to be minimal.By puncturing these linear codes,two classes of two-weight projective codes are obtained,and the parameters of the corresponding strongly regular graph are given.This paper generalizes the results of[7].
文摘This paper provides a comprehensive examination of El Sallam Garden in Port Said City,concentrating on its landscape characteristics and potential for design enhancement.This study looks at how space syntax can be used to assess the impact of a tree planting design’s spatial configuration on an urban park’s visual fields.Trees play an important role in determining the spatial characteristics of an outdoor space.According to space syntax theory,an urban area is a collection of connected spaces that can be represented by a matrix of quantitative properties known as syntactic measures.Computer simulations can be used to measure the quantitative properties of these matrices.This study uses space syntax techniques to assess how tree configurations and garden area which can affect the social structures of small-scale gardens in Port Said.It also looks at how these techniques can be used to predict the social structures of four garden zones in El Sallam Garden.The study includes an observational and space syntax study through comparative analysis of four garden zones in El Sallam garden.The results of the study show that the area and planting configurations of the garden had a significant effect on the syntactic social and visual measures of the urban garden.The conclusions and recommendations can be a useful tool for landscape architects,urban planners,and legislators who want to enhance public areas and encourage social interaction in urban settings.
文摘Much data such as geometric image data and drawings have graph structures. Such data are called graph structured data. In order to manage efficiently such graph structured data, we need to analyze and abstract graph structures of such data. The purpose of this paper is to find knowledge representations which indicate plural abstractions of graph structured data. Firstly, we introduce a term graph as a graph pattern having structural variables, and a substitution over term graphs which is graph rewriting system. Next, for a graph G, we define a multiple layer ( g,(θ 1,…,θ k )) of G as a pair of a term graph g and a list of k substitutions θ 1,…,θ k such that G can be obtained from g by applying substitutions θ 1,…,θ k to g. In the same way, for a set S of graphs, we also define a multiple layer for S as a pair ( D,Θ ) of a set D of term graphs and a list Θ of substitutions. Secondly, for a graph G and a set S of graphs, we present effective algorithms for extracting minimal multiple layers of G and S which give us stratifying abstractions of G and S, respectively. Finally, we report experimental results obtained by applying our algorithms to both artificial data and drawings of power plants which are real world data.
基金This research is supported by the National Natural Science Foundation of China.
文摘A. Kaneko and K. Ota proved that for a minimally (n, λ)-connected graph G, if |G| = p ≥ 3n - 1, then e(G) ≤ nλ(|G| - n); and if e(G) = nλ(|G| - n), then G is isomorphic to the graph Kn^λ,p-n which is obtained from the complete bipartite graph Kn,p-n by replacing each edge with A multiple edges; if 3n - 1 ≥ |G}≥ n + 1, then e(G) ≤λ(|G| + n)^2/8. In this paper, we determine all the minimally (n, λ)-connected graphs with order p and the maximum size λ(p+n)^2/8 for 3n- 1 ≥ p ≥ n+ 1 for 3n-1≥p≥n+1.