• Title/Summary/Keyword: Model checking

Search Result 569, Processing Time 0.03 seconds

Dynamic Value Chain Modeling of Knowledge Management (지식경영의 동태적 가치사슬 모형 구축)

  • Lee, Young-Chan
    • The Journal of Information Systems
    • /
    • v.17 no.3
    • /
    • pp.205-233
    • /
    • 2008
  • This study suggests the dynamic value chain model, that will be able to not only show changing processes to organization's significant capital by integrating an individual, implicit, and explicit knowledge which affect organizational decision making, but also distinguish the key driver for raising organizational competitive power because it makes possible to analyze sensitivity of performance along with decision making alternatives and policy changes from dynamic view by connecting knowledge management capability, knowledge management activity, and relations with organizational performance with specific strategic map. Recently, a lot of organizations show interest in measuring and evaluating their performance synthetically. In organizations taking knowledge management, they introduce effective value chain model like a dynamic balanced scorecard (DBSC), and therefore they can reflect their knowledge management condition as well as show their changes by checking performance of established vision and strategy periodically. Furthermore, they can ask for their inner members' understanding and participation by communicating with and inspiring their members with awareness that members are one of their group, present a base of benchmarking, and offer significant information for later decision making. The BSC has been a successful framework for measuring an organization's performance in various perspectives through translating an organization's vision and strategy into an interrelated set of key performance indicators and specific actions. The BSC, while having significant strengths over traditional performance measurement methods, however, has its own limitations, due to its static nature, such as overlooking two-way causation between performance indicators and neglecting the impact of delayed feedback flowing from the adoption of new strategies or policy changes. To overcome these limitations, this study employs SD, a methodology for understanding complex systems where dynamic feedback among the interrelated system components significantly impact on the system outcomes. The SD simulation model in the form of DBSC would serve as a useful strategic teaming tool for facilitating an organization's communication process through various scenario analyses as well as predicting the dynamic behavior pattern of their key performance measures over a future time frame. For the demonstration purpose, this study applied the DBSC model to Prototype of Korea manufacturing and service firm.

Implementation and Static Verification Methodology of Discrete Event Simulation Software based on the DEVS Diagram: A Practical Approach (DEVS 다이어그램 기반 이산사건 시뮬레이션 소프트웨어 구현 및 정적 검증기법: 실용적 접근방법)

  • Song, Hae Sang
    • Journal of the Korea Society for Simulation
    • /
    • v.27 no.3
    • /
    • pp.23-36
    • /
    • 2018
  • Discrete Event System Specification (DEVS) has been used for decades as it provides sound semantics for hierarchical modular specification of discrete event systems. Instead of the mathematical specification, the DEVS diagram, based on the structured DEVS formalism, has provided more intuitive and convenient representation of complex DEVS models. This paper proposes a clean room process for implementation and verification of a DEVS diagram model specification into a simulation software source code. Specifically, it underlies a sequence of transformation steps from conformance and integrity checking of a given diagram model, translation into a corresponding tabular model, and finally conversion to a simulation source code, with each step being inversely verifiable for traceability. A simple example helps developers to understand the proposed process with associated transformation methods; a case study shows that the proposed process is effective for and adaptable to practical simulation software development.

Analysis of Violent Crime Count Data Based on Bivariate Conditional Auto-Regressive Model (이변량 조건부자기회귀모형을이용한강력범죄자료분석)

  • Choi, Jung-Soon;Park, Man-Sik;Won, Yu-Bok;Kim, Hag-Yeol;Heo, Tae-Young
    • Communications for Statistical Applications and Methods
    • /
    • v.17 no.3
    • /
    • pp.413-421
    • /
    • 2010
  • In this study, we considered bivariate conditional auto-regressive model taking into account spatial association as well as correlation between the two dependent variables, which are the counts of murder and burglary. We conducted likelihood ratio test for checking over-dispersion issues prior to applying spatial poisson models. For the real application, we used the annual counts of violent crimes at 25 districts of Seoul in 2007. The statistical results are visually illustrated by geographical information system.

