• 트랜스-
• /
• 제14권
• /
• pp.65-92
• /
• 2023

The knowledge of the narrative agent not only constitutes the content and meaning of the narrative itself, but is also closely related to the emotional response of the recipient. Also, the disparity of knowledge between narrative agents is an important factor in making a narrative richer and more interesting. But It tends to be treated as a sub-topic of narration theory or genre/style studies rather than an independent subject of narrative studies or criticism. In this paper, I propose a model that can systematically and quantitatively analyze the knowledge of narrative agents. The proposed model consists of the knowledge structure that represents a narrative, the knowledge state that expresses the knowledge of narrative agent as a degree of belief, and the knowledge flow that means changes in the knowledge state according to the development of events. In addition, the formal notation of the knowledge structure and a probabilistic inference model that could obtain the state of knowledge were proposed, and the knowledge structure and knowledge flow were analyzed by applying the model to the actual narrative. It is expected that the proposed model will be of practical help in the creation and evaluation of narratives.

• 국제학술발표논문집
• /
• The 6th International Conference on Construction Engineering and Project Management
• /
• pp.660-661
• /
• 2015

Building Information Modeling (BIM) is a nascent technology in Korea, and currently lacks formal guidelines to assist Architectural and Engineering (AE) firms in estimating BIM service fees, while also allowing government agencies to allocate budgets for the rendered BIM services. This research provides a method to estimate costs for BIM services based on the cost-plus pricing framework. The approach requires a generalized estimate of the man hour per floor area data to calculate the direct labor costs. Man-hour data were collected from forty five projects that have implemented BIM. Interpolation of the man-hours was performed to develop a general reference table for 'Type 2' (i.e., public schools and office buildings, etc.) projects. By providing an objective approach for estimating the costs of BIM services, it allows clients and AE firms to agree upon a fair cost for BIM related services, and thus expedite its adoption in Korea.

• International Journal of Advanced Culture Technology
• /
• 제12권1호
• /
• pp.128-133
• /
• 2024

Painting, as an artistic creation with aesthetic characteristics, is inseparable from "shape". "Modeling" is a subjective way of expressing objects, and "black shape" is not only a way of expression, but also a way of composition. "Black shape" is a way of expressing the overall picture of the creator, and "black shape" extracted from the pattern analysis of black and white gray structure is a powerful means to deeply explore the emotions and thoughts of the painter. How to create the expression of subjective intention in the creation of artificial figure painting and to explore the beauty of picture form and the presentation of formal language in multiple dimensions is always sought by painters. Tang Dynasty political stability, economic and cultural development of unprecedented prosperity, "Toujian Diu" as a representative painting of Tang Dynasty, the figure is plump and realistic, colorful but elegant. It not only represents the aesthetic taste of the Tang Dynasty, but also reflects the overall style of the Tang Dynasty's artificial figure painting. The aim of this paper is to explore the value of "black shape" in "Toughen Diagram" and analyze its multi-component form in depth.

• International Journal of Computer Science & Network Security
• /
• 제24권6호
• /
• pp.41-48
• /
• 2024

Existing PoS (Point of Sale) based payment frameworks are vulnerable as the Payment Application's integrity in the smart phone and PoS are compromised, vulnerable to reverse engineering attacks. In addition to these existing PoS (Point of Sale) based payment frameworks do not perform point-to-point encryption and do not ensure communication security. We propose a Smart and Secure PoS (SSPoS) Framework which overcomes these attacks. Our proposed SSPoS framework ensures point-to-point encryption (P2PE), Application hardening and Application wrapping. SSPoS framework overcomes repackaging attacks. SSPoS framework has very less communication and computation cost. SSPoS framework also addresses Heartbleed vulnerability. SSPoS protocol is successfully verified using Burrows-Abadi-Needham (BAN) logic, so it ensures all the security properties. SSPoS is threat modeled and implemented successfully.

• 대한산업공학회지
• /
• 제41권1호
• /
• pp.34-42
• /
• 2015

