• Journal of KIISE
• /
• v.44 no.9
• /
• pp.893-907
• /
• 2017

In safety-critical systems, software defects may have serious consequences. Therefore, defects should be considered during the requirements specification process, which is the first step of a software development lifecycle. Stakeholder requirements that are usually written in natural language are difficult to derived, and there may also be defects due to ambiguity and inaccuracy. To address these issues, we propose a requirement specification method using a standardized Boilerplate and a GSN Model. The Boilerplate is a semi-standard language that follows a predefined format. Due to its ability to provide a consistent representation of the requirements, boilerplate helps stakeholders avoid ambiguities about what they mean and to define the exact meaning of the requirement. Meanwhile, GSN is recognized notation to prepare a Safety Case to prove to authorities that a system is safe. It can be expressed as a functional goal, e.g., Safety Evidence, etc. The proposed study allows an analyst to easily identify a fault from the early stage of the software development lifecycle. The Boilerplate and GSN Model are designed to specify the requirements of safety critical systems and to prove safety conformity through a connection with Safety Evidence. In addition, the proposed approach is also useful to develop secure software by correcting deficiencies in the requirements found during this process.

• Management & Information Systems Review
• /
• v.28 no.4
• /
• pp.27-44
• /
• 2009

Economic value of a certain technology is of great interest and importance in a wide variety of investment circumstances. These vary from companies considering investing in R&D projects, to venture capitalists funding start-up companies. However, such valuation is extremely difficult in any case, and the cost of failure can be very high. Many techniques have been proposed to assist managers facing this issue, from traditional discounted cash flow analysis to more recent methods based on real options. In the meantime, the discounted cash flow method has limitations in applying the valuation of technology. At the same time, there have been various solutions to overcome theoretical problems of the method. Real options have been thought as a solution. However, there are another problems in using them in real world. This paper reviews the previous studies on the valuation of technology in several aspects, discusses the practicability of the various methods available, and explore the application of a hybrid model, which aims to make these rather aore the ideas more accessible to practicing managers.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.10 no.2
• /
• pp.84-93
• /
• 2011

In order to provide the real time and proper information to the pedestrian who is using the transport connection and transfer center through data collecting and processing process, the design of the test-bed (Gimpo airport)'s communication construction and the technology of the pedestrian location tracking has been researched. The design of the communication construction should make sure that it can provide believable data to the user of the transfer center. At the same time, the location tracking should also be considered, so that the require of the communication efficiency and the location tracking efficiency can be met together. In order to make the efficient location tracking technology, the problems related to the commercial technology based real time location identification will be resolved and the new approach method was proposed and be applied and analysed to the test-bed. The wireless access points can be located in the most real-world situation which has added the characteristics of the real building to the electronic map, and through the analysis of theirs location, they can be set as the mainly necessary points for the communication construction design and the location tracking and the method to locate that points has been proposed. How to set, how to apply it to the test-bed and the examination result will be introduced in this paper.

• Journal of KIISE:Computer Systems and Theory
• /
• v.33 no.7
• /
• pp.421-428
• /
• 2006

In this paper, the way of remote installation and back-up of 3-tier structure is introduced for efficient utilizing the cluster system resources distributed at several places. Recently, cluster system is constructed as the system of over hundreds nodes under complex network system mixed with public networks and private networks. Therefore, the as installation method suitable for the large scale cluster system and the remote recovery of failure nodes are important. However the previous researches which are based on 2-tier architecture may not provide the efficient cluster installation and image back-up method when the network of cluster system is composed of several private networks and public networks. In this paper, RISE (Remote Installation Service and Environment) based on the 3-tier architecture is proposed to solve this problem. In our approach, the managing node's role is divided into the global master node (GRISE) and the local master node (LRISE) to provide the efficient initial system deployment and remote failure recovery of distributed cluster system under the various network systems. Also, LRISE's availability is ensured under the complex network environments by adopting the auto-synchronization mechanism between GRISE and LRISE. In this work, a 64-node cluster system with gigabit network system is utilized for the experiment. From the experimental result, the system image with 1.86GB data can be obtained in 5 minutes and 53 seconds and the image-based installation of 64-node system can be carried out in 17 minutes and 53 seconds.

• The Research Journal of the Costume Culture
• /
• v.8 no.5
• /
• pp.648-659
• /
• 2000

