• Korean Journal of Computational Design and Engineering
• /
• v.14 no.4
• /
• pp.225-233
• /
• 2009

The objective of this paper is to examine a construction method and verify PLC logic using the logical modeling and simulation of a virtual plant has complex manufacturing system and the domain of application is car body assembly line of automotive industrial operated by PLC Program. The proposed virtual plant model for the analysis of the construction method consists of three types of components which are virtual device, intermediary transfer and controller is modeled by logical model but it the case of the verification of PLC program, HMI and PLC logic in the field substitute for the controller. The implementation of the proposed virtual plant model is conducted PLC Studio which is an object-oriented modeling language based on logical model. As a result, proposed methods enable 3D graphics is designed in the analysis step to use for verification of PLC program without special efforts.

• Journal of Korea Society of Industrial Information Systems
• /
• v.4 no.1
• /
• pp.1-6
• /
• 1999

This paper is on the analysis for the real-time software requirement. This method can be used for TNPN(Timed Numerical Peri Net) as a easy communication means with real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness the system. TNPN is used to represent a behavior specification language, the validity of specified behaviors in TNPN is expressed in RTTL, and analyzed through the teachability graph. Thus, the requirement between user and system is satisfied Using the example of shared track, the validity of the property of real-time(safetiness, responsiveness, liveness, priority) is verified. Also this framework if given to connection with a object, natually.

• Lingua Humanitatis
• /
• v.6
• /
• pp.147-166
• /
• 2004

Whitehead's discussion of language is not to be found in any one book or article. It is interwoven with his discussion of many other questions. He was, however, greatly concerned with the problem of symbolism in general and the uses of language. He regards language, spoken or written, as an instrument devised by men to aid them in their adjustment to the environment in which they live Language is used for many specific purposes in the process of this adjustment. Words are employed not only to refer to data and to express emotions. They may be used also to record experiences, and thoughts about these experiences. Worts also function as instruments in the organization of experiences as they are considered in retrospect. Thus words free us from the bondage of the immediate. And Whitehead's theory of meaning is implicit in his discussion of the functions of language. According to him, the human mind is functioning symbolically when some components of its experience elicit consciousness, beliefs, emotions, and usages, respecting other components of its experiences. The former set of components are the 'symbols', and the latter set constitute the 'meaning' of the symbols. Whitehead points out that one word may have several meanings, i.e. refer to several different data. In order to understand, thus, the meaning to which a word refers, it is sometimes very important to appreciate the system of thought within which a person is operating. Further, Whitehead's discussion of language includes a number of cogent warning the deficiencies of language, and hence the need for great care in the use of words. In fact, language developed gradually. For the most part we have created words designed to deal with practical problems. Attention focuses on the prominent features in a situation, in particular the changing aspects of things. With reference to such data our words are relatively adequate. However, this issues in an unfortunate superficiality. The enduring, the subtle, the complex and the general aspects of the universe do not have adequate verbal representation. for this reason, Whitehead's position concerning the uses of language in speculative philosophy is stated with pungent directness. The uncritical trust in the adequacy of language is one of the main errors to which philosophy is liable. Since ordinary language does not do justice to the generalities, profundities and complexities of life, it is obvious that philosophy requires new words and phrases, or at least the revision of familiar words and phrases. Proceeding to develop the theme Whitehead contends that words and phrases must be stretched towards a generality foreign to their ordinary usage. In the same vein Whitehead refers to the need to realize that language which is the tool of philosophy needs to be redesigned just as in physical science available physical apparatus needs to be redesigned. But even these words and phrases, stretched or redesigned, are never completely adequate in philosophical speculations. They are, in his opinion, merely a great improvement over ordinary language or the language science, mathematics or symbolic logic.

• Journal of English Language & Literature
• /
• v.55 no.1
• /
• pp.153-176
• /
• 2009

This paper attempts an allegorical reading of female sexuality in Henry James' The Aspern Papers, wherein the narrator reveals his obsession with the love letters of the dead poet, Jeffrey Aspern. Not only the old papers, but does he also fetishize female protagonists in order to maintain his belief in the "great poet." Discussing such fetishistic elements in the novella is in order firstly to reveal the self-splitting logic of phallocentric language, and secondly to analyze the limitation of such language, which resonates with the Freudian construction of female sexuality as critically presented by Irigary. The first part of this study explains the binary structure of The Aspern Papers crystalized in the symbolic courtship in the Bordereaus' garden. It also represents the psychological mindset of the narrator/protagonist: symbolically located "outside," the narrator describes the two Bordereaus as being closed "inside" in a dark mansion, concealing the precious papers from him and the public. In other words, the women are nothing but the obstacle for the self-elected agent, the narrator, from the publication of the language and ideas of the "great man". The women are associated with secrecy and surreptitiousness, while the man with transparency and the truth. Second part of this paper mimics this In/Out binary as a means to reveal insufficiency, if not impropriety, of the predominant discourse of female sexuality constructed and controlled from the male perspective. Employing Irigary's argument, this paper reads the female characters as allegory for female sexual organs, which explains the narrator's inevitable failure. That is, female sexuality is something that cannot be articulated by the intruding language of a masculine subject. since the female sex as such is not only plural but also harmonious and self-contained,

• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.257-280
• /
• 2010

