• 논리연구
• /
• 제17권1호
• /
• pp.71-109
• /
• 2014

셔어는 타르스키의 논리적 귀결 정의가 개념적으로나 외연적으로 적합한 설명이라고 믿는다. 셔어는 모스토프스키의 동형 구조 내의 불변적인 것으로서 일반화된 양화사 개념, 그리고 자신의 모형 이론에 근거해서 그 믿음을 정당화하려 하였다. 이 글에서 나는 타르스키의 정의를 정당화하려는 셔어의 시도는 반만 성공한 것임을 보이려 한다. 나는 논리적인 것이 동형 구조 내의 불변적인 것이라는 셔어의 생각은 논리적 귀결의 형식적 특징을 보이기에 충분하다는 점을 인정한다. 반면 나는 용어의 의미에 대한 셔어의 생각은 외연이 빈 술어의 문제를 제대로 다루기에는 아주 부적합해서, 결국 셔어는 논리적으로 필연적인 진리들과 그 밖의 진리들을 구별하는 데 실패하였다고 생각한다.

• ETRI Journal
• /
• 제33권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.

• 한국수학사학회지
• /
• 제13권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
• /
• 제4권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.

• 한국수소및신에너지학회논문집
• /
• 제25권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.

• 한국방사성폐기물학회:학술대회논문집
• /
• 한국방사성폐기물학회 2004년도 학술논문집
• /
• pp.292-303
• /
• 2004

기존의 지수실험장치에 PLC와 스텝핑 모터로 구성된 자동화 제어장치를 부착하여 중성자 선원과 검출기를 자동으로 정확하게 이동할 수 있도록 개선하였다. 또한 GENIE 2000 라이브러리에 기반을 둔 MCA와 PLC를 동시에 구동할 수 있는 통합자동화 프로그램을 개발하였다. 이와 같이 체계적인 장치로 개선된 실험장치를 사용하여 고리 1 호기의 사용후핵연료 집합체, Cl4, Jl4 및 G23과 고리 2 호기의 사용후핵연료 집하체, J44의 대한 지수실험을 수행하였다. 그 결과 4 개 집합체에 대한 평균 지수감쇠계수는 각각 0.1302, 0.1267, 0.1247 및 0.1210으로 결정되었다.

• Bulletin of the Korean Chemical Society
• /
• 제30권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
• /
• 제6권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.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2000년도 춘계학술대회논문집
• /
• 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.

• 전기학회논문지
• /
• 제66권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.