Modeling and control of human-involved manufacturing systems poses a huge challenge on how to model all possible interactions among system components within the time and space dimensions. As the manufacturing environment are getting complicated, the importance of human in the manufacturing system is getting more and more spotlighted to incorporate the manufacturing flexibility. This paper presents a formal modeling methodology of affordance-based MPSG (Message-based Part State Graph) for a human-machine collaboration system incorporating supervisory control scheme for flexible manufacturing systems in automotive industry. Basically, we intend to extend the existing model of affordance-based MPSG to the real industrial application of humanmachine cooperative environments. The suggested extension with the real industrial example is illustrated in three steps; first, the manufacturing process and relevant data are analyzed in perspectives of MABA-MABA and the supervisory control; second, the manufacturing processes and task allocation between human and machine are mapped onto the concept of MABA-MABA; and the last, the affordance-based MPSG of humanmachine collaboration for the manufacturing process is presented with UMLs for verification.

• 한국건축시공학회지
• /
• 제12권3호
• /
• pp.347-357
• /
• 2012

While it is generally possible to install curved panels manufactured in a factory within the permitted error range on an irregular surface frame of concrete or steel, it is difficult and expensive. Freeform architecture is thus designed and constructed differently from formal buildings. In order to more easily and inexpensively actualize freeform architecture, Building Information Modeling (hereinafter referred to as BIM) has recently been applied in the construction industry. However, the related research and case analyses are not sufficient to identify the implications and contributions of freeform buildings in future similar projects. Therefore, this research will study design and construction methods for freeform surfaces, particular the concrete surface frame of freeform buildings based on BIM, focused on the Tri-Bowl project. This study attempts to analyze the pros and cons of each method for the concrete surface frame of the Tri-Bowl, and then presents the lessons learned and implications related to the design and construction process of the freeform architecture. Several implications for design and construction of concrete surface frame of the freeform building, the Tri-Bowl, are found. The first is that manufacturing and installation of a curved concrete frame is precisely performed based on the exact numerical values of materials and installation made using BIM 3D technologies, such as CATIA and Rhino. The second is that close and continuous collaboration among the different participants in the construction of the Tri-Bowl allowed them to cope with virtual conditions. The third is that design and construction processes have changed, and high quality of the surface frame of a freeform building is required.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권2호
• /
• pp.1148-1161
• /
• 2017

The success of a business process management system stands or falls on the quality of the business processes. Many experiments therefore have been devoting considerable attention to the modeling and analysis of business processes in process-centered organizations. One of those experiments is to apply the probabilistic theories to the analytical evaluations of business process models in order to improve their qualities. In this paper, we excogitate a conceptual way of applying a probability theory of proportions into modeling business processes. There are three types of routing patterns such as sequential, disjunctive, conjunctive and iterative routing patterns in modeling business processes, into which the proportion theory is applicable. This paper focuses on applying the proportion theory to the disjunctive routing patterns, in particular, and formally named proportional information control net that is the formal representation of a corresponding business process model. In this paper, we propose a conceptual approach to discover a proportional information control net from the enactment event histories of the corresponding business process, and describe the details of a series of procedural frameworks and operational mechanisms formally and graphically supporting the proposed approach. We strongly believe that the conceptual approach with the proportional information control net ought to be very useful to improve the quality of business processes by adapting to the reengineering and redesigning the corresponding business processes.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권7호
• /
• pp.869-882
• /
• 2004

