• Proceedings of the Korean Institute of Interior Design Conference
• /
• 2007.05a
• /
• pp.67-70
• /
• 2007

The meaning of the space planning which has from modern interior space has played important role, space composition planning itself is the concept creation tool as well as the unique expression sphere in field of interior space far away from fixed idea relevant to the existing space which was only simple division or secondary element in design. Thus, this current work expresses that the space-Function is related with space-division as well as basic designed-conceptual work process including the space is formed. Furthermore, through the side-composition with form, it activates the various space aspect perceptually, which created the visual environment in using lightning, reflection of glass and penetrated nature etc. The keyword on elevation design concept is as like various aspects, third dimension, non-materiality and symbolical meaning. In addition, it provides the color space equipped with functionality and artistry capable to arouse the diverse sensual capacity to space users on default of image language.

• Journal of the Korean housing association
• /
• v.3 no.1
• /
• pp.35-46
• /
• 1992

The purpose of this study is to find out the architectural device for two places to be perceived as having distinct characteristics from each other. A residence of Yi Dynasty is selected as the object appropriate for this purpose and analyzed accordingly. The result of the analysis can be presented on two demensionis one is that of the concrete form and the other is that of the abstract meaning generated by the form. It is meaningless to employ the form of the architecture of the past in today's architecture. The language of the architecture of the past must be reinterpreted into that of tody. This means understanding and expressing the meaning of the architecture of the past, using the form and materials available today. Without limiting its scope to figuring out "the architectural device for giving destinction" on the formal demension. this study tries to clarify the meaning generated by the form, on which its significance can be said to lie.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.8S
• /
• pp.2688-2699
• /
• 2000

본 논문에서는 시간속성과 능동특성을 지원하는 관리객체의 동적특성 표현언어 BDL(Behaviour Description Language)을 이용하여 시스템 망관리 모델의 관리기능을 정형적으로 표현하였다. 그리고 BDL로 표현된 관리기능을 CORBA IDL로 변환하는 BDL＿to＿IDL 컴파일러를 설계·구현하였다. 특히, 망 관리 정보베이스에 저장되어있는 관리객체를 안전하게 보호하기 위해 ITU-T 권고안에 정의된 강제적 접근제어 모델과 역할기반 접근제어 모델을 상호연동한 접근제어모델을 정의하였다. 또한, 관리속성값을 제어하는 관리연산을 연관된 유형별로 묶어 역할로 정의하고 관리자와 관리객체에 인가등급과 보안등급을 부여하여 역할배정규칙과 제약조건에 따라 관리정보의 접근을 제어함으로써 보다 무결성을 보장받도록 하였다.

• English Language & Literature Teaching
• /
• no.3
• /
• pp.123-139
• /
• 1997

This paper describes the evolution of the infinitive in terms of its progressive formal and semantic grammaticization, using the German infinitive as an example. It is shown that the infinitive has its diachronic origin in a nominal purposive form and that the grammaticization of a purposive form to an infinitive is a widespread phenomenon in the languages of the world. This original function of the infinitive is important for understanding its nature, and the most interesting syntactic property of infinitive, the absence of an explicit subject, can be shown to follow from it. Finally, this paper shows that the diachronic process of the grammaticization of a purposive form is even more general, occurring also in the case of purposive markers in finite clauses.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.5 no.2
• /
• pp.67-76
• /
• 2010

Although both functional verification and performance evaluation are necessary for the development of effective and reliable communication systems, they have been often performed independently; by functional modeling with formal language tools and by performance modeling with professional network performance evaluation tools, respectively. Separate and repeated modeling of one system, however, would often result in cost increase and inconsistency between the models. This paper proposes an integrated model design approach in order to overcome this problem that evaluates the performance of a communication protocol designed in SDL with SDL-OPNET model conversion. The proposed technique generates OPNET skeleton code from Tau-generated C code of the SDL model by analyzing the relations between SDL and OPNET models. IEEE 802.2 LLC protocol was used as an example of model conversion to show the applicability and effectiveness of the proposed technique.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.15 no.2
• /
• pp.85-95
• /
• 1990

