• Title, Summary, Keyword: Logical constant

Search Result 27, Processing Time 0.025 seconds

Model-theoretic Conceptions of Logical Consequences and Logical Constants (모형론적 논리적 귀결과 논리상항)

  • Park, Jun-Yong
    • Korean Journal of Logic
    • /
    • v.17 no.1
    • /
    • pp.71-109
    • /
    • 2014
  • Gila Sher believes that Tarskian definition of logical consequence is a conceptually and extensionally adequate explanation. She has tried to show this on the basis of Mostowskian conceptions of generalized quantifiers as being invariant under isomorphic structures and her own conceptions of models. In this paper I try to show that her attempt to justify the Tarskian definition is only partially successful. I admit that her conceptions of the logical as being invariant under isomorphic structures are enough to show the logical formality of logical consequence relations. But I think that since her conceptions of meanings of terms are quite inadequate for dealing with the problem of empty predicates, she fails to distinguish logically necessary truths from other kinds of truths.

  • PDF

An Improved Non-CSD 2-Bit Recursive Common Subexpression Elimination Method to Implement FIR Filter

  • Kamal, Hassan;Lee, Joo-Hyun;Koo, Bon-Tae
    • ETRI Journal
    • /
    • v.33 no.5
    • /
    • pp.695-703
    • /
    • 2011
  • The number of adders and critical paths in a multiplier block of a multiple constant multiplication based implementation of a finite impulse response (FIR) filter can be minimized through common subexpression elimination (CSE) techniques. A two-bit common subexpression (CS) can be located recursively in a noncanonic sign digit (CSD) representation of the filter coefficients. An efficient algorithm is presented in this paper to improve the elimination of a CS from the multiplier block of an FIR filter so that it can be realized with fewer adders and low logical depth as compared to the existing CSE methods in the literature. Vinod and others claimed the highest reduction in the number of logical operators (LOs) without increasing the logic depth (LD) requirement. Using the design examples given by Vinod and others, we compare the average reduction in LOs and LDs achieved by our algorithm. Our algorithm shows average LO improvements of 30.8%, 5.5%, and 22.5% with a comparative LD requirement over that of Vinod and others for three design examples. Improvement increases as the filter order increases, and for the highest filter order and lowest coefficient width, the LO improvements are 70.3%, 75.3%, and 72.2% for the three design examples.

GSP를 활용한 중학교 수학 교과 연구 -피타고라스 정리를 중심으로-

  • 계영희
    • Journal for History of Mathematics
    • /
    • v.13 no.2
    • /
    • pp.121-132
    • /
    • 2000
  • In this paper, we demonstrate the Pythagorean Theorem by using the computer geometric software, Geometer's Skechpad(GSP) in stead of Eucliean logical proof. Also, we show that two applications of Pythagorean Theorem. The one is constructed by the fact that $ka^2+kb^2=kc^2$, where k is a constant, the other is made by the fractal.

  • PDF

An Autonomic -Interleaving Registry Overlay Network for Efficient Ubiquities Web Services Discovery Service

  • Ragab, Khaled
    • Journal of Information Processing Systems
    • /
    • v.4 no.2
    • /
    • pp.53-60
    • /
    • 2008
  • The Web Services infrastructure is a distributed computing environment for service-sharing. Mechanisms for Web services Discovery proposed so far have assumed a centralized and peer-to-peer (P2P) registry. A discovery service with centralized architecture, such as UDDI, restricts the scalability of this environment, induces performance bottleneck and may result in single points of failure. A discovery service with P2P architecture enables a scalable and an efficient ubiquities web service discovery service that needs to be run in self-organized fashions. In this paper, we propose an autonomic -interleaving Registry Overlay Network (RgON) that enables web-services' providers/consumers to publish/discover services' advertisements, WSDL documents. The RgON, doubtless empowers consumers to discover web services associated with these advertisements within constant D logical hops over constant K physical hops with reasonable storage and bandwidth utilization as shown through simulation.

Effects of Dimaine, Diacid and Dintitro Derivatives on the Inhibition of Adenosine Deaminase; Experimental, Molecular Docking and QSAR Studies

  • Ajloo, Davood;Najafi, Leila;Saboury, Ali Akbar
    • Bulletin of the Korean Chemical Society
    • /
    • v.30 no.11
    • /
    • pp.2523-2531
    • /
    • 2009
  • Effects of some diacid, diamine and dinitro aromatic compounds on the structure and activity of adenosine deaminase (ADA) were investigated by UV-Vis spectrophotometry in 50 mM phosphate buffer at pH = 7.5 and 27 ${^{\circ}C}$ and molecular docking studies. The results showed that all tested ligands are showing inhibition; five ligands are uncompetitive and other two ligands are mixed of competitive and noncompetetive inhibitors with majority of competitive behavior. For the later case analysis was done based on competitive inhibition. Diacids have larger size and higher inhibition constant ($K_I$) relative to others. A logical correlation between calculated free energy of binding and experimental values was obtained for un-competitive. Experimental and calculated data showed that competitive inhibitors are distributed near the active site of enzyme and form several cluster of ranks, whereas uncompetitive inhibitors bind to the enzyme-substrate complex and distributed far from the active site. Results of structure-activity relationship showed that, larger, more hydrophobe, less spherical and more aromatic ligands have higher inhibition constants.

