• Nuclear Engineering and Technology
• /
• 제51권2호
• /
• pp.463-478
• /
• 2019

The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early in the development cycle with appropriate considerations during architectural design. In this paper, we present an application of system architecture modeling for quantitative assessment of system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2011년도 추계학술대회
• /
• pp.695-716
• /
• 2011

In the future, smartphone convergences are not only based on the on/offline integration, but also with the integration between mobile communications and broadcasts. Therefore, there is a need to search for new direction of mobile device that enables variety user applications that are different from the existing size and application issue. The aim of this reserch is to improve user interface of smartphone's functional attribute. The survey results in this paper showed that the most preferable attribute of smartphone among the 8 was the wireless internet 25.3%, followed by messaging 20% and application 19.8%, which totaled to 62.5%. But the samples used were mostly limited to those aged 20 through 30. So the results are not considered as a representative preference of all smartphone users, and should be considered otherwise before materializing them to a product. Therefore, for the more liable results the further research should be conducted to gather data from a variety of users of all ages, and the functional attribute should be analysed through QFD.

• 한국식품위생안전성학회지
• /
• 제32권5호
• /
• pp.411-417
• /
• 2017

본 연구는 "축산물의 가공기준 및 성분규격"에 기준규격은 설정되어 있지 않으나, 국제 기준과의 조화를 위해 콜린의 분석법을 마련하고자 수행하였다. 조제유류에 함유된 콜린 함량 분석을 위해 IC를 이용한 분석법을 확립하고 시중에 유통 중인 제품을 대상으로 적용성을 검토하였다. 콜린 표준품을 이용하여 IC를 이용한 기기분석조건을 확립하고 시료중의 콜린을 추출하여 분석하였다. 분석법 검증은 특이성, 직선성, 검출한계 및 정량한계, 정확성, 정밀성에 대해 수행되었다. 0.5~10 mg/L의 농도범위에서 $R^2=0.999$ 이상의 우수한 직선성을 확인할 수 있었으며, LOD와 LOQ는 각각 0.14, 0.43 mg/L였다. CRM (NIST SRM 1849a) 및 표준물질 첨가법을 이용하여 정확성을 검토하였으며, CRM에서 95%, 조제분유에서 90~91%, 조제우유에서 81~98%의 회수율을 확인할 수 있었다. 정밀성을 검토한 결과 시료 채취량에 따른 반복성은 RSD값이 조제분유 0.4~2.0%, 조제우유 0.5~1.5%, 영아용조제식 0.6~1.0%, 성장기용조제식 0.8~2.7%,로 확인하였으며, 실험일자에 따른 재현성은 조제분유 3.1%, 조제우유 2.5%, 영아용조제식 4.8%, 성장기용조제식 2.7%로 확인하였다. 본 연구에서 확립된 분석법을 적용하여 조제분유 11건, 조제우유 2건, 성장기용조제분유 9건, 영아용조제식 2건, 성장기용조제식 8건 등 국내 유통 중인 조제유류 및 영아용 성장기용조제식 등 32건에 대해 적용성 검토를 실시한 결과 전체 시료에서 분석이 용이하였으며, 모두 표시기준에 적합함을 확인하였다.

• 대한한의학회지
• /
• 제36권4호
• /
• pp.35-41
• /
• 2015

Objectives: This study aimed to provide basic information for the trend of individual-authorization on functional food materials in Korea to side of Korean medicine. Methods: Approval of materials for individual-authorized functional food in Korea was analyzed from 2004 to August 2015 using database from Ministry of Food and Drug Safety (MFDS), regarding the kinds of function, materials and their functional level by year. Results: Korean functional food market has rapidly grown to 1.56 trillion Won in 2014, with about 10% of annual growth rate. In particular, the increase of individual-authorized functional food is worth of notices, in detail 313 kinds of functional materials covering 31 body functions have been approved by August 2015. 15.7% of individual-authorized functional foods have used the herbal materials. This quantitative and qualitative expansion of functional foods, especially of individual-authorized functional foods, will affect the herbal drug industry negatively. Conclusion: This study figured out the current pattern of material approval for individual-authorized functional food in Korea, which would be essential in development of strategies by Korean medicine community in order to overcome such conditions.

• Preventive Nutrition and Food Science
• /
• 제18권4호
• /
• pp.242-248
• /
• 2013

