• Title/Summary/Keyword: Formal language

Search Result 310, Processing Time 0.027 seconds

Early Works of Japanese Secessionist Architects (일본 분리파건축회의 초기작품에 관한 연구)

  • Hwangbo, A.B.
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.15 no.5
    • /
    • pp.3176-3182
    • /
    • 2014
  • In the early 1920s Japan, a new concept of architecture emerged abruptly. Comprised of six new college graduates, Japanese Secessionist Architects, so called Bunriha Kenchikukai, proclaimed that they reject any historical baggage that Japan had so far inherited, and decided to build a brand new way for modern Japanese architecture. Their modernism differed from eclectic measurement done by earlier generations. For them, contemporary modern Japanese architecture was only copious to historic monuments of Western civilization. Bunriha architects' statement not only advocates an escape from nationalist historicism and Westernization, but also intends to resolve the dilemma in that it substitutes a technical syncretism inherent in all avant-garde movements. This paper intends to elucidate that Japanese Secessionist architecture is greatly indebted to German Expressionist architecture in terms of its formal language and avant-garde utopian idealism.

Calculus of Communicating Systems Domain in PtolemyII (PtolemyII의 CCS 도메인)

  • 황혜정;김윤정;남기혁;김일곤;최진영
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.31 no.5_6
    • /
    • pp.335-346
    • /
    • 2004
  • PtolemyII is an environment that supports heterogeneous modeling and design of concurrent systems such as embedded system. PtolemyII has several Domains which are physical rules to determine the way of communicating between components. PtolemyII has 11 domains such as PetriNet, Timed Multitasking, SR etc. Components of System can be specified using appropriate domains for their properties. Communicating Sequential Processes(CSP) is implemented as formally designed CSP domain, in PtolemyII. But CCS didn't be implemented as a domain. It is a kind of Process Algebra language which can be used for specifying and verifying concurrent systems formally. Thus, in this paper we implemented CCS domain. And that permitted developers using PtolemyII to use the same modeling pattern used in PtolemyII and to make system specifications in the base of the formal semantics of CCS. This caused the diversity of PtolemyII domains and the power of expression was improved. This paper will explain the structure of CCS domain implemented in PtolemyII and the way of implementing it.

On the base inflectional forms of Korean old vernacular letters (언간에 나타나는 어기활용형에 대한 고찰)

  • Lee, Hyun-Ju
    • (The)Study of the Eastern Classic
    • /
    • no.56
    • /
    • pp.297-329
    • /
    • 2014
  • This paper aims to examine the base inflectional forms of Korean old vernacular letters, and explain why it appears with frequency. In the korean old vernacular letters, the suffix 'ha-' and ending of the 'Base+ha-' adjective derivation are not appear with extraordinary frequency. I called it the base inflectional forms. I consider it in function and morphological constructions and also the syntactic constructions. Whenever Joseon-era people wrote a letter with a time limit, they have need to diminish their exertion to use of the brush. Therefore the base inflectional forms appear with extraordinary frequency in comparison with other papers. In the 'X ha-' word formation of Korean old vernacular letters, 'ha-' is formal morpheme without substantial meaning. So 'X' is left and 'ha-' and ending can be omitted resolutely. The base inflectional forms are occurred to voluntary language performance for a particular intention. but it is not appear in all conditions. In some circumstances, it appear. I checked out the constructions on base inflectional forms. In the 'X ha-' word formation, 'X' is predicative base without fail. and the ending which take part in base inflectional forms has a grammatical function unadulteratedly.

SDL-OPNET Co-Simulation Technique for the Development of Communication Protocols with an Integrated Approach to Functional Verification and Performance Evaluation (기능 검증 및 성능 평가 통합 접근 방법을 통한 통신 프로토콜 개발을 위한 SDL-OPNET 코-시뮬레이션 기법)

  • Yang, Qi-Ping;Kim, Tae-Hyong
    • Journal of the Korea Society for Simulation
    • /
    • v.19 no.2
    • /
    • pp.157-164
    • /
    • 2010
  • While both functional verification and performance evaluation of a system are necessary for the development of effective and reliable communication systems, they have been usually performed individually through functional modeling with formal language tools and performance modeling with professional network performance evaluation tools, respectively. However, separate and duplicated modeling of a system may cause increase of the cost and inconsistency between the models. In order to overcome this problem, this paper proposes an integrated design technique that estimates the performance of a communication protocol designed in SDL with SDL-OPNET co-simulation. The proposed technique presents how to design a co-simulation system with the environment functions of Tau and the external system module of OPNET. InRes protocol was used as an example to show the applicability and usefulness of the proposed technique.

