• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.7 no.3
• /
• pp.79-94
• /
• 1997

OMG (Object Management Group) published a security service specification, called CORBA (Common Object Request Broker Architecture) security reference model because the integration of security and object-oriented techniques was critical for successful deployment of distributed object systems. The CORBA security reference model treats access control as an implementation independent semantic concept but has incomplete semantics of the access control function. Because of such imcompleteness it is difficult for the system administrator and the CORBA security implementor to have the same understanding for the meaning of access control in the CORBA security. We propose a formal model for access control the CORBA security using the formal description language, which is called Z language based on typed set theory. The proposed model provides concrete semantics of the access control function to both the system administrator and the implementor.

• Proceedings of the CALSEC Conference
• /
• 2000.08a
• /
• pp.179-186
• /
• 2000

ㆍ A sub-set of SGML (Standard Generalized Markup Language) ㆍ A family of standards ㆍ XML 1.0 is the specification that defines what tags, attributes and other XML nodes are ㆍ License-free, platform-independent and well-supported ㆍ Simple ▶ Human-readable, easy to use ㆍ Extensible ▶ A dynamic data model ㆍ Flexible ▶ For handling complex data ㆍ Portable ▶ For cross-platform data exchange ㆍ Standard ▶ Easy to integrate, widely adopted(omitted)

• Proceedings of the IEEK Conference
• /
• 2002.06d
• /
• pp.203-206
• /
• 2002

In this paper, we present a sentence speech recognizer for twenty questions game. The proposed approaches for speaker-independent sentence speech recognition can be divided into two steps. One is extraction of the number of syllables in eojeol for candidate reduction, and the other is knowledge based language model for sentence recognition. For twenty questions game, we implemented speech recognizer using 956 sentences and 1095 eojeols. The results obtained in our experiments were 87% sentence recognition rate and 90.15% eojeol recognition rate.

• Asia-Pacific Journal of Business
• /
• v.2 no.1
• /
• pp.49-73
• /
• 2011

With the market evaluation of economic globalization exchanges between different cultures, cultural trade has been developing at an accelerated speed, and also playing an important role in East Asian intra-regional trade. In this research the author used gravity trade model to explain the causal relationship between dependent variable trade flows and several independent variables applying with five categories cultural goods which classified in HS codes. Firstly for cultural heritage trade flow, the results indicated that economic masses of bilateral countries have no significant influences on it; GDP per capita of host country and adjacency factor with partner country have significant negative influences on it; Internet coverage ratio has improved cultural heritages exchanges in East Asian regions. Secondly for printed matter cultural goods trade flow, the distance factor has significant negative influence but common language has significant positive influence on it. Thirdly for recorded media cultural goods, only economic masses and GDP per capita of bilateral countries can improved their trade flows. Fourthly for visual arts cultural products trade flows, almost all variables we tested have significant influences on it. Fifthly for cinema photography cultural goods trade flow, the influenced factor are same with cultural heritage products except they have strong positive interaction relationship with economic masses and common language. At last, the paper figured out some important and potential sectors for cultural goods trade in East Asia and gave some suggestions to government and cultural goods product enterprises.

• Annual Conference on Human and Language Technology
• /
• 2022.10a
• /
• pp.437-441
• /
• 2022

문맥 독립 주장 탐지는 논점에 대한 정보가 주어지지 않은 상황에서 문서 내부의 문장들 또는 단일 문장에 대한 주장을 탐지하는 작업이다. 본 논문에서는 GCN 계층을 통해 얻은 구조 정보와 사전 학습된 언어 모델을 통해 얻은 의미 정보를 활용하는 문맥 독립 주장 탐지 모델을 제안한다. 특히 문장의 전체 구조 정보를 나타내는 부모-자식 그래프와 문장의 특정 구조 정보를 나타내는 조부모-조손 그래프를 활용해 추가적인 구조 정보를 활용하여 주장 탐지 성능을 향상시켰다. 제안 모델은 IAM 데이터셋을 사용한 실험에서 기본 RoBERTa base 모델과 비교하여 최대 2.66%p의 성능 향상을 보였다.

• Journal of the military operations research society of Korea
• /
• v.23 no.2
• /
• pp.25-44
• /
• 1997

