• 대한안전경영과학회지
• /
• 제19권4호
• /
• pp.231-240
• /
• 2017

The paper explores the relationship among the personnel characters, organizational formalization and organizational commitment in Korean firms in Shandong province of China. In this paper, the employee's personnel characters include the sexual, job, college graduate, collectivism(value attitude), Power distance(value attitude). The results of anaysis shows that College gratuate have negative effects on the organizational commitment, and the collectivism have positive effection on the affective commitment, the perception of organizational formalization have positive effects on the affective commitment. And, the perception of organizational formalization have moderlate effects among the job, college gratuate, collectivism, power distance with organizational commitment. Based on the these results, the paper described the theoretical and practical implications.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.800-807
• /
• 2008

프로그래밍 언어의 구문 구조(syntax)와 메타이론을 정형화(formalization)하고 관련된 명세(specification)의 증명을 자동화(automatization)하는 과정에서 일어날 수 있는 모든 종류의 변수 묶기(variable binding)를 정형적(formal)으로 구현, 해결하는 방식을 개략적으로 소개한다. 또한 함수언어(functional language)의 기본으로 사용되는 Lambda calculus와 연계해서 POPLmark Challenge와 관련된 시도들의 공통점, 차이점 및 각각의 특성을 증명보조 툴인 Coq에서 구현된 간단한 예제들을 통해 보여준다.

• 산업경영시스템학회지
• /
• 제29권3호
• /
• pp.119-127
• /
• 2006

In this paper, we present a systematic approach to translating BPML(Business Process Modeling Language) into the ${\pi}-Calculus$. BPML is an executable business process modeling language, like BPEL4WS(Business Process Execution Language for Web Services). It is difficult to find a systematic approach to formalizing these languages; but, by formalizing them, the behavior of the processes can be analyzed and compared so that optimal processes can be designed. For this formalization, we analyzed the activity types and contexts of BPML and suggested the definitions of semantics for each type and context by using the ${\pi}-Calculus$. In addition, we have shown the usefulness of our formalization scheme in that a typical order fulfillment process represented in BPML can be translated into the ${\pi}-Calculus$.

• 한국유통학회지:유통연구
• /
• 제4권1호
• /
• pp.71-92
• /
• 1999

The basic purpose of this study is to investigate how the traits of the buyer-seller transaction-relationship relate to relationship performance, including relationship performance explicitly in the proposed model. The traits examined include relational norm, formalization, market uncertainty, and relationship investment. It is hypothesized that relational norm and formalization have positive impacts on relationships performance while market uncertainty has a minus impact. In addition, it is hypothesized that relational norm has a positive moderating impact on the effect of relationship investment--the investment and efforts for maintaining a relationship to relationship performance. A mail-survey to the manufacturers of machinery and equipment about their relationships with the parts suppliers was performed. Data provided a strong support for the hypotheses. As hypothesized, relationship performance and formalization generally had positive impacts on relationship performance and formalization generally had positive impacts on relationship performance while market uncertainty showed negative impacts. Also, there is a good evidence for the positive moderating effect of relational norm to the impact of relationship investment on relationship performance.

• 대한수학교육학회지:학교수학
• /
• 제15권4호
• /
• pp.847-866
• /
• 2013

본 연구는 평면도형의 넓이 구하기 수업에서 드러나는 학생들의 다양한 해결 방법을 분석하고, 이 다양한 방법으로부터 의미 있는 형식화가 이루어지기 위한 교수-학습 상의 시사점을 알아보고자 하였다. 수업에서 교사는 학생들이 찾은 여러 해결 방법 중 형식화를 도출하기 쉽거나 학생들이 이해하기에 용이하다고 판단되는 것을 선택하여 몇가지 방법에서 형식화 과정을 드러내려고 하였다. 해결 방법 및 형식화 과정을 분석한 결과 의미 있는 형식화가 되기 위해서는 우선 평면도형의 넓이를 구하기 위해 어떤 조건을 알아야하는지를 살펴보고 밑변, 높이, 대각선에 대한 명확한 개념의 형성과 관계 이해가 이루어져야 한다는 것을 알 수 있었다. 또한 많은 학생들이 찾은 해결 방법 중에서 변형된 도형이나 보존 방법 등이 가능하면 다양하면서도 최대한 간결한 식으로 표현이 가능한 것을 선택하여 형식화를 유도하는 것이 효율적임을 알 수 있었다. 이와 같은 연구 결과를 토대로 학생들의 다양한 해결 방법 중에서 합리성과 간결성을 고려한 형식화 과정이 의미 있게 드러나게 하기 위한 교수-학습 상의 시사점을 제시하였다.

