• Title/Summary/Keyword: Marked Graph

Search Result 20, Processing Time 0.03 seconds

PRESENTATIONS AND REPRESENTATIONS OF SURFACE SINGULAR BRAID MONOIDS

  • Jablonowski, Michal
    • Journal of the Korean Mathematical Society
    • /
    • v.54 no.3
    • /
    • pp.749-762
    • /
    • 2017
  • The surface singular braid monoid corresponds to marked graph diagrams of knotted surfaces in braid form. In a quest to resolve linearity problem for this monoid, we will show that if it is defined on at least two or at least three strands, then its two or respectively three dimensional representations are not faithful. We will also derive new presentations for the surface singular braid monoid, one with reduced the number of defining relations, and the other with reduced the number of its singular generators. We include surface singular braid formulations of all knotted surfaces in Yoshikawa's table.

Analysis Task Scheduling Models based on Hierarchical Timed Marked Graph

  • Ro, Cheul-Woo;Cao, Yang
    • International Journal of Contents
    • /
    • v.6 no.3
    • /
    • pp.19-24
    • /
    • 2010
  • Task scheduling is an integrated component of computing with the emergence of grid computing. In this paper, we address two different task scheduling models, which are static Round-Robin (RR) and dynamic Fastest Site First (FSF) task scheduling method, using extended timed marked graphs, which is a special case of Stochastic Petri Nets (SPN). Stochastic reward nets (SRN) is an extension of SPN and provides compact modeling facilities for system analysis. We build hierarchical SRN models to compare two task scheduling methods. The upper level model simulates task scheduling and the lower level model implements task serving process for different sites with multiple servers. We compare these two models and analyze their performances by giving reward measures in SRN.

Task Schedule Modeling using a Timed Marked Graph

  • Ro, Cheul-Woo;Cao, Yang;Ye, Yun Xiang;Xu, Wei
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2010.05a
    • /
    • pp.636-638
    • /
    • 2010
  • Task scheduling is an integral part of parallel and distributed computing. Extensive research has been conducted in this area leading to significant theoretical and practical results. Stochastic reward nets (SRN) is an extension of stochastic Petri nets and provides compact modeling facilities for system analysis. In this paper, we address task scheduling model using extended timed marked graph, which is a special case of SRNs. And we analyze this model by giving reward measures in SRN.

  • PDF

Collaborative Process Modeling for Embodying e-Manufacturing (이메뉴팩처링을 위한 협업 프로세스 모델링)

  • Ryu, Kwang-Yeol;Cho, Yong-Ju;Choi, Hon-Zong;Lee, Seok-Woo
    • IE interfaces
    • /
    • v.18 no.3
    • /
    • pp.221-233
    • /
    • 2005
  • e-Manufacturing can be referred to as a system methodology enabling the integration of manufacturing operations and IT technologies to achieve objectives of an enterprise. It is recently regarded as a powerful solution to survive in a chaotic marketplace. While conducting an e-Manufacturing project, we first needed to capture collaborative processes conducted by multiple participants in order to define functions of a system supporting them. However, pervasive process modeling techniques including IDEF3, Petri nets, and UML are not sufficient for modeling collaborative processes. Therefore, we first briefly investigate several process modeling methods including aforementioned modeling methods and ARIS focusing on the collaboration point of view. Then, we propose a new modeling method referred to as Collaborative Process Modeling (CPM) to clearly describe collaborative processes. Also, we develop and illustrate a rule for transforming collaborative process models into Marked Graph models to use the analysis power of the Petri nets. Using CPM empowers us to develop collaborative process models with simple notations, understand and facilitate the realization of the collaboration, and verify models before rushing into the development.