Internet users been rapidly increased due to the convenient GUI environment. Current Web-based HTTP/CGI client/server architecture has several problems such as the CGI bottleneck, no maintaince of state, and no load balancing. However, with Java and CORBA technologies called“Object Web technology”, we can solve them because Java is not only a mobile code but also a platform-independent code, and CORBA has ability to build distributed object and language-independent object model. The goal of “Object Web technology”is to create multivendor, multiOS, multilanguage“legoware”using objects. This paper implement“Book Search System”which is Web-based client/server architecture using distributed objects. Environments of this implementation are Hangul Windows NT(included IIS) server, Hangul Windows 95 client, Visigenic's VisiBroker for Java 1.2 which is a product of CORBA 2.0, HTTP protocol on TCP-IP-based, Sybase SQL Anywhere 5.0 database server, and the interface between application server and database is JDBC-ODBC bridge middleware.

• Journal of Korean Society for Quality Management
• /
• v.7 no.1
• /
• pp.3-14
• /
• 1979

The primary objective of this paper is to aid the scientists and engineers in applying response surface procedures to obtain optimum operating conditions for many technical fields, particularly, for industrial manufacturing process. When a set of data is available from an experimental design, it is often of interest to fit a second order polynomial regression model in k independent variables, and find the condition of the independent variables (e. g., temperature, pressure, etc.) that optimize the response variable (e. g., yield, strength, etc.). This paper proposes a method how to obtain the optimum operating condition, and how 10 find the condition by using the computer. A computer program written in FORTRAN language is attached for the readers who may want to use the computer program.

• Journal of KIISE:Information Networking
• /
• v.29 no.5
• /
• pp.510-523
• /
• 2002

The routers in an active network perform customized computations on the messages flowing through them, while the role of routers in the traditional packet network, such as the Internet, is to passively forward packets as fast as possible. In contrast to the Internet, the processing in active networks can be customized on a per user or per application basis. Active networks allow users to inject information into the network, where the information describes or controls a program to be executed for the users by the routers as well as the end hosts. So the network users can realize the active networks by "programming" the network behavior via the programming interface exposed to them. In this paper, we devise a network protocol model and present a verification technique for reasoning about the correctness of an active application defined using the model. The technique is developed in a platform- and language-independent way, and it is algorithmic and can be automated by computer program. We give an example dealing with network auction to illustrate the use of the model and the verification technique.

• Journal of the Korean Society of Physical Medicine
• /
• v.18 no.1
• /
• pp.77-86
• /
• 2023

PURPOSE: This study developed an experimental algorithm, which is similar or identical to semantic linking for KCF codes, even if it converted existing semantic code linking methods to morphological code extraction methods. The purpose of this study was to verify the applicability of the system. METHODS: An experimental algorithm was developed as a morphological extraction method using code-specific words in the KCF code descriptions. The algorithm was designed in five stages that extracted KCF code using natural language paragraphs. For verification, 80 clinical natural language experimental cases were defined. Data acquisition for the study was conducted with the deliberation and approval of the bioethics committee of the relevant institution. Each case was linked by experts and was extracted through the System. The linking accuracy index model was used to compare the KCF code linking by experts with those extracted from the system. RESULTS: The accuracy was checked using the linking accuracy index model for each case. The analysis was divided into five sections using the accuracy range. The section with less than 25% was compared; the first experimental accuracy was 61.24%. In the second, the accuracy was 42.50%. The accuracy was improved to 30.59% in the section by only a weight adjustment. The accuracy can be improved by adjusting several independent variables applied to the system. CONCLUSION: This paper suggested and verified a way to easily extract and utilize KCF codes even if they are not experts. KCF requires the system for utilization, and additional study will be needed.

• The KIPS Transactions:PartD
• /
• v.14D no.1 s.111
• /
• pp.83-88
• /
• 2007

In this paper, we introduce MDA based Development Method for Embedded Software Component. This method applies MDA approach to solve problems about reusability of the heterogeneous embedded software system. With our proposed method, we produce 'Target Independent Meta Model'(TIM) which is transformed into 'Target Specific Model'(TSM) and generate 'Target Dependent Code' (TDC) via TSM. We would like to reuse a meta-model to develop heterogeneous embedded software systems. To achieve this mechanism, we extend xUML to solve unrepresented elements (such as real things about concurrency, and real time, etc) on dynamic modeling of the particular system. We introduce 'MDA based Embedded S/W Modeling Tool' with extended XUML. With this tool, we would like to do more easily modeling embedded or concurrent/real time s/w systems. It contains two examples of heterogeneous imbedded systems which illustrate the proposed approach.