• Title/Summary/Keyword: 결정성 검증

Search Result 2,383, Processing Time 0.027 seconds

Script-based Test System for Rapid Verification of Atomic Models in Discrete Event System Specification Simulation

  • Nam, Su-Man
    • Journal of the Korea Society of Computer and Information
    • /
    • v.27 no.5
    • /
    • pp.101-107
    • /
    • 2022
  • Modeling and simulation is a technique used for operational verification, performance analysis, operational optimization, and prediction of target systems. Discrete Event System Specification (DEVS) of this representative technology defines models with a strict formalism and stratifies the structures between the models. When the atomic DEVS models operate with an intention different the target system, the simulation may lead to erroneous decision-making. However, most DEVS systems have the exclusion of the model test or provision of the manual test, so developers spend a lot of time verifying the atomic models. In this paper, we propose a script-based automated test system for accurate and fast validation of atomic models in Python-based DEVS. The proposed system uses both the existing method of manual testing and the new method of the script-based testing. As Experimental results in our system, the script-based test method was executed within 24 millisecond when the script was executed 10 times consecutively. Thus, the proposed system guarantees a fast verification time of the atomic models in our script-based test and improves the reusability of the test script.

Development and Effect of Sexuality Education Group Counseling Program for Christian Young Adults (기독청년을 위한 성교육 집단상담 프로그램 개발과 효과)

  • Kim, Jeong Hwa;Kang, Yeon Jeong
    • Journal of Christian Education in Korea
    • /
    • v.64
    • /
    • pp.237-287
    • /
    • 2020
  • This study was developing group counseling program for sexual education for Christian young adults. and its effects were proven. For this purpose, this study of unmarried Christian young adults ranging 30 from the age 20~35 years old who are attending church C and S located in city of C at Kyungnam province. The subject and control group each had 15 people who separately participated in this program once a week for 120 minutes, 12 times in total. The control group did not receive any feedback after the sessions. group counseling program for sexual education was based on Crabb's biblical counseling model and McMinn's cognitive therapy. Using 12 kinds of cognitive therapy techniques. for its effects were verified. used The sexual knowledge scale standardized model of a college student set by Jeon Gyungsook, Lee Hyoyoung, Lee Seonja, The sexual attitude scale standardized model for a college student set by Ho Seonmin, The sexual decision making scale developed by Sun Mikyung. The data analysis consisted of Cronbach's α test, χ2-test, Mann-Whitney U test, Friedman test, a χ nd Wilcoxon signed-rank test. The result of this study is improve the sexual knowledge, show the conservative tendency of sexual attitudes, and prove the increase in the ability to make responsible sexual decisions of Christian young adults. Following up, this study spreads awareness of the true meaning of sexual being as illustrated from the bible and implies a beneficial program within the church that promotes a healthy life and reconciliation between self, neighbors, and God in a life according to the purpose of creation and order.

A Study on The Effect of Bargaining Power on Partnership, Information Quality, and SCM Features (기업 주도권이 파트너십과 SCM 특징에 미치는 영향에 관한 연구)

  • Chang, Hwal-Sik;Choi, Yoo-Jung
    • Management & Information Systems Review
    • /
    • v.34 no.5
    • /
    • pp.171-189
    • /
    • 2015
  • On the SCM network, there are two type of company, the one which has the powerful position in the decision process is called the leader, and the other company which reacts to the leader's decision is called the follower. This relationship structure effect on the partnership. Therefore this study suggested a research model which would explain the relationship among the bargaining power, partnership, information quality, SCM features. The 116 sets of data collected, which companies use SCM, were tested against the model using SPSS 23 and smartPLS 3.2.3. The results of this study are as follows. First, Bargaining Power had an effect on Influence, Partnership, Information Quality. Second, Influence didn't have an effect on the Partnership and Information Quality. Third, Partnership had an effect on the Information Quality and SCM Flexibility, Agility, Uncertainty Control. Forth, Information Quality had and an effect on the SCM Flexibility, Agility.

  • PDF

