• 정보처리학회논문지D
• /
• 제18D권6호
• /
• pp.443-450
• /
• 2011

모델 중심 컴포넌트 기반 개발 방법은 개발 대상 시스템을 하나의 추상컴포넌트로 보고, 재귀적인 컴포넌트의 분화(decomposition)와 정제(refinement) 과정을 통하여 물리적인 컴포넌트를 도출해내는 하향식 개발방식이다. 본 연구에서는 모델 기반 컴포넌트 개발기법을 근간으로 한 컴포넌트 정제 과정에서 정제 전 후의 추상컴포넌트들 간의 행위 일관성을 정형분석하기 위한 모델 변환기를 개발하였다. 이 모델변환기는 컴포넌트의 분화와 정제 전 과정에 걸쳐 사용되어 정제 전 후 컴포넌트 간의 상호작용 오류로 인한 잠재적인 결함을 조기에 발견하고 해결하는데 기여할 수 있다. 본 논문은 추상컴포넌트의 각 구성요소들을 정형검증기 SPIN의 구성요소로 변환하기 위해 사용된 변환방법들과 변환기의 구성요소들을 소개한다. 개발된 변환기는 자동차 거울조종시스템, 무선센서네트워크를 위한 운영체제 등의 사례연구에 적용되어 그 효용성을 입증하였다.

• IEIE Transactions on Smart Processing and Computing
• /
• 제5권3호
• /
• pp.222-229
• /
• 2016

Linked Data is a powerful technology for storing and publishing the structures of data. It is helpful for web applications because of its usefulness through semantic query data. However, using Linked Data is not easy for ordinary users who lack knowledge about the structure of data or the query syntax of Linked Data. For that problem, we propose a translator component that is used for translating RESTful/JSON request messages into SPARQL commands based on ontology - a metadata that describes the structure of data. Clients do not need to worry about the structure of stored data or SPARQL, a kind of query language used for querying linked data that not many people know, when they insert a new instance or query for all instances of any specific class with those complex structure data. In addition, the translator component has the search function that can find a set of data from multiple classes based on finding the shortest paths between the target classes - the original set that user provide, and target classes- the users want to get. This translator component will be applied for any dynamic ontological structure as well as automatically generate a SPARQL command based on users' request message.

• 한국CDE학회논문집
• /
• 제15권6호
• /
• pp.467-475
• /
• 2010

Due to the needs of design optimization and productivity for modernized Korean traditional house, standardization of Korean traditional building components is proceeding by BIM (Building Information Modeling). Currently, most of BIM software support object-based parametric modeling. By means of parameterized Korean traditional building components, the shape and assembly relation can be controlled. Although IFC(ISO/PAS 16739), which is an international standard in the AEC field, has been developed for information exchange among BIM software, IFC and other existing common data formats cannot be exchangeable parametric information. For the exchangeable parametric information within IFC, the authors defined meta-data by using Pset(Property-Set). The authors analyzed results about interoperability test in Revit $Architecture^{TM}$, $ArchiCAD^{TM}$ and Digital $Project^{TM}$. In order to solve found problems, the authors developed a translator to improve interoperability among BIM software.

• 한국전자거래학회지
• /
• 제6권2호
• /
• pp.1-12
• /
• 2001

AS EC is expanded and activated, many message standards, EDI, XML, UDF, etc are defined and is used at various business part. But the existed translator supports only one mapping translation, for example, EDI-to-UDF, UDF-to-EDI. So many user must be introduced a new translation when new business(message standard) is beginning, To solve this problem, we propose XConverter System as registering mapping information which is able to transform to user requested format using same translator even though it is transferred any formatted message in this paper. Also, We design and implement this system which is capable to integrate with existed legacy system, including DB transformation functionality. The .XConverter System supports changing the business message format to the common user used message format. And this system easily migrates with existed legacy system because DB transform module is component. Therefore, The proposed System is more various and flexible than the other translation system that provide just one mapping transformation.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.875-878
• /
• 2004

Researching in text detection and segmentation has been done for a long period in the OCR area. However, there is some other area that the text detection and segmentation from images can be very useful. In this report, we first propose the design of a mobile translator system which helps non-native speakers to understand the foreign language using ubiquitous mobile network and camera mobile phones. The main focus of the paper will be the algorithm in detecting and segmenting texts embedded in the natural scenes from taken images. The image, which is captured by a camera mobile phone, is transmitted to a translator server. It is initially passed through some preprocessing processes to smooth the image as well as suppress noises. A threshold is applied to binarize the image. Afterward, an edge detection algorithm and connected component analysis are performed on the filtered image to find edges and segment the components in the image. Finally, the pre-defined layout relation constraints are utilized in order to decide which components likely to be texts in the image. A preliminary experiment was done and the system yielded a recognition rate of 94.44% on a set of 36 various natural scene images that contain texts.