본 논문에서는 정형방법론의 일관성 검사방법을 유스케이스 모델링에 적용함으로써 논리적으로 일관되고 구조화된 요구사항 모델을 생성할 수 있는 방안을 제안하였다. 제안된 방안을 통해 서로 중복되거나 충돌할 수 있는 다중 사용자관점의 부분적인 요구사항들을 구조화된 요구사항 모델로 통합할 수 있다. 요구사항 모델의 구조는 문맥목표와 관심영역의 중복구조를 통하여 분석되며, 요구사항의 모델의 일관성은 요구사항 통합의 수단으로 요구사항 명세의 중복관계에 기반한 일관성 검사방법을 사용함으로써 획득된다. 제시된 방법을 사례분석에 적용한 결과 제안된 방안이 요구사항의 중복관계 및 불일치를 도출할 수 있을 뿐만 아니라 다중 사용자관점의 부분적인 요구사항들을 일관성을 갖는 통합된 요구사항 모델로 전환함으로써 소프트웨어의 행위와 기능을 명확하게 규명할 수 있음을 보여 주었다. 제안된 방안을 통하여 개발 초기단계의 유스케이스 모델링에 있어서 요구사항 불일치 도출능력을 강화할 수 있으며, 고객만족을 위해 사용자와 개발자간의 의사소통을 촉진할 수 있다.

• 한국시뮬레이션학회논문지
• /
• 제19권2호
• /
• pp.157-164
• /
• 2010

우수하고 신뢰성 있는 통신 시스템의 개발을 위해 시스템에 대한 기능 검증과 성능 평가가 모두 필수적인데 반해 이들은 주로 형식 언어 도구를 이용한 기능 모델링과 전문 네트워크 성능 평가 도구에 의한 성능 모델링을 통해 개별적으로 수행되어 왔다. 그러나 한 시스템을 별도로 중복하여 모델링 하는 것은 비용의 증가와 모델 간 불일치를 가져오게 된다. 본 논문은 이 문제를 해결하기 위해 SDL-OPNET 코-시뮬레이션을 통해 SDL로 설계된 통신 프로토콜의 성능을 평가하는 통합 설계 기법을 제안한다. 제안 기법은 Tau의 환경함수와 OPNET의 외부시스템 모듈을 이용하는 코-시뮬레이션 시스템의 설계 방법을 제시한다. InRes 프로토콜이 예로 사용되어 제안 기법의 적용가능성과 효용성을 보여준다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권10호
• /
• pp.703-725
• /
• 2002

컴포넌트는 소프트웨어 개발의 복잡성을 감소시키는 효과적인 방법으로 평가되고 있다. 그러나 소프트웨어 개발 시 컴포넌트를 사용하여 기간 단축과 비용 절감 효과를 얻기 위해서는 컴포넌트의 재사용성이 향상되어야 한다. 업무 단위로 컴포넌트를 설계하여 컴포넌트 안에 업무 워크플로우를 포함하는 것은 컴포넌트의 재사용성을 향상시키는 효과적인 방법이다. 워크플로우가 내장된 컴포넌트는 업무 단위로 재사용되기 때문에 개발 기간 단축과 비용 절감 효과가 크다. 몇 몇 컴포넌트 방법론에서 워크플로우를 내장한 컴포넌트 설계 기법의 필요성을 제시했다. 그러나 컴포넌트 개발에 적용하기 위해서는 좀 더 실용적이고 구체적인 기법이 요구된다. 본 논문에서는 컴포넌트를 통한 워크플로우의 재사용을 위해 패밀리 멤버간의 가변적인 워크플로우를 컴포넌트에 내장하여 재사용성을 높이는 기법을 제안한다. 제시된 기법은 워크플로우와 워크플로우 가변성에 대한 정형명세를 통해 복잡한 워크플로우의 설계를 단순화한다. 또한 정형 명세를 통해 워크플로우 가변성 간의 불일치를 해결하고 가변성의 결합도를 낮춘다. 정형 명세와 UML을 사용한 컴포넌트 모델링의 산출물은 컴포넌트 구현 소스 코드를 자동으로 생성하는 것을 돕는다. 따라서 제시된 설계 기법은 개발자의 생산성을 높이고 컴포넌트의 재사용성을 향상시킨다. 본 논문에서는 설계 기법과 함께 예제를 통해 컴포넌트 워크플로우 명세와 설계 기법의 타당성을 입증한다.