• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권12호
• /
• pp.5759-5779
• /
• 2017

As the main means to cope with the stubborn problem of drunk driving, the inspection of drunk driving has already been paid more attention and thus reinforced. In this paper, we model this scenario as a Stackelberg game, where the police department (called defender) allocates resources dynamically in terms of the traffic situation on the traffic network to arrest drink drivers and drivers who drink (called attacker), whether choosing drunk driving or designated driving service, expect to minimize their cost for given travel routes. However, with the number of resources are limited, our goal is to calculate the optimal resource allocation strategy for the defender. Therefore, first, we provide an effective approach (named OISDD) to fulfill our goal, i.e., generate the optimal strategy to inspect drunk driving. Second, we apply OISDD to directed graphs (which are abstracted from Dalian traffic network) to analyze and test its correctness and rationality. The experimental results show that OISDD is feasible and efficient.

• 국제물리치료학회지
• /
• 제2권1호
• /
• pp.193-200
• /
• 2011

This study is intended to examine the tDCS and Montoya stair task(MST) on sensorimotor recovery and glial scar expression in MCAo induced stroke model of rat. To achieve this goal, this study selected 80 SD rats of 8 weeks. The experiment groups were divided them into four groups, and assigned 20 rats to each group. Group I was a experimental control group; GroupII was a tDCS application group after MCAo; Group III was a MST application group after MCAo; Group IV was a tDCS and MST application group after MCAo. In each group, neurological function test measurement, motor behavior test, montoya stair task test, immunohistochemistric finding of GFAP expression finding were analyzed. In motor behavior test, the outcome of group I was significantly difference than the other group, especially from 14days. In montoya stair task test, the outcome of group I was significantly lower than the other group especially, group II were significantly different on 14days and group IV was most significantly difference than the other group. In immunohistochemistric finding, group II, III, IV were decrease GFAP expression on depend on time stream. These results throughout the MCAo due to focal ischemic brain injury rat model four weeks tDCS and MST was applied, when the neurobehavioural, upper extremity function and ability, histopathologic data suggest that sensorimotor function recovery and a positive influence on glial scar decrease and confirmed that.

• 수산해양교육연구
• /
• 제4권1호
• /
• pp.75-87
• /
• 1992

Cultivation of competent manpower is recognized as one of the important factors in the development of fisheries as well as of other industries. For reference to the development of education of fisheries high schools in the Republic of Korea, the author carried out a study on the education in Japan. The reason is why the education on fisheries had been initiated in Japan and her educational system has played the role of a model for neighboring countries. Even though the education on fisheries tends to shrink a little in recent years by diffusing the unwilling tendency to engage in 3D (dirty, difficult and dangerous) jobs, there are fifty-one high schools educating fisheries in Japan. Thirty-eight of them are specialized fisheries high schools and the others are comprehensive high schools to put common course and fisheries course together. In the first step of study, the goal of education on fisheries, organization of department and arrangement of curriculum are analysed. 1. In the newly arranged curriculum which will come into effect from 1994, the goal of education on fisheries is set up as "By educating fundamental knowledge and technology on the production and circulation in the field of fisheries, have students understand the significance and role of fisheries, and so cultivate ability and active attitude to the development of fisheries". The goal means that the circulation of fishery products are regarded as important as the production itself, and active attitude to the development of fisheries is also stressed, different from the present goal. 2. Standard departments directed by the Government are set up as five-Departments of Marine Fishing, of Fisheries Engineering, of Information Communication, of Fish Culture, of Sea Foods. But they are actually organized and named by the founders of schools-local government. Then there are many unique-named departments and the management of schools are somewhat flexible according to the situation of local district. 3. Special subjects are revised to twenty-four in the new curriculum from twenty-two in the present curriculum. Among them the contents are widely revised in the subjects such as Introduction to Fisheries, Fisheries Engineering, Communication Engineering, Communication Technology, Fish Culture. On the other hand, five subjects such as Information Treatment on Fisheries, Information Technology on Fisheries, Subjective Study, Fisheries Economics, Circulation of Sea Foods are newly set up to meet the changing phase of the time.

