• Title/Summary/Keyword: Equivalence class

Search Result 78, Processing Time 0.023 seconds

Performance Analysis of Label Edge Router System in Multiprotocol Label Switching Network (멀티프로토콜 레이블 스위칭망에서의 레이블 에지 라우터 시스템의 성능 분석)

  • Lee, Jae-Sup;Ryu, Keun-Ho;Suh, Jae-Joon;Im, Jun-Mook
    • Journal of KIISE:Information Networking
    • /
    • v.28 no.4
    • /
    • pp.602-610
    • /
    • 2001
  • In the MPLS(Multiprotocol Label Switching) forwarding paradigm, once a packet is assigned to a FEC(Forwarding Equivalence Class), no further header analysis is done by subsequent routers; all forwarding is driven by the labels. This has a number of advantages over conventional network layer forwarding. The MPLS LER(Label Edge Router) is located at the boundary of MPLS domain and plays a role in connecting with the existing Internet as an ingress or an egress router. That is, the MPLS LER as an ingress router assigns a label to a packet which enters the MPLS network from the Internet by analyzing its header and forwards to a corresponding next router in MPLS domain. As an egress router, the MPLS LER turns the packets out of the MPLS network by performing the reverse operation. In this paper, we analyze the traffic performance of an MPLS LER system and estimate the IP(Internet Protocol) packet processing capacity of the system using queueing model and simulation. It is found that the maximum IP packet processing capacity of the system is estimated by 420,000 through 460,000 packets/sec.

  • PDF

Performance evaluation on characteristic length variation of $H_2O_2$/Kerosene bipropellant rocket engine (특성길이 변화에 따른 $H_2O_2$/Kerosene 이원추진제 로켓 엔진의 성능평가)

  • Jo, Sung-Kwon;Jang, Dong-Wuk;Kim, Jong-Hak;Yoon, Ho-Sung;Kwon, Se-Jin
    • Proceedings of the Korean Society of Propulsion Engineers Conference
    • /
    • 2010.11a
    • /
    • pp.55-62
    • /
    • 2010
  • In addition to the previous study for development of a 1,200 N-class bipropellant rocket engine with concentrated hydrogen peroxide, the effect of characteristic length and thrust measurement were experimentally evaluated. Tests with characteristic lengths of 0.95, 1.07, and 1.20 m were performed and $C^*$ and Isp efficiencies were increased as increasing characteristic length. The maximum $C^*$ and Isp efficiencies were 98.4% and 93.1% respectively. Based on the evaluation of the designed engine, the optimized characteristic length was proposed in using the engine adapted decomposed hydrogen peroxide and the engine performance at vacuum-level was evaluated using thrust and Isp efficiency at the designed equivalence ratio. As a result, 218.4 s at sea-level, 253.3 s at vacuum-level, and vacuum thrust of 1035.3 N can be estimated.

  • PDF

Performance Evaluation on Characteristic Length Variation of $H_2O_2$/Kerosene Bipropellant Rocket Engine (특성길이 변화에 따른 $H_2O_2$/Kerosene 이원추진제 로켓 엔진의 성능평가)

  • Jo, Sung-Kwon;Jang, Dong-Wuk;Kim, Jong-Hak;Yoon, Ho-Sung;Kwon, Se-Jin
    • Journal of the Korean Society of Propulsion Engineers
    • /
    • v.15 no.3
    • /
    • pp.1-8
    • /
    • 2011
  • In addition to the previous study for development of a 1,200 N-class bipropellant rocket engine with concentrated hydrogen peroxide, the effect of characteristic length and thrust measurement were experimentally evaluated. Tests with characteristic lengths of 0.95, 1.07, and 1.20 m were performed and $C^*$ and Isp efficiencies were increased as increasing characteristic length. The maximum $C^*$ and Isp efficiencies were 98.4% and 93.1% respectively. Based on the evaluation of the designed engine, the optimized characteristic length was proposed in using the engine adapted decomposed hydrogen peroxide and the engine performance at vacuum-level was evaluated using thrust and Isp efficiency at the designed equivalence ratio. As a result, 218.4 s at sea-level, 253.3 s at vacuum-level, and vacuum thrust of 1035.3 N can be estimated.

