• Journal of Convergence for Information Technology
• /
• v.7 no.3
• /
• pp.65-71
• /
• 2017

The quantum logic was introduced by G. Birkhoff and 1. von Neumann in order to study projections of a Hilbert space for a formulation of quantum mechanics, and Husimi proposed orthomodular law and orthomodular lattices to complement the quantum logic. Abott introduced orthoimplication algebras and its properties to investigate an implication of orthomodular lattice. The commuting relation is an important property on orthomodular lattice which is related with the distributive law and the modular law, etc. In this paper, we define a binary operation on orthoimplication algebra and the greatest lower bound by using this operation and research some properties of this operation. Also we define a homomorphism and characterize the commuting relation of orthoimplication algebra by the homomorphism.

• Journal of Information Technology Services
• /
• v.6 no.3
• /
• pp.69-86
• /
• 2007

As most of firms related with P2P services change their free services into fee-charging services, the problems of intellectual property rights are solved to satisfactory extent. Accordingly, P2P systems become more popular with the general public. In this respect, it is thought to be very important to research on the critical factors affecting usage of P2P systems. Although it is strongly expected that the characteristics of users activities in virtual communities affect the intention to re-use P2P systems, relatively few attention have been paid to this question. Therefore, this paper is to present empirical evidence to explain how the characteristics of users activities in virtual communities affect re-use intention of P2P services. The theoretical contribution of this study is that the characteristics of users activities in virtual communities is theoretically derived from the comprehensive literature review and the logical reasoning, and that the research model of the relationship between the users activities' characteristics in virtual community and the re-use intention of P2P services is proposed and empirically validated, which is expected to expand explaining power of the TAM(Technological Acceptance Model). Also, the practical implication is to provide the guideline to support the successful strategic planning for development and.operation of P2P services through the virtual communities.

• Journal of Sasang Constitutional Medicine
• /
• v.10 no.1
• /
• pp.25-40
• /
• 1998

Sasang Constitutional Medicine is the constition medicine and the basis which constitution reveals is the distinction of the nature and emotion. Therefore the theory of the nature and emotion is the foundation which Sasang Constitution Medicine is coming into being. The author studied the progress that the distinction of the nature and emotion was formed and analized the phenomenon presented by the distinction of it as the principle of the movement of Yin and Yang. The results are following; 1. The beginning of the operation of the nature begins from some one part(cho ; 焦) among four part. That consists of the first factor of constitution-revelation. In accordance with the distinction of the nature, the second factor, that is the distinction of the emotion is determined and the united distinction of the nature and emotion presents the Sasang constitution. 2. The operation of the nature and emotion is the movement of Qi by the property of Yin and Yang and that is the phenomenon presented by the logical and scientifical law. 3. The ontology of Lee Je-ma is Qi-monism. 4. Four emotion(Sorrow, Anger, Joy, Presure) are not partional concept of the emotion but total concept which include all of it.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.7
• /
• pp.3690-3713
• /
• 2019

According to the main group key management schemes logical key hierarchy (LKH), exclusion basis systems (EBS) and other group key schemes are limited in network structure, collusion attack, high energy consumption, and the single point of failure, this paper presents a group key management scheme for wireless sensor networks based on Lagrange interpolation polynomial characteristic (AGKMS). That Chinese remainder theorem is turned into a Lagrange interpolation polynomial based on the function property of Chinese remainder theorem firstly. And then the base station (BS) generates a Lagrange interpolation polynomial function f(x) and turns it to be a mix-function f(x)' based on the key information m(i) of node i. In the end, node i can obtain the group key K by receiving the message f(m(i))' from the cluster head node j. The analysis results of safety performance show that AGKMS has good network security, key independence, anti-capture, low storage cost, low computation cost, and good scalability.

• The Mathematical Education
• /
• v.24 no.2
• /
• pp.105-116
• /
• 1986

