• Proceedings of the KIEE Conference
• /
• 2000.11d
• /
• pp.781-783
• /
• 2000

1bit full adder have 3 input (including carry_in) and 2 outputs(Sum and Carry_out). Because of 1 bit full adder's propagation delay. We usually use 4-bit binary full adder with fast carry, 74LS283. The 74LS283 is positive logic circuit chip. But the logic function of binary adder is symmetrical, so it can be possible to use it not only positive logic but also the negative logic. This thesis use symmetrical property. such as $C_{i+1}(\bar{a_i}\bar{b_i}\bar{c_i})=C_{i+1}{\bar}(a_i,\;b_i,\;c_i)$ and $S_i(\bar{a_i}\bar{b_i}\bar{c_i})=\bar{S_i}(a_i,\;b_i,\;c_i)$. And prove this property with logic operation. Using these property, the 74LS283 adder is possile as the negation logic circuit. It's very useful to use the chip in negative logic. because many system chip is negative logic circuit. for example when we have negative logic chip with 74LS283. we don't need any not gate for 74LS283 input, and just use output of adder(74LS283) as the negation of original output.

• Korean Journal of Logic
• /
• v.16 no.1
• /
• pp.61-85
• /
• 2013

The author, after introducing the concept of de re belief and discussing de re/de dicto ambiguity in belief context and modal context, concludes that modal sentences of Korean language does not show any distinctive traits against English. He, after discussing this ambiguity in negative sentence a la Russell, tries to show that Korean provides two way of negation construction, one of which corresponds to de re negation (primary occurrence in Russell's terms). De re reading makes referentially transparent context, thus permits substitutions of identicals salva veritate; De dicto reading does not. Korean ending 'rago', used with quotation verbs, speech act verbs and cognitive attitude verbs, deserves some attention in that it permits de re sentences in addition to de re/de dicto ambiguous sentences. 'Rago' also makes speaker's commitment to the content of the intensionally contained clause 'neutral', in contrast with other Korean endings such as 'um/im' and 'raneun gut' which make speaker's positive commitment. This explains why the maxim of western epistemology that knowledge presupposes truth does not hold in Korean 'rago' sentences.

• Journal of Korean society of Dental Hygiene
• /
• v.6 no.3
• /
• pp.219-228
• /
• 2006

The research which it sees against the self concept of part dental hygienes students from the hazard which it examines dental hygienes which is located on Kyoung-Buk and students 318 people in the object un-signature it enforced a research with the entry method which it got a same result. 1. From general characteristics of part hygiene students "the employment went well from the motive which selects hygiene" and it appeared most highly. The employment will go well and the social advance will do and ease when seeing specially with characteristics of college, it has an corresponding with the fact that is a possibility of employment.. 2. The average score against the self concept of part hygiene students "me it is an existence which is isolated from this world and nothing to do with the others". It appeared most highly with 3.52. The negation self concept appeared more highly affirmative self concept than. 3. To self concept and grade, religion, health condition, hygiene selection motive, subject record and native high school of part hygiene students the difference which considers statistically did not appear(p>0.05). However it tries to observe the self concept which it follows subject satisfactory degree, it is very unsatisfactorily(3.37) with it is unsatisfactorily(3.16) gaps it was not visible the difference which considers statistically, it is very satisfied(3.37) with the difference which considers statistically it was visible(p<0.05). Students the affirmative reaction is correct phenomenon in order to establish a specialty intuition. 4. When self concept and record and the subject satisfaction sees a interrelation for, Between self concept subject satisfaction is appeare big affirmative interrelation(r=0.331) and the subject record and subject satisfaction just interrelation appeared as well(r=0.282) all they considered statistically and appeared.(p=0.000) but to self concept and subject record for the interrelation did not appear. Negation self concept of part hygiene students appears more strongly than affirmative one, And studying for self concept of the students, it leads through the program which is the possibility to pull affirmatively is demanded.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.21 no.5
• /
• pp.575-580
• /
• 2011

With the increasing expectation on personalized medicine, it is getting importance to analyze medical information in molecular biology perspective. Gene expression data are one of representative ones to show the microscopic phenomena of biological activities. In gene expression data analysis, one of major concerns is to identify markers which can be used to predict disease occurrence, progression or recurrence in the molecular level. Existing markers candidate identification methods mainly depend on statistical hypothesis test methods. This paper proposes a search method based decision tree induction to identify candidate markers which consist of multiple genes. The propose method discretizes numeric expression level into three categorical values and allows candidate markers' genes to be expressed by their negation as well as categorical values. It is desirable to have some number of genes to be included in markers. Hence the method is devised to try to find candidate markers with restricted number of genes.

• Korean Institute of Interior Design Journal
• /
• v.15 no.6 s.59
• /
• pp.27-34
• /
• 2006

This paper present a study on the $\lceil$Parere su Architettura$\rfloor$ of Piranesi published in 1765. In the 18th century, there were fundamental cultural and social changes in Europe. This paper intends to discover the influences of these changes on the field of architectural theory, and it also intends to reveal its characteristics and meanings. The $\lceil$Parere su Architettura$\rfloor$ of Piranesi was composed as a dialogue between two architects, named Didascalo and Protopiro. In this paper, Didascalo represent the Master and Protopiro the Novice(according to the translation of Kaufmann). On the artistic theory of the Enlightenment, Didascalo proclaims as a dogma. Then he inveighs against the rigorists, using strong language quite up the attacks of the Novice. The modernistic Protopiro assails every kind of embellishment. The dialogue non only helps us to understand Piranesi, but also reflects the artistic situation in the 18th century. The summary of the result of this study is as follows: 1. The book of Piranesi represents a controversy of the romanticism against the architectural rationalism. 2. The negation of the originality of the Roman architecture has been considered as the negation of the Baroque architecture that was the artistic base af Piranesi. 3. Piranesi had ideological intention to defend the hegemony of the Italian culture through strengthening of the Etruria-Roman-Baroque cultural tradition.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.31 no.2B
• /
• pp.91-97
• /
• 2006

As increasing the network bandwidth, the threat of a network also increases with emerging various new services. For a high-performance network security, It is generally used that high-speed packet classification methods which employ hardware like TCAM. There needs an method using these devices efficiently because they are expensive and their capacity is not sufficient. In this paper, we propose an efficient packet classification using a Ternary-CAM(TCAM) which is widely used device for high-speed packet classification in which we have applied Snort rule set for the well-known intrusion detection system. In order to save the size of an expensive TCAM, we have eliminated duplicated IP addresses and port numbers in the rule according to the partitioning of a table in the TCAM, and we have represented negation and range rules with reduced TCAM size. We also keep advantages of low TCAM capacity consumption and reduce the number of TCAM lookups by decreasing the TCAM partitioning using combining port numbers. According to simulation results on our TCAM partitioning, the size of a TCAM can be reduced by upto 98$\%$ and the performance does not degrade significantly for high-speed packet classification with a large amount of rules.

• Korean Journal of Logic
• /
• v.22 no.2
• /
• pp.253-290
• /
• 2019

Wittgenstein presents so-called picture theory in the Tractatus Logico-Philosophicus. What is, then, the point of the picture theory? What are the philosophical problems which the picture theory tries to solve? In this paper, I will endeavor to show that the object of a picture is different from the sense of a picture, that the representing relation is different from the projective relation, that picture theory is applied to composite propositions as well as elementary propositions and that on the one hand the basic problems that picture theory tries to solve are problem of theory of meaning and that of theory of truth, but on the other hand the more important problem is what Wittgenstein calls "the mystery of negation." From these discussions, we can see that it is not correct at all to interpret that the picture theory in the Tractatus Logico-Philosophicus is nothing but an analogy which does not have a significant content.

• International Journal of Knowledge Content Development & Technology
• /
• v.5 no.2
• /
• pp.75-101
• /
• 2015

In this paper, we investigate the notion of error correction memory applied to technical texts. The main purpose is to introduce flexibility and context sensitivity in the detection and the correction of errors related to Constrained Natural Language (CNL) principles. This is realized by enhancing error detection paired with relatively generic correction patterns and contextual correction recommendations. Patterns are induced from previous corrections made by technical writers for a given type of text. The impact of such an error correction memory is also investigated from the point of view of the technical writer's cognitive activity. The notion of error correction memory is developed within the framework of the LELIE project an experiment is carried out on the case of fuzzy lexical items and negation, which are both major problems in technical writing. Language processing and knowledge representation aspects are developed together with evaluation directions.

• Journal for History of Mathematics
• /
• v.15 no.1
• /
• pp.15-42
• /
• 2002

Dialectical Methods is the form in which thinking and being developed, according to Hegel. Every given definition removes itself necessarily and goes over to its contrary definition. The mutual struggle brings us to a new definition, which is richer and more concrete insofar as it embraces the original definition, but on a higher level. The purpose of this study is to enhancing student's creative thinking in mathematics by dialectical methods. The conclusions drawn from the results obtained in this study are as follows, First the introduction of dialectical methods to mathematics education had been made by Lakatos, Brousseau, Freudenthal. Second, the dialectical teaching methods in mathematics are developed from dialectical methods: the step of affirmation - the step of negation - the step of sublation. Third, the students who team mathematics by dialectical teaching methods are creative in its implications.

• Korean Journal of Logic
• /
• v.8 no.2
• /
• pp.85-107
• /
• 2005

Kleene first investigated a three-valued system which follows the evaluations of the Lukasiewicz infinite-valued logic ${\L}C$ with respect to negation, conjunction, and disjunction, and treats $\rightarrow$ as material-like implication in the sense that A $\rightarrow$ B is defined as ${\sim}A{\vee}B$ in its evaluation. Diense and Rescher extended it to many-valued logic and infinite-valued logic, respectively. This paper investigates a variant of the infinite-valued Kleene-Diense logic KD, which we shall call strong Kleene-Diense logic (sKD): sKD has the same evaluations as KD except that sKD takes a variant of Kleene-Diense implication. Following the idea of Dunn [2], we provide algebraic completeness for sKD together with its deduction theorem.