• 한국문헌정보학회지
• /
• 제27권
• /
• pp.291-339
• /
• 1994

The purpose of this study is to find personal characteristics that affect users' cognitive characteristics of system, and to verify correlations between this users' cognitive characteristics and selection of system usage in using end -user searching systems (EUSS), For corroborative analysis of this study, preliminary model was constructed referring to Davis' Technology Acceptance Model. The model consists of exogenous variables (personal characteristics) , parameter variables (perceived usefulness, perceived ease of use), and effect variables (selection of system usage), When exogenous variables affect parameter variables, exogenous variables are independent variables and parameter variables are dependent variables. In addition, in correlation of parameter variables, which have been affected by exogenous variables, with effect variables, parameter variables are independent variables and effect variables are dependent variables, As for the research methodology, this study regards the Academic Information System connected with the Internet as EUSS, So questionnaires have been sent to researchers in universities who were conducting direct searching for the system. 229 valid responses to questionnaires have been analyzed according to Pearson Correlation Analysis and Stepwise Selection of Multiple Regression in the statistical software packages, 'SPSS PC+'. The findings and conclusions made in this study are summarized as follows; 1. Among the personal characteristics (age, disciplinary, computer literacy level, perceived usefulness of use education and training, perceived satisfaction of end-user searching, perceived satisfaction of system characteristics), all characteristics but age affect perceived usefulness and perceived ease of use. Specifically, perceived satisfaction of end user searching and perceived satisfaction of system characteristics most affect perceived usefulness and perceived ease of use respectively. 2. Perceived usefulness and perceived ease of use have a direct effect on selection of system usage in using EUSS. 3, Perceived usefulness more affect selection of system usage than perceived ease of use in using EUSS.

• 패션비즈니스
• /
• 제14권2호
• /
• pp.166-178
• /
• 2010

The purposes of this study were to investigate the impacts of interactivity, site stickiness, and switching barrier on intention to use. For this purpose, the study tested covariance structural model which set relationships among independent variable(interactivity), meditated variables(site stickiness and switching barrier), and dependent variable(intention to use). The data were collected from a sample of 239 internet shopper of college female students. The covariance structural model and research hypothesis analyzed by using SPSS 16.0 and AMOS 5.0 program. The results are as follows: First, the structural model is accepted significantly. Second, interactivity had a positive influence on site stickiness, switching barrier, and intention to use. And it was found to have a indirect effect on intention to use through site stickiness and switching barrier. Third, site stickiness had a positive influence on switching barrier. Forth, site stickiness and switching barrier had a positive impact on intention to use.

• 대한안전경영과학회지
• /
• 제23권1호
• /
• pp.49-56
• /
• 2021

The purpose of this study is to investigate the current status of firefighting seatbelt use and factors affecting the wearing seatbelt of firefighters. The seatbelt use of citizens was also studied for comparative study. Two T-tests were conducted to confirm the characteristics of firefighters' safety belts wearing firefighters. As a result, there was a statistically significant difference, on seatbelt use in general vehicles, between firefighters and citizens. And a significant difference between fire vehicles and general vehicles, on firefighters' seatbelt use, and the average was lower in fire vehicles. Factor analysis, reliability analysis, correlation analysis and multiple regression analysis were conducted to 10 influential factors affecting seatbelt use of firefighters'. And factor analysis and reliability analysis revealed two major factors (Physical factors, Learning factors). In multiple regression analysis, it was confirmed the two independent factors had a positive effect on the dependent variable, the rate of seatbelt use of firefighters'.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.322-326
• /
• 2003

In this paper, we establish a new robust $H_{\infty}$ performance condition for uncertain discrete-time systems with convex polytopic uncertainties. We express the condition as a set of linear matrix inequalities (LMIs), which are used to check stability and $H_{\infty}$ disturbance attenuation level by a parameter-dependent Lyapunov matrix. We show that the new condition provides less conservative result than the existing ones which use single Lyapunov matrix. We also show that the robust $H_{\infty}$ state feedback design problem for such uncertain discrete-time systems can be easily dealt with using the approach. The key point in this paper is to propose a kind of decoupling between the Lyapunov matrix and the system matrices in the parameter-dependent matrix inequality by introducing one new matrix variable.

• 전기학회논문지
• /
• 제56권9호
• /
• pp.1549-1555
• /
• 2007