For any thought and knowledge, its growth and development has close relation with the society where it is developed and grow. As Feuerbach says, the birth of spirit needs an existence of two human beings, i. e. the social background, as well as the birth of body does. But, at the educational viewpoint, the spread and the growth of such a thought or knowledge that influence favorably the development of a society must be also considered. We would discuss the goal and the function of mathematics education in relation with the prosperity of a technological civilization. But, the goal and the function are not unrelated with the spiritual culture which is basis of the technological civilization. Most societies of today can be called open democratic societies or societies which are at least standing such. The concept of rationality in such societies is a methodological principle which completes the democratic society. At the same time, it is asserted as an educational value concept which explains comprehensively the standpoint and the attitude of one who is educated in such a society. Especially, we can considered the cultivation of a mathematical thinking or a logical thinking in the goal of mathematics education as a concept which is included in such an educational value concept. The use of the concept of rationality depends on various viewpoints and criterions. We can analyze the concept of rationality at two aspects, one is the aspect of human behavior and the other is that of human belief or knowledge. Generally speaking, the rationality in human behavior means a problem solving power or a reasoning power as an instrument, i. e. the human economical cast of mind. But, the conceptual condition like this cannot include value concept. On the other hand, the rationality in human knowledge is related with the problem of rationality in human belief. For any statement which represents a certain sort of knowledge, its universal validity cannot be assured. The statements of value judgment which represent the philosophical knowledge cannot but relate to the argument on the rationality in human belief, because their finality do not easily turn out to be true or false. The positive statements in science also relate to the argument on the rationality in human belief, because there are no necessary relations between the proposition which states the all-pervasive rule and the proposition which is induced from the results of observation. Especially, the logical statement in logic or mathematics resolves itself into a question of the rationality in human belief after all, because all the logical proposition have their logical propriety in a certain deductive system which must start from some axioms, and the selection and construction of an axiomatic system cannot but depend on the belief of a man himself. Thus, we can conclude that a question of the rationality in knowledge or belief is a question of the rationality both in the content of belief or knowledge and in the process where one holds his own belief. And the rationality of both the content and the process is namely an deal form of a human ability and attitude in one's rational behavior. Considering the advancement of mathematical knowledge, we can say that mathematics is a good example which reflects such a human rationality, i. e. the human ability and attitude. By this property of mathematics itself, mathematics is deeply rooted as a good. subject which as needed in moulding the ability and attitude of a rational person who contributes to the development of the open democratic society he belongs to. But, it is needed to analyze the practicing and pursuing the rationality especially in mathematics education. Mathematics teacher must aim the rationality of process where the mathematical belief is maintained. In fact, there is no problem in the rationality of content as long the mathematics teacher does not draw mathematical conclusions without bases. But, in the mathematical activities he presents in his class, mathematics teacher must be able to show hem together with what even his own belief on the efficiency and propriety of mathematical activites can be altered and advanced by a new thinking or new experiences.

• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.351-370
• /
• 2010

Whitehead's metaphysics and philosophy of nature rest on his awareness of the metaphysical problem of the relation between "I", the "creative advance" and forces of the universe. Whitehead attempted to systematize human experience of the world based on logical explorations. In this context it is important to note that his discussion of proposition and language is closely connected with his works on a systematic theory of nature. Whitehead proposes a metaphysical concept of proposition also based on the creative advance of the universe. His theory of proposition is designed to show that human language is constructions of the relations between logical and real events in the creative universe which refer to a particular point of view. In this view, a variety of verbal possibilities in the multiple worlds can be realized in the same proposition. For Whitehead the emergence of novelty in the function of proposition is an essential property of the creative universe. This paper will try to give a discussion to Whitehead's theory of proposition with regard to the emergence of nature. Especially I emphasize in this paper Whitehead's idea and meaning of proposition for the development of the creative advance of nature as one aspect of particular importance.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.39 no.9
• /
• pp.1-11
• /
• 2002

