• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.2
• /
• pp.951-954
• /
• 2005

IMPP service has been a promising technology as Internet grows fast and the requirements are increasing. IETF standardize requirements, model and data format for IMPP service via IMPP WG and SIMPLE WG. In this paper, we analysis SIMPLE WG in IETF and design consideration of XCAP server for IMPP services based on SIP.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.1
• /
• pp.105-108
• /
• 2005

To support abruptly increasing data traffic in these days. network management is needed. And also to maintain the steady infra, there is MPLS need which can support traffic engineering. It's necessary that MPLS doesn't only manage network to support recently booming data traffic, but has capacity to support traffic engineering to keep static infrastructure. Traffic engineering, method that a large-scale user shifts traffic to the beforehand designated routes that pass through specific nodes on network, is operation that is mapping traffic flow to the physical network topology. In this paper, we supplement the defect of the traditional RSVP traffic engineering and to construct far more steady infra, we suggest the way of its development of ERSVP signaling protocol.

• Journal of KIISE:Software and Applications
• /
• v.29 no.5
• /
• pp.345-354
• /
• 2002

There have been many researches about monitoring and checking the implementations during run-time using formal requirement specification. They usually adopt temporal logics or their extensions to specify the requirements for the implementations. However, most of the systems fail to support the specification of requirements fir dynamic systems - systems whore components are created and removed during run-time. Unlike analysis or design models, most actual implementations are dynamic, so the notion of instances should be employed in the property specification language. In this paper, we show how we can monitor and check Java programs using our temporal logic for dynamic systems (HDTL). We suggest a framework in which the execution of Java programs are monitored and chocked against given HDTL requirements.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.33 no.5
• /
• pp.741-751
• /
• 2009

In order to design and develop the various silhouette of pants pattern for standardized pants patterns, this study is to classify the pants style by the silhouette and to characterize each pants pattern which are classified. Recent 37 ready-made pants patterns of various style were collected in order to analyze their silhouette from April to July 2007. Measurement of each region of the pants pattern were compared and analysed. After analyse the standard deviation, coefficient of variance, minimum, maximum, range about the measurement of each region of the pants pattern, major pattern design factors were extracted. Five major factors are the angle of center front line and center back line, the crotch extension, the position of center back line against center front line, the curvature of center back line, and amount of waist dart. As a result, pants style were grouped as the culottes, formal, basic and tight style after considering the extracted design factors, and analysing correlation, degree of dispersion of the measurement by part. As the silhouette of pants classification from culotte to tight, the fits are closer to the figure, crotch depth increases, crotch extensions are shorter, and angle of the center back increases. The shape of the connected front and back center lines is U-shape for culotte and is closer to V-shape as the silhouette becomes tight.

• Journal of the Korean Society of Safety
• /
• v.26 no.5
• /
• pp.99-104
• /
• 2011

An ILRT Interval for a nuclear power plant in Korea was extended from once in five years to once in ten years. Therefore, it is necessary to evaluate risk impact for ILRT interval extensions. In this paper, input data were generated for the reference plants, KSNP, using raw data such as meteorological data, population distribution data and source term data. And, using MACCS II code the risk impact assessment was performed based on the two methodologies of NUREG-1493 and NEI Interim Report. The risk impact derived from an ILRT interval extension was identified not to be significant. It is considered to apply this study and results to making an accident management plan and safety goal, and to the field of public acceptance.

• Journal of Computing Science and Engineering
• /
• v.1 no.2
• /
• pp.125-160
• /
• 2007

Data Warehousing and OLAP (On-Line Analytical Processing) have turned into the key technology for comprehensive data analysis. Originally developed for the needs of decision support in business, data warehouses have proven to be an adequate solution for a variety of non-business applications and domains, such as government, research, and medicine. Analytical power of the OLAP technology comes from its underlying multidimensional data model, which allows users to see data from different perspectives. However, this model displays a number of deficiencies when applied to non-conventional scenarios and analysis tasks. This paper presents an attempt to systematically summarize various extensions of the original multidimensional data model that have been proposed by researchers and practitioners in the recent years. Presented concepts are arranged into a formal classification consisting of fact types, factual and fact-dimensional relationships, and dimension types, supplied with explanatory examples from real-world usage scenarios. Both the static elements of the model, such as types of fact and dimension hierarchy schemes, and dynamic features, such as support for advanced operators and derived elements. We also propose a semantically rich graphical notation called X-DFM that extends the popular Dimensional Fact Model by refining and modifying the set of constructs as to make it coherent with the formal model. An evaluation of our framework against a set of common modeling requirements summarizes the contribution.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.12
• /
• pp.3500-3513
• /
• 1999