Structured modeling provides a formal mathematical framework, language, and computer-based environment for conceiving, representing, and manipulating a wide variety of model. It provides a natural framework for integrated modeling owing to its explicit representation power for computational dependencies among submodles. Nevertheless, it doesn't seem to offer a systematic way of composing a structured model from submodels. In order to develop a systematic way, this paper discusses three key issues : (1) Genus structure for model composition, (2) Storage of structured models, and (3) Integration of structured models. To formalize and visualize the approach, a programming module is developed to implemented the step-by-step integration.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1990.04a
• /
• pp.49-60
• /
• 1990

Structured modeling provides a formal mathematical framework, language, and computer-based environment for conceiving, representing, and manipulating a wide variety of models. It provides a natural framework for integrated modeling owing to its explicit representation power for computational dependencies among submodels. Nevertheless, it doesn't seem to offer a systematic way of composing a structured model from submodels. In order to develop a systematic way, this paper discusses three key issues; (1) Genus structure of validated submodel, (2) Storing method of genus structure, and (3) Integration of genus structures to generate a new genus structure. To visualize the approach, a programming module is developed to implement the step-by-step integration.

• Journal of Information Processing Systems
• /
• v.11 no.1
• /
• pp.22-38
• /
• 2015

While Modern Standard Arabic is the formal spoken and written language of the Arab world; dialects are the major communication mode for everyday life. Therefore, identifying a speaker's dialect is critical in the Arabic-speaking world for speech processing tasks, such as automatic speech recognition or identification. In this paper, we examine two approaches that reduce the Universal Background Model (UBM) in the automatic dialect identification system across the five following Arabic Maghreb dialects: Moroccan, Tunisian, and 3 dialects of the western (Oranian), central (Algiersian), and eastern (Constantinian) regions of Algeria. We applied our approaches to the Maghreb dialect detection domain that contains a collection of 10-second utterances and we compared the performance precision gained against the dialect samples from a baseline GMM-UBM system and the ones from our own improved GMM-UBM system that uses a Reduced UBM algorithm. Our experiments show that our approaches significantly improve identification performance over purely acoustic features with an identification rate of 80.49%.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 1998.06b
• /
• pp.55-62
• /
• 1998

This paper presents a method of controlling camera to present virtual space to participating users meaningfully. The users interact with each other by means of dialogue and behavior. Users behave through their avatars. So our problem comes down to controlling the camera to capture the avatars effectively depending on how they interact with each other. The problem is solved by specifying camera control rules based on cinematography developed by film producers. A formal language is designed to encode cinematography rules for virtual environments where people can participate in the story and can influence its flow. The rule has been used in a 3D chatting system we have developed.

• Journal of the Korea Society for Simulation
• /
• v.12 no.2
• /
• pp.45-53
• /
• 2003

This paper presents a retargetable compiled assembly simulation technique for fast ASIP(application specific instruction processor) simulation. Development of ASIP which satisfies design requirements in various fields of applications such as telecommunication, wireless network, etc. needs formal design methodology and high-performance relevant software environments such as compiler and simulator In this paper, we employ the architecture description language(ADL) named ${HiXR}^2$ to automatically synthesize an instruction-level compiled assembly simulator. A compiled simulation has benefit of time efficiency to interpretive one because it performs instruction fetching and decoding at compile time. Especially, in case of assembly simulation, instruction decoding is usually a time-consuming job(string operation), so the compiled simulation of assembly simulation is more efficient than that of binary simulation. Performance improvement of the compiled assembly simulation based on ${HiXR}^2$ is exemplified with an ARM9 architecture and a CalmRISC32 architecture. As a result, the compiled simulation is about 150 times faster than interpretive one.