• Title/Summary/Keyword: argument generation

Search Result 26, Processing Time 0.021 seconds

Closed-code-conversion: Transforming Open Code Multi-staged Programs into Closed Ones (다단계 프로그램에서 프로그램 생성 단계의 자유변수 제거)

  • Eo, Hyun-Jun;Yi, Kwang-Keun
    • Journal of KIISE:Software and Applications
    • /
    • v.36 no.3
    • /
    • pp.244-251
    • /
    • 2009
  • We present a transformation which converts open-code multi-staged programs into closed ones. Staged computation, which explicitly divides a computation into separate stages, is a unifying framework for existing program generation systems. Because a multi-staged program generates another program, which can also generate a third program and on, the implementation of a multi-staged language is not straightforward. Dynamic binding of (lexically free) variables in code also makes the implementation of a multi-staged language hard. By converting each code into code of function which takes environment for free variables as its argument and giving an actual environment at the code-composition site, we can transform a open-code program into a closed-code one. Combining with Davies and Pfenning's method, our closed-code-conversion enables the implementation of the unstaged language to be useful for executing multi-staged programs. We also prove the correctness of our conversion: the converted program is equivalent to the original program, and the converted program does not have open code.

Development of Technological Innovation System in an Emerging Economy - A Study of the Malaysian Biodiesel Innovation System -

  • H., Maziar;Avvari, Mohan V.
    • Asian Journal of Innovation and Policy
    • /
    • v.1 no.2
    • /
    • pp.168-199
    • /
    • 2012
  • Studies on innovation point towards the need for both in-house research and development (R&D) capabilities along with collaborations with external organisations or linkages with other firms, universities and research institutes. The argument is that innovation is not just a firm specific factor but requires support from several other factors which in turn involves developing linkages with various actors/institutions as sources of resources and/or knowledge for innovation. This paper presents findings from an exploratory study about the Malaysian biofuel sector as an innovation system. Instead of using the neo-classical approach and proposing policy interventions based on traditional market failure rationale (Bergek et al., 2008a), the functional analysis of the technological innovation systems (TIS) approach is used to analyse the biofuel sector in Malaysia to help reveal the strengths and weaknesses in terms of its fulfillment of seven critical functions which are necessary for the generation and commercialization of a product. In addition an attempt is made to reveal the inducement and blocking mechanisms affecting the Malaysian biofuel TIS and the seeking of improved poor functionality. These functional aspects of the Malaysian biofuel sector are analysed in different phases of its development to gain an understanding of the different institutions and their functions at different phases of the development of the innovation system.

On the Automatic Generation of Illustrations for Events in Storybooks: Representation of Illustrative Events (동화책에서의 삽화 자동 생성 -삽화를 위한 사건 표현)

  • Baek, Seung-Cheol;Lee, Hee-Jin;Park, Jong-C.
    • 한국HCI학회:학술대회논문집
    • /
    • 2008.02a
    • /
    • pp.390-396
    • /
    • 2008
  • Storybooks, especially those for children, may contain illustrations. An automated system for generating illustrations would help the production process of storybook publishing. In this paper, we propose a method for automatically generating layouts of objects during generating illustrations. In generated layouts, it is preferred to avoid unnecessary overlap between objects, corresponding to the spatial information in storybooks. We first define a representation scheme for spatial information in natural language sentences using tree structures and predicate-argument structures. Unification of tree structures and Region Connection Calculus are then used to manipulate the information and generate corresponding illustrations.

  • PDF

A Study on the Semiotic Application about the Image Vestmental (의상 이미지의 응용 기호론적 연구(I)-엘자 스키아파렐리의 3가지 의상 이미지에 관하여-)

  • 최인순
    • Journal of the Korean Society of Costume
    • /
    • v.38
    • /
    • pp.101-122
    • /
    • 1998
  • The purpose of this study is to define the fundamentals of one symbolic concept, so calles vestment-sign, based on the logical relationship of sign system about the trichotomy by charles S. Peice's sign concept for the communication system of meaning in the non-linguistic image domain. To prove the argument of vestment-sign, I selected 3 type of vestment language by styliste, Elsa Schiaparel-li. The third image vestmental chosen here, titled“Larme-Illusion(1938)”,printed by Salvad-or Dali will produce one symbolic proposition as a logical result which is generated and developed through the interpretation of other images. First of all the text, which is manifested by Elsa Schiaparelli's first image vestmental, tit-led“Notation Musical(1937)”and is symbolized as one category in the representation of the form, is regarded symbolic and metaphorical from a standpoint that the title and the meaning is connected to the form. The second image vestment, titled“Ruches Noirs(1938)”represents externally splendid feminity man-ifested by the symbolic and metaphorical expression. And the purity of sensitivity aiming to humanity in the detail of the poetic feeling of naturalism makes us imagine the battle fild of furious sensitivity. Like as the result of the battle, the third image stimulated our eyesight with the“absence”of dressing function. The proposition of the text,《Death》which the third image delivers, constructs sign system to bring up a meaning with the disappearance of physical“signifier”. This establishment of the symbolic concept presents the etymological authority of symbol generation called“Design”.

  • PDF

