• Title/Summary/Keyword: concurrent behavior

Search Result 118, Processing Time 0.023 seconds

32 Bit RISC Core modeling using SystemC

  • 최홍미;박성모
    • Proceedings of the IEEK Conference
    • /
    • 2002.06b
    • /
    • pp.325-328
    • /
    • 2002
  • In this paper, we present a SystemC model of a 32-Bit RISC core wi)ich is based on the ARMTTDMI architecture. The RISC core model was first modeled in C for architecture verification and then refined down to a level that allows concurrent behavior lot hardware timing using the SystcmC class library. It was driven in timed functional level that uses handshake protocol. It was compiled using standard C++ compiler. The functional simulation result was verified by comparing the contents of memory, the result of execution with the result from the ARMulator of ADS(Arm Developer Suite).

  • PDF

The Development and Validation of a Parenting Behavior Scale for Parents of Early School-Age Children (학령 초기 자녀의 부모용 양육행동 척도 개발 및 타당화)

  • Rhee, Sun-Hee;Doh, Hyun-Sim
    • Korean Journal of Child Studies
    • /
    • v.35 no.6
    • /
    • pp.111-133
    • /
    • 2014
  • This study was conducted in order to develop a parenting behavior scale for parents of school-age children and to analyze the scale in terms of both reliability and validity. Data were collected from a sample of mothers of $1^{st}$ to 3rd grade students in four elementary schools located in Seoul. 778 mothers were administered a parenting behavior scale with 123 items, and 779 mothers were asked to verify the validity of the developed scale in which 45 items remained after a series of analyses. Data were analyzed by means of exploratory factor analysis, confirmatory factor analysis, and correlation analysis. The results of factor analysis identified five factors, Warmth, Reasoning, Intrusiveness, Coercion, and Neglect. The Cronbach's ${\alpha}$ of each factor demonstrated results of .82~.86, suggesting that the scale had adequate internal consistency. Concurrent validity was established by using correlations between mothers' parenting behaviors and children's social competence. Moreover, cross-validation was also verified for the five factors. Considering the reliability and validity of this scale, it can clearly serve as a useful tool for assessing parenting behavior which is closely related to child development.

War Game Simulation Using Parametric Behavior Modeling Method (파라미터 행위 모델링 기법을 이용한 전쟁게임 시뮬레이션)

  • Kim, Jae-Hyun;Kim, Tag-Gon;Lee, Wan-Bok
    • The Journal of the Korea Contents Association
    • /
    • v.6 no.11
    • /
    • pp.126-134
    • /
    • 2006
  • The object oriented co-modeling methodology, previously introduced, employs a layered approach in war game models development in which an upper layer models abstract behavior of an object and a lower one models details of the object. Within the methodology military domain experts and simulation experts models an object at the upper and the lower layers, respectively in concurrent manner. This paper proposes a method of constructing a war game simulator using parametric behavior modeling technique, which provides a means for military domain experts/users to change model's detailed behavior with no knowledge on modeling semantics. The proposed simulator would support new algorithms or strategies with minimal cost and could be modified even by the users who are ignorant about modeling technique. To demonstrate the effectiveness of the proposed framework, a naval war game simulator is exemplified.

  • PDF

Experimental and Numerical Study on Complex Multi-planar Welded Tubular Joints in Umbrella-Type Space Trusses with Long Overhangs

  • Jiao, Jinfeng;Ma, Xiao;Lei, Honggang;Chen, Y. Frank
    • International journal of steel structures
    • /
    • v.18 no.5
    • /
    • pp.1525-1540
    • /
    • 2018
  • A test rig with multi-functional purposes was specifically designed and manufactured to study the behavior of multi-planar welded tubular joints subjected to multi-planar concurrent axial loading. An experimental investigation was conducted on full-scale welded tubular joints with each consisting of one chord and eight braces under monotonic loading conditions. Two pairs or four representative specimens (two specimens for each joint type) were tested, in which each pair was reinforced with two kinds of different internal stiffeners at the intersections between the chords using welded rectangular hollow steel sections (RHSSs) and the braces using rolled circular hollow steel sections (CHSSs) and welded RHSSs. The effects of different internal stiffeners at the chord-brace intersection on the load capacity of joints under concurrent multi-planar axial compression/tension are discussed. The test results of joint strengths, failure modes, and load-stress curves are presented. Finite element analyses were performed to verify the experimental results. The study results show that the two different joint types with the internal stiffeners at the chord-brace intersection under axial compression/tension significantly increase the corresponding ultimate strength to far exceed the usual design strength. The load carrying capacity of welded tubular joints decreases with a higher degree of the manufacturing imperfection in individual braces at the tubular joints. Furthermore, the interaction effect of the concurrent axial loading applied at the welded tubular joint on member stress is apparent.