• 정보학연구
• /
• 제4권4호
• /
• pp.1-14
• /
• 2001

과다한 물류비용은 기업의 업종이나 규모에 관계없이 우리나라의 모든 기업들이 겪고 있는 대표적인 애로 요인의 하나로 지적되고 있다. 또한 세계화의 진전과 시장개방화의 가속화와 함께 물류환경은 하루가 다르게 변하고 있는 실정이다. 물류정보관리에 관한 국내연구는 1990년대에 들어와서 비로소 체계적인 연구가 시작되고 있다. 그러나 지금까지의 조사연구에서는 물류 관련 변수들 간의 보다 체계적인 관계분석이 이루어지지 않았고 마케팅, 생산, 회계 등의 학문영역에서도 제한적으로 연구되어 왔다. 본 연구에서는 물류관리차원에서 구조적 측면인 조직의 공식화와 실행적 측면인 정보기술의 수용이 물류성과에 미치는 주효과와 공식화와 정보기술 수용간의 상호작용을 통한 상승, 상쇄효과 및 그 정도를 실증적으로 규명하여 물류전략을 수립할 때 물류효율화를 높이기 위한 물류조직의 개편과 물류정보기술의 도입 및 활용에 관한 시사점을 제시하고자 한다.

• 한국경영과학회지
• /
• 제17권3호
• /
• pp.79-99
• /
• 1992

The DEVS (Discrete Event system Specification) formal model for discrete event simulation is a hierarchical, modular model. Because the DEVS formal model has a mathematical structure, it provides a theoretic background of discrete event simulation model. However, the DEVS formal model is difficult to understand because of its mathematical structure. Also, since the DEVS formal model is often constructed by heuristic, subjective method of model designer from the model, a systematic model built-in methodology does not exist. In this paper, we propose the model formalization methodology from an informal model to the DEVS formal model. For this formalization methodology, we introduce formal tools for model construction based on the DEVS ( from an informal model : Event Dependency Graph (EDG) for the event analysis and State Representation Graph(SRG) for the system state analysis.

• 한국멀티미디어학회논문지
• /
• 제21권3호
• /
• pp.423-431
• /
• 2018

In this paper, we try to verify a normative module based house design procedure consisted of several sequential steps. The first step is to suggest formalization of designing so that we could clarify each phase and operation we are adopting in our design process. The second step is the clearing up the conceptual schema of traditional skills that we adopt and utilize from traditional Hanok framing techniques. The third step is to formulate adequate modular kits for the assembly of house design solutions for the schematic, conceptual and preliminary phases of designing. The fourth step is to implementing our ideas and methods to a proper computational platform such as Unity3D. The final step is to verify our symbolic descriptions of design formalization with the output of our experiments so that we have better understanding of design reasoning characteristics such as in house design.

• 디지털콘텐츠학회 논문지
• /
• 제17권3호
• /
• pp.197-202
• /
• 2016

이 논문에서는 비정형 의료이미지 정형화 및 패턴 추출을 위해, 의료기기 또는 의료전문가로부터 생성 또는 감지되는 의료이미지 저장을 위한 데이터베이스 구축한다. 이러한 비정형 이미지의 특징을 정형화된 디지털 데이터로 변환한 후 정형화된 디지털 이미지 데이터로부터 의미있는 패턴 정보를 생성한다. 이러한 경험 기술 소개를 통해 많은 연구자들은 의료이미지 데이터베이스를 보다 쉽게 접근할 수 있고 다양한 분야에서 정형화된 의료이미지를 활용할 수 있다.

• Asia pacific journal of information systems
• /
• 제9권4호
• /
• pp.1-21
• /
• 1999

This study intends to find the empirical relationship between the environmental and organizational characteristics and the strategic use of information systems(SUIS). Sixty-five firms in Korea are surveyed and analyzed to understand the impact of these characteristics on SUIS. As environmental characteristics, we select dynamism, hostility, and heterogeneity. As organizational characteristics, we select centralization, formalization, and IS maturity. The result of correlation analysis shows that formalization and information systems maturity are correlated significantly with SUIS. The result of regression analysis reveals that formalization is a major determinant to influence on SUIS of organization. Also, additional analysis shows that service industry have higher extent of SUIS than manufacturing industry.