A Cognitive-social Model for Risk Perception of Terrorism (테러 위험지각의 인지-사회 모형)

  • Hyunju Lee ;Young-Ai Lee
    • Korean Journal of Culture and Social Issue
    • /
    • v.17 no.4
    • /
    • pp.485-503
    • /
    • 2011
  • This study was to develope a structural model for risk perception and individual response against terrorism, including several psychological factors - cognitive, social and emotional factors. In this model we measured perceived probability of terrorism, perceived seriousness of the aftermath, and perceived coping(cognitive factors), trust in authorities, in expert group and in preparedness of institutions(social factors), fear and worry(emotional factors), individual preparedness, information seeking, information analysis, and checking relational network(individual behavior responses). Major finding was that cognitive and social factors influenced on emotional factors and then emotional factors influenced on the individual responses. The perceived coping, which one of cognitive factors was linked with individual responses directly and indirectly via emotion factors. We discussed the importance of perceived coping in preparing for terrorism.

  • PDF

Development and Application of Business Model Planting & Check Framework for Starts-Up Entrepreneur (비즈니스 모델 수립 및 점검 프레임워크를 이용한 창업기업 사례 연구 (대덕R&D특구 내 IT기술기반 창업기업 적용사례 중심으로))

  • Seo, Jin-Won;Min, Kyung-Se
    • Asia-Pacific Journal of Business Venturing and Entrepreneurship
    • /
    • v.3 no.1
    • /
    • pp.73-103
    • /
    • 2008
  • Over the past few years, "business models" has surged into the management vocabulary. But, while it has become quite fashionable to discuss business models, there has been still much confusion about what are business models and how they could make. In fact, business models can serve a positive and powerful role in corporate management. While other authors have recently offered definitions of "business model", none of them appears to be generally accepted. This paper presents the absence of the generally definition of the business models, elements of business model and classify business logic. To help start-up entrepreneurs better understand, found and check business models thus, this paper propose a method of business model, understanding, founding and checking. The dissertation will present an effective business model building method which is necessary for the start-up entrepreneurs to start business. This paper consists of three parts. first is showing the previous study of business model. The second is the re-definition business model and elements based on the first and to present a new method of business model plating and checking for start-up IT (information technology) company's entrepreneurs. The last is application of the methode. This study applied the methode to a company which is located in "DAEDEOK INNOPOLIS"; this company has specialized Information technology.

  • PDF

Electrostatic discharge simulation of tunneling magnetoresistance devices (터널링 자기저항 소자의 정전기 방전 시뮬레이션)

  • Park, S.Y.;Choi, Y.B.;Jo, S.C.
    • Journal of the Korean Magnetics Society
    • /
    • v.12 no.5
    • /
    • pp.168-173
    • /
    • 2002
  • Electrostatic discharge characteristics were studied by connecting human body model (HBM) with tunneling magnetoresistance (TMR) device in this research. TMR samples were converted into electrical equivalent circuit with HBM and it was simulated utilizing PSPICE. Discharge characteristics were observed by changing the component values of the junction model in this equivalent circuit. The results show that resistance and capacitance of the TMR junction were determinative components that dominate the sensitivity of the electrostatic discharge(ESD). Reducing the resistance oi the junction area and lead line is more profitable to increase the recording density rather than increasing the capacitance to improve the endurance for ESD events. Endurance at DC state was performed by checking breakdown and failure voltages for applied DC voltage. HBM voltage that a TMR device could endure was estimated when the DC failure voltage was regarded as the HBM failure voltage.

Optimal Signal Times for Active Bus Signal Priority on Median Bus Lane Using Deterministic Delay Model (중앙버스전용차로상에서 결정적 지체모형을 이용한 능동형 버스우선신호의 최적 신호시간 산출방안)

  • Kim, Tae-Woon;Jeong, Young-Je;Kim, Young-Chan
    • The Journal of The Korea Institute of Intelligent Transport Systems
    • /
    • v.13 no.1
    • /
    • pp.15-25
    • /
    • 2014
  • Bus signal priority is a name for various techniques to speed up bus public transport services at intersections with traffic signals. In this study propose methodology to optimize signal times for Early green, Green extension out of the active bus signal priority using deterministic delay model in isolated intersection on median bus lane. Fluctuation is found in the vehicle delay and person delay in the event that using this methodology redistributed to green time and checking slack green time is correct value by sensitivity analysis. As a result of the study, car delay is increased a little and person delay is decreased. As a result of slack green time sensitivity, delay is not much in it if variation of slack green time under 30%. But this methodology effectiveness is under claimed capacity if variation of slack green time over 30%.