Deterministic Execution Testing for Concurrent Programs based on Automata (오토마타기반의 병행 프로그램을 위한 결정적 수행 테스팅 기법)

  • Chung, In-Sang;Kim, Byeong-Man;Kim, Hyeon-Soo
    • Journal of KIISE:Software and Applications
    • /
    • v.28 no.10
    • /
    • pp.706-719
    • /
    • 2001
  • In this paper, we present a new approach to deterministic execution for testing concurrent programs. The proposed approach makes use of the notion of event independence which has been used in the partial-order method in order to resolve the state-explosion problem and constructs and automation which accepts all the sequences semantically equivalent to a given sequence. Consequently, we can allow a program to be executed according to event sequences other then the (possibly infeasible) given sequence if they have the same effects on the program's behavior. One advantage of this method is that it can be applied to situations where a program is not exactly implemented as described in the specification.

  • PDF

Analysis of Inheritance Anomaly due to Integrated of Inheritance and Concurrency (상속성과 병행성 통합에서 오는 상속 변칙 분석)

  • 오승재
    • Journal of the Korea Society of Computer and Information
    • /
    • v.6 no.4
    • /
    • pp.38-44
    • /
    • 2001
  • The integration of concurrency and object-oriented programming paradigm has been a goal of researchers for over a decade. The concurrent object-oriented programming languages used for various concurrent applications development. However, concurrency and inheritance have conflicting characteristics, thereby inhibiting their simultaneous use without heavy breakage of encapsulation. This conflicting phenomenon is known as inheritance anomalies, have been limited in applicability and have not addressed all the issues that synchronization raises. In this paper, the behavior description equation is introduced for the solution for the conflicting phenomenon, between inheritance and object-based concurrency. As a result, it can solve the several inheritance anomalies and is not necessary to redefine method. Therefor, it offers flexible concurrency model with an emphasis on the reuse of both synchronization and function code.

  • PDF

A Development of the Preschool Teacher Play Support Scale Based on the Play Practice Resources for Teachers of the 2019 Revised Nuri Curriculum (2019 개정 누리과정 놀이실행자료에 기초한 유아교사용 놀이지원 척도 개발)

  • Sung, Anna;Kim, Yeon Ha;Lee, Jiseon
    • Korean Journal of Childcare and Education
    • /
    • v.18 no.2
    • /
    • pp.19-38
    • /
    • 2022
  • Objective: The goal of this study is to develop an instrument for measuring the quality of teacher support for children's play (age 3-5) based on the Play Practice Resources for Teachers presented in the 2019 revised Nuri Curriculum. Methods: The subjects of this study were 333 early childhood educators. Exploratory and confirmatory factor analysis, as well as correlation analysis were all performed to confirm construct validity and concurrent validity. The reliability of each factor was verified using Cronbach's alpha. Results: The Preschool Teacher Play Support Scale (PTPSS) was finalized with 25 items, which included the following four sub-factors: interaction, play materials, play space, and play safety. The concurrent validity was also confirmed through significant correlations between the existing measures such as the Teacher Self-Efficacy Scale, the Teaching Efficacy Scale for Play, and the Teacher-Toddler Interaction Scale. The reliability of each factor was also desirable. Conclusion/Implications: The PTPSS was verified as a sound measure quantifying the play support behavior of teachers who respect the autonomy and initiative of young children which is being pursued by the 2019 revised Nuri Curriculum.