Low-complexity Carrier Frequency Offset Estimation using A Novel Region Boundary for OFDM-based WLAN Systems (영역 경계 기법을 사용한 OFDM기반 WLAN 시스템의 반송파 주파수 오프셋 추정 기법)

  • Cho, Jong-Min;Kim, Jin-Sang;Cho, Won-Kyung
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.35 no.3A
    • /
    • pp.254-259
    • /
    • 2010
  • In this paper, we propose a low-complexity carrier frequency offset (CFO) estimation algorithm for OFDM based wireless LAN, IEEE 802.11a. The complexity of the arctangent operation to calculate the argument of auto-correlation for CFO estimation is reduced by a novel range pointer method. The proposed algorithm estimates fine CFO value first and then based on the fine CFO value, simple criteria is used for the boundary decision of integer CFO estimation. The simulation results show that the performance of the proposed algorithm is slightly better than the conventional method while the computational complexity is reduced by 50%. Furthermore, the proposed method can be easily implemented for the low complex next generation MIMO-OFDM based WLAN systems.

A Korean Mobile Conversational Agent System (한국어 모바일 대화형 에이전트 시스템)

  • Hong, Gum-Won;Lee, Yeon-Soo;Kim, Min-Jeoung;Lee, Seung-Wook;Lee, Joo-Young;Rim, Hae-Chang
    • Journal of the Korea Society of Computer and Information
    • /
    • v.13 no.6
    • /
    • pp.263-271
    • /
    • 2008
  • This paper presents a Korean conversational agent system in a mobile environment using natural language processing techniques. The aim of a conversational agent in mobile environment is to provide natural language interface and enable more natural interaction between a human and an agent. Constructing such an agent, it is required to develop various natural language understanding components and effective utterance generation methods. To understand spoken style utterance, we perform morphosyntactic analysis, shallow semantic analysis including modality classification and predicate argument structure analysis, and to generate a system utterance, we perform example based search which considers lexical similarity, syntactic similarity and semantic similarity.

  • PDF

Astudy on the writer of Bao Ming Shi(保命集) (소문병기기선보명집(素問病機氣宣保命集)의 저자(著者)에 관(關)한 고찰(考察))

  • Jo, Dae-Jin;Park, Chan-Kuk
    • Journal of Korean Medical classics
    • /
    • v.11 no.2
    • /
    • pp.170-202
    • /
    • 1998
  • Lee Shi Zhen(李時珍) raised a question in argument on the writer of Bao Ming Shi(保命集), which had been believed to be written by Liu Wan Su(劉完素), arguing that Bao Ming Shi(保命集), also called Huo Fa Ji Yao(活法機要), was written by Zhang Yuan Su(張完素). There were three representative arguments on the writer of Bao Ming Shi(保命集). One suggested that it was written by Zhang Yuan Su(張完素) while the other argued that it was definitely written by Liu Wan Su(劉完素). And another suggested thai it was edited by posterity by combinding the works of the former two miters. After this study, it was found that Bao Ming Shi(保命集) has Liu Wan Su(劉完素) and Zhang Yuan Su(張完素)'s unique medical thoughts in many descriptions resulting in controversial dispute. Through these arguments, a new hypothesis has been made that the third person who had studied Liu Wan Su(劉完素) and Zhang Yuan Su(張完素)'s medical thoughts wrote Bao Ming Shi(保命集). Liu Wan Su(劉完素) and Zhang Yuan Su(張完素) were quite different in medial thoughts and their works and they found different school, respectively. Therefore, if Bao Ming Shi(保命集) was written by Liu Wan Su(劉完素) or Zhang Yuan Su(張完素), it is impossiple that Bao Ming Shj(保命集) has the two medical thoughts in many descriptions. So, it is regarded reasonable to argue that the person who had aquainted with the two medical thoughts wrote this book. Then enother question can be raised : why the persion wrote Bao Ming Shi(保命集) which integrated the two medical thoughts and. The answer is as follows. Liu Wan Su(劉完素) and Zhang Yuan Su(張完素) became the rounders of He Jian(河間) school and Yi Shui(易水) school, respectively, which have considerably affected later generations, suggesting advanced medical theory. The medical thoughts suggested by the two were sure advanced compared with the former generation, but subjective and biased enough be critisized. So, it is thought that the third person wrote Bao Ming Shj(保命集) to recover those demerits and to describe more advanced medical theory. Zhongyi Xueshushi(中醫學術史) suggests that posterity edited Bao Ming Shi(保命集) by combinding Liu Wan Su(劉完素) and Zhang Yuan Su(張完素)'s works, which is different flam my suggestment. In above description, it is said that the two medical thoughts were quite different, but Bao Ming Shi(保命集) has well-understood medical thoughts containing the two medical thoughts in chaptor to chaptor, and well coincides from cover to cover, which shows that it is written by one person not edited by posterity. My hypothesis can admit other arguments on the writer of Bao Ming Shi(保命集), recover the bias of those argument and solve the questions raised in other arguments. Therefore, I suggest that the person, who was well aquainted with Liu Wan Su(劉完素) and Zhang Yuan Su(張完素)'s medical thoughts, wrote Bao Ming Shi(保命集) to describe more advanced and complete medical theory by amending the bias and taking the merits of the two medical thoughts.

  • PDF