The Line n-sigraph of a Symmetric n-sigraph-V

  • Reddy, P. Siva Kota;Nagaraja, K.M.;Geetha, M.C.
    • Kyungpook Mathematical Journal
    • /
    • v.54 no.1
    • /
    • pp.95-101
    • /
    • 2014
  • An n-tuple ($a_1,a_2,{\ldots},a_n$) is symmetric, if $a_k$ = $a_{n-k+1}$, $1{\leq}k{\leq}n$. Let $H_n$ = {$(a_1,a_2,{\ldots},a_n)$ ; $a_k$ ${\in}$ {+,-}, $a_k$ = $a_{n-k+1}$, $1{\leq}k{\leq}n$} be the set of all symmetric n-tuples. A symmetric n-sigraph (symmetric n-marked graph) is an ordered pair $S_n$ = (G,${\sigma}$) ($S_n$ = (G,${\mu}$)), where G = (V,E) is a graph called the underlying graph of $S_n$ and ${\sigma}$:E ${\rightarrow}H_n({\mu}:V{\rightarrow}H_n)$ is a function. The restricted super line graph of index r of a graph G, denoted by $\mathcal{R}\mathcal{L}_r$(G). The vertices of $\mathcal{R}\mathcal{L}_r$(G) are the r-subsets of E(G) and two vertices P = ${p_1,p_2,{\ldots},p_r}$ and Q = ${q_1,q_2,{\ldots},q_r}$ are adjacent if there exists exactly one pair of edges, say $p_i$ and $q_j$, where $1{\leq}i$, $j{\leq}r$, that are adjacent edges in G. Analogously, one can define the restricted super line symmetric n-sigraph of index r of a symmetric n-sigraph $S_n$ = (G,${\sigma}$) as a symmetric n-sigraph $\mathcal{R}\mathcal{L}_r$($S_n$) = ($\mathcal{R}\mathcal{L}_r(G)$, ${\sigma}$'), where $\mathcal{R}\mathcal{L}_r(G)$ is the underlying graph of $\mathcal{R}\mathcal{L}_r(S_n)$, where for any edge PQ in $\mathcal{R}\mathcal{L}_r(S_n)$, ${\sigma}^{\prime}(PQ)$=${\sigma}(P){\sigma}(Q)$. It is shown that for any symmetric n-sigraph $S_n$, its $\mathcal{R}\mathcal{L}_r(S_n)$ is i-balanced and we offer a structural characterization of super line symmetric n-sigraphs of index r. Further, we characterize symmetric n-sigraphs $S_n$ for which $\mathcal{R}\mathcal{L}_r(S_n)$~$\mathcal{L}_r(S_n)$ and $$\mathcal{R}\mathcal{L}_r(S_n){\sim_=}\mathcal{L}_r(S_n)$$, where ~ and $$\sim_=$$ denotes switching equivalence and isomorphism and $\mathcal{R}\mathcal{L}_r(S_n)$ and $\mathcal{L}_r(S_n)$ are denotes the restricted super line symmetric n-sigraph of index r and super line symmetric n-sigraph of index r of $S_n$ respectively.

Packet Output and Input Configuration in a Multicasting Session Using Network Coding

  • Marquez, Jose;Gutierrez, Ismael;Valle, Sebastian;Falco, Melanis
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.13 no.2
    • /
    • pp.686-710
    • /
    • 2019
  • This work proposes a model to solve the problem of Network Coding over a one-session multicast network. The model is based on a system of restrictions that defines the packet flows received in the sink nodes as functions of the outgoing flows from the source node. A multicast network graph is used to derive a directed labeled line graph (DLLG). The successive powers of the DLLG adjacency matrix to the convergence in the null matrix permits the construction of the jump matrix Source-Sinks. In its reduced form, this shows the dependency of the incoming flows in the sink nodes as a function of the outgoing flows in the source node. The emerging packets for each outgoing link from the source node are marked with a tag that is a linear combination of variables that corresponds to powers of two. Restrictions are built based on the dependence of the outgoing and incoming flows and the packet tags as variables. The linear independence of the incoming flows to the sink nodes is mandatory. The method is novel because the solution is independent of the Galois field size where the packet contents are defined.

Polynomial Time Solvability of Liveness Problem of Siphon Containing Circuit Nets

  • Ohta, Atsushi;Tsuji, Kohkichi
    • Proceedings of the IEEK Conference
    • /
    • 2002.07b
    • /
    • pp.971-974
    • /
    • 2002
  • Petri net is an effective modeling tool for concurrent systems. Liveness problem is one of analysis problems in Petri net theory verifying whether the system is free from any local deadlocks. It is well known that computational complexity of liveness problem of general Petri net is deterministic exponential space. Some subclasses, such as marked graph and free choice net, are suggested where liveness problem is verified in less complexity. This paper studies liveness of siphon containing circuit (SCC) net. Liveness condition based on algebraic inequalities is shown. Then polynomial time decidability of liveness of SCC net is derived, if the given net is known to be an SCC net a priori.

  • PDF

Equifield line simulation and ion migration prediction for concrete under 2-D electric field

  • Liu, Chih-Chien;Kuo, Wen-Ten;Huang, Chun-Yao
    • Computers and Concrete
    • /
    • v.12 no.4
    • /
    • pp.431-442
    • /
    • 2013
  • This study attempted to find a proper method applicable to simulating practical equifield lines of two-dimensional Accelerate Lithium Migration Technique (ALMT), and evaluate the feasibility of using the theoretical ion migration model of one-dimensional ALMT to predict the ion migration behavior of two-dimensional ALMT. The result showed that the electrolyte or carbon plate can be used as matrix to draw equifield line graph similar to that by using mortar as matrix. Using electrolyte electrode module for simulation has advantages of simple production, easy measurement, rapidness, and economy. The electrolyte module can be used to simulate the equifield line distribution diagram in practical two-dimensional electrode configuration firstly. Then, several equifield line zones were marked, and several subzones under one-dimensional ALMT were separated from various equifield line zones. The theoretical free content distribution of alkali in concrete under two-dimensional electric field effect could be obtained from duration analysis.

Analysis on the Change of Niche Overlap of Elementary School Students' Photosynthesis Concepts through Instruction (초등학교 학생들의 수업 전후 광합성 관련 개념의 지위 중복 변화 분석)

  • Lim, Soo-Min;Kim, Young-Lan;Shin, Ae-Kyung;Kim, Youngshin
    • Journal of Korean Elementary Science Education
    • /
    • v.34 no.1
    • /
    • pp.72-85
    • /
    • 2015
  • Conception in learner's cognitive structure has a niche as species in ecosystems. The purpose of this study is to analyze the change of niche overlap of photosynthesis concept through instruction. The photosynthesis concepts were selected from literature review. Selected concepts were in 4 areas: Location of photosynthesis, reactants, products, and environmental factors. The subjects consisted 304 elementary students. The respondent marked the relevance between the presented concepts and each area on a scale of 1~30 points. The analysis of niche overlap in concepts was performed by changing in niche overlap graph, niche space size, and overlap index before and after instruction. The results are as follows. First, on the whole understanding level and relevance of the scientific concepts was increased through instruction as a result of learning. Second, elementary school students cognitive concepts in the form of chunking concepts through classification process. Based on the results, this study has the following suggestion. Students' conceptual ecologies and niche analyzed by this study will be used as material for development of instruction strategy.

Noninvasive Estimation of Moxibustion Effect on Peripheral Blood Flow by Doppler Ultrasound in Stroke Patients with Hemiplegia: Case Series (뜸치료가 뇌졸중 편마비의 요골동맥 혈류변화에 대해 미치는 영향)

  • Yoon, Seung-Kyou;Lee, Sang-Hoon;Jung, Woo-Sang;Bae, Young-Min
    • The Journal of Korean Medicine
    • /
    • v.31 no.4
    • /
    • pp.178-186
    • /
    • 2010
  • Objectives: This study was to investigate the effect of moxibustion on peripheral blood flow by Doppler ultrasound in post-stroke hemiplegia patients. Methods: Moxibustion was applied on the points of LI4, TE3, TE5 and LI11 on the affected side, and blood flow of the radial artery was measured using the Minimax-Doppler-K device. Blood flow velocity and pulsation index were analyzed before, during, and after moxibustion. Results: The mean value of blood flow velocity in 13 patients showed a tendency of increase during moxibustion, but there was no significant difference in blood flow velocity before and after moxibustion, or pulsation index during and after moxibustion. In addition, among the five patients who showed marked increase tendency on the blood velocity graph, there was significant increase in blood velocity during, and after moxibustion compared with before moxibustion. Conclusions: This study suggests that moxibustion has an effect on peripheral blood flow in stroke patients with hemiplegia. Further validity tests with a larger scale sample are needed for the evidence of its practical use.