Development of a Packet-Switched Public Computer Network -PART 3:X.25 Software Design and Implementation of the KORNET NNP (Packet Switching에 의한 공중 Computer 통신망 개발 연구-제3부:KORNET NNP의 X.25 Software 설계 및 구현)

  • Choi Jun Kyun;Kim Nak Myeong;Kim Hyung Soon;Un Chong Kwan;Im Gi Hong;Cho Young Jong;Cho Dong Ho
    • Journal of the Korean Institute of Telematics and Electronics
    • /
    • v.23 no.1
    • /
    • pp.1-9
    • /
    • 1986
  • This is the third part of the four-part paper describing the development of a packet-switched computer communication network named the KORNET. In this paper we describe the design and implementation of the X.25 protocol connecting packet mode data terminal equipments(PDTE's) with data circuit terminating equipments(DCE's). In the KORNET, the X.25 protocol has been implemented on the line processing module-A(LPMA) of the network node processor(NNP). In the implementation of X.25, we have divided the software module according to the service function, and have determined the the rules that interact between the modules. Each layer protocol has been developed using the technique of the finite state machine. Before the actual coding of softwares, we hafve used formal software development tools based on the specification and description language (SDL) and program design languate (PDL) recommended by the CCITT. In addition, for the efficient operation of the X.25 protocol system we have analyzed the system performance and the service scheduling method of each module. The results will also be given.

  • PDF

An integrated Method of New Casuistry and Specified Principlism as Nursing Ethics Methodology (새로운 간호윤리학 방법론;통합된 사례방법론)

  • Um, Young-Rhan
    • Journal of Korean Academy of Nursing Administration
    • /
    • v.3 no.1
    • /
    • pp.51-64
    • /
    • 1997
  • The purpose of the study was to introduce an integrated approach of new Casuistry and specified principlism in resolving ethical problems and studying nursing ethics. In studying clinical ethics and nursing ethics, there is no systematic research method. While nurses often experience ethical dilemmas in practice, much of previous research on nursing ethics has focused merely on describing the existing problems. In addition, ethists presented theoretical analysis and critics rather than providing the specific problems solving strategies. There is a need in clinical situations for an integrated method which can provide the objective description for existing problem situations as well as specific problem solving methods. We inherit two distinct ways of discussing ethical issues. One of these frames these issues in terms of principles, rules, and other general ideas; the other focuses on the specific features of particular kinds of moral cases. In the first way general ethical rules relate to specific moral cases in a theoretical manner, with universal rules serving as "axioms" from which particular moral judgments are deduced as theorems. In the seconds, this relation is frankly practical. with general moral rules serving as "maxims", which can be fully understood only in terms of the paradigmatic cases that define their meaning and force. Theoretical arguments are structured in ways that free them from any dependence on the circumstances of their presentation and ensure them a validity of a kind that is not affected by the practical context of use. In formal arguments particular conclusions are deduced from("entailed by") the initial axioms or universal principles that are the apex of the argument. So the truth or certainty that attaches to those axioms flows downward to the specific instances to be "proved". In the language of formal logic, the axioms are major premises, the facts that specify the present instance are minor premises, and the conclusion to be "proved" is deduced (follows necessarily) from the initial presises. Practical arguments, by contrast, involve a wider range of factors than formal deductions and are read with an eye to their occasion of use. Instead of aiming at strict entailments, they draw on the outcomes of previous experience, carrying over the procedures used to resolve earlier problems and reapply them in new problmatic situations. Practical arguments depend for their power on how closely the present circumstances resemble those of the earlier precedent cases for which this particular type of argument was originally devised. So. in practical arguments, the truths and certitudes established in the precedent cases pass sideways, so as to provide "resolutions" of later problems. In the language of rational analysis, the facts of the present case define the gounds on which any resolution must be based; the general considerations that carried wight in similar situations provide warrants that help settle future cases. So the resolution of any problem holds good presumptively; its strengh depends on the similarities between the present case and the prededents; and its soundness can be challenged (or rebutted) in situations that are recognized ans exceptional. Jonsen & Toulmin (1988), and Jonsen (1991) introduce New Casuistry as a practical method. The oxford English Dictionary defines casuistry quite accurately as "that part of ethics which resolves cases of conscience, applying the general rules of religion and morality to particular instances in which circumstances alter cases or in which there appears to be a conflict of duties." They modified the casuistry of the medieval ages to use in clinical situations which is characterized by "the typology of cases and the analogy as an inference method". A case is the unit of analysis. The structure of case was made with interaction of situation and moral rules. The situation is what surrounds or stands around. The moral rule is the essence of case. The analogy can be objective because "the grounds, the warrants, the theoretical backing, the modal qualifiers" are identified in the cases. The specified principlism was the method that Degrazia (1992) integrated the principlism and the specification introduced by Richardson (1990). In this method, the principle is specified by adding information about limitations of the scope and restricting the range of the principle. This should be substantive qualifications. The integrated method is an combination of the New Casuistry and the specified principlism. For example, the study was "Ethical problems experienced by nurses in the care of terminally ill patients"(Um, 1994). A semi-structured in-depth interview was conducted for fifteen nurses who mainly took care of terminally ill patients. The first stage, twenty one cases were identified as relevant to the topic, and then were classified to four types of problems. For instance, one of these types was the patient's refusal of care. The second stage, the ethical problems in the case were defined, and then the case was analyzed. This was to analyze the reasons, the ethical values, and the related ethical principles in the cases. Then the interpretation was synthetically done by integration of the result of analysis and the situation. The third stage was the ordering phase of the cases, which was done according to the result of the interpretation and the common principles in the cases. The first two stages describe the methodology of new casuistry, and the final stage was for the methodology of the specified principlism. The common principles were the principle of autonomy and the principle of caring. The principle of autonomy was specified; when competent patients refused care, nurse should discontinue the care to respect for the patients' decision. The principle of caring was also specified; when the competent patients refused care, nurses should continue to provide the care in spite of the patients' refusal to preserve their life. These specification may lead the opposite behavior, which emphasizes the importance of nurse's will and intentions to make their decision in the clinical situations.

  • PDF

