• Journal of Internet Computing and Services
• /
• v.8 no.3
• /
• pp.75-83
• /
• 2007

Multithreaded model is an effective parallel system in that it can reduce the long memory reference latency time and solve the synchronization problems. When compiling the non-strict functional programs for the multithreaded parallel machine, the most important thing is to find an set of sequentially executable instructions and to partitions them into threads. The existing partitioning algorithm partitions the condition of conditional expression, true expression and false expression into the basic blocks and apply local partitioning to these basic blocks. We can do the better partitioning if we modify the definition of the thread and allow the branching within the thread. The branching within the thread do not reduce the parallelism, do not increase the number of synchronization and do not violate the basic rule of the thread partitioning. On the contrary, it can lengthen the thread and reduce the number of synchronization. In the paper, we enhance the method of the partition of threads by combining the three basic blocks into one of two blocks.

• Journal of Korean Academy of Nursing Administration
• /
• v.23 no.2
• /
• pp.181-190
• /
• 2017

Purpose: This study was done to clarify the concept analysis of positive psychological capital. Methods: Walker and Avant's concept analysis process was used in this study. CINAHL, ProQuest, Web of science, NDSL, RISS databases from 2004 to 2016 were searched using the keywords 'Positive psychological capital' and 'PsyCap'. Sixty-one relevant articles and three book were finally selected. Results: Analysis of identified literature indicated that positive psychological capital attributes were developable potential, positive cognition, expression of emotion, multiple psychological capability, and resources with positive effect. The antecedents were goal achievement, training, leader's motivation, and supportive organizational environment. The consequences were overall wellbeing which is composed of individual's physical, psychological and social wellbeing and enhancement of work outcome. Conclusion: The findings in this study provide a definition of the concept of positive psychological capital and theoretical evidence for the future research for nurses including program development.

• Korean Institute of Interior Design Journal
• /
• no.41
• /
• pp.55-62
• /
• 2003

The purpose of this these is to study on the environmental design brand for the vitality of corporate image. To achieve the purpose of this study, the methods and contents are as follows: 1. Conforming the concept of the corporate environmental design brand. For that explaining the definition and the tradition of brand and the meaning of corporate identity and corporate environmental design system. 2. Explaining the factors of the corporate environmental design. For that 1) explaining the expression of the corporate identity 2) Explaining the expressive factors of the corporate identity. For that, studying the style and the theme. 3. Studying the cases of the corporate environmental design brand. By these methods and contents, we will study environmental design brand for the vitality of corporate image.

• Journal of the Korean Society of Costume
• /
• v.51 no.1
• /
• pp.105-117
• /
• 2001

The purpose of this study is to reveal the existence of censorship in our country which was one of the method of wielding authority on bodies. For the purpose, the definition of censorship was studied through the concept of ′Symbolic Violence′ from Bourdieu and ′Panopticon′ from Foucault. A censorship can be defined as "all kinds of structural, systemical and psychological control mechanism on specific expression in our society". And follows historical consideration on censorship system from 1920′s to now in our country. The main subject consideration on censorship system from 1920′s to now in our country. The main subject consists of censorship system from 1920′s to now in our country. The main subject consists of censorships on midlle and high school uniforms and that of broadcasting deliberation about entertainer′s costumes.

• Journal of Educational Research in Mathematics
• /
• v.12 no.2
• /
• pp.229-246
• /
• 2002

In this paper, we start with the question "what is algebraic thinking\ulcorner". The problem is that the algebraic thinking is not exactly defined. We consider algebraic thinking from the various perspectives. But in the discussion relating to the definition of algebraic thinking, we verify that there is the algebraic notations in the core of algebraic thinking. So we device algebraic notations into the six categories, and investigate these examples from the school mathematics. In order to investigate this relation of algebraic thinking and algebraic notations, we present 'the algebraic thinking process analysis model' from Frege' idea. In this model, there are three components of algebraic notations which interplays; sense, expression, denotapion. Thus many difficulties of algebraic thinking can be explained by this model. We suppose that the difficulty in the algebraic thinking may be caused by the discord of these three components. And through the transformation of conceptual frame, we can explain the dynamics of algebraic thinking. Also, we present examples which show these difficulties and dynamics of algebraic thinking. As a result of these analysis, we conclude that algebraic thinking can be explained through the semiotic aspects of algebraic notations.

