• Korean Journal of Logic
• /
• v.5 no.1
• /
• pp.27-44
• /
• 2001

아리스토텔레스 이후부터 프레게와 럿셀의 현대논리학이 등장하기 전까지 가장 중요한 논리학의 저서는 "포트로얄 논리학"이라고 알려진 "논리학 혹은 사유의 기술" 이다. 이 저서는 아리스토텔레스와 중세의 고전논리학적 요소와 프레게의 현대논리학적 요소를 동시에 지니고 있어 고전논리학과 현대논리학의 가교 역할을 하고 있다고 할 수 있다. 이 논문의 목적은 포트로얄 논리학에 나타난 서술문의 계사에 대한 설명과 그에 대한 대립되는 해석들을 살펴보고 포토로얄 논리학전체 체계에 비추어 볼 때 어떠한 해석이 보다 설득력있는 해석인가를 검토해 봄으로써 포트로얄 논리학이 지닌 고전적 요소와 현대적 요소를 대비해 보는 것이다. 즉 포트로얄 논리학의 서술문의 계사에 대한 설명을 통해서 그 저서의 한계와 의미를 알아보고, 논리학사에서 그 저서의 정당한 가치를 평가하는 것이 이 논문의 목적이다. 서술문의 계사에 대한 포트로얄 논리학의 설명은 계사는 주어와 술어 사이의 동일성 기호라는 고전적인 해석을 가능하게 하는 여지를 가지고 있는 것은 분명하다. 동시에 서술문의 계사는 술어의 속성들의 집합(comprehension)에 속한 성질들을 주어의 외연(extension)에 적용시키는 역할을 한다고 주장함으로써 프레게의 개념과 대상에 대한 설명과 유사함도 보이고 있다. 필자는 포트로얄 논리학의 계사에 대한 설명을 주어와 술어의 동일성 기호로 해석하는 최근의 빠리앙뜨의 주장(1978)을 비판적으로 살펴보고, 포트로얄 논리학의 계사에 대한 설명을 보다 정확하게 이해하는 것은 술어의 속성과 주어의 외연 사이의 서술적 기능이라고 보는 것이라고 주장한다. 계사를 동일성 기호로 해석하는 것은 첫째 포트로얄 논리학 전체를 살펴볼 때 빈약한 문헌적 증거밖에 갖지 못하고, 둘째 논리학과 의미론에서 포트로얄 논리학의 가장 중요한 기여라고 평가되는 속성집합과 외연의 구별에 대한 오해를 포함하고 있으며, 마지막으로 이러한 해석은 같은 술어도 주어가 달라짐에 따라 다른 의미를 갖는다는 주장을 포함함으로써 반직관적이다. 반면에 계사를 서술적 기능을 하는 것으로 해석하는 것은 포트로얄 논리학의 외연과 내포 사이의 구별에 대한 보다 정확한 이해에 근거한 것이고 종속절을 갖고 있는 명제에 대한 포트로얄 논리학의 분석에 의해서도 뒷받침됨을 보인다. 그러나 포트로얄 논리학은 주어의 외연이 공집합인 명제에 대한 분석에서 여전히 고전논리학적인 설명을 고수한다. 즉 그러한 면제에 대해 주어의 외연이 존재한다고 가정하는 존재적 관점의 해석만 허락함으로써 전칭명제를 조건적으로 해석하고$[({\forall}x)(Sx{\rightarrow}Px)]$, 특칭명제를 연언적으로 해석함으로써$[({\exists}x)(Sx&Px)]$, 그 문제를 해결하는 현대논리학과는 구별된다. 즉 포트로얄 논리학은 서술문의 계사를 동일성 기호가 아니라 주어와 술어의 외연과 내포사이의 서술적 기능으로 설명한다는 점에서 고전적인 견해와 구별되지만, 여전히 존재적 관점에서 모든 명제를 해석한다는 점에서 고전적이다. 이것이 바로 포트로얄 논리학의 평가를 위해서 주목해야 할 그 논리학의 가치이며 한계인 것이다.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.38 no.12
• /
• pp.1057-1064
• /
• 2014