• 한국컴퓨터정보학회논문지
• /
• 제20권11호
• /
• pp.119-126
• /
• 2015

CDSS provides clinical doctors with knowledge to be required when they diagnose or make decision about treatment strategy. Arden Syntax is one of the language with which we write MLM that is a component of CDSS. It was designated as a standard by HL7/ANSI. ArdenML is an XML version of Arden Syntax. In this paper we propose a tool which translates Arden Syntax MLMs into ArdenML MLM. To this end we first defines the corresponding relation between two languages. Next we presents a modified version of Arden Syntax grammar to improve performance of lexical analysis and minimize parsing conflicts. Finally we presents syntax and semantics gaps between the both languages, which are a structural representation problem, a data type problem, and a disrelation problem. Our translator resolves such issues and generates exact ArdenML codes for an arbitrary Arden Syntax MLM.

• Journal of international Conference on Electrical Machines and Systems
• /
• 제2권3호
• /
• pp.275-282
• /
• 2013

Applications such as vibration isolation, gravity compensation, pick-and-place machines, etc., would benefit from (long-stroke) cylindrical/tubular permanent magnet (PM) actuators with integrated passive gravity compensation to minimize the power consumption. As an example, in component placing (pick-and-place) machines on printed circuit boards, passive devices allow the powerless counteraction of translator including nozzles or tooling bits. In these applications, an increasing demand is arising for high-speed actuation with high precision and bandwidth capability mainly due to the placement head being at the foundation of the motion chain, hence, a large mass of this device will result in high force/power requirements for the driving mechanism (i.e. an H-bridge with three linear permanent magnet motors placed in an H-configuration). This paper investigates a tubular actuator topology combined with passive gravity compensation. These two functionalities are separately introduced, where the combination is verified using comprehensive three dimensional (3D) finite element analyses.

• International Journal of Computer Science & Network Security
• /
• 제21권8호
• /
• pp.224-228
• /
• 2021

The article is devoted to the problems and prospects of integration of informational technologies in the administration of justice as a necessary component of the development of the informational society in Ukraine. In general, informational technologies make it possible to create new forms of organization and interaction of bodies of public authorities with society, to introduce innovative solutions for legal regulation and organization of public relations. More and more services for citizens are moving to electronic format. Judicial reform is aimed at ensuring more comfortable and convenient interaction with the courts. The need for the usage of informational technology in the proceedings is preconditioned by the global informatization of modern society, the development of new forms of interaction in the civil sphere with the usage of electronic means of communication: the global Internet, mobile, and satellite communication systems and more. "Electronic justice" involves the use of information and communication technologies in the implementation of procedural law.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 추계학술발표대회
• /
• pp.845-846
• /
• 2009

컴포넌트 기반 개발 방법은 컴포넌트의 재사용으로 인한 개발 비용의 절감뿐만 아니라, 컴포넌트 분석의 재사용으로 인한 검증비용의 절감과 시스템의 질적 향상을 도모할 수 있는 장점을 지니고 있는 반면, 컴포넌트들간 상호작용의 복잡도의 증대로 인한 결함률이 높아질 수 있다. 본 연구에서는 모델 기반 컴포넌트 개발기법을 근간으로한 컴포넌트 정제 과정에서 정제 전, 후의 추상컴포넌트들 간의 행위 일관성을 정형분석하기 위한 모델 변환기를 개발하였다. 이 모델변환기는 컴포넌트의 정제과정 전 단계에 걸쳐 사용되어 컴포넌트 간의 상호작용으로 인한 잠재적인 결함을 조기에 발견하고 해결하는 데 기여할 수 있다.

• 한국자동차공학회논문집
• /
• 제16권1호
• /
• pp.64-70
• /
• 2008

Temperatures of engine head and liner depend on many factors such as spray and combustion process, coolant passage flow and engine related structures. To estimate the temperature distribution of engine structure, multi-dimensional computational fluid dynamics (CFD) codes have been mainly adopted. In this case, it is of great importance to obtain the realistic wall temperature distribution of entire engine structure. In the present work, a CFD-FEM coupling methodology was presented to address this demand. This approach was applied to a real large-size marine diesel engine. CFD combustion and coolant flow simulations were coupled to FEM temperature analysis. Wall heat flux and wall temperature data were interfaced between combustion simulation and solid component temperature analysis via translator by a commercial CFD package named FIRE by AVL. Heat transfer coefficient and surface temperature data were exchanged and mapped between coolant flow simulation and FEM temperature analysis. Results indicate that there exists the optimum cell thickness near combustion chamber wall to reasonably predict the wall heat flux during combustion period. The present study also shows that the effect of cell refining on predicting in-cylinder pressure during combustion is negligible. Hence, the basic guidance on obtaining the wall heat flux needed for the reasonable CFD-FEM coupling analysis has been established. It is expected that this coupling methodology is a robust tool for practical engine design and can be applied to further assessment of the temperature distribution of other engine components.