The Analysis of Self-Mutilation in Adolescence Based on the Theory of Mentalization: From Sukhvinder in the Novel 'Casual Vacancy'

  • Oh, Mi Ae;Park, Chanmin;Lee, Yeon Jeong;Hong, Minha;Han, Ju Hee;Oh, Soo Hyun;Park, Jun Heon;Bahn, Geon Ho
    • Journal of the Korean Academy of Child and Adolescent Psychiatry
    • /
    • v.30 no.3
    • /
    • pp.100-108
    • /
    • 2019
  • Objectives: Adolescence involves a number of developmental processes, as well as unique psychological characteristics and behaviors. An increased rate of internet and game addictions, school violence, and suicide may either represent aspects of adolescence or a psychopathological phenomenon. There is an urgent need to develop software programs that can prevent and resolve adolescent behavioral problems. We applied the mentalization theory to interpret and find solutions for problems faced by adolescent characters in literature. Methods: In Joan Rowling's novel "Casual Vacancy," Sukhvinder is a girl with problems representative of those encountered by modern adolescents; she is a victim of bullying and engages in self-mutilation. We targeted her problematic behaviors as representative of a prementalized state. Results: Born into an upper-class English family with Pakistani origins, Sukhvinder, unlike her siblings, fails her parents' expectations. Whenever she faces a psychological crisis, she regresses into the teleological mode (the most primitive pre-mentalization stage) and regains her sense of self by cutting herself. After her friend's suicide, however, she begins to communicate with her parents and moves toward mentalization. Conclusion: By analyzing Sukhvinder's behavior, we assessed patterns of attachment, empathy, and mentalization, and identified corrective approaches for problematic behaviors. We believe that the presented interpretation may serve as a foundation for the development of models for understanding adolescent deviant behaviors.

The Design and Implementation of Automata-based Testing Environments for Multi-thread Java Programs (Java 다중 스레드 프로그램을 위한 오토마타 기반 테스팅 환경의 설계 및 구현)

  • 서희석;정인상;김병만;권용래
    • Journal of KIISE:Software and Applications
    • /
    • v.29 no.12
    • /
    • pp.883-894
    • /
    • 2002
  • Classical deterministic testing controls the execution of concurrent programs based on the equivalence between specifications and programs. However, it is not directly applicable to a situation in which synchronization sequences, being valid but infeasible, are taken into account. To resolve this problem, we had proposed automata-based deterministic testing in our previous works, where a concurrent program is executed according to one of the sequences accepted by the automaton recognizing all sequences semantically equivalent to a given sequence. In this paper, we present the automata-based testing environment for Java multi-thread programs, and we design and implement "Deterministic Executor" in the testing environment. "Deterministic Executor" transforms a Java multi-thread program by applying automata-based deterministic testing, the transformed program presents testing results. "Deterministic Executor" uses "Automata Generator", which generates an equivalent automaton of a test sequence, and "Replay Controller", which controls the execution of programs according to the sequence accepted by the automaton. By illustrating automata-based testing procedures with a gas station example, we show how the proposed approach does works in a Java multi-threaded program.roach does works in a Java multi-threaded program.

Effect of Role Rotation Experience on Learning Flow, Self Leadership and Debriefing Satisfaction of Nursing Students in Simulation Learning (시뮬레이션학습에서 역할교대 경험이 간호대학생의 학습몰입, 셀프리더십 및 디브리핑 만족도에 미치는 효과)

  • Seo, Ji-Yeong;Choi, Eun-Hee;Lee, Kyung-Eun
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.18 no.7
    • /
    • pp.423-430
    • /
    • 2017
  • This study examined the effects of role rotation experience on learning flow, self leadership and debriefing satisfaction in nursing students. A non-equivalence control group quasi-experimental study was used and included as participants 203 junior nursing students at Y University. The experimental group (n=103) participated in the teaching class using a role rotation experience, while the control group (n=100) received conventional practice education. The outcome measurements were learning flow, self leadership, and debriefing satisfaction. The collected data were analyzed using a chi-test, and at-test using the SPSS WIN 21.0 program. The total score of learning flow and self leadership were similar in the two groups. On the other hand, in the case of the debriefing satisfaction (t=-2.70, p=.008), the experimental group ($4.24{\pm}0.51$) was remarkably higher than the control group ($4.03{\pm}0.60$). Although the changes regarding the learning flow and self leadership could not be identified, the debriefing satisfaction had been affected by the practice education using the role rotation experience. Therefore, to identify the effects of simulation education for further details, more research with diversified subjects and varied durations is needed.