Mono- and Multi-layer Langmuir-Blodgett Films of Maleimide Polymers Possessing Nonlinear Optical-Active Side Chains

  • Yoon Kuk Ro;Lee Hoosung;Rhee Bum Ku;Jung Changsoo
    • Macromolecular Research
    • /
    • v.12 no.6
    • /
    • pp.581-585
    • /
    • 2004
  • A copolymer P[OSA-MI] was synthesized by copolymerization of its corresponding monomers, N-phenyl maleimide (MI) and 2-octen-l-ylsuccinic anhydride (OSA). The polymer (poly[2-[1-(2,5-dioxo-l-phenylpyrroli­din-3-ylmethyl)heptyl]-succinic acid 4-(2-$\{$ethyl-[4-(4-nitrophen-ylazo)phenyl]amino$\}$ethyl)ester]) P[DR1MA-MI] was obtained from the reaction of P[OSA-MI] with 2-[4-(4-nitrophenylazo)-N-ethylphenylamino] ethanol (DR1). A stable monolayer of P[DRIMA-MI] was formed by spreading the solution of the polymer in chloroform. In Y-type Langmuir-Blodgett (LB) films prepared using this Langmuir-Blodgett method, the second harmonic waves generated from adjacent mono layers canceled each other out. In X-and Z-type LB films, the second harmonic intensity increased upon increasing the number of monolayers, but this increase was somewhat smaller than predicted by the square law. This phenomenon is due to defects or imperfect alignment of the dipoles in the LB film. The generation of second harmonic waves from Y-type LB films having an even number of mono layers supports this argument. The degree of imperfection seemed to increase as the number of layers increased. The second-order nonlinear optical properties of spin-cast films of these polymers were also measured. The largest second harmonic coefficient of the poled P[DRIMA-MI] film coated on a glass plate was 19 pm/V.

The Study for the Education of Cartoon & Animation and Copyright in College (만화애니메이션 저작권교육을 위한 대학교육 연구)

  • Park, Keong-Cheol
    • Cartoon and Animation Studies
    • /
    • s.13
    • /
    • pp.1-12
    • /
    • 2008
  • We can make the foundation of culture and contents solid with a mental altitude to make out and protect copyright. It'll be the basis of the cultivating student, the next generation in this field who are majoring in animation, comics and characters now. It will give them a good environment to learn more about copyright and motivate surroundings. With this kind of education, We can make and protect works better. This thesis is a result of study to show how to and when to instruct people copyright even though we have faced constant argument on copyright and new approach to the economic value of cultural contents which has been under industrialization. Also, another big issue is what class would be a good target of the education on copyright. College may be the last place in the regular course for education before starling his or her career. Thus, the education that is focused on the importance of copyright is recommendable at this time. Particularly, the students who are majoring carton, animation and character can keep a good attitude to protect copyrights for others through the timely education on copyright. What's more, we can build better environment for students who will start their career in the field of the cultural contents and copyrights because they will not only try protect copyrights for others but also they know their works will be protected through thls kind of education on copyright. I believe this kind of education in college will promote the development in the field of cultural contents and copyrights. Also, it will support social and economic development In culture after all.

  • PDF

Why do We do Science Experiments? : Scientifically Gifted Children's Views about the Purpose of Science Experiments (과학 실험을 왜 할까? : 초등과학 영재아들이 생각하는 과학 실험의 목적)

  • Jeong, Yong-Jae;Jang, Myeong-Deok;Kim, Han-Je
    • Journal of Korean Elementary Science Education
    • /
    • v.30 no.2
    • /
    • pp.189-203
    • /
    • 2011
  • The object of this study is to investigate the views of scientifically gifted children about the purpose of scientists' experiments and school science experiments. The children's views were examined using a open-ended questionnaire survey. And then the responses from the children were analyzed with categorization. The results from the study are as follows: First, the children's views about the purpose of scientists' experiments and school science experiments were classified to 2 top-level, 5 mid-level and 21 sub-level categories. Second, it was found that the children considered internal values of doing experiments are more worthy than the social and personal usefulness of the experiments. Third, the gifted children mentioned most frequently that the purposes of the scientist experiment is 'to get the evidences for their theory and argument which is unusual in the regular children's views. Also the discovery of new phenomena and materials, and the generation of new theories and ideas were mentioned as purposes of the scientist experiments. Fourth, the students frequently stated that school science experiments support effective learning of science subject enhancing subject interests and better explanation/understanding. Fifth, relatively many students thought that the purposes of school science experiments are different with those of scientist experiments. Based on the results from the study, some educational suggestions are discussed.