A Study On Interrelationship Between Korean And Mongolian Costume Laying Emphasis On The Age Of Mongolia's Invasion Upon Corea (한국(韓國).몽고복식(蒙古服飾)의 상관성(相關性) 연구(硏究)(II) - 고려시대(高麗時代)의 몽고침략기(蒙古侵略期)를 중심(中心)으로 -)

  • Son, Kyung-Ja
    • Journal of the Korean Society of Costume
    • /
    • v.16
    • /
    • pp.15-42
    • /
    • 1991
  • A nation's culture isn't consisted by the characteristics of the nation only, but it is greatly affected by the geographical features and natural conditions, and it could be also dominated by the continual effect through mutual contact on economic exchange or social problem and political interests with neighboring countries. It is a well known fact that the contact of culture between Korea and Mongolia established under the special political situation that Corea was invaded by Won. But more basically, the Nomad including Mongolia had influenced upon neighboring countries, therefore, our country was also greatly influenced on consisting of our own culture by them. Moreover. the fact that our language belongs to their language's category(mostly Tweigru and Mongolian language) proves that the origin of our culture was deeply related with Mongolia. Accordingly, we could not limit the cultural relation between Korea and Mongolia within a special era. But especially, since unification of China by Mongolia, Won which appeared as a new great nation had dominated Corea for one hundred years, and the Corea's costume culture had a point of conversion to the mongolian. Therefore, this study expects to comment upon the relations of costume between Corea and Mongolia from a view point of Corea's tribute and royal gifts gifts by Mongolia written on the reference literatures. 1) From the ancient times, between our country and Mongolia there has been a direct or indirect exchange caused by the people's movement or invasion due to very closed neighboring. The relations between Corea and Mongolia have started from the mongolia's requests of tribute for the reason why they helped Corea against the Keoran's invasion, and these relation had continued by King Kongmin's age. 2) Mongolia had plundered a tribute such as dress, cereals, horses, military supplies, soldiers, maiden and little girls etc. from Corea, and therefore, a great confusion occurred on political, economic and social fields. And since King Chungyoul of Corea got married with a Princess of Won, the Corea's position was placed as the Buma nation(nation of son in law) and then high class people of Corea preferred to follow the mongolian costume such as Byunbal (pigtail), Ho dress (mongolian dress), Rouges, Chockturi (a kind of formal cap) and Doturak pigtail ribbon, and some have been applied up to date. On the other hand, the custom of Corea had transmitted to the Mongolian nobility, they called it "Corea Yang(style)". 3) The costume of Corea could be divided into three different periods, the first is the period influenced by Tang and Song's regime, the second is affected by the Won's costume and the third is applying the Myung's regime in the end of Corea. The Mongolian dress was based on the Ho dress form and it has been developed through compounding artistic traditional fields and foreign customs in long history. And Mongolia is composed of various tribes, therefore, they have their own dress for each tribe. Our country and Mongolia had a similar dress form based on Ho dress and both used the Chacksukunggo (jacket with small sleeves and slacks) and Seon(line). And the ornaments of costume such as Chockturi, Doturak pigtail ribbon and Rouges had transmitted and fixed down as a traditional wedding garment, but the Rouges has been used by noble women from the ancient times in our country. Since a member of the Society of Korean Costume has visited Mongolia in August 1990 for the first time, I really recognized the neccesity of more detailed study on the costume relation between Korea and Mongolia, and I will proceed with the study on various fields of costume under cooperation of Institute of Oriental Academy of Mongolia.

  • PDF

