Recently there have been a number of researches to provide code mobility to lazy functional language (LFL) programs by translating LFL programs to Java programs. These approaches are basically baled on architectural similarities between abstract machines of LFLs and Java. The abstract machines of LFLs and Java programming language, Spineless Tagless G-Machine(STGM) and Java Virtual Machine(JVM) respectively, share important common features such as built- in garbage collector and stack machine architecture. Thus, we can provide code mobility to LFLs by translating LFLs to Java utilizing these common features. In this paper, we propose a new translation scheme which fully utilizes architectural common features between STGM and JVM. By redefining STGM as an eval-apply evaluation model, we have defined a new translation scheme which utilizes Java Virtual Machine Stack for function evaluation and totally eliminates stack simulation which causes array manipulation overhead in Java. Benchmark program translated to Java programs by our translation scheme run faster on JDK 1.3 than those translated by the previous schemes.
Journal of the Korean Society of Marine Environment & Safety
/
v.24
no.4
/
pp.489-495
/
2018
In this paper, we designed and fabricated WLAN / UWB communication antennas operating at 3.3 [GHz] and 5 [GHz] bands in order to effectively use the high-speed communication network system that improved antenna miniaturization, gain and radiation pattern. Microstrip patch antennas were chosen to improve the bandwidth. The slot width, length, and transmission line width were calculated using the theoretical formula for each step. Simulation results show that the return loss is -14.053 [dB] at 3.3 [GHz] and -13.118 [dB] at 5 [GHz]. The gain showed a value of 2.479 [dBi] at 3.3 [GHz] and a value of 3.317 [dBi] at 5 [GHz]. After optimizing it with the CST Microwave Studio 2014 program, which can be 3D-designed, Based on these results, we investigated the performance of antennas by measuring their characteristics. In recent years, WLAN, which is a variety of wireless technologies that are continuously developing, and UWB, which is a communication technology which is increasing in frequency band due to an increase in demand of the technology users, is used for a high speed wireless communication system. Communication seems to be possible.
KIPS Transactions on Computer and Communication Systems
/
v.1
no.3
/
pp.143-150
/
2012
A simulation methodology and corresponding program based on it is to be discussed for analyzing the effects of the networking operation of existing DHC system in connection with CHP system on-site. The practical simulation for arbitrary areas with various building compositions is carried out for the analysis of operational features in both systems, and the various aspects of thermal energy grids with connecting operation are highlighted through the detailed assessment of predicted results. The intrinsic operational features of CHP prime movers, gas engine, gas turbine etc., are effectively implemented by realizing the performance data, i.e. actual operation efficiency in the full and part loads range. For the sake of simplicity, a simple mathematical correlation model is proposed for simulating various aspects of change effectively on the existing DHC system side due to the connecting operation, instead of performing cycle simulations separately. The empirical correlations are developed using the hourly based annual operation data for a branch of the Korean District Heating Corporation (KDHC) and are implicit in relation between main operation parameters such as fuel consumption by use, heat and power production. In the simulation, a variety of system configurations are able to be considered according to any combination of the probable CHP prime-movers, absorption or turbo type cooling chillers of every kind and capacity. From the analysis of the thermal network operation simulations, it is found that the newly proposed methodology of mathematical correlation for modelling of the existing DHC system functions effectively in reflecting the operational variations due to thermal energy grids with connecting operation. The effects of intrinsic features of CHP prime-movers, e.g. the different ratio of heat and power production, various combinations of different types of chillers (i.e. absorption and turbo types) on the overall system operation are discussed in detail with the consideration of operation schemes and corresponding simulation algorithms.
Sung-wook Hong;Yongmin Chang;Moon-jung Hwang;Il-su Rhee;Duk-Sik Kang
Investigative Magnetic Resonance Imaging
/
v.4
no.1
/
pp.27-33
/
2000
Purpose: To determine the electronic spin relaxation times, $T_{le}$, of three commercially available Gd-chelated MR contrast agents, Gd-DTPA, Gd-DTPA-BMA and Gd-DOTA, using Electron Paramagnetic Resonance(EPR) technique. Material and Methods: The paramagnetic MR contrast agents, Gd-DTFA(Magnevist) , Gd-DTFA-BMA(OMNISCAN) and Gd-DOTA(Dotarem), were used for this study, The EPR spectra of these contrast agents, which were prepared 2:1 methanol/water solution, were obtained at low temperatures, from $-160^{\circ}C~20^{\circ}C$. The glassy-state EPR spectra for these contrast agents were then fitted by the simulation spectra generated with different zero-field splitting (ZFS) parameters by a computer simulation program 'GEN', which generates the EPR powder spectrum using a given ZFS in $3{\times}3$ tensor. Finally, the spin relaxation times of the contrast agents were then determined from the $T_{2e}$, D, and E values of the best simulation spectra using the McLachlan's theory of average relaxation rate. Results: The electronic transverse spin relaxation times, $T_{2e}'s$, of Gd-DTPA, Gd-DTPA-BMA and Gd-DOTA were 0.113ns, 0.147ns and 1.81ns respectively. The g-values were 1.9737, 1.9735 and 1.9830 and the electronic spin relaxation times, $T_{1e}'s$, were 18.70ns, 33.40ns and $1.66{\mu}s$, respectively. Conclusion: The results of these studies reconfirm that the paramagnetic MR contrast agents with larger ZFS parameters should have shorter $T_{1e}'s$. Among three contrast agents used for this study, Gd-DOTA chelated with cyclic ligand structure shows better electronic property then the others with linear structure. Thus, it is concluded that the exact determination of ZFS parameters is the important factor in evaluating relaxation enhancement effect of the agents and in developing new contrast agents.
Simulation studies were carried out to investigate the responses of selection for three carcass traits (longissimus muscle area: EMA, fat thickness: BF, and marbling score: MS) based on either adjusted phenotypes (APH) or estimated breeding values (EBV) in multivariate animal model with different breeding schemes. Selection responses were estimated and compared on six different models with respect to breeding schemes using either carcass measurements or real time ultrasonic (RTU) scans generated by Monte Carlo computer simulation supporting closed breeding population. From the base population with 100 sires and 2000 dams, 20 sires and 1000 dams by each generation were selected by either APH or EBV for 10 generations. Relative economic weights were equal of three traits as EMA(1): BF(-1) : MS(1) for standardized either APH or EBV. For first two models which were similarly designed with current progeny-test program in Korean cattle, three carcass traits with records either only on male progenies (Model 1) or on male and female progenies (Model 2) were used for selecting breeding stocks. Subsequently, generation intervals on males were assumed as 6${\sim}$10 years in these two models. The other two models were designed with tools of selection by RTU rather than carcass measurements with genetic correlations of 0.81${\sim}$0.97 between RTU and corresponding carcass traits in addition to whether with records (Model 4) or without records (Model 3) on female. In these cases, generation intervals on males were assumed as 2${\sim}$4 years. The remaining last two models were designed as similar with Models 3 and 4 except genetic correlations of 0.63${\sim}$0.68 between RTU and corresponding carcass traits with records (Model 6) and without records (Model 5) on females.
The results from 10 replicates on each model and selecting methods suggested that responses indirect selection for carcass traits in Model 4 were 1.66${\sim}$2.44 times efficient rather than those in Model 1. Otherwise, in Model 6 with assuming moderate genetic correlations, those efficiencies were 1.18${\sim}$2.08 times with comparing to responses in Model 1. However, selection response for marbling score was the smallest among three carcass traits because of small variation of measurements. From these results, this study suggested that indirect selection using RTU technology for improving high meat qualities in Korean cattle would be valuable with modifying measuring rules of marbling score forward to large variation or modifying relative economic weight for selection.
Journal of the Korean Institute of Landscape Architecture
/
v.50
no.2
/
pp.1-22
/
2022
The modification effects of street trees on outdoor thermal comfort in summertime according to tree planting types and road direction were analyzed using a computer simulation program, ENVI-met. With trees, the air temperature and wind speed decreased, and the relative humidity increased. In the case of mean radiant temperature (Tmrt) and human thermal sensation, physiological equivalent temperature (PET) and universal thermal climate index (UTCI), there was a decrease during the daytime. The greatest change among the meteorological factors by trees happened in Tmrt, and PET and UTCI showed similar patterns with Tmrt·The most effective tree planting type on thermal comfort modification was low tree height, wide tree crown, high leaf area index, and narrow planting interval (LWDN). Tmrt, PET and UTCI showed a large difference depending on shadow patterns of buildings and trees according to solar altitude and azimuth angles, and building locations. When the building shade areas increased, the thermal modification effect by trees decreased. In particular, results on the east and west sidewalks showed a large deviation over time. When applying the LWDN, the northwest, west and southwest sidewalks showed a significant reduction of 8.6-12.3℃ PET and 4.2-4.5℃ UTCI at 10:00, and the northeast, east and southeast sidewalks showed 8.1-11.8℃ PET and 4.4-5.0℃ UTCI at 16:00. On the other hand, when the least effective type (high tree height, narrow tree crown, low leaf area index, and wide planting interval) was applied, the maximum reduction was up to 1.8℃ PET and 0.9℃ UTCI on the eastern sidewalks, and up to 3.0℃ PET and 0.9℃ UTCI on the western ones. In addition, the difference in modification effects on Tmrt, PET and UTCI between the tree planting types was not significant when the tree effects were reduced by the effects of buildings. These results can be used as basic data to make the most appropriate street tree planting model for thermal comfort improvement in urban areas in summer.
The Journal of the Institute of Internet, Broadcasting and Communication
/
v.10
no.6
/
pp.293-299
/
2010
This paper is about a development of effective practice subject in electronic circuit textbook of industrial high school. This paper introduces generally about the practice subject in electronic circuit textbook of industrial high school of the 7th National curriculum and presents problem of current practice and makes an alternative idea that improve current practice. The contents of current electronic circuit textbook of industrial high school have variety topics and these topics are independence and separated. So students have some problems to apply of learned knowledge. Therefore, researcher improved the various electronic circuit practice in current electronic circuit text book and added new practice and manufactured a electronic circuit module based on these circuits. And researcher suggested new practice subject what useful electronic equipment that assembled module of result of electronic circuit practice of each section. When the last subjects are accomplished the students may have feel of achievement and high study effect from these practice. The practice subjects of this paper were manufactured after verification and tested it's performance by computer simulation program.
Journal of Korean Society of Environmental Engineers
/
v.28
no.8
/
pp.860-865
/
2006
The characteristics of flow field and turbulent mixing efficiency of SS in non-aerated contacting reactor are critical design parameters directly affecting on the efficiency of the overall process of wastewater treatment system. To this end, in this study numerical fluid dynamic calculation has been made to investigate the flow field and concentration distribution of SS in terms of specification(shape and dimension) of impeller and other operating conditions. As the first step, the performance of the computer program developed was successfully evaluated by the comparison of the typical flow field with the type of impeller with that appeared in open literature. Further, a series of parametric investigations are made in terms of interesting parameters such as the type and dimension of impeller, location, and number of impeller, etc. A number of useful conclusions obtained by numerical calculation are the superiority of mixing efficiency of pitched type than the flat one together with the visible increase of the overall mixing effect by the employment of the larger impeller and increase of the impeller number, etc.
We evaluated the positional accuracy of the delivered beams to the target in a phantom by simulating the whole process of the radiation treatments Including CT scanning, planning and beam exposures with MLCs. For this purpose, a phantom was made to calibrate the alignment between the CT and the attached laser system. A new, convenient method was also devised to align the setup lasers in the treatment room. Film was used for the Identification of the delivered beam and analyzed with a homemade computer program. The positional differences between the target and the beam centers varied with the couch rotations. The accelerator we used showed a maximum discrepancy of 2.0 mm at the table angle of $295^{\circ}$. The same measurements based on the new isocenter from the Winston-Lutz test resulted in the maximum of 1.35 mm for all rotation angles. The evaluation of the differences between the target and the beam centers is useful for the treatment planning.
Journal of the Korean Society for Marine Environment & Energy
/
v.9
no.4
/
pp.253-262
/
2006
In this paper, collision analysis is carried out between two FRP fishing boats. A computer simulation with finite element method is used to accomplish this objective. At first, a detailed geometric model of the boat is constructed using 3-D CAD program. The formation of a finite element from a geometric data of the boats is carried out using HYPERMESH that is the commercial software for mesh generation and post processing. Twelve collision configurations are established by combining two kinds of contact angle($90^{\circ},\;135^{\circ}$) and three different speed(5, 10, 15knot) for small and large boats. Collision analysis is accomplished using DYNA3D. Stress distribution and deformation shape are investigated for each collision condition. In general, $90^{\circ}$ collision angle generate larger stress than $135^{\circ}$ case and the collision for two moving boats showed larger maximum stress than the case that one is moving and the other is stationary. When analysis is carried out until 150ms contact parts of two boats are broken for 10 and 15knot collision speed, in which maximum stress is larger than ultimate strength of the material.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 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일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.