• Title/Summary/Keyword: Code size

Search Result 1,089, Processing Time 0.034 seconds

Implementation of Nondeterministic Compiler Using Monad (모나드를 이용한 비결정적 컴파일러 구현)

  • Byun, Sugwoo
    • Journal of the Korea Society of Computer and Information
    • /
    • v.19 no.2
    • /
    • pp.151-159
    • /
    • 2014
  • We discuss the implementation of a compiler for an imperative programming language, using monad in Haskell. This compiler involves a recursive-descent parser conducting nondeterministic parsing, in which backtracking occurs to try with other rules when the application of a production rule fails to parse an input string. Haskell has some strong facilities for parsing. Its algebraic types represent abstract syntax trees in a smooth way, and program codes by monad parsing are so concise that they are highly readable and code size is reduced significantly, comparing with other languages. We also deal with the runtime environment of the assembler and code generation whose target is the Stack-Assembly language based on a stack machine.

Scattering of a Normally Incident Monochromatic Light by Optically Active Concentric Double Cylinders: II. Numerical Result (광학활성 동축 이중 원통을 수직하게 비추는 단색 빛의 산란 : II. 수치 계산 결과)

  • Kim, Hyun-Woo;Kim, Jin-Seung
    • Korean Journal of Optics and Photonics
    • /
    • v.20 no.6
    • /
    • pp.375-380
    • /
    • 2009
  • The scattering of a normally incident monochromatic light by optically active concentric double cylinders is studied by using a numerical method. A numerical code is developed on the basis of the analytical solutions, and the angular distributions of the intensity and the polarization of the scattered light are computed for some specific cases. The numerical code can be used to non-invasively determine the size, structure, and composition of a double cylinder with high accuracy by measuring the angular distribution of the scattered light by an experiment.

An Empirical Study on the application of the FTA of Shandong Province in China (중국 산동성의 FTA 활용현황에 관한 실증연구)

  • Shen, Zhi-Feng;Kim, Tae-In
    • Asia-Pacific Journal of Business
    • /
    • v.6 no.1
    • /
    • pp.59-82
    • /
    • 2015
  • According to the survey on the state of practical usage and present situation of FTAs, conducted among trade companies operating in Shandong province in 2014, more than 90% of companies are believed to be small and medium sized enterprises. Therefore this study tries to test what impact the awareness and utilization of an FTA have on its outcome among trade companies operating in Shandong province as well as partner countries and other trade companies. The research results are as follows. First, we found a positive correlation between 1) a company's global orientation (as measured in export density as a percentage of profit) and 2) its competitiveness (as measured in annual sales), and a company's degree of utilization of FTA provisions. Second, One of the findings is that the more aware of the (exporting) HS code, conventional tariffs and the process of issuing C/O the companies from Shandong province are the more they actually use (utilize) an FTA inpractice. Another interesting finding is that the more aware of the (exporting) HS code and conventional tariffs the enterprises are the higher is their practical usage level of an FTA. Third, however, at the time of this study's completion, FTA utilization was not yet positively correlated with statistically significant performance results. Therefore, to increase the utilization and performance of FTA, the China government have to make a efficient business models for each industry and support the small and mid-size businesses including Shandong province's SMEs.

  • PDF

Reduced ion mass effects and parametric study of electron flat-top distribution formation

  • Hong, Jinhy;Lee, Ensang;Parks, George K.;Min, Kyoungwook
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.37 no.2
    • /
    • pp.118.2-118.2
    • /
    • 2012
  • In particle-in-cell (PIC) simulation studies related to ion-ion two-stream instability, a reduced ion-to-electron mass ratio is often employed to save computation time. But it was not clearly verified how electrons dynamics are coupled with the slower evolution of ion-ion interactions under the external electric field. We have studied the ion beam driven instability using a 1D electrostatic PIC code by comparing different rescaling of parameter with real ion mass from the reference simulation with reduced ion mass. As the external electric field is stronger, the excited unstable mode range was more sensitively affected by the system size with the real mass ratio than the reduced ion mass. The results show that the reduced mass ratio should be used cautiously in PIC code as the electron dynamics can modify the ion instabilities. Additionally we found the formation of electron flat-top distribution in the final saturation stage. Simulation results show that in the early phase electrostatic solitary waves are quasi-periodically formed, but later they are fully dissipated resulting in heated, flat-top distributions. New electron beam components are occasionally formed. These are a consequence of the interaction with solitary wave structures. We parametrically investigate the development of electron phase space distributions for various drift speeds of ion beams and temperature ratios between ions and electrons

  • PDF

Design of MuIti-Weight 2-Dimensional Optical Orthogonal Codes (다중 부호 무게를 가진 2차원 광 직교 부호의 설계)

  • Piao, Yong-Chun;Shin, Dong-Joon
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.33 no.1C
    • /
    • pp.1-5
    • /
    • 2008
  • Optical code division multiple access(OCDMA) systems make the active users to share the bandwidth by simply assigning distinct optical orthogonal codeword to each active user. An optical orthogonal code(OOC) is a collection of binary sequences with good correlation properties which are important factors of determining the capacity of OCDMA systems. Recently, 2-D OOC construction method is frequently researched which is able to support more users than 1-D OOC. In this paper, a combinatorial construction of simple multi-weight 2-D OOC with autocorrelation 0 and crosscorrelation 1 is proposed and the bound on the size of these codes is derived.