Design and Implementation of Tag Coupling-based Boolean Query Matching System for Ranked Search Result (태그결합을 이용한 불리언 검색에서 순위화된 검색결과를 제공하기 위한 시스템 설계 및 구현)

  • Kim, Yong;Joo, Won-Kyun
    • Journal of the Korean Society for information Management
    • /
    • v.29 no.4
    • /
    • pp.101-121
    • /
    • 2012
  • Since IR systems which adopt only Boolean IR model can not provide ranked search result, users have to conduct time-consuming checking process for huge result sets one by one. This study proposes a method to provide search results ranked by using coupling information between tags instead of index weight information in Boolean IR model. Because document queries are used instead of general user queries in the proposed method, key tags used as queries in a relevant document are extracted. A variety of groups of Boolean queries based on tag couplings are created in the process of extracting queries. Ranked search result can be extracted through the process of matching conducted with differential information among the query groups and tag significance information. To prove the usability of the proposed method, the experiment was conducted to find research trend analysis information on selected research information. Aslo, the service based on the proposed methods was provided to get user feedback for a year. The result showed high user satisfaction.

PRINCIPAL COMPONENTS BASED SUPPORT VECTOR REGRESSION MODEL FOR ON-LINE INSTRUMENT CALIBRATION MONITORING IN NPPS

  • Seo, In-Yong;Ha, Bok-Nam;Lee, Sung-Woo;Shin, Chang-Hoon;Kim, Seong-Jun
    • Nuclear Engineering and Technology
    • /
    • v.42 no.2
    • /
    • pp.219-230
    • /
    • 2010
  • In nuclear power plants (NPPs), periodic sensor calibrations are required to assure that sensors are operating correctly. By checking the sensor's operating status at every fuel outage, faulty sensors may remain undetected for periods of up to 24 months. Moreover, typically, only a few faulty sensors are found to be calibrated. For the safe operation of NPP and the reduction of unnecessary calibration, on-line instrument calibration monitoring is needed. In this study, principal component-based auto-associative support vector regression (PCSVR) using response surface methodology (RSM) is proposed for the sensor signal validation of NPPs. This paper describes the design of a PCSVR-based sensor validation system for a power generation system. RSM is employed to determine the optimal values of SVR hyperparameters and is compared to the genetic algorithm (GA). The proposed PCSVR model is confirmed with the actual plant data of Kori Nuclear Power Plant Unit 3 and is compared with the Auto-Associative support vector regression (AASVR) and the auto-associative neural network (AANN) model. The auto-sensitivity of AASVR is improved by around six times by using a PCA, resulting in good detection of sensor drift. Compared to AANN, accuracy and cross-sensitivity are better while the auto-sensitivity is almost the same. Meanwhile, the proposed RSM for the optimization of the PCSVR algorithm performs even better in terms of accuracy, auto-sensitivity, and averaged maximum error, except in averaged RMS error, and this method is much more time efficient compared to the conventional GA method.

A Stduy on the Development of XML Schemata and STEP Model for Sharing Construction Drawings Information (건설도면정보 공유를 위한 XML 스키마 개발 및 STEP 연계기술에 관한 연구)

  • Kim, In-Han;Choi, Jung-Sik;Jo, Chan-Won
    • The Journal of Society for e-Business Studies
    • /
    • v.9 no.3
    • /
    • pp.57-77
    • /
    • 2004
  • The main purpose of this study is to develop XML schemata and related STEP model for sharing construction drawings information. To achieve this purpose, the authors have developed a drawing information model based on STEP/AP202, the data searching mechanism based on STEP, and XML schemata for sharing and exchanging information between vector data and non-shape attribute information. Finally, the authors have suggested the way of sharing drawing information through linked STEP data and a XML schema using test cases of construction material information and code checking. The study shows a way of optimized managing and sharing construction information through the drawing information and external data for the whole building life-cycle, from early design stage to the construction stage.

  • PDF