The Qualities of an Effective Teacher Recognized by Secondary Teachers (중등교사가 인식하는 유능한 교사의 자질)

  • Chang, Han-Kee;Chang, Hong-Seok
    • Journal of Fisheries and Marine Sciences Education
    • /
    • v.13 no.1
    • /
    • pp.37-62
    • /
    • 2001
  • This study examined the qualities of an effective teacher needed to accomplish educational reform successfully and prepare for a rapidly changing knowledge-based society. To achieve the purpose of the study, the following specific questions were looked into; (1) knowledge, skills, attitude of an effective teacher. (2) a proposal for staff development programs to improve the effectiveness of teachers. (3) a proposal to support teachers' efforts to improve their effectiveness. (4) the factors inhibiting the improvement of teachers' effectiveness. In this study, 'in-depth interview' was used for data collection because the study deals with the "subjective consciousness" of teachers, and qualitative research methods are useful to such a case. The research was done on teachers from secondary schools in Pusan City. According to the teachers interviewed, an effective teacher needed in the new age has such knowledge, skills, and attitude as; (1) knowledge in their major, general culture and common sense, psychology of educational counselling, social science, and knowledge and information related to curriculum. (2) effective instruction skills, skills to guide student behavior, skills related to administrative clerical work, using the computers, extra curriculum activities, educational evaluation, using teaching materials, developing educational programs, and good communication skills. (3) attitude relevant to willingness to understand and converse with students at their cognitive level, positive expectations and concern toward students, democratic problem solving, continuous self-study and development, thoroughgoing mission and professionalism, will for educational reform and innovation, neat appearance and refined language, and successful interpersonal relationships. The teachers also said that the current staff development system, as a program to provide necessary qualities for teachers, has improved in the last 3 years through diverse curriculum and systematic programs. However, due to the problematic promotion system, the staff development program has turned into just a 'point collecting' game from the role of in-service training program; teachers take training courses as the means just collecting points for promotion purpose. Factors inhibiting the improvement of teachers are (1) overload of formal paperwork over emphasizing outcome, (2) mannerism of teachers not perceiving their lack of professionalism, (3) the general attitude in the teaching profession resisting change and reform, (4) supervisory activities lacking rigid regulation, (5) research just as the means of point-collection only for promotion, and (6) staff development programs lacking efficiency. These factors, interacting each other, inhibited the improvement of teachers.

  • PDF

A Discussion Class Model to Improve English Oral Proficiency for Intermediate Low Learners (중급 하 수준을 위한 영어말하기 능력향상 토론수업모형)

  • Ko, Mi-Sook
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.17 no.3
    • /
    • pp.537-543
    • /
    • 2016
  • This paper suggests a class model to improve the English oral proficiency for intermediate low English speaking learners. Utilizing the four English skills (reading, writing, listening and speaking), the class model focuses on the learners' schema and discussion strategies. To enhance the learners' motivation and match their cognitive capacity, 10 discussion topics were prepared by surveying the learners. A pilot experiment was conducted to investigate the teaching effects of the discussion class model with 26 college students majoring in English in Seoul. The participants' oral proficiency was measured both before, and after the instructions by OPIc (Oral Proficiency Interview in computer). As a result of the experiment, the percentage of participants whose oral proficiency levels were lower than intermediate mid decreased from 82% to 47%. In addition, the percentage of participants with higher oral proficiency than intermediate low was increased dramatically from 18% to 53%, which supports the claim that through discussion, the class learners' diverse and creative ideas need to be expressed in a formal and intelligible language. Finally, through the findings of the study, the possibility of a discussion class can be expected, regardless of the learners' low level of oral proficiency.