In recent years, manufacturers of animal-based foods with health claims have encountered difficulties in the labeling of their products because of a lack of regulation on defining the functionality of animal-based foods. Therefore, this study was conducted to establish the basic requirements for the development of a definition for functional animal-based foods by investigating consumer and industry awareness. Survey data were collected from 114 industry representatives and 1,100 consumers. The questions of the survey included items on production status and future production plans, functionality labeling, promotion plans, establishment of definition, the role of the government, consumer perception, and selection of products. The results show that both industry representatives and consumers believe that legislation and the provision of scientific evidence should be improved for the development of a functional animal-based foods market. The results obtained from this study will contribute to consumer trust by supplying correct information and can be utilized in the industry as basic data for the development of functional animal-based food products.

• Nuclear Engineering and Technology
• /
• 제46권3호
• /
• pp.381-386
• /
• 2014

A highly reliable safety class controller for NPPs (Nuclear Power Plants) is mandatory as even a minor malfunction can lead to disastrous consequences for people, the environment or the facility. In order to enhance the reliability of a safety class digital controller for NPPs, we employed a diversity approach, in which a PLC-type controller and a PLD-type controller are to be operated in parallel. We built and used structured testbenches based on the classes supported by UVM for functional verification of the PLD-type controller designed for NPPs. We incorporated a UVM register model into the testbenches in order to increase the controllability and the observability of the DUT(Device Under Test). With the increased testability, we could easily verify the datapaths between I/O ports and the register sets of the DUT, otherwise we had to perform black box tests for the datapaths, which is very cumbersome and time consuming. We were also able to perform constrained random verification very easily and systematically. From the study, we confirmed the various advantages of using the UVM register model in verification such as scalability, reusability and interoperability, and set some design guidelines for verification of the NPP controllers.

• 패션비즈니스
• /
• 제17권5호
• /
• pp.45-56
• /
• 2013

This study researches functional arrangements for colors of work clothes - concentrating on the arrangements of lightness - for safety protection of workers at the job sites in the mechanical industry. To conduct such study, blue color (5PB) is selected for the CAD simulations on six arrangements of brightness based on two colors. The brightness ranges are of 5PB color (between 3~7.5) which are measurable by Munsell Conversion, and arrangements on lightness consisting of one arrangement of high lightness-gap, two of medium lightness-gap, and three of low lightness-gap. To analyze the data of color values after applying arrangements of lightness and to evaluate the levels of awareness regarding arrangements, the NCS colorimetric is being applied. Color palettes are based on the NCS notations, and then marked with color triangles. After evaluation, the visibility proves to be high when the arrangements contain high lightness at the top and bottom, and the arrangements with higher lightness-gap show higher effects in safety. Since this study tends to check factors of lightness, the other color factors were limited. Therefore, in order to apply these results at the job sites, integrated applications of such results will be very useful for developing safe working clothes in the future.

• 한국의류산업학회지
• /
• 제15권3호
• /
• pp.364-370
• /
• 2013

This research helps secure the safety of snow boarders in an activity that is currently recognized as a minor specific hobby. The research goal is to develop a new board wear product with intensified safety and activity through the development of a safe and convenient snowboard wear that is wearable in ordinary life. The participants consisted of 31 snowboard club members evaluated from January 12 to January 19 at Eden-valley Ski Resort and Phoenix-park Resort in Korea. The result are as follows. First, what domestic snowboard wear consumers consider design difference and brand recognition a significant priority in choosing snowboard wear versus the functionality or safety of clothes. Second, concerning the evaluation of the developed product, they recognize the necessity of safety gear; however, they demand the convenient use of a safety gear with a fixation that can be attached and detached. A unity-type board wear was developed that enables an attachment and detachment that reflects the evaluation results. In conclusion, this research showed various market possibility of board wear into sports casual wear to be able to make it a fashion product through different design and demand of mixing it with general wear rather than functionality or activity, though board wear is a professional sports wear.

• 한국안전학회지
• /
• 제19권1호
• /
• pp.44-48
• /
• 2004

The smoke and toxic gases generated from the building fires are proved to cause human death. Therefore, the necessity and significance of smoke control have been emphasized, and lots of studies for developing improved smoke management system have been carried out. In this study, the experiments were conducted to evaluated a function and performance in newly developed smoke management system using mechanical pressurization. As a result of this experiment, the differential pressure was 40Pa${\sim}$60Pa and the air velocity through the door was 0.7m/s between safety zone and fire zone. The functional pressure control equipment which could make proper pressure and maintain differential pressure between safety zone and fire zone was developed. And it will give a lot of helps to evacuation activity for peoples in building and fire fighting.

• Safe Food
• /
• 제8권1호
• /
• pp.18-23
• /
• 2013