Development of the Integrated Exhaust System and Techniques of Nitrogen and Condensate for Fuel Cell Electric Vehicle (연료전지 자동차용 질소/응축수 통합배출시스템 및 기술 개발)

  • Shim, Hyo Sub;Kim, Hyo Sub;Kim, Jae Hoon;Kwon, Bu Kil;Lee, Hyun Joon;Kim, Chi Myung;Park, Yong Sun
    • Transactions of the Korean hydrogen and new energy society
    • /
    • v.25 no.5
    • /
    • pp.516-524
    • /
    • 2014
  • Proper discharge of nitrogen gas and water condensate is required in a conventional fuel cell system for performance, stability and durability of fuel cell stacks. Present study covers the development of integrated unit and its functioning logic for simultaneous nitrogen gas purge and water condensate drainage in a fuel cell vehicle system. Configuration of condensate drainage pipe, purge valve and level sensor is considered and optimized in physical integration. As a key factor, discharge time is considered and optimized based on the test result of constant-current operation with various operating temperature in logic development. Consequently, derived optimal values are applied and verified in actual vehicle drive mode test. Increase of system design flexibility, weight reduction and cost reduction are anticipated with this study. Additional study for physical and logical improvement is currently being implemented.

Quasi-Steady Damping Force of Electro- and magneto-Rheo logical Flow Mode Dampers using Herschel-Bulkley Model (Herschel-Bulkley 모델에 의한 전기 및 자기장 유체 댐퍼의 준안정 상태 댐핑력 해석)

  • Lee, Dug-Young;Hwang, Woo-Seok
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • /
    • pp.1298-1302
    • /
    • 2000
  • Electrorheological(HER) and magnetorheologica(MR) fluids have a unique ability to increase the dynamic yield stress of the fluid substantially when electric or magnetic field is applied. ER and MR fluid-based dampers are typically analyzed using Bingham-plastic shear flow analysis under Quasi-steady fully developed flow conditions. An alternative perspective, supported by measurements reported in the literature, is to allow for post-yield shear thinning and shear thickening. To model these, the constant post-yield plastic viscosity in Bingham model can be replaced with a power-law model dependent on shear strain rate that is known as the Herschel-Bulkley fluid model. The objective of this paper is to predict the damping forces analytically in a typical ER bypass damper for variable electric field, or yield stress using Herschel-Bulkley analysis.

  • PDF

Static Control of Boolean Networks Using Semi-Tensor Product Operation (Semi-Tensor Product 연산을 이용한 불리언 네트워크의 정적 제어)

  • Park, Ji Suk;Yang, Jung-Min
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.66 no.1
    • /
    • pp.137-143
    • /
    • 2017
  • In this paper, we investigate static control of Boolean networks described in the framework of semi-tensor product (STP) operation. The control objective is to determine control input nodes and their logical values so as to stabilize the considered Boolean network to a desired fixed point or cycle. Using topology of Boolean networks such as incidence matrix and hub nodes, a set of appropriate control input nodes is selected, and based on STP operations, we assign constant control inputs so that the controlled network can converge to a prescribed fixed point or cycle. To validate applicability of the proposed scheme, we conduct a numerical study on the problem of determining control input nodes for a Boolean network representing hierarchical differentiation of myeloid progenitors.

Developing Digital Games through Software Reuse

  • Neto, Beatriz;Fernandes, Lucia;Werner, Claudia;De Souza, Jano Moreira
    • Journal of Information Processing Systems
    • /
    • v.6 no.2
    • /
    • pp.219-234
    • /
    • 2010
  • Gaming is an old humans' habit. Games help in logical development and encourage learning of theoretical and practical concepts. Besides they offer entertainment and challenge. The advent of the personal computer changed this tradition. Every year new challenges arise in a digital format, which lead the young and adults to spend hours in front of a computer or TV screen in an attempt to overcome hurdles and reach an objective. Quality, sophistication, and constant innovation are attained through complex computer software that almost has an obligation to improve as each new title is released, due to this game development becomes a challenge. Considering that a game title is software and thus faces the same restrictions of business applications, this article intends to analyze, under the optics of reuse, if game development resorts to reuse, and where and how this happens.

Improvement of the Exponential Experiment System for the Automatical and Accurate Measurement of the Exponential Decay constant (지수감쇠계수의 자동 및 정밀 측정을 위한 지수실험장치 개선)

  • 신희성;장지운;이윤희;황용화;김호동
    • Proceedings of the Korean Radioactive Waste Society Conference
    • /
    • /
    • pp.292-303
    • /
    • 2004
  • The previous exponential experiment system has been improved for the automatical and accurate axial movement of the neutron source and detector with attaching the automatical control system which consists of a Programmable Logical Controller(PLC) and a stepping motor set. The automatic control program which controls MCA and PLC consistently has been also developed on the basis of GENIE 2000 Library. The exponential experiments have been carried out for Kori 1 unit spent fuel assemblies, Cl4, Jl4 and G23, and Kori 2 unit spent fuel assembly, J44, using the improved systematical measurement system. As the results, the average exponential decay constants for 4 assemblies are determined to be 0.1302, 0.1267, 0.1247, and 0.1210, respectively, with the application of Poisson regression.

  • PDF