Data broadcast has received much attention as a very efficient method for disseminating data items in mobile environment with large number of mobile clients. In this approach, a database server periodically and continuously broadcasts data items through wireless channels and clients perform read-only transactions by accessing necessary data items from the air. While broadcasting, the server must also process update transactions on the database, which raises an obstacle for client's accessing consistent data. In this research, we propose a new algorithm SCDSC(Serialization Checking with DirtySet on Commit) which is an alternative for solving the concurrency control problem efficiently. The SCDSC is a kind of optimistic concurrency control in that a client checks the consistency of data using a DirtySet as a part of data broadcast when it commits its transaction. In each broadcast cycle, the server updates and disseminates the DirtySet with newly changed data items for last few cycles in the sliding window approach. We perform an analysis and a simulation study to evaluate the performance of our SCDSC algorithm in terms of data consistency and data currency.
Proceedings of the Korea Water Resources Association Conference
/
2007.05a
/
pp.1229-1233
/
2007
국내에서의 수제는 하안 및 제방의 보호, 유로제어 및 주운 등의 목적에 의해 설치되기 보다는 수제로 인해 발생되는 수제역(recirculation zone)의 다양한 흐름이 수중생물의 다양한 서식처 및 홍수 시 어류의 피난처 제공한다는 환경적인 목적이 지배적이다. 따라서 홍수시 하천의 통수능 감소영향이 상대적으로 작고 국부세굴에 대해 안정적인 경사형 수제에 대한 관심이 크며 몇몇 곳에서는 시공되어 졌다. 하지만 경사수제에 대한 설계기법은 현재 미미한 상태이며 선행되어져야할 구조물 주변의 흐름해석에 관한 연구도 미미하다. 이에 본 연구에서는 3차원 수치모형을 적용하여 주수로와 수제역의 흐름해석을 수행하였다. 연구내용은 수리모형변화와 수치모형실험을 병행하여 수행하여 수치모형결과를 검증하였으며 그 결과를 적용하여 경사형 수제주변의 흐름을 해석하였다. 수치모형은 Flow 3D모형을 이용하여 경사형 수제조건에 따른 흐름해석을 수행하였고 수리모형실험은 수치모형과 동일한 2가지 조건에 대해 수행하여 수치모형결과와 비교 분석 하였다. 본 연구의 목적은 경사형 수제설치로 변화되는 수제역 흐름을 3D 수치해석으로 분석하여 수제역의 환경적 효과(수중생물의 서식처 등)에 대한 기초자료를 제공하는 것이다. 연구결과, 수치모형실험은 수리모형결과와 일치하였으며 경사형 수제특성에 따라 수심별 흐름변화를 분석할 수 있었으며 기존 불투과 및 투과수제와 다른 결과를 도출하였다.
In this paper, a queue length calculation algorithm using image detectors has been proposed. The algorithm produces the queue length using a pair of image detectors installed both on upstream and on downstream of a corridor. In addition, a new framework for controlling the traffic signal system based on queue length has been presented. More specifically, the scheme of determining the cycle time and green split using the queue lengths has been proposed. To validate the results, a simulation study was conducted with a network environment. Results showed that the proposed method gave better operational performance than a traditional method. However, additional validation effort is necessary in order to apply the real traffic conditions.
Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
/
v.19
no.2
/
pp.1-6
/
2005
This paper studies the OF-LED(Optical Fiber-LED) illuminated display board system for energy saving. The OF-LED illuminated display board system has PV module, batteries, charge 8t discharge system and dynamic full color display controller. Both maximum power point tracker (MPPT) and constant current & constant voltage controls (CCVC) are used to govern the charging system. This system. improves the charging efficiency of battery. The system is compact and operates only by PV except the rainy days when the sun is unfavorable. in the system display control and charging-discharging control by on-chip microprocessor are simultaneously carried out. To verify the unposed system, me simulation and experiment results show the operating characteristics with a laboratory prototype.
In this paper, we present the design and analyze the transmission rate of a control algorithm for the client buffer on the VOD systems. The design is based on the server's data transmission rate and clients' data consumption rate. The proposed algorithm stabilizes the client's buffer by reducing the oscillation phenomena of the buffer. And it uses the BCT (Buffer Check Time) to reduce the scheduling load of the client system. The client's data consumption rate and the buffer size are calculated on the basis of BCT. In case that the predicted buffer size operates in the overrun or starvation the buffer. As the load fluctuation of the network, the transmission rate control policy cannot stabilize the client's buffer alone. The media scaling policy, therefore, also performs its complementary part in stabilizing the client's buffer, and performance evaluation of the proposed algorithm is provided through simulation.
Purpose : To evaluate our clinical experience with the combination of teletherapy and intraluminal brachytherapy in patients with unresectable or inoperable esophageal cancers. Materials and Methods : From Nov 1989 to Mar 1993, twenty patients with esophageal cancer were treated with radical radiotherapy and intraluminal brachytherapy at Yonsei Cancer Center. All patients had squamous histolgy and stage distribution was as follows: stage II, 4($20{\%}$)patients; III, 15 ($75{\%}$)patients; IV, 1($5{\%}$)patients. A dose of S-12Gy/1-3weeks with intraluminal brachytherapy (3-5Gy/fraction) to 5mm from the outside of the esophageal tube using high dose rate Iridium-192 remotely afterloading brachytherapy machine was given 2 weeks after a total dose of 59-64Gy with external radiotherapy. Induction chemotherapy using cisplatin and 5-FU was performed in 13 patients with median 3 cycles(1-6 cycles), Response rate, local control rate, survival and complications were analysed retrospectively. Results : Two-year overall survival rate and median survival were $15.8{\%}$ and 13.5 months. Response rates were as follows complete remission(CR) 5($25{\%}$): partial remission a(PRa) 7($35{\%}$): partial remission b(PRb) 7($35{\%}$), no response(NR) 1($5{\%}$). Patterns of failure were as follows; local failure 13($65{\%}$), local and distant failure 3($15{\%}$), distant failure 0($0{\%}$). Ultimate local control rate was $20{\%}$. Treatment related complications included esophageal ulcer in two patients and esophageal stricture in one. Conclusion : Though poor local conrol rate, median survival was improved as compared with previous results of radiation therapy alone(8months) and chemoradiation combined treatment(11 months) in Yonsei Cancer Center High-dose-rate intraluminal brachytherapy following external irradiation is an effective treatment modality with acceptable toxicity in esophageal cancer.
Classical deterministic testing controls the execution of concurrent programs based on the equivalence between specifications and programs. However, it is not directly applicable to a situation in which synchronization sequences, being valid but infeasible, are taken into account. To resolve this problem, we had proposed automata-based deterministic testing in our previous works, where a concurrent program is executed according to one of the sequences accepted by the automaton recognizing all sequences semantically equivalent to a given sequence. In this paper, we present the automata-based testing environment for Java multi-thread programs, and we design and implement "Deterministic Executor" in the testing environment. "Deterministic Executor" transforms a Java multi-thread program by applying automata-based deterministic testing, the transformed program presents testing results. "Deterministic Executor" uses "Automata Generator", which generates an equivalent automaton of a test sequence, and "Replay Controller", which controls the execution of programs according to the sequence accepted by the automaton. By illustrating automata-based testing procedures with a gas station example, we show how the proposed approach does works in a Java multi-threaded program.roach does works in a Java multi-threaded program.
Nowadays, the number of database applications which need fast transaction processing are increasing. One way to improve the performance of transaction processing is to reside the whole database in main memory As semiconductor memory becomes cheaper and chip densities increase, the research to improve transaction throughput rates of transaction processing system, using main memory databases, has begun In this thesis, how to implement a high performance transaction processing system based on main memory databases, new concurrency control scheme, recovery scheme and storage structure is presented. The objective of the proposed schemes is to improve the transaction processing system performance measured by transaction throughput and response times.
본 연구는 고속으로 회전하는 축류압축기(송풍기)의 설계 및 운전에 기초가 되는 축류회전 익렬에서의 유동계산과 유동측정, 그리고 고속회전에 따른 진통해석과 안전진단을 위한 이상 진단 시스템개발에 관해 연구한 것이다. 따라서 회전날개의 진통해석, 선회실속시의 회전날개의 진통해석, 전 체계의 동력학적 해석, 그리고 회전축의 비틀림 진동 및 선회진동의 제어로 나누어 수행하였다. 또한 각각의 연구에 대하여 수치해석과 실험을 병행하여 이론해석과 설정한 모델의 타당성을 검증하였다.
Proceedings of the Korean Information Science Society Conference
/
2000.10a
/
pp.30-32
/
2000
최근 메타데이타의 주요 논쟁점으로 메타데이타의 표준화 문제가 등장하고 있다. 새로운 표준화 방향으로 인한 메타데이타의 확장성은 기존 메타데이타 관리 기법의 변화를 요구하게 되었다. 즉, 사용자의 질의에 대한 신속한 정보 제공과 동적인 자료의 일관성 있는 저장과 유지방 안을 필요로 한다. 이에 본 논문에서는 디지털 라이브러리 환경에서 메타데이타 속성을 정의하고, 이러한 요구사항을 만족하는 병행수행 제어 기법인 2VL(Two Version using the Latch)을 제안한다. 2VL은 래치를 사용하여 2버전을 유지함으로써 판독과 기록 연산간의 충돌로 인한 지연을 최소화하며 판독 연산에 있어서의 빠른 응답시간과 높은 최근성 반영율을 보인다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.