Recently, there has been a growing interest in sustainable energy. One method that has been used is an organic Rankine cycle using conventional turbine technology with a low-temperature waste heat source. A 200-kW organic Rankine cycle (ORC) system was designed for a waste heat recovery application using R245fa as the working fluid. A radial turbine running at 15,000 rpm was employed to generate more than 200 kW with an expansion ratio of nine. Because an ORC turbine uses a refrigerant as the working fluid, the ideal gas law was not employed to design the turbine. In addition, the complexity of the molecular structure of R245fa made it difficult to design the turbine. Because R245fa has an Ma value of one at a low velocity for the working fluid (about 1/3 of the speed of sound in air) at about $100^{\circ}C$, it easily reaches a supersonic flow condition with a small pressure expansion. To increase the efficiency of the turbine, a dual stage radial-type turbine with a subsonic speed was suggested. This paper will describe the design procedure and performance evaluation of the ORC turbine using R245fa.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.7
• /
• pp.778-787
• /
• 1999

이제까지 대부분의 다중 에이전트 시스템에서는 에이전트 사회에 속한 모든 응용 에이전트를 작업 요청에 관계없이 처음부터 구동시킨다고 가정하였다. 이러한 에이전트 정적 구동 방법은 에이전트 관리를 단순하게 해주는 이점을 제공하지만 워크플로우 관리나 전자상거래와 같이 매우 많은 수의 에이전트로 구성되는 응용 분야에서는 시스템 과부하와 자원의 낭비 등 많은 문제점을 초래한다. 동적 에이전트 관리는 이에 대한 해결책으로 아주 많은 수의 에이전트를 포함하는 다중 에이전트 시스템에서 현재 수행중인 작업에 관련된 에이전트만을 선별하여 구동시키고, 작업이 끝난 에이전트는 종료시킴으로써 자원의 낭비를 막고 에이전트간의 상호작용 시에 요구되는 에이전트 통신의 복잡도 부담을 감소시키는 효과를 낸다. 본 논문에서는 자바로 에이전트 관리 시스템을 구현하고, 이 관리 시스템을 통해 각기 다른 언어로 개발된 응용 에이전트가 분산된 환경에서 상호 협력을 통해 작업을 수행할 수 있는 기법을 제안한다. 사용자나 다른 에이전트의 요청으로 에이전트를 동적으로 수행시키기 위해 다른 언어로의 확장을 가능하게 하는 Java Native Interface(JNI)를 사용한 기술 및 이러한 이질적인 에이전트간의 원활한 통신을 위해서 KQML 언어 인터페이스를 통한 통신 기능을 제안한다. 이질적 에이전트의 동적 관리를 가능하게 함으로써 다중 에이전트 시스템의 자원 이용 효율성과 확장성을 높이고 다양한 환경 변화에 대한 적응성과 개선된 협동능력을 제공한다.Abstract It has been assumed that all application agents in a multi-agent system are pre-invoked and remain active regardless of whether they are actually used. Although this kind of static agent invocation simplifies the management of agents, it causes several problems such as the system overload and a waste of resources, especially in the areas of the workflow management and the electronic commerce that consist of tens and even hundreds of application agents. A solution for these problems is the scheme of dynamic agent management that selectively invokes only agents that are actually requested and terminates them when they are no longer needed. This method prevents a waste of system resources and alleviates the complexity of agent communications.This paper proposes an agent management system implemented in Java that supports interactions between application agents that are developed using different languages. Dynamic agent invocation is accomplished by Java Native Interface(JNI) that links two heterogeneous methods, and by KQML language interface that facilitates the communications between heterogeneous agents. This scheme of dynamic agent management provides efficient resource usage, easy extensibility, dynamic adaptibility to changes in the environment, and improved cooperation.

• KIPS Transactions on Computer and Communication Systems
• /
• v.3 no.11
• /
• pp.393-402
• /
• 2014

We have experienced an explosive increase of the IoT(Internet of Things) technology based devices including smart phones and the wireless communications. Also the growing power consumption in IEEE 802.11 WLANs(Wireless LANs) driven by these dramatic increases in not only mobile users and but also wireless APs(Access Points). To reduce the power consumption, this paper proposes a wireless AP power saving algorithm, which minimizes the transmission power without decrease the transmission and carrier sense ranges. A wireless AP which is use in our algorithm checks its own original coverage periodically for whether there is a new STA(Station) or not when its transmission power is decreased. Moreover, if there are no signaling message to connect the wireless AP, it changes its operation mode Wake-up to sleep. A Result shows that the proposed AP algorithm can reduce the total power consumption of the wireless AP approximated 18% and 35% compared to the conventional wireless AP with and without the existing power saving algorithm, respectively.

• Korean Journal of Social Welfare Studies
• /
• v.49 no.4
• /
• pp.101-129
• /
• 2018

