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.
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.
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.
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”.
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.
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.
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.
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-phenylpyrrolidin-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.
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.
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.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 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일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.