The optimal AP placement for wireless LAN is important factor for improving service quality and reducing cost. Decision of AP placement is depend on radio signal strength, environment factor and logical area property, which is user's frequently posed place. This paper proposes optimal multiple AP placement method based on radio prediction tool. The proposed method can get flexibility in multiple AP placement using user defined parameter and the optimization design uses Hopfield network algorithm. And path-loss model is used for one of radion prediction model. The result of simulation shows that it is efficiently reduces the process to find optimal AP placement. And the proposed optimization design of multiple AP placement can improve service quality for wireless LAN.

• Journal of the Ergonomics Society of Korea
• /
• v.34 no.5
• /
• pp.455-467
• /
• 2015

Objective: The present study suggested practical measures for successful patent registration based on a review of success and failure cases of patent application filed based on inventions obtained from physical ergonomics research. Background: The protection of intellectual property (IP) contributes to economic growth and competitiveness and facilitates innovation and creativity. IP rights are pursued on research findings for effective technology transfer and commercialization; however, a patent application can be rejected if patentability requirements such as patent eligible subject matter, utility for industrial application, novelty, or non-obviousness are not satisfied. Method: Three successful and three failed cases of patent applications based on physical ergonomics research were reviewed, critical reasons for their successes and failures were examined, and measures were proposed to avoid failures in patent registration. Results: The following measures were identified based on the patent application case review. First, abstract ideas including logical procedures and/or mathematical formulas need to include use of tangible apparatus and methods in idea realization. Second, the provision of grace period inventor disclosure exception needs to be properly followed in case an invention is disclosed before filing of patent application. Lastly, a comprehensive analysis of prior art published or publicly known anywhere in the world and a claim preparation of distinguished, non-trivial features compared to prior art solutions are needed to avoid possible violation of novelty and non-obviousness. Application: The proposed measures can help to prepare a patent application with patent eligibility.

• Journal of the Korean Society for Library and Information Science
• /
• v.49 no.1
• /
• pp.45-67
• /
• 2015

The purpose of this study is to analyse the semantic relations of terms in STNet, a structured terminology dictionary based on author keywords of humanities, social sciences, and art and sport in the Korea Citation Index (KCI) and to describe the procedure for optimizing the relation types and specifying the name of relationships. The results indicate that four logical criteria, such as creating new names for relationships or limitation of typing the relationship by the appearance frequency of same type, consideration of direction of relationship, reflection to accept the existing name of relationships, are required for the optimization of the typing and naming the relationships. We applied these criteria to the relationships in the class "real person" of STNet and the result shows that 1,135 out of 1,743 uncertain relationships such as RT, RT_X or RT_Y are specified and clarified. This rate of optimization with ca. 65% represents the usefulness of the criteria applicable to the cases of database construction and retrieval.

• Proceedings of the KIEE Conference
• /
• 2002.11d
• /
• pp.197-199
• /
• 2002

The invention of VHDL(Very High Speed Integrated Circuit Hardware Description Language), Technical language of Hardware, is a kind of turning point in digital circuit designing, which is being more and more complicated and integrated. Because of its excellency in expression ability of hardware, VHDL is not only used in designing Hardware but also in simulation for verification, and in exchange and conservation, composition of the data of designs, and in many other ways. Especially, It is very important that VHDL is a Technical language of Hardware standardized by IEEE, intenational body with an authority. The biggest problem in modern circuit designing can be pointed out in two way. One is a problem how to process the rapidly being complicated circuit complexity. The other is minimizing the period of designing and manufacturing to survive in a cutthroat competition. To promote the use of VHDL, more than a simple use of simulation by VHDL, it is requested to use VHDL in composing logical circuit with chip manufacturing. And, by developing the quality of designing technique, it can contribute for development in domestic industry related to ASIC designing. In this paper in designing SMPS(Switching mode power supply), programming PWM by VHDL, it can print static voltage by the variable load, connect computer to chip with byteblaster, and download in Max(EPM7064SLCS4 - 5)chip of ALTER. To achieve this, it is supposed to use VHDL in modeling, simulating, compositing logic and product of the FPGA chip. Despite its limit in size and operating speed caused by the specific property of FPGA chip, it can be said that this method should be introduced more aggressively because of its prompt realization after designing.