• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.2
• /
• pp.135-149
• /
• 2000

Most of prior works on testing parallel programs have concentrated on how to guarantee the reproducibility by employing event traces exercised during executions of a program. Consequently, little work has been done to generate test cases, especially, from specifications produced from software development process. In this research work, we devise the techniques for deriving test cases automatically from the specifications written in Message Sequence Charts(MSCs) which are widely used in telecommunication areas and develop the testing environment for performing module testing of parallel programs with derived test cases. For deriving test cases from MSCs, we have to uncover the causality relations among events embedded implicitly in MSCs. For this, we devise the methods for adapting vector time stamping to MSCs, Then, valid event sequences, satisfying the causality relations, are generated and these are used as test cases. The generated test cases, written in TTCN, are translated into CHILL source codes, which interact with a target module to be tested and test the validity of behaviors of the module. Since the testing method developed in this research work extracts test cases from the MSC specifications produced front telecommunications software development process, it is not necessary to describe auxiliary specifications for testing. In audition adapting vector time stamping generates automatically the event sequences, the generated event sequences that are ones for whole system can be used for individual testing purpose.

• KIPS Transactions on Software and Data Engineering
• /
• v.3 no.10
• /
• pp.441-450
• /
• 2014

The stock market is constantly changing and sometimes the stock prices unaccountably plummet or surge. So, the stock market is recognized as a complex system and the change on the stock prices is unpredictable. Recently, many researchers try to understand the stock market as the network among individual stocks and to find a clue about the change of the stock prices from big data being created in real time from Internet. We focus on the correlation between the stock prices and the human interactions in Internet especially in the stock message boards. To uncover this correlation, we collected and investigated the articles concerning with 57 target companies, members of KOSPI200. From the analysis result, we found that there is no significant correlation between the stock prices and the article volume, but the strength of correlation between the article volume and the stock prices is relevant to the stock return. We propose a new method for recommending stock portfolio base on the result of our analysis. According to the simulated investment test using the article data from the stock message boards in 'Daum' portal site, the returns of our portfolio is about 1.55% per month, which is about 0.72% and 1.21% higher than that of the Markowitz's efficient portfolio and that of the KOSPI average respectively. Also, the case using the data from 'Naver' portal site, the stock returns of our proposed portfolio is about 0.90%, which is 0.35%, 0.40%, and 0.58% higher than those of our previous portfolio, Markowitz's efficient portfolio, and KOSPI average respectively. This study presents that collective human behavior on Internet stock message board can be much helpful to understand the stock market and the correlation between the stock price and the collective human behavior can be used to invest in stocks.

• Journal of the Korean Society of Food Science and Nutrition
• /
• v.35 no.2
• /
• pp.238-247
• /
• 2006

The purpose of this study was to evaluate school dieticians' performance of nutritional quality control, and further to establish effective and objective standards of nutritional quality control. Data for this study came from 200 school dieticians' responses in the Chungbuk area. The total quality management (TQM)-based questionnaire was structured. The questionnaire consisted of the following four fields (1) performance of nutritional quality control, (2) performance of stepwise food production to maximize nutrient preservation rate, (3) management of documents and records related to nutritional quality control, and (4) other relating matters. The items of the questionnaire were measured on a five-point Likert scale which ranged from 'strongly agree' to 'strongly disagree'. First, the analysis indicated that school dieticians performed 'least' on human resource management', 'mediocre' on nutritional quality control, and best on 'leadership'. Second, the analysis on performance of stepwise food production to maximize nutrient preservation rate showed that dieticians considerably endeavored to maximize nutrients of cooked food, but it was found out that the most of nutrient destruction can be caused by heating during cooking. Third, the result showed that the systematic use of documents and records for nutritional quality control was not sufficiently accomplished, especially in the production phase of food. In addition, the measure by the Pearson correlation coefficient indicated that there was a significant relationship between performance of nutritional quality control and performance of stepwise food production to maximize nutrient preservation rate, and between performance of nutritional quality control and management of documents and records related to nutritional quality control. Finally, the findings of this study suggest that more effort should be exerted to carefully establish TQM-based standards for the improvement of nutritionary quality.

• Journal of Distribution Research
• /
• v.15 no.5
• /
• pp.237-255
• /
• 2010

The Korean Pharmacist Law has limited the sales of medicine to pharmacies. This has caused difficulty in purchasing medicine late at night or on holidays, which has limited the range of customers' selections and accelerated customers' discomfort, accordingly. Also, the rapid progress of aging has quickly boosted medical expenses for seniors, and has served as a factor that aggravates the budget of national medical insurance. Meanwhile, advanced countries, including the USA and Japan, have allowed the sales of general medicine, of which the safety and efficacy have been tested, in general retail stores such as convenience stores or super markets from the perspective of supporting self-medication. In particular, Japan, which has a strong tendency of pursuing safety in the world, diversified sales channels for general medicine in order to control quickly rising medical expenses. As a result, Japan has achieved the effect of easing various regulations as follows in the economic and social fields. First, the increasing distribution channels of general medicine from pharmacies to general retail stores provoked a potential demand, which also expanded related markets. Second, the competition between sales channels resulted in the reduction of the price of medicine. Third, the growing sales channels of medicine have extended the options of consumers and, subsequently, the convenience in the use of consumers has increased. Fourth, the creation of a competitive environment owing to the diversification of sales channels has accelerated an effort to enhance corporate competitiveness. Fifth, the foundation of enhancing the financial soundness of medical expenses has been prepared through the formation of a self-medication environment. In 2000, the Korean population aged 65 or over exceeded 7%, and it is anticipated to be over 14% by 2018; thus, the increase of national medical expenses will be sped up. As a way of being prepared for the era of aging, we, just as other advanced countries, need to create a self-treatment environment by diversifying the sellers of general medicine, and, thus, reduce spending on personal medical expenses, enhance the financial soundness of national medical insurance, and, further, promote the welfare of consumers.