Through this study I would like to examine the meaning system of the symbolized codes related with real costume figures of the abstract concept of the style of the mourning ceremonial dress in Chosun Dynasty as a variable cause of communication through non-language method by the structural analysis of coding of the ceremonial dress style and the meaning system of the codes centering on the traditional book of funeral etiquette dealing with hueneral cereony in the period. To achieve this purpose, I have used the symbolic theory of constructive concept by F. de Saussure, cultural notation theory of Roland Barthes & Umberto Eco, and structural style of costumes by Myung-Sook Han. The result of the study is as follows. 1. As Chosun Dynasty was a society in which people considered courtesy so much important and practiced the basic Confucian ideas of the three bonds and five moral disciplines in human relations, the characteristic of funeral rites in Chosun Dynasty consists in expression of the thoughts of moral ethics & relative systems and systems of clan rules, etc which was a langue determining the symbols of mourning ceremony dress because the mourning ceremony dress in the period should have the feature of a langue. The mourning ceremonial dresses in the period had five grades of the consume and the grades were determined to be classified into five levels according to the clan system of the chief mourner with sang, ha bang. And the method of the association of the mourning ceremonial dress codes had the six principles of Chinchin, Jonjon, Myoungboon, Chulip, Changyu, and Jongbok. 2. Regarding the mourning ceremonial costumes in Korean society, the meaning of funeral ceremony was expressed by the signifier and materials of the mourning costumes in the society. During the process of the funeral, the intangible feeling of condolence was the expression of mourning and the tangible mourning ceremonial dress was the signal with the lamentation meaning. Especially, characters and patterns were removed from the mourning ceremonial dresses in spite of their function of symbols and the styles of costumes were emphasized. Especially the meaning of condolences was symbolized by attachment of some small pieces of cloth on the upper garments. Hemp was mainly emphasized to be the material of the costumes and some different meanings showed according to the quality of the material hemp. The mourning ceremonial dresses were distinguished from ordinary dresses, which were emphasized because they gad some symbolic meaning of the mourning. 3. Considering the association of the synthetic relations of the costumes from the viewpoint that the mourning ceremonial dresses would be classified according to a system, the symbolization of them were avaliable by sex according to how to combine them and there were no distinction between social classes in the society.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.20 no.2
• /
• pp.165-172
• /
• 2010

In clinical data minig, choosing the optimal subset of features is such important, not only to reduce the computational complexity but also to improve the usefulness of the model constructed from the given data. Moreover the threshold values (i.e., cut-off points) of selected features are used in a clinical decision criteria of experts for differential diagnosis of diseases. In this paper, we propose a fuzzy discretization approach, which is evaluated by measuring the degree of separation of redundant attribute values in overlapping region, based on spatial distribution of data with continuous attributes. The weighted average of the redundant attribute values is then used to determine the threshold value for each feature and rough set theory is utilized to select a subset of relevant features from the overall features. To verify the validity of the proposed method, we compared experimental results, which applied to classification problem using 668 patients with a chief complaint of dyspnea, based on three discretization methods (i.e., equal-width, equal-frequency, and entropy-based) and proposed discretization method. From the experimental results, we confirm that the discretization methods with fuzzy partition give better results in two evaluation measures, average classification accuracy and G-mean, than those with hard partition.

• Archives of design research
• /
• v.18 no.3 s.61
• /
• pp.45-54
• /
• 2005

Visual messages are fundamental elements for performing communication and indicate the signs which are delivered from the communicator to the communicatee via channels, Generally, we can classify visual messages into two groups; linguistic factors which are rational and deliver abstract concepts and unlinguistic factors which are mental and can be expressed concretely. Especially, web site with receivers' low attention and concentration need images which can attract their attention to visual messages. That is, web site is a medium which allows us to feel visual and emotional experiences. We can call it a standard of sign systems which are consisted of various styles of digital texts. The main purpose of this study lies in that we'll analyze how homepage introductory page as one of the forms of digital text conduces a meaning action to the receivers and that we'll apprehend the structures of images and different types of signs via a semiotic approach and analyze the underlying meaning of the messages. In order to survey the structures of images we'll look into the attitude toward perceiving messages by using semantic differential method which has been developed mostly by Osgood and analyze the visual images by adopting sign types of Fuss. As the signification is created by combining signs, it is significant that we'll analyze the meaning of sings between the transmitters and receivers from the semiotic viewpoint and study the signification systems.

• Information Systems Review
• /
• v.24 no.1
• /
• pp.105-123
• /
• 2022

Thanks to the remarkable success of Artificial Intelligence (A.I.) techniques, a new possibility for its application on the real-world problem has begun. One of the prominent applications is the bankruptcy prediction model as it is often used as a basic knowledge base for credit scoring models in the financial industry. As a result, there has been extensive research on how to improve the prediction accuracy of the model. However, despite its impressive performance, it is difficult to implement machine learning (ML)-based models due to its intrinsic trait of obscurity, especially when the field requires or values an explanation about the result obtained by the model. The financial domain is one of the areas where explanation matters to stakeholders such as domain experts and customers. In this paper, we propose a novel approach to incorporate financial domain knowledge into local rule generation to provide explanations for the bankruptcy prediction model at instance level. The result shows the proposed method successfully selects and classifies the extracted rules based on the feasibility and information they convey to the users.

• Asia pacific journal of information systems
• /
• v.19 no.1
• /
• pp.33-62
• /
• 2009