• 한국수학사학회지
• /
• 제30권4호
• /
• pp.247-258
• /
• 2017

The goal of this essay is to examine metaphors for mathematics and to discuss philosophical problems related to them. Two metaphors for mathematics are well known. One is a tree and the other is a building. The former was proposed by Pasch, and the latter by Hilbert. The difference between these metaphors comes from different philosophies. Pasch's philosophy is a combination of empiricism and deductivism, and Hilbert's is formalism whose final task is to prove the consistency of mathematics. In this essay, I try to combine two metaphors from the standpoint that 'mathematics is a part of the ecosystem of science', because each of them is not good enough to reflect the holistic mathematics. In order to understand mathematics holistically, I suggest the criteria of the desirable philosophy of mathematics. The criteria consists of three categories: philosophy, history, and practice. According to the criteria, I argue that it is necessary to pay attention to Pasch's philosophy of mathematics as having more explanatory power than Hilbert's, though formalism is the dominant paradigm of modern mathematics. The reason why Pasch's philosophy is more explanatory is that it contains empirical nature. Modern philosophy of mathematics also tends to emphasize the empirical nature, and the synthesis of forms with contents agrees with the ecological analogy for mathematics.

• 한국사회복지학
• /
• 제45권
• /
• pp.220-249
• /
• 2001

In order to understand the provision of social welfare in Korea, this study puts forward a method to measure and tracks the welfare mix, and applies the method to Korea. This is the goal of this study, which is in three parts. First, I critically review the concept of welfare pluralism and develop the welfare mix model, Second, I present a methodology and technique for measuring and systematically comparing the components of the welfare mix. Third, I examine the roles of five welfare providers including state, market, non-profit organization, enterprise and family in the welfare mix of Korea. This study argues that the welfare mix in Korea has some characteristics of 'residual state, expanded market, negligible voluntary sector, and protective family'. The state in Korea has played a relatively little role in the provision of social welfare, enforcing most Koreans being with a meagre social protection. Thus, most of the 'left' needs for social welfare has to be met in the private sector composed of market and enterprises. In addition, in a situation that self/mutual help through family or community is encouraged, the family has played an important role in the welfare mix. But the role of voluntary sector in the welfare mix has remained negligible. Consequently, the characteristics of the welfare mix in Korea can be best described by a welfare society rather than a welfare state.

• Nuclear Engineering and Technology
• /
• 제44권5호
• /
• pp.471-482
• /
• 2012

To assess the risk of nuclear power plant operation and to determine the risk impact of digital systems, there is a need to quantitatively assess the reliability of the digital systems in a justifiable manner. The Probabilistic Risk Analysis (PRA) is a tool which can reveal shortcomings of the NPP design in general and PRA analysts have not had sufficient guiding principles in modelling particular digital components malfunctions. Currently digital I&C systems are mostly analyzed simply and conventionally in PRA, based on failure mode and effects analysis and fault tree modelling. More dynamic approaches are still in the trial stage and can be difficult to apply in full scale PRA-models. As basic events CPU failures, application software failures and common cause failures (CCF) between identical components are modelled.The primary goal is to model dependencies. However, it is not clear which failure modes or system parts CCF:s should be postulated for. A clear distinction can be made between the treatment of protection and control systems. There is a general consensus that protection systems shall be included in PRA, while control systems can be treated in a limited manner. OECD/NEA CSNI Working Group on Risk Assessment (WGRisk) has set up a task group, called DIGREL, to develop taxonomy of failure modes of digital components for the purposes of PRA. The taxonomy is aimed to be the basis of future modelling and quantification efforts. It will also help to define a structure for data collection and to review PRA studies.

• Journal of Korea Trade
• /
• 제23권3호
• /
• pp.84-104
• /
• 2019