Architecture-Based Measuring of Software Extensibility

  • Kim, Jung-Ho;Kang, Sung-Won
    • 한국IT서비스학회:학술대회논문집
    • /
    • 2007.11a
    • /
    • pp.425-430
    • /
    • 2007
  • 시스템을 결정하는 품질 요소에는 여러 가지가 있으나 그 중에서도 유지보수성(Maintainability)이 높은 시스템을 만드는 것은 쉬운 일이 아니다. 또한 유지보수성이 높은 시스템인지 여부를 시스템 개발이 완료 전에 측정하는 것도 어려운 문제이다. 모든 품질요소가 그렇겠지만 시스템을 구성하는 소프트웨어 아키텍처 수준에서 시스템의 품질을 명확히 측정해내지 못하고 시스템 개발 이후에 측정한다면 품질 향상을 위한 시스템 수정은 생각할 수도 없는 문제가 될 것이다. 이 논문은 유지보수성 중에서도 가장 중요한 기능확장성(Extensibility), 즉 기존 시스템에서 신규 서비스를 추가하려 할 때 기존의 서비스에 영향을 미치지 않으면서 비용 및 기간을 최소화하여 새로운 기능을 추가할 수 있는 품질 속성을 소프트웨어 아키텍처 수준에서 비교하는 방법을 정의하여 제시한다. 본 논문에서는 소프트웨어 아키텍처 중에서도 기능확장성에 가장 큰 영향을 미치는 모듈 뷰를 기준으로 기능확장성을 측정할 갓이나 모듈 내부의 변경을 통한 기능확장성은 고려하지 않고 새로운 모듈의 추가로 인한 기능확장성을 고려하였다. 본 논문은 기 수립된 소프트웨어 아키텍처의 모듈 뷰가 가지는 고유한 기능확장성을 측정하는 함수를 제시하고 여기에 새로운 모듈이 추가될 매 변화한 소프트웨어 아키텍처의 기능확장 effort 함수를 제시한다. 이 두 함수를 통해 두 개의 대안 소프트웨어 아키텍처 모듈 뷰에서 어떤 것이 더 기능확장성이 있는지 판단할 수 있게 한다. 우리는 이를 검증하기 위해서 기능확장성이 좋다고 제시되고 있는 디자인 패턴(계층패턴과 Broker 패턴)을 통해 본 논문의 이론을 정립하고 그 효용성을 입증하였다. 따라서 소프트웨어 아키텍처 수준에서 기능확장성이 얼마나 가능한지 서로 비교 가능한 수치를 제시하였고 이 수치를 통해 실제 개발이 완료되기 전 시점에 시스템의 기능확장성을 명백히 측정할 수 있게 하여 시스템 기능 확장에 들어가는 많은 비용을 줄일 수 있다는 것을 보여준다.

  • PDF

Selecting Technique of Accident Sections using K-mean Method (K-평균법을 이용한 고속도로 사고분석구간 분할기법 개발)

  • Lee, Ki-Young;Chang, Myung-Soon
    • International Journal of Highway Engineering
    • /
    • v.7 no.4 s.26
    • /
    • pp.211-219
    • /
    • 2005
  • A selection of the analysis section for traffic accidents is used to analyze definitely the cause of accidents sorting similar accidents by a group and to raise the effect of improvement projects deciding the priority of accidents. In the existing method, an uniformly dividing method based on road mileages has been used, which has no consideration for similarities among accidents. Consequently, in recent, a slider-length method considering accident types rather than road mileages is widely used. In this study, using K-mean method, a non-hierarchical grouping technique used in the Cluster Analysis ai a applicatory method for the slider length method, a method classifies accidents that occurred the most nearby mileages into one group is proposed. To verify the proposed method, a comparison between the f-mean method and the dividing method at regular intervals on the data of a total of 25.6km lengths along Kyung-bu freeway in Pusan direction was made so that the K-mean method was proved to an effective method considering the similarities and adjacencies of accidents.

  • PDF

Determinants of User Perceived Value and Its Influence on the Usage of Smartphone-based Mobile Commerce : Focusing on Service Ubiquity and User Control (스마트폰 기반 모바일거래 이용의 지각된 이용자 가치와 이의 결정요인 : 서비스 편재성과 이용자 통제성을 중심으로)

  • Choi, Sujeong
    • The Journal of Society for e-Business Studies
    • /
    • v.18 no.4
    • /
    • pp.273-299
    • /
    • 2013
  • This study attempts to identify user perceived value as a major predictor of the usage of smartphone-based mobile commerce(m-commerce). More specifically, the study conceptualizes user perceived value of smartphone-based m-commerce along three dimensions, such as temporal, functional, and economic values. Moreover, this study proposes service ubiquity and user control that are uniquely defining characteristics of smartphone-based m-commerce and examines how the two variables are associated with the creation of user perceived value. Using a total of 164 data collected on users of smartphone-based mcommerce, we conducted PLS analysis to test the proposed model and hypotheses. The key findings are as follows : First, it has been found that the usage of smartphone-based m-commerce is determined by the three values, such as temporal, functional, and economic values. Particularly, the results show that temporal value is the most influential variable in predicting m-commerce use. Second, the results demonstrate that service ubiquity has a significant positive effect on temporal value, whereas it has no effect on functional value. Finally, user control is positively associated with temporal and functional values. Overall, the results indicate that service ubiquity and user control considerably increase temporal value, thereby accelerating the use of smartphone-based m-commerce. Discussions and implications of the results are provided.