This study examined the overall effect size of the batterer intervention programs aimed at reducing violent behavior. This study calculated the 18 results and the 115 effect sizes of 11 theses published from 2000 to 2017 in Korea. It was demonstrated that the effect of an offender's program on the change in violent behavior was significant at both the practical and treatment level. The effect size was high in the order of control behavior, emotional violence, and physical violence. The effects of dependent variables other than violence were also researched. The batterer program positively changed the participant's attitudes in terms of sex-role and partner violence. Furthermore, it decreased the level of anger and depression, and enhanced self-esteem and communication skills thus increasing satisfaction in marital relationships. In addition, this study examined the factors that influence the effect of the offender's program in terms of the decrease of violent behavior. Upon analysis, it was examined that the moderating effect was great in the approach model and counsel form. More specifically, it was revealed that the feminist-cognitive behavioral models had a greater effect than the compromise model or single model. In terms of counsel forms, group counseling formed only of male offenders had greater effect than couples treatment group. Based on these findings, this study discussed the practical means for increasing the effect of batterer intervention programs.

• Journal of Korea Port Economic Association
• /
• v.25 no.2
• /
• pp.277-300
• /
• 2009

By using data envelopment analysis(DEA) this research measures the efficiency of Korea's seven middle-sized seaports and their Malmquist productivity from 1998 to 2007. Under the assumption of CRS(constant returns to scale) and VRS(variable returns to scale), seaports' ranking of efficiency are measured. Kunsan Port is confirmed as a middle-performed port in the various measurements. Important finding facts are as follows. 1)Kunsan Port has the efficiency level from 53% to 57% of efficient ports' level under the assumption of CRS and VRS. 2)In terms of average efficiency level, the gap among these 7 seports' efficiency levels has been widened during the period from 1998 to 2007. 3)Kunsan Port has shown the characteristics of DRS more frequently in terms of returns to scale. 4) Kunsan Port's average total factor productivity has been lower at the rate of 0.7% during the period from 1998 to 2007. 5)Kunsan Port has shown technical progress at the rate of 3.1% in this period. In future research the more and better data will be expected to improve the understanding of Korean seaports' efficiency characteristics.

• Journal of Convergence for Information Technology
• /
• v.9 no.12
• /
• pp.1-7
• /
• 2019

As the cloud environment has become more prevalent among large companies, small and medium-sized companies are also trying to utilize various technologies (IoT, blockchain, etc.) that use cloud services as a way to coexist with large companies. In this paper, a blockchain-based IoT information collection model is proposed to efficiently handle large volumes of IoT data produced by small businesses in order to improve information efficiency of SMEs. The proposed model allowe d small businesses to improve their production efficiency by independently creating groups of the same information so that data that could be generated at the endpoints of small businesses can be block-chained and forwarded to the data center for analysis. In addition, the proposed model's performance assessment was assumed to handle the production throughput of data processed in IoT for small and medium businesses, not large enterprises, so the link between large volumes of data processed in the proposed model could be maintained evenly. One of the biggest features of the proposed model is the ability to expand processes to efficiently control the information of prod ucts produced, as well as the productivity of small and medium enterprises.

• Proceedings of the SCSK Conference
• /
• 1996.07a
• /
• pp.33-51
• /
• 1996