REGULARITY OF TRANSFORMATION SEMIGROUPS DEFINED BY A PARTITION

  • Purisang, Pattama;Rakbud, Jittisak
    • Communications of the Korean Mathematical Society
    • /
    • v.31 no.2
    • /
    • pp.217-227
    • /
    • 2016
  • Let X be a nonempty set, and let $\mathfrak{F}=\{Y_i:i{\in}I\}$ be a family of nonempty subsets of X with the properties that $X={\bigcup}_{i{\in}I}Y_i$, and $Y_i{\cap}Y_j={\emptyset}$ for all $i,j{\in}I$ with $i{\neq}j$. Let ${\emptyset}{\neq}J{\subseteq}I$, and let $T^{(J)}_{\mathfrak{F}}(X)=\{{\alpha}{\in}T(X):{\forall}i{\in}I{\exists}_j{\in}J,Y_i{\alpha}{\subseteq}Y_j\}$. Then $T^{(J)}_{\mathfrak{F}}(X)$ is a subsemigroup of the semigroup $T(X,Y^{(J)})$ of functions on X having ranges contained in $Y^{(J)}$, where $Y^{(J)}:={\bigcup}_{i{\in}J}Y_i$. For each ${\alpha}{\in}T^{(J)}_{\mathfrak{F}}(X)$, let ${\chi}^{({\alpha})}:I{\rightarrow}J$ be defined by $i{\chi}^{({\alpha})}=j{\Leftrightarrow}Y_i{\alpha}{\subseteq}Y_j$. Next, we define two congruence relations ${\chi}$ and $\widetilde{\chi}$ on $T^{(J)}_{\mathfrak{F}}(X)$ as follows: $({\alpha},{\beta}){\in}{\chi}{\Leftrightarrow}{\chi}^{({\alpha})}={\chi}^{({\beta})}$ and $({\alpha},{\beta}){\in}\widetilde{\chi}{\Leftrightarrow}{\chi}^{({\alpha})}{\mid}_J={\chi}^{({\alpha})}{\mid}_J$. We begin this paper by studying the regularity of the quotient semigroups $T^{(J)}_{\mathfrak{F}}(X)/{\chi}$ and $T^{(J)}_{\mathfrak{F}}(X)/{\widetilde{\chi}}$, and the semigroup $T^{(J)}_{\mathfrak{F}}(X)$. For each ${\alpha}{\in}T_{\mathfrak{F}}(X):=T^{(I)}_{\mathfrak{F}}(X)$, we see that the equivalence class [${\alpha}$] of ${\alpha}$ under ${\chi}$ is a subsemigroup of $T_{\mathfrak{F}}(X)$ if and only if ${\chi}^{({\alpha})}$ is an idempotent element in the full transformation semigroup T(I). Let $I_{\mathfrak{F}}(X)$, $S_{\mathfrak{F}}(X)$ and $B_{\mathfrak{F}}(X)$ be the sets of functions in $T_{\mathfrak{F}}(X)$ such that ${\chi}^{({\alpha})}$ is injective, surjective and bijective respectively. We end this paper by investigating the regularity of the subsemigroups [${\alpha}$], $I_{\mathfrak{F}}(X)$, $S_{\mathfrak{F}}(X)$ and $B_{\mathfrak{F}}(X)$ of $T_{\mathfrak{F}}(X)$.

The Economic Effects of Tax Incentives for Housing Owners: An Overview and Policy Implications (주택소유자(住宅所有者)에 대한 조세감면(租稅減免)의 경제적(經濟的) 효과(效果) : 기존연구(旣存硏究)의 개관(槪觀) 및 정책시사점(政策示唆點))

  • Kim, Myong-sook
    • KDI Journal of Economic Policy
    • /
    • v.12 no.2
    • /
    • pp.135-149
    • /
    • 1990
  • Housing owners in Korea have a variety of tax advantages such as income tax exemption for the imputed rent of owner-occupied housing, exemption from the capital gains tax and deduction of the estate tax for one-house households. These tax reliefs for housing owners not only conflict with the principle of horizontal and vertical equity, but also lead to resource misallocation by distorting the housing market, and thus bring about regressive distribution effects. Particularly in the case of Korea with its imperfect capital market, these measures exacerbate the inter-class inequality of housing ownership as well as inequalities in wealth, by causing the affluent to demand needlessly large housing, while the poor and young experience difficulties in purchasing residential properties. Therefore, the Korean tax system must be altered as follows in order to disadvantage owner-occupiers, especially those owners of luxury housing. These alterations will promote housing-ownership, tax burden equity, efficiency of resource allocation, as well as the desirable distribution of income. First, income tax deductions for the rent payments of tenants are recommended. Ideally, the way of recovering the fiscal equivalence between the owner-occupiers and tenants is to levy an income tax on the former's imputed rents, and if necessary to give them tax credits. This, however, would be very difficult from a practical viewpoint, because the general public may perceive the concept of "imputed rent" as cumbersome. Computing the imputed rent also entails administrative costs, rendering quite reasonable, the continued exemption of imputed rent from taxation with the simultaneous deduction in the income tax for tenants. This would further enhance the administrative efficiency of income tax collection by easing assessment of the landlord's income. Second, a capital gains tax should be levied on the one-house household, except with the postponement of payments in the case that the seller purchases higher priced property. Exemption of the capital gains tax for the one-house household favors those who have more expensive housing, providing an incentive to the rich to hold even larger residences, and to the constructors to build more luxurious housing to meet the demand. So it is not desirable to sustain the current one-house household exemption while merely supplementing it with fastidious measures. Rather, the rule must be abolished completely with the concurrent reform of the deduction system and lowering of the tax rate, measures which the author believes will help optimize the capital gains tax incidence. Finally, discontinuation of the housing exemption for the heir is suggested. Consequent increases in the tax burden of the middle class could be mitigated by a reduction in the rate. This applies to the following specific exemptions as well, namely, for farm lands, meadows, woods, business fields-to foster horizontal equity, while denying speculation on land that leads to a loss in allocative efficiency. Moreover, imperfections in the Korean capital market have disallowed the provision of long term credit for housing seekers. Remedying these problems is essential to the promotion of greater housing ownership by the low and middle income classes. It is also certain that a government subsidy be focused on the poorest of the poor who cannot afford even to think of owning a housing.

  • PDF