• Journal of Navigation and Port Research
• /
• v.39 no.3
• /
• pp.141-147
• /
• 2015

On July 1 2012, the carriage requirement for ECDIS became mandatory in a phased-in manner. The system has since been widely used as a core bridge navigation system and as a replacement for paper charts with a back up arrangement. However operational anomalies have been found in the system internationally. IMO and IHO have recognised these anomalies and seek for solution. This study has been conducted on a survey of seafarers on the use of ECDIS with regard to anomalies identification, level of the seafarer satisfaction and requirements for further functional improvement. From the results, the ECDIS user focused requirements suggested on strengthening the level of navigational safety and efficiency. The efficiency of using main functions of ECDIS was positively evaluated. However, there were concerns regarding its operational safety.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.26 no.4
• /
• pp.374-380
• /
• 2015

With explosion of wireless traffic it is required to further investigate the technologies on acquiring available spectrum resources and on sharing frequency with existing users. In 3GPP, it is started to study on feasibility and functional requirement of LTE standard in order to extend cellular services offered on only licensed band to 5 GHz unlicensed band. Operating scenario on LTE in unlicensed band is focused on carrier aggregation with licensed band, and the coexistence with Wi-Fi services in 5 GHz band is concerned as a major requirement. For a single global solution framework for licensed assisted access to unlicensed spectrum, listen-before-talk(LBT) mechanism of European regulation for fair access to channel under the coexistence environments is currently examined in 3GPP. In this paper, we evaluate two types of LBT, frame based equipment and load based equipment, with considering LTE carrier aggregation feature and performances of file transferred time and throughput.

• Journal of Korean Library and Information Science Society
• /
• v.41 no.2
• /
• pp.251-272
• /
• 2010

Resource Description and Access(RDA) was published in 2008, reflecting IFLA IME ICC's International Cataloguing Principles(ICP), conceptual model for cataloging of Functional Requirement for Bibliographic Records(FRBR), and conceptual model for authority data of Functional Requirement for Authority Data(FRAD). Therefore, new tags and fields have been added to MARC21 format, and researches about the prototype have been studied to implement FRBR as envisioned by the new RDA standard. According to the innovative international cataloging environments, KCR and KORMARC must be revised to accommodate RDA description. This study was to grasp occurrence rate of work and expression element of FRBR and RDA among MARC field of Hansung University library and to analyze limitation of MARC data for RDA. Based on this limitations, cataloging rules and tags and fields of KORMARC were suggested to accommodate RDA in national cataloging environment. This study reviewed cataloging rules such like representation, main entry and rule of three, preferred title, types of content, media and carrier. This study is to suggest the consideration of KCR and KORMARC for RDA in Korea.

• Clinical and Experimental Reproductive Medicine
• /
• v.32 no.3
• /
• pp.207-216
• /
• 2005

Objective: To understand the crucial requirement for the normal early folliculogenesis, we evaluated molecular as well as physiological differences during in vitro ovarian culture. Among the important regulators for follicle development, anti-Müllerian hormone (AMH) and FSH Receptor (FSHR) have been known to be expressed in the cuboidal granulosa cells. Meanwhile, it is known that c-kit is germ cell-specific and GDF-9 is also oocyte-specific regulator. To evaluate the functional requirement for the competence of normal follicular development, we investigated the differential mRNA expression of several factors secreted from granulosa cells and oocytes between in vivo and in vitro developed ovaries. Materials and Methods: Ovaries from ICR neonates (the day of birth) were cultured for 4 days (for primordial to primary transition) or 8 days (for secondary follicle formation) in ${\alpha}$-MEM glutamax supplemented with 3 mg/ml BSA without serum or growth factors. The mRNA levels of the several factors were investigated by quantitative real-time PCR analysis. Freshly isolated 0-, 4-, and 8-day-old ovaries were used as control. Results: The mRNA of AMH and FSHR as granulosa cell factors was highly increased according to the ovarian development in both of 4- and 8-day-old control. However, the mRNA expression was not induced in both of 4- and 8-day in vitro cultured ovaries. The mRNA expression of GDF-9 known to regulate follicle growth as an oocyte factor was different between in vivo and in vitro developed ovaries. In addition, the transcript of GDF-9 was expressed in the primordial follicles of mouse ovaries. The mRNA expression of c-kit was not significantly different during the early folliculogenesis in vitro. Conclusion: This is the first report regarding endogenous AMH and FSHR expression during the early folliculogenesis in vitro. In conclusion, it will be very valuable to evaluate cuboidal granulosa cell factors as functional marker(s) for normal early folliculogenesis in vitro.

• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.860-872
• /
• 2002

Fault tree analysis is the most widely used saftly analysis technique in industry. However, the analysis is often applied manually, and there is no systematic and automated approach available to validate the analysis result. In this paper, we demonstrate that a real-time model checker UPPAAL is useful in formally specifying the required behavior of safety-critical software and to validate the accuracy of manually constructed fault trees. Functional requirements for emergency shutdown software for a nuclear power plant, named Wolsung SDS2, are used as an example. Fault trees were initially developed by a group of graduate students who possess detailed knowledge of Wolsung SDS2 and are familiar with safety analysis techniques including fault tree analysis. Functional requirements were manually translated in timed automata format accepted by UPPAAL, and the model checking was applied using property specifications to evaluate the correctness of the fault trees. Our application demonstrated that UPPAAL was able to detect subtle flaws or ambiguities present in fault trees. Therefore, we conclude that the proposed approach is useful in augmenting fault tree analysis.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.21 no.2
• /
• pp.207-214
• /
• 2015

In this paper the independence axiom, one of two principal axioms of axiomatic design theory, is applied to the leveling system development as an design criteria. After functional requirements and corresponding design parameters constitute an initial design matrix for the leveling system, sequence, which is compatible with the independence axiom, of the design parameters of the design matrix is determined and independent components of block leveling system are revealed. As a result of axiomatic design, system configuration related to the design sequence is developed. In order to verify and validate the developed block leveling system, test with real hull block leveling work in site by using total station which is used to acquire three dimensional coordinate of target point is performed. Comparison with measured data and output data from the block leveling system shows the system accuracy is under 1 mm so that the developed system is verified and validated to be used in site.

• Journal of the Korean Society for Marine Environment & Energy
• /
• v.5 no.2
• /
• pp.50-61
• /
• 2002

This paper - following 'Functional requirement of marine waste cleaning ships and organization of the fleets'[1] - describes on the preliminary conceptual design procedure for the multi-purpose marine waste cleaning system for shallow waters. The working area of this system is Yellow Sea and part of South Sea of South Korea. As the first step, we determined the functional requirements including the daily target of waste collecting. Then, the preliminary conceptual design and general arrangements were carried out. In order to evaluate the safety and efficiency of this designed system, the stability check and the computer graphic simulation were carried out. Finally, the sea trial performance test of integrated systems in Yeosoo ports was performed and the designed system was shown its validity and effectiveness.

• Journal of Astronomy and Space Sciences
• /
• v.25 no.4
• /
• pp.491-504
• /
• 2008

CSSA (Coarse Sun Sensor Assembly) is the essential sensor for satellite attitude control. CSSA measures the direction of the sun's rays and determines whether the satellite is in the ellipse. The paper shows the development process and test results of Path-finder & Qualified Model CSSA as the preceding development in order to develop the CSSA for low earth orbit satellite. We needs the definite and precision procedure and lots of experience. This paper shows that we can improve those through the development of Path-finder and Qualified Model CSSA. Therefore, we can obtain the results to meet the functional requirement.

• Journal of the Korea Convergence Society
• /
• v.8 no.10
• /
• pp.61-66
• /
• 2017

Recently, IoT technology is rapidly developing with the keyword "Anytime, Anywhere, Convenient". In addition, security problems in IoT systems are exploding and the damage is increasing as well. In this paper, we propose a method to develop IoT system safely by using internationally recognized CC evaluation in ICT by identifying the standardization and security technology development status defining IoT system security requirements. For this purpose, IoT system and service security aspects are analyzed. Based on this, it is possible to design the security functional requirements and to demonstrate the rationale of the security objective through the correspondence relation, and it is possible to design the protection profile for the IoT system. This is a sufficient basis for the development methodology to be presented in this paper because it is used as a means of referring to the set of security requirements of administrators, developers, and users.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.7 no.4
• /
• pp.143-148
• /
• 2012

The problem of common difficulties for the implemented business that imposing the Value Engineering(VE) is crucial. Because of the difference in effect of VE by how an abstract concept as function digitize. Furthermore, to improve achievement of VE,, the advancement of VE is demanded. The most of business conducting the VE is pushing this method with the purpose of cost reduction. As explaining this product, the cost occupies the desktop of F1 and the component of product 54% with the result of analyzing the coefficient of functional requirement. Then the functional cost can be confirmed. Through the result of this study, the fact that the desktop, the bluetooth, the probe occupy the most of products with satisfying the function is able to confirm. An effort for cost reduction in purchasing through adjusting a stable quality demanded for the cost reduction is needed. Also, another effort of proper price reduction by diversification of buyer business is needed also.