화장품의 변질요인은 크게 물리적 또는 화학적 변화에 의한 요인과 미생물오염으로 인한 각종 문제점으로 대별될 수 있다. 이 중에서 미생물 오염문제는 제품의 상품가치에 미치는 영향 뿐만 아니라 지속적인 사용에 의한 피부의 위생적 측면때문에 그 중요성에 대한 인식이 높아지고 있다. 따라서, 제품개발시는 화장품 처방중의 영양성분의 배합, pH, 유화형태, 방부제의 혼합, 분배계수 및 그 안정성을 고려하여야 함은 물론이고 처방중의 모든 원료의 각각에 대한 항균능 및 피부자극여부를 사전에 미리 조사하여 각 제품별로 적당한 방부체계를 선택하는 것은 매우 중요한일이다. 독성실험방법에 있어서 in vivo 실험에 대체할 수 있는 새로운 in vitro 실험방법 수립 즉, 동물실험을 하지 않고 in vitro 실험결과로부터 in vivo 결과를 예측할 수 있도록 새로운 in vitro 실험체계의 가능성을 실험하였다. 4종의 cell line중 transformed mouse fibroblast L929가 본 실험에서 사용하기에 배양상의 용이성과 안정성, 재현성의 관점에서 가장 알맞은 cell line이었다. transformed mouse fibroblast L929를 사용한 NR$_{50}$ assay와 Draize score간의 regression coefficient ${\gamma}$값은 0.91이었다. 혈청은 시험물질의 세포에 대한 민감성에 영향을 주었다. 따라서, modified serum-free method를 이용함으로써 regression coefficient가 증가된 즉, 상관성 및 재현성이 높은 결과를 얻을 수 있었다. 이러한 기술은 독성실험에 실험동물을 사용하지 않고 in vivo test에 대체 할 수 있고, 또한 화학물질에 대한 prescreening으로 이용할 수 있을 것으로 판단된다.원과 섭식장소, 수중생물의 경우는 특히 수온, 수량 영양원등이다.(중략). 본 연구의 접근방법으로는 ASRS의 개념적인 Reference Model을 수립하고 이 Reference Model에 대한 Formal Model로 DEVS(Discrete Event System Specification)을 이용하여 시스템을 Modeling하였다. 이의 Computer Simulation을 위하여 DEVS형식론 환경에서의 Simulation Language인 DEVSim ++ⓒ를 이용하여 시스템을 구현하였다.. 실형 결과로는 먼저 선형 상미분방정식의 예로 mass-damper-spring system, 비선형 상미분방정식의 예로는 van der Pol 방정식, 연립 상미분방정식의 예로는 mixing tank problem 등을 보였으며, 그의 공학에서 일어나는 여러 가지 문제들도 다루었다.화물에 대한 방어력이 증가되어 나타난 결과로 여겨지며, 또한 혈청중의 ALT, ALP 및 LDH활성을 유의성있게 감소시키므로서 감잎 phenolic compounds가 에탄올에 의한 간세포 손상에 대한 해독 및 보호작용이 있는 것으로 사료된다.반적으로 홍삼 제조시 내공의 발생은 제조공정에서 나타나는 경우가 많으며, 내백의 경우는 홍삼으로 가공되면서 발생하는 경우가 있고, 인삼이 성장될 때 부분적인 영양상태의 불충분이나 기후 등에 따른 영향을 받을 수 있기 때문에 앞으로 이에 대한 많은 연구가 이루어져야할 것으로 판단된다.태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$ elements)로 가정한다. 즉, [+wh] 의미의 겹의문사는 동일한 구성요 소를 지닌 병렬적 합성어([$[W1]_{XO-}$ $[W1]_{XO}$ ]

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.1
• /
• pp.207-217
• /
• 2010

It is taken a violent fall of the international stocks market that was an American Subprime Mortgage Situation. The loss rate of individual investor judged than foreigner and institution by bigger thing. Therefore, further scientific and mechanical investment is needed at the stock investment using Internet HTS. This dissertation is stocks profit rate analysis which uses individual engine foreigner Knowledge Base HTS at the Bear Period the Bear Wave Period the Bull Period the Bull Wave Period. Knowledge Based e-friend HTS was Installed. HTS does composite stock exchange index in actuality stock trading and engine's fund earning rate, yield that is abroad comparative analysis using trend line that is HTS tool, MACD, Bollinger Bands, Stochastic slow's function. Usually, each subjects suppose that deal 5 stocks, and comparative study of the profit(loss)rate of the down to earth falling rate and rising rate, by comparing the earning rate of 5 Small capital stocks with 5 medium capital stocks and 5 Large capital stocks during the bear period, the bear wave period, the bull period, the bull wave period has meaning at the making research of the financial IT field.

• Journal of Korea Water Resources Association
• /
• v.54 no.12
• /
• pp.1215-1222
• /
• 2021

In this study, a study on how to use a fire hydrant as a heat wave reduction facility through hydraulic analysis of the water supply pipe network was conducted. Assuming that the fire hydrant installation point is open for heat wave reduction, the water pressure at each point was derived. And the reduction rate of the temperature according to the hydrant watering was compared with the watering area according to the operation of the watering truck. The watering area according to the opening of the fire hydrant was calculated by deriving the pressure value at the node where the fire hydrant was installed through hydraulic analysis of the water pipe network, and then using the watering radius relational expression according to the pressure value. As a result of applying the proposed methodology to two real city areas, the temperature reduction effect of the watering method by a fire hydrant can be derived lower than the watering method by a watering truck according to the difference in the absolute watering area. However, unlike a watering truck, a fire hydrant does not have a relative restriction on the amount of water supply and is expected to allows continuous divided spraying of the same area.