Purpose - This paper explains why free trade agreements (FTAs) are more popular than customs unions (CUs) in respect of tariff coordination. Design/methodology - This paper employs an equilibrium theory of trade agreements with tariff coordination. I set up three-country partial equilibrium model with competing exporters. Domestic and exporting firms decide their optimal production under given tariffs and each country levies its tariff under the trade agreements. I found stability of implicit tariff coordination and preference of each country between an FTA and a CU. Findings - I demonstrate that two FTA members can keep their external tariffs higher than separately decided external tariffs by keeping the status-quo. This implicit tariff coordination can benefit each member through trade diversion. In a CU, each member country must have a common optimal external tariff and it must incur costs because each country may seek different external tariffs for their own national welfare. The benefit of implicit coordination in an FTA and the cost of explicit coordination in a CU account for the popularity of the FTA. Originality/value - This paper uses the idea of implicit tariff coordination in trade agreements. In a CU, tariff coordination is explicit and mandatory. All member countries must have a single common external tariff for each good. On the other hand, in an FTA, each country establishes its external tariff with the goal of maximizing its own welfare. However, each country can also coordinate "implicitly" by keeping the status-quo after establishing an FTA.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.1951-1956
• /
• 2003

It is known that HIV (Human Immunodeficiency Virus) infection, which causes AIDS after some latent period, is a dynamic process that can be modeled mathematically. Effects of available anti-viral drugs, which prevent HIV from infecting healthy cells, can also be included in the model. In this paper we illustrate control theory can be applied to a model of HIV infection. In particular, the drug dose is regarded as control input and the goal is to excite an immune response so that the symptom of infected patient should not be developed into AIDS. Finite horizon optimal control is employed to obtain the optimal schedule of drug dose since the model is highly nonlinear and we want maximum performance for enhancing the immune response. From the simulation studies, we find that gradual reduction of drug dose is important for the optimality. We also demonstrate the obtained open-loop optimal control is vulnerable to parameter variation of the model and measurement noise. To overcome this difficulty, we finally present nonlinear receding horizon control to incorporate feedback in the drug treatment.

• 한국인터넷방송통신학회논문지
• /
• 제22권2호
• /
• pp.89-96
• /
• 2022

본 논문은 NP-난제로 알려진 단일모델 교차혼합 조립라인 균형문제에 대해 휴리스틱 알고리즘을 제안하였다. 조립라인 균형문제는 주로 메타휴리스틱 방법들을 적용하고 있는 추세로 다항시간의 정확한 해를 찾는 알고리즘이 제안되지 않고 있어 실무에 적용하기가 매우 어렵다. 제안된 알고리즘은 주어진 총 조립시간 W와 순환시간 c에 대해 m^* = ⌈W/c⌉의 최소 작업자수와 c^* = ⌈W/m^*⌉의 목표 순환시간을 구하고, i=1,2,…,m^* 개의 작업대에 T_i=c^* ±α≤ c가 되도록 양방향의 공정들을 배정하는 양방향 군집방법을 적용하였다. 7개의 다양한 실험 데이터에 적용한 결과 제안된 양방향 군집 알고리즘은 타 방법들과 동일한 성능을 보였다.

• 경영정보학연구
• /
• 제25권2호
• /
• pp.103-123
• /
• 2023

e-커머스 플랫폼 문헌에서 유효한 관점 중 하나는 정보 비대칭 상황에서의 판매자 신호전략이다. 본 연구에서는 판매자의 신호전략이 소비자의 의사결정에 미치는 영향을 체계적으로 탐색하기 위해 신호이론과 쇼핑목표이론을 기반으로 연구모델을 구성하였다. 구체적으로 소비자의 쇼핑 목표에 따라 판매자가 제공하는 신호 효과(i.e., 평판, 온라인 구전 비율, 가격)에 차이가 있는지 분석하였다. 실증분석을 위해서는 대표적인 e-커머스 플랫폼인 아마존을 대상으로 26,246개의 데이터를 수집하여 가우시안 코플라 방법을 활용하였다. 분석결과, 판매자가 제공하는 신호는 수익에 긍정적인 영향을 미치는 것으로 나타났으며, 이러한 효과는 소비자의 쇼핑목표에 따라 조절되는 것으로 분석되었다. 본 연구는 쇼핑목표이론을 기반으로 소비자가 입력하는 키워드에 따라 판매자의 신호전략 효과에 차이가 있다는 점을 발견함으로써 신호이론 및 전자상거래 문헌에 기여하였다.