• Title/Summary/Keyword: formal language

Search Result 314, 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

A Study on a Reform Measure and Present Situation of Color Education in Fine Art and Design College (국내 미술.디자인 계 대학의 색채교육 현황과 개선방안 연구)

  • 곽대웅
    • Archives of design research
    • /
    • v.14
    • /
    • pp.163-178
    • /
    • 1996
  • "Color" education aimed at cultivating creativeness and expressive techniques in the education of visual art, in the college of art and design, should be balanced with "form" education; nevertheless, the present situation at Korean universities is such that the overall environments of "color" education are far too inferior to those of "form" education.The problem is, among other things, that the curriculum of visual art education is centered around formal education; in addition, color education courses consist mostly of theoretical issues, not experimental, first-hand-experience-oriented activities that are best suited for the characteristics of the language of color as a visual language, thereby making it difficult to expect the efficiency of education.Particularly, it is a serious problem that the courses dealing with color are not offered in a step by step fashion, from the most elementary, to the intermediate, working up to the most advanced level. Another problem is that those people involved in color education seldom have an expertise in their area; furthermore, the educational environment, educational tools, and the content of the texbooks are far from being ideal.Moreover, it is a grim reality that most color theory courses that have been offered end up being a lecture of "general, basic" color theories, ignoring the students' diverse specialization areas.As a way of normalizing color education, rationalizing the curriculum and initiating the professorship exclusively teaching color education have to be introduced, so that we can increase the depth of color education and individualize the contents of color education according to the students' needs. It is believed that the introduction of the "color-education-only" professorship will greatly facilitate our effort to devise an efficient educational method, to determine the scope of individualized color education, and to improve the ovarial educational environment (such as facilities, instruments, and teaching materials) necessary for an in-depth education.ments, and teaching materials) necessary for an in-depth education.

  • PDF

An Semiotic analysis on Spirited Away (애니메이션(센과 치히로의 행방불명)에 대한 기호학적분석)

  • Lee Yun-Hui
    • Broadcasting and Media Magazine
    • /
    • v.10 no.1
    • /
    • pp.99-112
    • /
    • 2005
  • Christian Metz, the precursor of cine-semiology, considered cinema as a language in the sense that it is a set of messages grounded in a given matter of expression, and a signifying practice characterized by specific codifications. According to Metz, film forms a structured network produced by the interweaving of cinematic codes, within which cinematic subcodes represent specific usages of the particular code. For Metz, cinematic language is a totality of cinematic codes and subcodes, and history of the cinema is the trace of the competition, incorporations and exclusions of the subcodes. He also suggested a filmic text is not just a list of codes in effect, but a process of constant displacement and deformation of codes. Following Metz' textual analysis methodology, I investigated the formal configuration of Hayao Miyazaki‘s animation, Spirited Away. It is interesting to trace the interweaving of cinematic codes in Spirited Away, i.e. codes of lighting, color, movement, and auteurism, across the animation. I focused on the first scene at the bridge to Yubaba's bathhouse, analyzing each cinematic code and its subcode applied. The first bridge scene is carefully constructed to stand out the confrontation of Chihiro (with Haku) and the bathhouse. The bathhouse is not just a building, it represents the powerful witch, Yubaba, yet to appear on the scene, and functions as an antipode to Chihiro. In each shot, every subcode within the codes of framing, direction, angle, color, lighting and movement is used to maximize the contrast between the dominant bathhouse and the feeble 10-year-old girl. In Spirited Away, the subcodes within each cinematic ode are constantly competing and displacing each other to augment the antithesis between the characters and develop the narrative. As Metz's argument that film constitutes a quasi-linguistic practice as a pluricodic medium, Spirited Away communicates with the spectators with the combination and displacement of these cinematic codes and subcodes.

Intermediate-Representation Translation Techniques to Improve Vulnerability Analysis Efficiency for Binary Files in Embedded Devices (임베디드 기기 바이너리 취약점 분석 효율성 제고를 위한 중간어 변환 기술)

  • Jeoung, Byeoung Ho;Kim, Yong Hyuk;Bae, Sung il;Im, Eul Gyu
    • Smart Media Journal
    • /
    • v.7 no.1
    • /
    • pp.37-44
    • /
    • 2018
  • Utilizing sequence control and numerical computing, embedded devices are used in a variety of automated systems, including those at industrial sites, in accordance with their control program. Since embedded devices are used as a control system in corporate industrial complexes, nuclear power plants and public transport infrastructure nowadays, deliberate attacks on them can cause significant economic and social damages. Most attacks aimed at embedded devices are data-coded, code-modulated, and control-programmed. The control programs for industry-automated embedded devices are designed to represent circuit structures, unlike common programming languages, and most industrial automation control programs are designed with a graphical language, LAD, which is difficult to process static analysis. Because of these characteristics, the vulnerability analysis and security related studies for industry automation control programs have only progressed up to the formal verification, real-time monitoring levels. Furthermore, the static analysis of industrial automation control programs, which can detect vulnerabilities in advance and prepare for attacks, stays poorly researched. Therefore, this study suggests a method to present a discussion on an industry automation control program designed to represent the circuit structure to increase the efficiency of static analysis of embedded industrial automation programs. It also proposes a medium term translation technology exploiting LLVM IR to comprehensively analyze the industrial automation control programs of various manufacturers. By using LLVM IR, it is possible to perform integrated analysis on dynamic analysis. In this study, a prototype program that converts to a logical expression type of medium language was developed with regards to the S company's control program in order to verify our method.

A study on performance improvement considering the balance between corpus in Neural Machine Translation (인공신경망 기계번역에서 말뭉치 간의 균형성을 고려한 성능 향상 연구)

  • Park, Chanjun;Park, Kinam;Moon, Hyeonseok;Eo, Sugyeong;Lim, Heuiseok
    • Journal of the Korea Convergence Society
    • /
    • v.12 no.5
    • /
    • pp.23-29
    • /
    • 2021
  • Recent deep learning-based natural language processing studies are conducting research to improve performance by training large amounts of data from various sources together. However, there is a possibility that the methodology of learning by combining data from various sources into one may prevent performance improvement. In the case of machine translation, data deviation occurs due to differences in translation(liberal, literal), style(colloquial, written, formal, etc.), domains, etc. Combining these corpora into one for learning can adversely affect performance. In this paper, we propose a new Corpus Weight Balance(CWB) method that considers the balance between parallel corpora in machine translation. As a result of the experiment, the model trained with balanced corpus showed better performance than the existing model. In addition, we propose an additional corpus construction process that enables coexistence with the human translation market, which can build high-quality parallel corpus even with a monolingual corpus.

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