It is recognized that object-oriented methods and formal methods are two different main streams that will influence on the future direction of software engineering. A merging effort on these two technologies, named "a formal approach on system specifications using object-oriented methods" emerges rapidly and produces remarkable research results LOTOS is well-suited to an object-based approach. However, to provide a full object-oriented approach, we need to model generalization (i.e. inheritance and polymorphism). Most authors who have examined this topic have proposed extensions to LOTOS. As an extension of such an effort, this paper proposes a method that generates LOTOS specification from static structure diagrams in UML.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.11 no.1
• /
• pp.33-41
• /
• 2005

The construction can proceed in different ways according to the acquired profitability of the hospital during the construction and to the features of departments or areas. This study is an analysis of remodeling construction processes to resolve major tasks of remodeling. The remodeling strategies gained from this study can be summed up as follows: 1) Remodeling work in hospitals involves the acquire relocation of space through extensive area renovations and then moving back to the space, and lastly working on the empty space. Thus, it is more advantageous in terms of construction work to demolish the existing buildings than to acquire the relocation space through extensions or renovations. That is, demolition after the maximum utilization of the existing buildings is the most desirable in terms of space availability. 2) The construction methods for remodeling are two: a method of carrying out construction by dividing the plane areas into several individual ones and of working on it floor by floor. In case of ward areas, and the outpatient area, the construction proceeds after securing the relocation space and partially setting construction areas in order to minimize the decrease in profitability due to the smaller number of beds and treatment rooms during construction. If the outpatient diagnosis/ treatment area and the supply area relocate together with the ward areas, there may be extra expenses. Thus, doing construction by area, while partially operating those areas or after relocating the whole areas.

• Kyungpook Mathematical Journal
• /
• v.60 no.1
• /
• pp.73-116
• /
• 2020

The subject of fractional calculus (that is, the calculus of integrals and derivatives of any arbitrary real or complex order) has gained considerable popularity and importance during the past over four decades, due mainly to its demonstrated applications in numerous seemingly diverse and widespread fields of mathematical, physical, engineering and statistical sciences. Various operators of fractional-order derivatives as well as fractional-order integrals do indeed provide several potentially useful tools for solving differential and integral equations, and various other problems involving special functions of mathematical physics as well as their extensions and generalizations in one and more variables. The main object of this survey-cum-expository article is to present a brief elementary and introductory overview of the theory of the integral and derivative operators of fractional calculus and their applications especially in developing solutions of certain interesting families of ordinary and partial fractional "differintegral" equations. This general talk will be presented as simply as possible keeping the likelihood of non-specialist audience in mind.

• Journal of Mechanical Science and Technology
• /
• v.17 no.8
• /
• pp.1164-1170
• /
• 2003

The objectives of this work here focus on the differences in responses to multiple cyclic tests of different sections along the length of the same tendon. Tendon specimens were obtained from the hindlimbs of canines and frozen to -70$^{\circ}C$. After thawing, specimens were mounted in the immersion bath at room temperature (22$^{\circ}C$) , preloaded to 0.13 N and then subjected to 3% or 4% of the initial length at a strain rate of 5%/sec. It was found that different sections of the same long tendons had different resistances to deformation. In general, the bone end sections were stiffer and carried greater loads for a given strain than the muscle end sections, and the mid-portions were the least stiff and carried the smallest loads for a given strain. The results of this study offer new information about the mechanical responses of collagenous tissues. We know more about their responses to multiple cyclic extensions and how their responses are different from the positions along the length of the tendon specimen. The nature and causes of these differences in the stiffness are not fully known. However, it is clear that differences in the mechanical response of tendons and other connective tissues are significant to musculoskeletal performance.