• Journal of the Architectural Institute of Korea Structure & Construction
• /
• v.34 no.6
• /
• pp.11-18
• /
• 2018

Isogeometric concept is introduced to find out the optimum layout of plane structure under free vibration. Eigenvalue problem is formulated and numerically solved in order to obtain natural frequencies and mode shapes of plane structures. For the exact geometric expression of the structure, the Non-Uniform Rational B-spline Surface (NURBS) basis functions is employed and it is also used to define the material density functions. A node-wise design variables is adopted to deal with the updating of material density in topology optimization (TO). The definition of modal strain energy is employed to achieve the maximization of fundamental frequency through its minimization. The verification of the proposed TO technique is performed by a series of benchmark test for plane structures.

• Steel and Composite Structures
• /
• v.42 no.4
• /
• pp.477-487
• /
• 2022

The shear stiffness of headed-stud shear connectors has no unified definition due to the nonlinear characteristics of its load-slip relationship. A unified framework was firstly adopted to develop a general expression of shear load-slip equation for headed-stud shear connectors varying in a large parameter range based on both force and energy balance. The pre- and post-yield shear stiffness were then determined through bilinear idealization of proposed shear load-slip equation. An updated and carefully selected push-out test database of 157 stud shear connectors, conducting on studs 13~30mm in diameter and on concretes 30~180 MPa in cubic compressive strength, was used for model regression and sensitivity analysis of shear stiffness. An empirical calculation model was also established for the stud shear stiffness. Compared with the previous models through statistical analysis, the proposed model demonstrates a better performance to predict the shear load-slip response and stiffness of the stud shear connectors.

• Proceedings of the KIEE Conference
• /
• 1996.11a
• /
• pp.49-51
• /
• 1996

The z-transform method is a basic mathematical tool in analyzing and designing sampled-data control systems. However, since the z-transform method relates only the sampling-instants signals, another mathematical tool is necessary to describe the continous signals between the sampling instants. For this purpose the delayed and the modi fled z-transform methods were developed. The definition of the modi fled z-transform includes a sample in the interval [-T,0] of the original signal in its series expression, where the signal value is always zero for any physical system. From this reason one step skew of the time index always appears in its application formulas. This introduces an unnecessary operation and a gap in linking the mathematical formula and its physical interpretation. Considering the conceptual difficulty and application inconvenience, a method of using the advanced z-transform in analysis of sampled-data control systems is developed as a replacement of the modi fled z-transform. With one formulation of the advanced z-transform, now it is possible to relate both the signals of the sampling instants and those in between without any complication and conceptual difficulty.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.17 no.9
• /
• pp.2286-2293
• /
• 1993

The study presents the development of a cost-effective CAD/CAM system for metal moulds by use of personal computer. In the personal CAD/CAM system named DKSYS, metal moulds are defined by the operations of basic elements such as prism, pyramid and sphere, plane, rotational body, and surface elements including curved surface. The internal expression of shape elements in the computer is based on the wire model, which is a set of cross-sectional curves of the shape elements. With the addition of OMS system to CAD/CAM system the optimum cutting condition can be selected automatically. After programming NC information with the form definition and the optimum cutting condition, the metallic mould can be formed by transferring cutting information to CNC machine through DNC system. Using a computer for the above process, it is possible to increase the productivity and reduce the cost.

• ETRI Journal
• /
• v.20 no.1
• /
• pp.96-112
• /
• 1998

The patentability of computer program has been discussed because of its deviation from the traditional definition of a patent. The relativities of computer programs to hardware are classified to measure the relative patentability of computer programs in this paper. It can be seen through the patentability analysis that the change in patentability basically follows an exponent part of the function is a damping factor that determines a patentability degree or trend. The basic patentability of computer programs is revealed when the damping factor value is 1, and a statistical patent specification, an appropriate expression of applicability and substantiality of computer programs is needed to acquire a patent right.