동굴생물의 특성과 보전

  • 김병우
    • Proceedings of the Speleological Society Conference
    • /
    • 1995.09a
    • /
    • pp.39-44
    • /
    • 1995
  • $\bigcirc$ 동굴생물은 식물과 동물, 미생물로 크게 구분되지만 태양광선이 완전히 차단된 동굴내 환경에서는 동굴 동물들이 주종을 이루고 있다. $\bigcirc$ 동굴내의 동물에 관한 연구는 1966년 고씨동굴, 용담굴을 시발로 고수굴, 천동굴, 노동굴, 백룡글, 대이굴, 환선굴 등 강원도내에 분포하는 동굴 중 약 30% 정도는 동물을 포함한 생물상이 조사되었다. $\bigcirc$ 강원도의 동굴동물로서 확인된 것은 9강 30목 141종이며 강별로는 곤충강이 9목 50종 주형강이 4목 49종 갑각강이 6목 18종의 순으로 우세하고 목별로는 거미목이 15과 39종, 톡토기목이 7과 20종, 딱정벌레목이 8과 15종으로 우세한 편이다(남, 1987). $\bigcirc$ 동굴생물에 관한 연구는 육상생태계와 격리된 환경에서 생리, 생태적 적응을 통한 종의 분화나 유전, 진화문제를 추구하며 지하생태계와 육상생태계의 생물적인 유연관계 규명에 중요한 분야로 인정되며 아울러 독특한 특성을 지닌 동굴생물의 생존을 위한 방안과 노력이 일부동굴의 개방 및 개발에 앞서 더욱 구체적으로 모색되고 증대되어야 한다. $\bigcirc$ 동굴환경의 주요 특성은 첫째 햇빛에 차단되어 암흑상태이며, 둘째 내부습도가 높고 기온이나 수온의 년중변화가 심하지 않고, 셋째 먹이연쇄에 필수적인 영양공급원이 제한되어 있다. 따라서 광합성작용으로 성장하는 녹색식물은 태양광선이 유입되는 곳이나 인공조명시설 지역을 제외한 곳에서는 서식이 불가능하고 대형동물이나 초식동물은 생존이 어렵다. $\bigcirc$ 동굴내에는 환경에 적응하는 종들만이 서식할 수 있고 이들을 생태적 특성에 따라 세가지로 구분 할 수 있다. 환경적응 요인으로는 광도, 습도, 온도 영양공급원과 섭식장소, 수중생물의 경우는 특히 수온, 수량 영양원등이다.(중략). 본 연구의 접근방법으로는 ASRS의 개념적인 Reference Model을 수립하고 이 Reference Model에 대한 Formal Model로 DEVS(Discrete Event System Specification)을 이용하여 시스템을 Modeling하였다. 이의 Computer Simulation을 위하여 DEVS형식론 환경에서의 Simulation Language인 DEVSim ++ⓒ를 이용하여 시스템을 구현하였다.. 실형 결과로는 먼저 선형 상미분방정식의 예로 mass-damper-spring system, 비선형 상미분방정식의 예로는 van der Pol 방정식, 연립 상미분방정식의 예로는 mixing tank problem 등을 보였으며, 그의 공학에서 일어나는 여러 가지 문제들도 다루었다.화물에 대한 방어력이 증가되어 나타난 결과로 여겨지며, 또한 혈청중의 ALT, ALP 및 LDH활성을 유의성있게 감소시키므로서 감잎 phenolic compounds가 에탄올에 의한 간세포 손상에 대한 해독 및 보호작용이 있는 것으로 사료된다.반적으로 홍삼 제조시 내공의 발생은 제조공정에서 나타나는 경우가 많으며, 내백의 경우는 홍삼으로 가공되면서 발생하는 경우가 있고, 인삼이 성장될 때 부분적인 영양상태의 불충분이나 기후 등에 따른 영향을 받을 수 있기 때문에 앞으로 이에 대한 많은 연구가 이루어져야할 것으로 판단된다.태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$ elements)로 가정한다. 즉, [+wh] 의미의 겹의문사는 동일한 구성요 소를 지닌 병렬적 합성어([$[W1]_{XO-}$ $[W1]_{XO}$ ]$_{XO}$)로 그리고 [-wh] 의미의 겹의문사는 중복된 발은을 지닌 한 단어로 ([W]$_{XO}$

  • PDF