I try to formalize the system of modal logic and interpret it in view of constructivism through this study. As to the meaning of a sentence, as we saw, Frege endorsed extensions in view of the fact that they are enough to provide for a compositional account for truth, in particular that (1) the assignment of extensions to expressions is compositional ; (2) the assignment of extensions to sentences coincides with the assignment of truth values. But nobody would be willing to admit that a truth value is what a sentence means and that consequently all true sentences are synonymous. So, if what we are after is meaning in the intuitive sense, then extensions would not do. This consideration has later become the point of departure of modal and intensional semantics. So, it is clear that the language of modal logic do not allow for an extensional interpretation. ${\square}$ is syntactically on a par with ${\vdash}$, hence within the extensional framework it would have to denote a unary truth function. This means that if modal logic is to be interpreted, we need a semantics which is not extensional. The first attempt to build a feasible intensional semantics was presented by Saul Kripke. He came to the conclusion that we must let sentences denote not truth values, but rather subsets of a given set. He called elements of the underlying set possible world. Hence each sentence is taken to denote the set of those possible world in which it is true. This lets us explicate necessity as 'truth in every possible world' and possibility as 'truth in at least one possible world'. But it is clear that the system of modal logic is not only an enlargement of propositional logic, as long as the former contains the new symbols, but that it is of an other nature. In fact, the modal logic is intensional, in that the operators do not determine the functions of truth any more. But this new element is not given a priori, but a posteriori from construction by logicist.

• 한국논리학회:학술대회논문집
• /
• 2008.07a
• /
• pp.73-92
• /
• 2008

Describing a physical system in idealized terms involves making literally false claims about the system. Given this, it is puzzling that justified beliefs about physical systems can be formed by starting with idealized descriptions and then performing mathematical calculations. I argue that this puzzling aspect of idealizations cannot be easily removed by introducing talk of approximations. I go on to develop an account of how this curious feature of idealizations is to be understood. My account requires us to reassess what precisely we take the laws of physics to be saying, and also has consequences concerning the kind of evidence we can have for thinking that mathematics is the 'language of nature'. Finally, some critical comparisons are made with the so-called model-based account of scientific laws developed by Cartwright and Giere.

• Language and Information
• /
• v.4 no.2
• /
• pp.69-92
• /
• 2000

It is well-known that default rules require a nonmonotonic logic. Veltman proposed one dynamic theory which interprets default rules in such a way that correct inferences can be made at each information state. But his theory has some problems. First, this theory excludes the possibility that a default rule can be true of false. Second, his representation of an information state makes it difficult to interpret a default rule embedded in another sentence. Third, the notion of a frame which is introduced in the interpretation of a default rule and the adjustment of inferential expectation has a more complex structure than is necessary, In this paper, I propose a truth-conditional theory of default rules in which the meaning of a default rule is defined as a truth-condition in a possible world and which assumes a simpler structure of a frame. This makes it possible to interpret a default rule embedded in a sentence. A dynamic theory for default rules is also proposed for correct inferences based on default rules.

• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1556-1559
• /
• 1987

In this paper, a new state assignment method is proposed for the implementation of the area-effective control part. Introducing the, concept of adjacency matrix to control table generated by SDL(Symbolic Description Language) hardware compiler, a state assignment method is proposed with which minimal number of flip flops and effective number of product terms can be obtained to accomplish the area-effective implementation. Also, with substituting the assigned code to state transition table, boolean equations are obtained through 2-level logic minimization. Proposed algorithm is programmed in C-language on VAX-750/UNIX and b efficiency is shown by the practical example.

• Annual Conference on Human and Language Technology
• /
• 2018.10a
• /
• pp.228-233
• /
• 2018

세벌식 한글 글쇠배열은 두벌식보다 글쇠 수가 많이 필요하다는 단점이 있으나, 자음의 종류를 구분할 필요가 없고 고속 타자에 구조적으로 더 유리하다는 장점도 있다. 통상적인 '이어치기'를 넘어 일명 '모아치기'와 '동시치기'처럼 컴퓨터 속기에서 쓰이는 원리를 반영한 입력 로직을 구현할 수 있는데, 이를 위해서는 전용 오토마타를 설계해야 하며 글쇠가 순서대로 눌러진 것뿐만 아니라 각 글쇠들이 눌러진 간격, 눌러졌다가 떼어진 시점, 둘 이상의 글쇠가 동시에 눌러지는 상황에 대해서 고려할 필요가 있다. 본 연구에서는 글쇠가 눌린 간격의 변화를 주로 이용하여 세벌식 기반의 입력 방식에 적용 가능한 동시치기 로직을 제안하였다. 그리고 이것이 오타를 자동 보정함으로써 타자의 편의를 실제로 개선할 수 있음을 공병우 세벌식 글쇠배열을 기준으로 한 실험을 통해 제시하였다.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.32B no.1
• /
• pp.96-102
• /
• 1995

This paper presents the VHSIC Hardware Description Language(VHDL) implementation of the Fixed Point Covariance Lattice(FLAT) algorithm for an Linear Predictive Coding(LPC) analysis and its related algorithms, such as the forth order high pass Infinite Impulse Response(IIR) filter, covariance matrix calculation, and Spectral Smoothing Technique(SST) in the Vector Sum Exited Linear Predictive(VSELP) speech coder that has been Selected as the standard speech coder for the North America and Japanese digital cellular. Existing Digital Signal Processor(DSP) chips used in digital cellular phones are derived from general purpose DSP chips, and thus, these DSP chips may not be optimal and effective architectures are to be designed for the above mentioned algorithms. Then we implemented the VHDL code based on the C code, Finally, we verified that VHDL results are the same as C code results for real speech data. The implemented VHDL code can be used for performing logic synthesis and for designing an LPC Application Specific Integrated Circuit(ASOC) chip and DsP chips. We first developed the C language code to investigate the correctness of algorithms and to compare C code results with VHDL code results block by block.