• Title/Summary/Keyword: 병행성

Search Result 2,054, Processing Time 0.028 seconds

야전군수지원 효율성 보장을 위한 수송장비 변혁(2)

  • Gwon, Tae-Gwang
    • Defense and Technology
    • /
    • no.10 s.236
    • /
    • pp.84-91
    • /
    • 1998
  • 세계 각국에서는 군용차량을 획득하고 개발, 운용함에 있어 개발 비용(경제성)이 부차적인 요소가 아니라 핵심적인 결정 요소로 작용하고 있다. 따라서 우리 군도중전술차량을 개발할 때 비용을 절감하면서 성능을 향상시킬 수 있는 방안 – 현존 차량의 개량, 개조와 병행해서 상용 차량의 군용화 방안 – 으로 모색하여야 할것이다.

  • PDF

State Space Exploration of Concurrent Systems with Minimal Visit History (최소방문 기록을 이용한 병행 시스템의 상태 공간 순회 기법)

  • Lee, Jung-Sun;Choi, Yun-Ja;Lee, Woo-Jin
    • Journal of KIISE:Software and Applications
    • /
    • v.37 no.9
    • /
    • pp.669-675
    • /
    • 2010
  • For detecting requirement errors in early system development phase, the behaviors of a system should be described in formal methods and be analyzed with analysis techniques such as reachability analysis and cycle detection. However, since they are usually based on explicit exploration of system state space, state explosion problem may be occurred when a system becomes complex. That is, the memory and execution time for exploration exponentially increase due to a huge state space. In this paper, we analyze the fundamental causes of this problem in concurrent systems and explore the state space without composing concurrent state spaces for reducing the memory requirement for exploration. Also our new technique keeps a visited history minimally for reducing execution time. Finally we represent experimental results which show the efficiency of our technique.

Artemisia capillaris and Paecilomyces japonica Stimulate Lipid Metabolism and Reduce Hepatotoxicity Induced by Carbon Tetrachloride in Rats (사염화탄소를 투여한 흰쥐에서 인진쑥 및 동충하초의 지질대사촉진 및 간독성저하효과)

  • Jin, Yong-Xie;Yoo, Youn-Sook;Han, Eun-Kyung;Kang, Il-Jun;Chung, Cha-Kwon
    • Journal of the Korean Society of Food Science and Nutrition
    • /
    • v.37 no.5
    • /
    • pp.548-554
    • /
    • 2008
  • The aim of this study was to identify the inhibitory effect of hepatic toxicity and liver lipid metabolism after the administration of Artemisia capillaris and Paecilomyces japonica. SD rats were divided into $CCI_4$ treated group with subgroups of 6% Artemisia capillaries (6A), 4% Artemisia capillaris+2% Paecilomyces japonica (4A2P), 3% Artemisia capillaris+3% Paecilomyces japonica (3A3P), 2% Artemisia capillaris+4% Paecilomyces japonica (2A4P) and 6% Paecilomyces japonica (6P). In this study we also intended to verify the optimum ratio of Artemisia capillaris and Paecilomyces japonica which can reduce hepatotoxicity. Artemisia capillaris and Paecilomyces japonica reduced cholesterol and triglyceride levels which were increased by the treatment of $CCI_4$. HDL-cholesterol level was the most enhanced in the group of 4A2P. On the other hand, athrogenic index (AI) was reduced statistically (p<0.05). When the ratio of Artemisia capillaris and Paecilomyces japonica was 2:1, the improvement of rat serum and liver lipid metabolism and the alleviation of hepatic damage induced by $CCI_4$ were shown to be the most effective in this study. It is considered that the symptoms of severe chemically induced hepatotoxicity could be lessened by Artemisia capillaris and Paecilomyces japonica administration.

A Concurrency Control Technique Using Optimistic Atomic Broadcast In Replicated Database Systems (중복 데이터베이스 시스템에서 낙관적인 원자적 방송을 이용한 동시성제어 기법)

  • Choe, Hui-Yeong;Hwang, Bu-Hyeon
    • The KIPS Transactions:PartD
    • /
    • v.8D no.5
    • /
    • pp.543-552
    • /
    • 2001
  • To process transactions in fully replicated database, an atomic broadcast is mainly used. In this case of using atomic broadcast, transactions can be delayed because of the coordinating step among servers before processing the transaction. In this paper, we propose an algorithm to resolve the problem of transaction delay. In the proposed algorithm, the transactions are processed by using the optimistic method. The operations of a transaction are performed in the site that it is submitted and its write operations its updates atomically in all replicated sites. Since the serializability of transaction is ensured by checking the sequence number of transactions in the completion-inspection step.

  • PDF

Research on the Strategy for Outsourcing in Construction Projects: in Fast-track Project (건설프로젝트에서 전략적 하도급 방안에 관한연구 : 설계시공병행방식 사례를 중심으로)

  • Choi, Soo-Ho;Choi, Hyun-Chul;Choi, Hye-Mi;Kim, Ju-Hyung
    • Journal of the Korea Institute of Building Construction
    • /
    • v.14 no.6
    • /
    • pp.551-559
    • /
    • 2014
  • Fast-tracking was developed as an optimizing method to shorten the duration of construction project in 1960's, and it introduced to Korea in 1999. Since then, many Korean companies have been used fast-tracking for getting economical benefit from shorten duration. However, there were some problems(dispute, delay and cost overrun) because of using inappropriate subcontractor management system. For this reason, previous studies suggested some management models to solve these problems. Unfortunately, however, the models have been had some doubts about reliability, objectivity and possibility of using them on real construction site. Therefore, this study suggests 3 steps of strategic subcontracting method and apply it on real fast-tracking practice(L company) to secure reliability and objectivity. Through this, the method is expected to make up the doubts of previous studies.