• KOREAN JOURNAL OF CROP SCIENCE
• /
• v.55 no.4
• /
• pp.339-349
• /
• 2010

The uses of the polypropylene bulk bags having the loading capacities more than 500 kg are increasing in Korea recently as a storage container for rough rice. This study was performed to obtain the basic information on the changes of temperature and relative humidity in the bulk-bag-stored high moisture rough rice during waiting for drying. At the moisture content more than 22% on wet weight basis of paddy, the bulk-bag inside temperature rose up to more than $40^{\circ}C$ and then slid down during storage. For example, in case of Hwaseongbyeo, 26.5% moisture content of rough rice (MCRR) harvested at 46 days after heading (DAH) showed $54.5^{\circ}C$ of peak temperature at 66.8 hours after bulk-bag loading, 22.5% MCRR harvested at 52 DAH exhibited $42.0^{\circ}C$ at 81.1 hours, and 19.7% MCRR harvested at 55 DAH displayed $38.9^{\circ}C$ at 119.0 hours. There were a good linear relationship between peak temperatures of bulk-bag inside and moisture contents of paddy ($r^2$=0.89 in 2005, and 0.87 in 2006), while the slope and intercept of the linear regression equation was affected by the environmental conditions such as ambient temperatures and microbial flora. The peak temperatures increased with the rate of about $2.74-3.33^{\circ}C$ per every 1% increase of moisture content at higher moisture contents of paddy than 19%. The relative humidity varied depending on bulk-bag inside temperature and rough rice moisture content, and showed the range of 94.2% to 99.9% in the central point of the bulk-bag. The results suggested that a rapid drying treatment as soon as possible was needed to produce a good quality of rice when the paddy of high moisture more than 22% on wet basis was harvested in a bulk-bag especially at high ambient temperature.

• Economic and Environmental Geology
• /
• v.49 no.2
• /
• pp.121-134
• /
• 2016

We characterize the spatial distribution of Cobalt-rich ferromanganese crusts covering the summit and slopes of a seamount in the western Pacific, using acoustic backscatter from multibeam echo sounders (MBES) and seafloor video observation. Based on multibeam bathymetric data, we identify that ~70% of the summit area of this flattopped seamount has slope gradients less than $5^{\circ}$. The histogram of the backscatter intensity data shows a bi-modal distribution, indicating significant variations in seabed hardness. On the one hand, visual inspection of the seafloor using deep-sea camera data exhibits that the steep slope areas with high backscatter are mainly covered by manganese crusts. On the other hand, the visual analyses for the summit reveal that the summit areas with relatively low backscatter are covered by sediments. The other summit areas, however, exhibit high acoustic reflectivity due to coexistence of manganese crusts and sediments. Comparison between seafloor video images and acoustic backscatter intensity suggests that the central summit has relatively flat topography and low backscatter intensity resulting from unconsolidated sediments. In addition, the rim of the summit and the slopes are of high acoustic reflectivity because of manganese crusts and/or bedrock outcrops with little sediments. Therefore, we find a strong correlation between the acoustic backscatter data acquired from sea-surface multibeam survey and the spatial distribution of sediments and manganese crusts. We propose that analyzing acoustic backscatter can be one of practical methods to select optimal minable areas of the ferromanganese crusts from seamounts for future mining.

• Cartoon and Animation Studies
• /
• s.35
• /
• pp.107-128
• /
• 2014

Cultural Content industries based on imagination and creativity are attracting attention and the animation high value-added industry is still spotlighted. Among them, Disney Studios make money through using their professional skills. There are the know-how has developed for a long time, and there are timeless strategy. This study is analyzing by fantasy elements for knowing the messages of Disney animation. Fantasy defined as genre of literature by Todorov and Jackson emphasized its social role and significance. Hume expanded the area of fantasy and Tolkein Jahoriski and Boyer classified the fantasy according to the purpose. Through the analyzing Disney animation , Disney's fantasy show the specific expression depending on the target. Disney is based on the three types of fantasy depending on the growth of the journey. The first area is composed of the main character's growth and satisfy the desire and escapism, The second is the word of antagonist who opposed to reality and break the rules of the dominant ideology. The last area is the utopia provided after hero beat the antagonist. Disney characters give the messages by using the fantasy like the transformation or alter ego. That show the subject of the main character's growth and the supporting characters as the expression of the multiple personality of main. These emphasize the hero's growth and give the fun. Also, in the subject of the otherness, the hero always destroy the evil who broke the rules of reality. In this way, the fantasy offered by Disney give the messages of sacrifice and family from true love. Disney has the support of their target audiences continue to be able to convey ideology.