The complexity of modern power systems often makes it impractical to model it in its entirety for electromagnetic transient studies. Therefore areas outside the immediate area of interest must be represented by some form of Frequency Dependent Network Equivalent (FDNE). The advantage of using z-domain fitting is that it can be directly implemented in a digital simulation program without any loss of accuracy. Fitting in the s-domain always requires "discretizing" a continuous system and the inherent approximations. This paper presents z-domain rational function formulation and demonstrates the use of it for the assessment of the transient response of the Lower South Island of New Zealand. Moreover by using a well publicized test system and providing complete information on the developed FDNE coefficients other researchers easily benchmark their work against this.

• 대한토목학회논문집
• /
• 제3권4호
• /
• pp.143-148
• /
• 1983

크리이프, 건조수축(乾燥收縮), 노화현상(老化現象), 온도변형등(溫度變形等) 콘크리트구조물(構造物)의 시간의존성변형(時間依存性變形)에 대한 일반적(一般的) 수치해석법(數値解析法)을 제시(提示)하였다. 크리이프는 콘크리트의 연령(年齡)과 온도변화(溫度變化)의 함수인 중량적분(重量積分)으로 표시하였는데 특수(特殊)한 형태(形態)의 크리이프함수(凾數)를 사용함으로써 효과적(効果的)인 수치해석(數値解析)이 가능(可能)하게 되었다. 수치해석예(數値解析例)를 통하여 이 방법(方法)의 정확성(正確性)을 입증하였다.

• Structural Engineering and Mechanics
• /
• 제59권6호
• /
• pp.1071-1094
• /
• 2016

We employ the so-called problem-dependent linked interpolation concept to develop two cubic 4-node quadrilateral plate finite elements with 12 external degrees of freedom that pass the constant bending patch test for arbitrary node positions of which the second element has five additional internal degrees of freedom to get polynomial completeness of the cubic form. The new elements are compared to the existing linked-interpolation quadratic and nine-node cubic elements presented by the author earlier and to the other elements from literature that use the cubic linked interpolation by testing them on several benchmark examples.

• ETRI Journal
• /
• 제28권6호
• /
• pp.697-708
• /
• 2006

Various adaptive mesh refinement techniques are often employed in numerical simulations for increasing spatial and temporal resolution beyond the limits imposed by available CPU time and memory space. Recently, an octree-based adaptive mesh structure was successfully used in fluid animation to place more grid cells efficiently in visually interesting regions of fluids. In an attempt to optimize the use of computational resources further in fluid animation, this paper extends this adaptive technique by modifying the mesh refinement scheme so that the camera's viewing properties are dynamically exploited during the simulation. Based on a simple adaptive mesh structure, we show that the new meshing strategy can save a substantial amount of computation time and memory space by using a view-dependent adaptive approach. The experimental results reveal that the proposed technique provides a good compromise between the computational effort and the simulation's fidelity, and may be used quite effectively in 3D animation production.

• Communications for Statistical Applications and Methods
• /
• 제16권4호
• /
• pp.587-594
• /
• 2009

이 논문에서는 선형회귀모형의 오차항에 대한 변화점 검정 문제를 다룬다. 고정 혹은 변동 모형의 독립 변수와 약한 종속성을 가지는 오차항을 가정하는 관계로 통상적인 중회귀모형뿐만 아니라 ARMA 등의 시계열 모형까지 본 논문에서 포괄한다고 하겠다. 오차항의 분포 변화를 검정하기 위하여 회귀모형의 잔차에 기초한 확률밀도함수 추정값을 이용한다. 적절한 가정하에서 잔차를 이용한 검정이 실제 오차를 이용한 경우와 동일한 극한 분포를 가짐을 보였다.

• 대한수학회지
• /
• 제54권5호
• /
• pp.1521-1536
• /
• 2017

This paper introduces a representation style of variable binding using dependent types when formalizing meta-theoretic properties. The style we present is a variation of the Coquand-McKinna-Pollack's locally-named representation. The main characteristic is the use of dependent families in defining expressions such as terms and formulas. In this manner, we can handle many syntactic elements, among which wellformedness, provability, soundness, and completeness are critical, in a compact manner. Another point of our paper is to investigate the roles of free variables and constants. Our idea is that fresh constants can entirely play the role of free variables in formalizing meta-theories of first-order predicate logic. In order to show the feasibility of our idea, we formalized the soundness and completeness of LJT with respect to Kripke semantics using the proof assistant Coq, where LJT is the intuitionistic first-order predicate calculus. The proof assistant Coq supports all the functionalities we need: intentional type theory, dependent types, inductive families, and simultaneous substitution.