Relationship between Metabolic Syndrome and Cataract in a Middle-Aged Men over the Age of 40's -Based on the 5th Korean National Health and Nutrition Examination Survey- (40세 이상 중장년의 대사증후군과 백내장과의 관련성 -제5기 국민건강영양조사 자료중심으로-)

  • Hwang, Hye-Kyung;Park, Chun Man
    • The Journal of Korean Society for School & Community Health Education
    • /
    • v.16 no.2
    • /
    • pp.17-31
    • /
    • 2015
  • Objectives: This study aimed to analyze the relationship between metabolic syndrome and cataract in a middle-aged men over the age of 40's by using the data from the 5th Korean National Health and Nutrition Examination Survey(2010~2012). Methods: The subjects for the analysis were comprised of 5,808 patients who were at least 40 years or more with metabolic syndrome and cataract. The comparison between the metabolic syndrome and ophthalmic diseases according to the health demographic characteristics, health behavior and health conditions was analyzed with ${\chi}^2-test$. The complex samples logistic regression analysis was used to calculate the odds ratio of cataract according to the health demographic characteristics, health behavior and health conditions and the combination of the comprising factors of the metabolic syndrome. Results: After controlling the confounding factors, the odds ratio of cataract in the metabolic syndrome group was OR 1.30, which was significantly high (p<0.01). Furthermore, the odds ratio of cataract was significantly high in the case of males, as the age increased, educational level decreased, with exercising habits of less than 3 days a week, sun exposure of at least 5 hours, with hypertension and diabetes (p<0.01). The results of analyzing the odds ratio for the occurrence of cataract with the components of metabolic syndrome were OR 1.36 (concurrent high fasting blood glucose, high triglycerides, low HDL cholesterol), OR 1.63 (concurrent high fasting blood glucose, high triglycerides, high waist circumference) and OR 1.33 (high triglycerides, low HDL cholesterol, high waist circumference), which showed significantly high odds ratio for cataract occurrence (p<0.05). Conclusions: We come to know that the relation between metabolic syndrome and components are associate with cataract. Therefore the thorough management of metabolic syndrome and components is needed to prevent cataract.

Basemat Uplifting Effects on Seismic Response of Soil-Structure Interaction System (기초의 부분적 들림이 지반-구조물상호작용 시스템의 지진응답에 미치는 영향)

  • Joe, Yang Hee;Chang, Sung Pil
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.10 no.1
    • /
    • pp.37-45
    • /
    • 1990
  • An analytical procedure is proposed for the seismic analysis of a soil-structure interaction system with besemat uplift, including the effects of concurrent vertical seismic ground motion, nonlinear distribution of bearing soil pressure under the basemat, and 3-dimensional behavior of the system. The soil-structure interaction system is assumed to have rectangular-shaped basemat on elastic half-space. Nonlinearity of soil spring constants and soil damping coefficients induced by the base mat uplift is modeled by considering not only the reduction of contact area between soil and structure but also the effects of rigid body rotational motion of the superstructure, and the shift in the point of action of the resultant reaction on the basemat. Throught various parametric studies. it has been confirmed that the seismic responses of the superstructure reduce notably while response at the basemat increases considerably. The results also show that the effects of concurrent vertical ground motion. nonlinear soil pressure distribution under basemat, and 3-dimensional behavior of the system shall be included in uplift analysis in order to obtain the correct structural responses.

  • PDF

A Validation Study of the Behavior Rating Scale for Preschool Children based on the Yonsei Open Education Curriculum (연세 개방주의 교육과정에 기초한 유아 행동발달척도 타당화 연구)

  • Park, Kyung Ja;Chung, Young Sun;Park, Mi Hyun;Woo, Hyun Kyung;Bang, Eun Yeong;Choi, Seon Hwa
    • Korean Journal of Childcare and Education
    • /
    • v.13 no.5
    • /
    • pp.43-64
    • /
    • 2017
  • Objective: The purpose of this study was to develop and validate the Behavior Rating Scale for Preschool Children based on the Yonsei Open Education Curriculum. Methods: The subjects of the study were 145 children aged three to six attending a preschool affiliated with a university and their teachers. Teachers observed their children for at least two weeks and completed the Behavior Rating Scale for Preschool Children. The scale consisted of five areas and 44 items which was a five level rubric. Results: Results showed that age differences were significant and development trends were revealed in almost all items. Second, the mean between the upper and lower groups showed a significant difference. Third, the internal consistency reliability was .97 for all items and for the five areas ranged from .86 to .93. The inter-observers reliability was .84. Forth, the concurrent validity and content validity of the scale were relatively high. Conclusion/Implications: The Behavior Rating Scale for Preschool Children can be used as a valid and reliable instrument to assess preschool children's development.