AHP-based Technology Start-ups Factors Analysis System (AHP에 기반을 둔 기술창업 요인 분석 시스템)

  • Joun, Hyang-Soon;Lee, Sang-Yong
    • Journal of Digital Convergence
    • /
    • v.13 no.4
    • /
    • pp.311-317
    • /
    • 2015
  • It is important to analyze and offer specialized start-ups effect factors for collegians in order to systematically and successfully support technology-centered start-ups of collegians, whose social experience is insufficient. However, consistently changing start ups environmental analysis is difficult, which can be a problem, because technology-centered start-ups factor analysis is carried out depending on statistical package. This paper proposes an ATSA system that demonstrates effect factors on technology-centered start-ups decision making as a hierarchial structure by using AHP, inputs the effect factors to judgment matrix after pre-processing, calculates standardized values and weights, verifies consistency, and draws priorities through weights integration. It was confirmed that the ATSA system can efficiently support decision making for technology-centered start-ups by quantitatively analyzing qualitative factors through experiments by applying multi-criteria decision making to the analyses of start-ups founders' internal and external factors and various start-ups environments.

Determination of Steel-Concrete Interface Parameters : Bonded and Unbonded Slip Tests (강-콘크리트 계면의 계면상수 결정 : 부착 및 비부착 슬립실험)

  • Lee, Ta;Joo, Young-Tae;Lee, Yong-Hak
    • Journal of the Korea Concrete Institute
    • /
    • v.21 no.6
    • /
    • pp.773-780
    • /
    • 2009
  • Experiments on steel-concrete interface are performed to investigate and determine the mechanical roles and properties of interface parameters. The intrinsic different nature of bonded and unbonded interfaces are addressed based on the experimental observations that were obtained from two types of tests considering bonded and unbonded interfaces. The unbonded tests are performed for the specimens that are in unbonded when the initially bonded specimens are tested first. Four cases of lateral confinements including pure slip, and low and medium levels of lateral pressure are taken into account to investigate the effects of lateral confinements on interface behavior. It is shown that the maximum shear strengths, the levels of residual strengths and the Mode II fracture energy release rates are linearly related to the confinement levels. Based on the experimental evidences obtained from this study, the values of interface parameters required in a steel-concrete interface constitutive model will be presented in the companion paper.

Mediating Effect of Self-Leadership and Career Decision-Making Self-Efficacy on the Relation between Critical Thinking Disposition and Career Preparation Behavior in Nursing Students (간호대학생의 비판적 사고성향과 진로준비행동 간의 관계에서 셀프리더십과 진로결정 자기효능감의 매개효과)

  • Moon, Ji-Young
    • The Journal of the Korea Contents Association
    • /
    • v.19 no.11
    • /
    • pp.462-473
    • /
    • 2019
  • This study examined the evidence on how self-leadership and career decision-making self-efficacy scale can produce a mediating effect on the relation between critical thinking disposition and career preparation behavior of nursing students. The subjects were college students majoring in nursing in Gwangju. The data collected was for 263 such students. It was analyzed with SPSS 23.0 for windows. To examine the mediating effect, the study used Sobel. The findings were as follows. First, critical thinking disposition positively influences career preparation behavior of nursing students. Secondly, self-leadership and career decision-making self-efficacy show a complete mediating effect on the relation between critical thinking disposition and career preparation behavior in nursing students. These findings suggest that in order to promote career preparation behavior of nursing students, educational programs should improve subjects on critical thinking disposition. It also suggests self-leadership and career decision self-efficacy should be provided in nursing education field.

A Performance Improvement on Navigation Applying Measurement Estimation in Urban Weak Signal Environment (도심에서의 측정치 추정을 적용한 항법성능 향상 연구)

  • Park, Sul Gee;Cho, Deuk Jae
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.18 no.11
    • /
    • pp.2745-2752
    • /
    • 2014
  • In recent years, Transport Demand Management has been conducted for the efficient management of transport. In ITS applications in particular, the prerequisite is accurate and reliable positioning. However, the major problems are satellite signal outage, and multipath. This paper proposes that outage and multipath measurement can be detected and estimated using elevation angle and signal to noise ratio data association relation in stand-alone GPS. In order to verify the performance of the proposed method, it is then evaluated by the car test. the evaluation test environment has low accuracy and unreliable positioning because of signal outage or multipath such as steep hill and high buildings. In the evaluation test result, 918times abnormal signal occurred and it was confirmed that the proposed method showed more improved 9.48m(RMS) horizontal positioning error than without proposed method.