An Estimation of RCS through Configuring Element Analysis (형상요소분석을 통한 레이더단면적의 추정)

  • Kwon, T.J.;Shin, Bo-Hyun
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.15 no.4
    • /
    • pp.417-423
    • /
    • 2012
  • Radar Cross Section(RCS) is a measure of how detectable an object is with a radar. A larger RCS indicates that an object is more easily detected. Informally, the RCS of an object is the cross-sectional area of a perfectly reflecting sphere that would produce the same amount of reflection strength as the object in question would. In order to estimate RCS of aircraft weapons the external surface is modeled as a collection of simple shape elements. And the overall RCS is estimated as a vector sum of configuring elements' cross-sections which are well known given by analytic formulae. A RCS estimation code is developed for a typical shape of Air-To-Surface bombs and missiles. Size of weapons and location of fins are implemented in the code in addition to the presence of canards. The ability to predict radar return from flying vehicles becomes a critical technology issue in the development of stealth configurations. This simplified method of RCS estimation is known to be fast and accurate enough in an optical region of high frequency incident radio wave.

Design Study of LAR Tokamak Reactor with a Self-consistent System Analysis Code

  • Hong, B.G.;Lee, D.W.;Kim, S.K.;Kim, D.H.;Lee, Y.O.;Hwang, Y.S.
    • Proceedings of the Korean Vacuum Society Conference
    • /
    • 2010.02a
    • /
    • pp.314-314
    • /
    • 2010
  • The design of the blanket and shield play a key role in determining the size of a reactor since it has an impact on the various reactor components. The blanket should produce enough tritium for tritium self-sufficiency and the shield should provide sufficient protection for the superconducting TF coil. Neutronic optimization of the blanket and the shield is necessary, and we coupled the system analysis with a neutronic calculation to account for the interrelation of the blanket and shield with the plasma performance of a reactor system in a self-consistent manner. By using the coupled system analysis code, the operational space for a low aspect ratio (LAR) tokamak reactor with a superconducting toroidal field (TF) coil is investigated with an spect ratio in the range of 1.5 - 2.5. The minimum major radius which satisfies all the physics and engineering requirements increases with the magnetic field at the magnetic axis. A required inboard shield thickness is mainly determined by the requirement on the protection of the TF coil against radiation damage. It is shown that to have a fusion power bigger than 3,000 MW in the LAR tokamak with a superconducting TF coil, a major radius bigger than 4.0 m is required.

  • PDF

GEANT4 characterization of the neutronic behavior of the active zone of the MEGAPIE spallation target

  • Lamrabet, Abdesslam;Maghnouj, Abdelmajid;Tajmouati, Jaouad;Bencheikh, Mohamed
    • Nuclear Engineering and Technology
    • /
    • v.53 no.10
    • /
    • pp.3164-3170
    • /
    • 2021
  • The increasing interest that GEANT4 is gaining nowadays, because of its special capabilities, prompted us to address its reliability in neutronic calculation for the realistic and complex spallation target MEGAPIE of the Paul Scherrer Institute of Switzerland. In this paper we have specifically addressed the neutronic characterization of the active zone of this target. Three physical quantities are evaluated: neutron flux spectra and total neutron fluxes on target's z-axis, and the neutron yield as a function of the target's altitude and radius. Comparison of the obtained results with those of the MCNPX reference code and some experimental measurements have confirmed the impact of the geometrical and proton beam models on the neutron fluxes. It has also allowed to reveal the intrinsic influence of the code type. The resulting differences reach a factor of ~2 for the beam model and 4-18% for the other parameters cumulated. The analysis of the neutron yield has led us to conclude that: 1) Increasing the productivity of the MEGAPIE target cannot be achieved simply by increasing the thickness of the target, if the irradiation parameters are not modified. 2) The size of the spallation area needs to be redefined more precisely.

Efficacy of Development Control as a Tool for Monitoring Building Developments in Kenya

  • Omollo, Wilfred Ochieng
    • Journal of Construction Engineering and Project Management
    • /
    • v.9 no.1
    • /
    • pp.1-17
    • /
    • 2019
  • This study examined the efficacy of development control in the monitoring of building developments in Kenya, a case study of Kisii Town. It focused on the extent to which the 1968 Building Code was enforced by the County Government of Kisii in an attempt to promote quality assurance. The target population comprised 7,430 residential developments from where a sample size of 364 was proportionately and randomly drawn. Research findings indicated that 39% of developers were unaware that their developments should have been inspected during construction. Similarly, awareness of building inspection significantly predicted if developers issued Notices of Inspection to the planning authority to facilitate inspections. Consequently, developers who were unaware that their building constructions required inspection were 99.9% less likely to issue such notices. Moreover, developers who did not obtain development permission were correspondingly 99.9% less likely to issue Inspection Notices. As a result, those who did not issue Notices of Inspection were 99.8% less likely to have their buildings inspected during construction due to lack of records indicating when such constructions had commenced. The study concludes that although the County Government of Kisii is lawfully mandated to monitor building developments in Kisii Town, the function is not well executed. This gap affords developers with an opportunity of not conforming to the approved building plans.

A Study on Tracing-Threshold of Public-Key Traitor-Tracing Schemes (공개키 기반의 공모자 추적기법에서의 추적 임계치에 관한 연구)

  • 임정미;이병선;박창섭
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.13 no.6
    • /
    • pp.121-127
    • /
    • 2003
  • The threshold value of the traitor-tracing schemes means a maximum number of traitors whose identities can be uniquely exposed using the tracing scheme. In the traitor-tracing scheme based on an error-correcting code, which is focused at this paper, the threshold value is determined by the error-correcting capability of the underlying error-correcting code. Analyzed in terms of a combinatorial property of the tracing scheme is the resulting effect on the tracing scheme when the collusion size is over the threshold value, and a possibility of two disjoint groups of users making an identical unauthorized decryption key is shown.