• Cartoon and Animation Studies
• /
• s.49
• /
• pp.53-85
• /
• 2017

This study deals with the production system of the superhero animation that are based on DC comic books and are produced by Warner Brothers company, and tries to find out ways in order to vitalize the new window of the animation market. 28 superhero animations released from 2007 until 2017 are analyzed. Several critical points are drawn out and can be applied to the Korean animation industry. There are two categories, one is about the management of the production system, and the other is about the subcontract system. In managing the production system, there are three points: First, there are several people who play the role of either a producer or a director many times. Second, producers used to work as a group. Third, some people work not only as a producer but also as a director. In carrying out outsourcing contracts, there are six points: First, only Korean and Japanese companies participate as subcontract companies. Second, about two companies used to take part in the subcontract production in a year. Third, in case of number of people involved in production, there are more Japanese than Korean. Fourth, Japanese companies deal with some parts of the pre-production as well as the main production in . Fifth, a Japanese company has a sub-subcontract with a Korean company in one episode of . Sixth, Korean companies mostly focus on the production part of key animation. Important points that the Korean production system has to consider are also suggested under the two categories. In the production system management, there are two points. It is needed to make use of the group producer system, and it is critical to develop the story line of universe type such as DC Universe. In case of the outsourcing production system, it is essential to keep up educating 2D type of animation and, at the same time, to participate actively in the global outsourcing production. By considering these crucial points, it is expected to keep producing animation that can be used for the media window such as IPTV.

• Cartoon and Animation Studies
• /
• s.49
• /
• pp.359-382
• /
• 2017

Content is the complex of art and technology of trend, so it is important to experience different technologies for content education. Today, many non-profit organizations plan and operate numbers of programs for disabilities, low-income, and minority families to enhance the quality of life and the realization of social integration. These programs are limited to museums and galleries, not so pro-actively in progressing. Various contend education is necessary to the expansion of cultural exchange for the culturally alienated area. Naver is running an outreach program named . It is an experience-based outreach program where current cartoon / webtoon writers come directly to the school to inform students about the basic story of comics and comic techniques. However, the fact that the is not centered on the marginalized area but is centered on the Seoul Gyeonggi area, has the limitation that they can not benefit from a wide range of programs because they have a space limit of 'school', and, has a spatial limitation that the experience of the work is excluded. 'Outreach programs in marginalized areas' must be reorganized into a fluid dimension, not a fixed, single-system program. You should be able to experience and experience your work by directly using various professional equipment of comics based on your capacity and experience, local culture, religion, and society. These program participants will gain the effect of attractive and effective learning with empathy with their comic experience. Meanings of Comics content outreach program are following: First, the rich cultural archive can be used efficiently by providing various contents to existing outreach programs with the educational limitation of museums and galleries. Second, Comics contents can be enjoyed as a part of our life by understanding diversity and technology of contents. Third, because it is the program of expertise' participation, it can remodel, and restructure the severed experience in remote areas for the continuous growth and development, and furthermore, it can enhance the understanding of society.

• Korean Security Journal
• /
• no.26
• /
• pp.29-58
• /
• 2011

Since 11 September 2001, warnings of risk in the nexus of terrorism and nuclear weapons and materials which poses one of the gravest threats to the international community have continued. The purpose of this study is to analyze the aim, principles, characteristics, activities, impediments to progress and developmental recommendation of the Global Initiative to Combat Nuclear Terrorism(GICNT). In addition, it suggests implications of the GICNT for the ROK policy. International community will need a comprehensive strategy with four key elements to accomplish the GICNT: (1) securing and reducing nuclear stockpiles around the world, (2) countering terrorist nuclear plots, (3) preventing and deterring state transfers of nuclear weapons or materials to terrorists, (4) interdicting nuclear smuggling. Moreover, other steps should be taken to build the needed sense of urgency, including: (1) analysis and assessment through joint threat briefing for real nuclear threat possibility, (2) nuclear terrorism exercises, (3) fast-paced nuclear security reviews, (4) realistic testing of nuclear security performance to defeat insider or outsider threats, (5) preparing shared database of threats and incidents. As for the ROK, main concerns are transfer of North Korea's nuclear weapons, materials and technology to international terror groups and attacks on nuclear facilities and uses of nuclear devices. As the 5th nuclear country, the ROK has strengthened systems of physical protection and nuclear counterterrorism based on the international conventions. In order to comprehensive and effective prevention of nuclear terrorism, the ROK has to strengthen nuclear detection instruments and mobile radiation monitoring system in airports, ports, road networks, and national critical infrastructures. Furthermore, it has to draw up effective crisis management manual and prepare nuclear counterterrorism exercises and operational postures. The fundamental key to the prevention, detection and response to nuclear terrorism which leads to catastrophic impacts is to establish not only domestic law, institution and systems, but also strengthen international cooperation.