• 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.

• 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.

• 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.

• 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.

• 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.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2004.06a
• /
• 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.

• 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.

• 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.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2000.06a
• /
• 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.

• 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.