A Case Study on the Construction of Concrete Lining in Parallel with Blasting in a Long Tunnel (장대터널 굴착시 발파-라이닝 병행시공 사례연구)

  • Ryu Joung-Hoon;An Hyung-Jun;You Jin-O;Choi Byung-Hee
    • Explosives and Blasting
    • /
    • v.24 no.1
    • /
    • pp.39-48
    • /
    • 2006
  • The various alternatives to reduce the construction period and cost in the wide and long tunnel have been attempted recently. However, the concrete lining forming process after finishing tunnel excavation may delay construction period considering the specific conditions of the wide and long tunnel. The concrete lining is indispensible for the road tunnel. For this reason, the blasting-lining synchronizing study had been carried out to reduce construction period in the Gyea-Ryong Tunnel. Lining models were installed at four different distance conditions the floor of the tunnel. After model installation, hundreds of blasting vibration measurements and concrete material tests were performed to calculate the safe distance between blasting point and concrete lining form. The study also introduces a method which can obtain the better ability of construction by improving working environment with the ventilation and the relocation of tunnel equipments in the working places.

Analysis of Performance on On-Offline Mixed Education and Training of Degree-linked Work-study Parallel System Focusing on Flipped Learning - (학위연계형 일학습병행제 온오프 혼합 교육훈련의 성과분석 - 플립러닝을 중심으로 -)

  • Jae Kyu Myung
    • Journal of Practical Engineering Education
    • /
    • v.15 no.1
    • /
    • pp.183-192
    • /
    • 2023
  • This study analyzes the performance of flipped learning, an offline class method conducted in a degree-linked work-learning parallel system. Training in the work-study parallel system, which is conducted as part of job competency improvement, has thoroughly adhered to the offline method, but in line with COVID-19, unlike before, it is changing in the direction of using the online method more actively. However, educational methods such as flipped learning are not new because the degree-linked operation is applied to the academic system and education method of universities and is practically the same form as general university education. Therefore, it is necessary to analyze the educational performance and complementary points of flipped learning, which has recently been expanded in the degree-linked work-study parallel system, considering the characteristics of this system, in which classes are held only on weekends. As a result of statistical analysis based on the survey, some of the outcomes of flipped learning have been confirmed, and in order to increase the performances, it is necessary to continuously seek out specific measures to encourage learning and expand communication between instructors and students.

Multiple Xanthomatosis in Familiar Hypercholesterolemia Patient - A case report - (가족성 고콜레스테롤혈증 환자에서의 다발성 황색종 - 1례 보고 -)

  • Rhee, Seung-Koo;Lee, Hwa-Sung;Moon, Chan-Woong
    • The Journal of the Korean bone and joint tumor society
    • /
    • v.6 no.1
    • /
    • pp.41-46
    • /
    • 2000
  • We experienced the case of familiar hypercholesterolemia with multiple xanthomas which was treated by combined surgical and medical therapy. He was 26-year-old male patient of familiar hypercholesterolemia with multiple xanthomas in 22 sites on whole body, and was treated by 17 surgical excisions of the xanthomas and by medical therapy of the hypercholesterolemia. There was a normal healing process of the surgical wounds. Continual postoperative medical therapy of the hypercholesterolemia was done. There was no recurrence of the symptoms during more than 13 months of follow-up. But the serum level of the cholesterol was not lowered significantly, so we are treating him with drug therapy. Familial hypercholesterolemia is caused by a specific disorder of lipid metabolism, and is characterized by increased LDL cholesterol, tendon xanthomas, coronary disease associated with autosomal dominant transmission. Xanthomas usually appear in the second decade of life with familiar hypercholesterolemia which may have high risk for premature coronary atherosclerosis, which might be prevented with early diagnosis and medical treatment. So, orthopedic surgeons do not only excise the xanthomatosis surgically but also can diagnose the underlying hypercholesterolemia.

  • PDF

The Emergence of General Programming Channels and the Formation of Entertaining Media-Political Sphere A New Pattern of Structural Coupling between the Political and the Media Systems (종합편성채널의 부상과 오락적 정론장(政論場)의 형성 정치-미디어 체계 간 구조적 접속의 새로운 양상)

  • Jung, Junehee
    • Korean journal of communication and information
    • /
    • v.77
    • /
    • pp.73-107
    • /
    • 2016
  • The general programming channels, newly introduced around the beginning of the 2010s, have grown into powerful journalistic agencies, the far-reaching social influences of which are not confined by the economic effects within the South Korean media industry. They are now rendered to become part of major socio-political institutions that try to secure their privileges based on broadcast journalism, and to widen their business opportunities through those special kind of social practices. This research has taken a path of theoretical endeavour to devise a conceptual framework that will effectively lead to a series of academic investigation into the socio-political characteristics of general programming channels. To this end, specific attention is paid to such theoretical and conceptual resources as the instrumentalization of media by the politics, the political sociology of media power, media-political parallelism, and the structural coupling between the political and the media systems. This paper suggests that general programming channels have emerged as a new interface that accommodates and actualizes the structural coupling between the two societal subsystems, and in the course of that, they undercut the vulnerable basis of media public sphere, effectively replacing it with entertaining media-political sphere constructed and managed by themselves. This sphere is where the media system's logic and the poltical system's logic are intertwined, simutaneously accelerating not only the mediatization of the politics but also the politicization of the media.

  • PDF