Internet computing is a disruptive IT innovation. Semantic Web can be considered as an IT innovation because the Semantic Web technology possesses the potential to reduce information overload and enable semantic integration, using capabilities such as semantics and machine-processability. How should organizations adopt the Semantic Web? What factors affect the adoption and diffusion of Semantic Web innovation? Most studies on adoption and diffusion of innovation use empirical analysis as a quantitative research methodology in the post-implementation stage. There is criticism that the positivist requiring theoretical rigor can sacrifice relevance to practice. Rapid advances in technology require studies relevant to practice. In particular, it is realistically impossible to conduct quantitative approach for factors affecting adoption of the Semantic Web because the Semantic Web is in its infancy. However, in an early stage of introduction of the Semantic Web, it is necessary to give a model and some guidelines and for adoption and diffusion of the technology innovation to practitioners and researchers. Thus, the purpose of this study is to present a model of adoption and diffusion of the Semantic Web and to offer propositions as guidelines for successful adoption through a qualitative research method including multiple case studies and in-depth interviews. The researcher conducted interviews with 15 people based on face-to face and 2 interviews by telephone and e-mail to collect data to saturate the categories. Nine interviews including 2 telephone interviews were from nine user organizations adopting the technology innovation and the others were from three supply organizations. Semi-structured interviews were used to collect data. The interviews were recorded on digital voice recorder memory and subsequently transcribed verbatim. 196 pages of transcripts were obtained from about 12 hours interviews. Triangulation of evidence was achieved by examining each organization website and various documents, such as brochures and white papers. The researcher read the transcripts several times and underlined core words, phrases, or sentences. Then, data analysis used the procedure of open coding, in which the researcher forms initial categories of information about the phenomenon being studied by segmenting information. QSR NVivo version 8.0 was used to categorize sentences including similar concepts. 47 categories derived from interview data were grouped into 21 categories from which six factors were named. Five factors affecting adoption of the Semantic Web were identified. The first factor is demand pull including requirements for improving search and integration services of the existing systems and for creating new services. Second, environmental conduciveness, reference models, uncertainty, technology maturity, potential business value, government sponsorship programs, promising prospects for technology demand, complexity and trialability affect the adoption of the Semantic Web from the perspective of technology push. Third, absorptive capacity is an important role of the adoption. Fourth, suppler's competence includes communication with and training for users, and absorptive capacity of supply organization. Fifth, over-expectance which results in the gap between user's expectation level and perceived benefits has a negative impact on the adoption of the Semantic Web. Finally, the factor including critical mass of ontology, budget. visible effects is identified as a determinant affecting routinization and infusion. The researcher suggested a model of adoption and diffusion of the Semantic Web, representing relationships between six factors and adoption/diffusion as dependent variables. Six propositions are derived from the adoption/diffusion model to offer some guidelines to practitioners and a research model to further studies. Proposition 1 : Demand pull has an influence on the adoption of the Semantic Web. Proposition 1-1 : The stronger the degree of requirements for improving existing services, the more successfully the Semantic Web is adopted. Proposition 1-2 : The stronger the degree of requirements for new services, the more successfully the Semantic Web is adopted. Proposition 2 : Technology push has an influence on the adoption of the Semantic Web. Proposition 2-1 : From the perceptive of user organizations, the technology push forces such as environmental conduciveness, reference models, potential business value, and government sponsorship programs have a positive impact on the adoption of the Semantic Web while uncertainty and lower technology maturity have a negative impact on its adoption. Proposition 2-2 : From the perceptive of suppliers, the technology push forces such as environmental conduciveness, reference models, potential business value, government sponsorship programs, and promising prospects for technology demand have a positive impact on the adoption of the Semantic Web while uncertainty, lower technology maturity, complexity and lower trialability have a negative impact on its adoption. Proposition 3 : The absorptive capacities such as organizational formal support systems, officer's or manager's competency analyzing technology characteristics, their passion or willingness, and top management support are positively associated with successful adoption of the Semantic Web innovation from the perceptive of user organizations. Proposition 4 : Supplier's competence has a positive impact on the absorptive capacities of user organizations and technology push forces. Proposition 5 : The greater the gap of expectation between users and suppliers, the later the Semantic Web is adopted. Proposition 6 : The post-adoption activities such as budget allocation, reaching critical mass, and sharing ontology to offer sustainable services are positively associated with successful routinization and infusion of the Semantic Web innovation from the perceptive of user organizations.

• Journal of Korean Society of Steel Construction
• /
• v.24 no.3
• /
• pp.289-299
• /
• 2012

The goal of this paper is to apply the multi-step Taylor method to a space truss, a non-linear discrete dynamic system, and analyze the non-linear dynamic response and unstable behavior of the structures. The accurate solution based on an analytical approach is needed to deal with the inverse problem, or the dynamic instability of a space truss, because the governing equation has geometrical non-linearity. Therefore, the governing motion equations of the space truss were formulated by considering non-linearity, where an accurate analytical solution could be obtained using the Taylor method. To verify the accuracy of the applied method, an SDOF model was adopted, and the analysis using the Taylor method was compared with the result of the 4th order Runge-Kutta method. Moreover, the dynamic instability and buckling characteristics of the adopted model under step excitation was investigated. The result of the comparison between the two methods of analysis was well matched, and the investigation shows that the dynamic response and the attractors in the phase space can also delineate dynamic snapping under step excitation, and damping affects the displacement of the truss. The analysis shows that dynamic buckling occurs at approximately 77% and 83% of the static buckling in the undamped and damped systems, respectively.