검색결과

검색조건
좁혀보기
검색필터
결과 내 재검색

간행물

    분야

      발행연도

      -

        검색결과 87

        41.
        2010.05 구독 인증기관 무료, 개인회원 유료
        In 450mm wafers production environment for next generation Fab, one of the most significant features is the adoption of full automation to the whole manufacturing processes involved. The full automation system will prevent the workers from intervening the manufacturing processes as much as possible and increase the importance of each individual wafer noticeably, and thus require a more robust scheduling system for entire semiconductor manufacturing processes. The scheduling system for 450mm wafers production also should be capable of monitoring the status of each individual wafer and collecting useful Fab data in real time. In this study, we first analysis of cluster tool in 450mm wafers production environment, and then propose a real-time scheduling algorithm based on timetabling algorithm.
        4,000원
        42.
        2010.04 KCI 등재 구독 인증기관 무료, 개인회원 유료
        本文以“介词(到、在)+NP”为研究对象,进行句法和语义方面的分析,考察汉语“介词(到,在)+NP”结构在动词后充当结果补语的区别。很多句法结构都要求具有一个动补结构。句法上必须带补语的句子中,要求“在NP”和“到NP”结构作为补语的有“把字句”、“物体存在句”、“物体处置句”、“空间移动句”和“时间移动句”。我们将“到+NP”和“在+NP”结构在动词前充当状语和在动词后充当结果补语的区别分别来讨论。“在+NP”结构做结果补语和状语的区别我们将其归纳为五类, “到+NP”结构做结果补语和状语的区别我们将其归纳为三类。“介词(到、在)+NP”结构可以位于动词前也可以位于动词后。根据时间顺序原则(PTS),“介词(到、在)+NP”结构时间上先于动词的状态可以接受它排在动词前。但是,如果“介词(到、在)+NP”结构是通过动作出现的结果,时间上结果出现于动词之后,因此不能接受“介词(到、在)+NP”结构排在动词前。“介词(到、在)+NP”结构位于动词后面时,具有[+终点], [+到达], [+完成], [+附着], [+达成], [+结果], [+实现], [+持续]等语义特征;“介词(到、在)+NP”结构位于动词前面时,不具有这些语义特征。但是,有些动词和介词结构之间的时间顺序是模糊的,所以PTS不起作用,这时“在+NP”做结果补语和做状语,其意义差别不明显,这种动词主要有两类:第一类是“死”,死的动作是瞬间发生的,但是死后的状态一直持续;第二类是“住”、“生活”、“工作”等动词,它们本身具有持续的状态,而不是短暂的动作。
        5,800원
        43.
        2009.09 KCI 등재 구독 인증기관 무료, 개인회원 유료
        게임에 현실과 비슷한 공간을 표현하게 되면서, 좀 더 사실적인 게임 공간을 만들어 내는 것이 매우 중요한 요소가 되었다. 그러나 정해진 틀 안에서 제한된 반응만을 보이는 NPC는 사용자가 지루함을 느끼고 게임에 대한 흥미를 잃게 만든다. 이는 NPC의 행동 생성과 제어 방법이 미흡하기 때문이다. 본 논문은 RPG류 등의 공간을 탐색하는 게임 환경에서 NPC가 자신의 상태에 따라 다른 행동을 취하고, 뷰포인트와 관계없이 ‘생활하는’ NPC에 대해 기술한다. 이 연구를 토대로 NPC의 행동을 스크립트 언어로 출력하는 행동 생성기를 제작하고 실제 생성된 NPC의 행동 패턴을 분석하여 봄으로써 본 연구가 NPC의 효과적인 행동 생성에 도움이 됨을 보인다.
        4,000원
        46.
        2007.03 KCI 등재 구독 인증기관 무료, 개인회원 유료
          In this paper, we study flowshop scheduling problems with availability constraints. In such problems, n jobs have to be scheduled on m machines sequentially under assumption that the machines are unavailable during some periods of planning horizon. The
        4,000원
        47.
        2006.12 KCI 등재 구독 인증기관 무료, 개인회원 유료
          The main objective of this study is to find out the shortest path of the vehicle routing problem with time window constraints by using both genetic algorithm and heuristic. Hard time constraints were considered to the vehicle routing problem in this sug
        4,000원
        48.
        2006.11 구독 인증기관 무료, 개인회원 유료
        최근 많은 기업에서 전사적 자원관리 시스템의 보급이 활발히 이루어지고는 있으나, 해당 시스템의 기초데이터라 할 수 있는 생산실적의 수집에 있어 많은 문제점이 발생하고 있다. 생산실적의 늦은 수집은 효율적 기업운영에 치명적이라 할 수 있으며, 이러한 이유로 실시간 생산실적을 수집하는 POP시스템의 도입이 해결방안으로 널리 구축 운용되고 있다. POP시스템의 구축 및 운용에 있어 가장 중요한 사항은 정확한 생산실적의 실시간 수집이라 할 수 있으나, 적지 않은 구축 기업들에서 몇 가지 요인들로 인한 신뢰할 수 없는 데이터의 수집으로 기업 경쟁력을 떨어뜨리는 결과를 보여주고 있다. 본 연구에서는 이러한 요인들을 분석하고 신뢰성을 향상시킬 수 있는 방안을 제시하며, 실제로 적용된 사례를 소개하고자 한다.
        4,300원
        49.
        2006.05 구독 인증기관 무료, 개인회원 유료
        W3C에서 XML 표준을 발표한 이후 XML을 지원하는 관련 기술들이 지속적으로 개발되고 있으며 데이터의 중립성을 응용하는 것을 주제로 하는 연구가 활발하게 진행되고 있으며 응용범위가 확대되고 있다. 이들 연구는 Business 현장에서 발생하는 데이터의 통합 및 재활용을 과제로, XML Schema간의 통합, 데이터의 저장 및 생성을 위한 DB 스키마와 XML 스키마 통합, 대용량 XML 데이터 관리를 위한 DB 저장 및 검색 등의 분야에서 큰 성과를 거두고 있다. 최근 활발하게 진행되고 있는 기업간 전자상거래(B2B) 에서는 일반 디지털 파일 또는 전자거래에 사용되는 전자문서 등 다양한 형식의 데이터들이 존재한다. 이러한 자료들을 이용하여 거래 당사자간에는 주문신청부터 송금 및 수금 확인까지 B2B 거래 프로세스에 관련된 다양한 데이터 들이 교환된다. 기업간 교환되는 데이터에는 일정한 규칙이 존재하며 이들을 확인하는 것은 중요하다고 볼 수 있다. 즉, 관련 자료의 통합시 고려되어야 하는 제약조건의 관리에 대한 연구가 필요하다고 볼 수 있다. 본 연구에서는 기업간 전자상거래 환경에서 데이터 교환의 표준으로 자리잡고 있는 XML 데이터를 중심으로 데이터 통합시 고려되어야 할 제약조건들을 정리하고 이를 해결하는 방안을 제시하고자 한다. 먼저 스키마 충돌에 따른 제약조건과 자료 자체의 무결성 및 업무규칙 제약조건을 정리하여 분류하였으며, 이들 제약조건을 표현하여 관리할 수 있는 메커니즘을 제안하였다. 즉, XML의 특징을 활용하여 분산 이기종 데이터 간의 통합 및 제약조건을 해결하는 방안을 제시하였다. 본 연구의 결과는 B2B 전자거래에서 교환되는 문서의 생성, 검색, 저장 및 재활용 과정에서 필요한 데이터의 검증에 기여할 것으로 기대된다.
        4,200원
        50.
        2005.12 KCI 등재 SCOPUS 구독 인증기관 무료, 개인회원 유료
        6,100원
        51.
        2005.06 KCI 등재 SCOPUS 구독 인증기관 무료, 개인회원 유료
        To constrain the values of the model parameters for the cosmological models involving the time-decaying Λ term, we have computed sets of theoretical predictions for the N-m relation of galaxies as well as the CMB angular power spectrum: three types of variation, viz., Λ ∝ T-1, a-m, and Hn are thereby assumed following Overduin & Cooperstock (1998), although we concentrate here on the discussion of the results obtained from the first type. Our results for the N-m relation indicate that the observed excess of the galaxy counts N in the faint region beyond the blue apparent magnitude 24 can be reasonably well accounted for with the value of Ɩ in the range between 0.2 and 1. Furthermore, a comparison of our computational results of the CMB spectra with the observational data shows that the models with a mild degree of the Λ term decay, viz., with the value of Ɩ ≾ 0.4, are favorable. In this case, the age of our universe turns out to be larger than or equal to 14 Gyr, the lower limit inferred from some Uranium datings.
        3,000원
        52.
        2005.03 KCI 등재 구독 인증기관 무료, 개인회원 유료
        It is not difficult to see the road repairing. There are many and various machines which crush road surface. The efficiency and power of the machine depend on crushing head-shape, crushing interval, crushing load, crushing stress, machine's dropping height and roller's kind. The objective of this study is to select the optimal model among ten models of crushing machine with constraints such as crushing depth, variation, and crushed particle size. And then this paper provides the valid theoretical base on selected model. The data for this study are chosen from the site of construction in Kangnung during three months (2004. 6. 1~2004. 8. 31). The provided methodology in this paper will be fruitful not only for the selection of crushing machine but also for the aspects of construction period, cost, work efficacy according to the condition from the various sites of construction.
        4,000원
        53.
        2004.11 구독 인증기관 무료, 개인회원 유료
        It is not difficult to see the road repairing. There are many and various machines that can crush road surface. The efficiency and power of the machine depend on crushing head-shape, crushing interval, crushing load, crushing stress, machine's dropping height and roller's kind. The objective of this study is to select the optimal model among ten models of crushing machine with constraints such as crushing depth, variation, and crushed particle size. The data for this study are chosen from the site of construction in Kangnung during three months (2004. 6. 1 ~ 2004. 8. 31). The provided methodology in this paper will be fruitful not only for the selection of crushing machine but also for the aspects of construction period, cost, work efficacy according to the condition from the various sites of construction.
        4,000원
        54.
        2004.10 구독 인증기관·개인회원 무료
        55.
        2004.04 구독 인증기관 무료, 개인회원 유료
        Even though Companies have used to focus on maximizing the facility rates of operation to enhance their competitiveness and increasing employees' productivity to accomplish the price and quality control, they no longer can make their business successful in these days. To be successful in increasingly competitive environment, it is essential to capture customers' needs and to reflect customers' needs in their production scheduling system. This paper describes that manufacturing scheduling method using TOC in SCM environment to change companies-oriented manufacturing scheduling to customer-oriented manufacturing scheduling.
        4,000원
        56.
        2004.04 구독 인증기관 무료, 개인회원 유료
        Invariant 제약조건을 관리하기 위해서는 주로 데이터베이스 트리거를 사용하여 왔다. DB 트리거를 이용해서 제약조건을 관리하는 방법은 개념은 좋지만 시스템에 상당한 부하를 초래하며 성능 측면에서 비현실적이다. 또한, 현실적으로 Invariant는 항상 체크하는 것이 아니라 필요한 시점에서만 체크되어 관리되고 있다. 보통 Invariant는 관련된 비즈니스 프로세스 또는 단위업무를 수행할 때 체크된다. 더욱이 Invariant의 체크시점은 인력 및 장비의 가용성에 관계된 여러 경제적인 이유들로 인해 변경될 수 있다. 본 연구에서는 워크플로, BPMS등의 환경에서 비즈니스 Rule을 포함하는 Invariant 형태의 비즈니스 프로세스 제약조건을 통합 관리할 수 있는 방법론을 제시한다.
        3,000원
        57.
        2004.03 KCI 등재 SCOPUS 구독 인증기관 무료, 개인회원 유료
        5,400원
        58.
        2003.12 KCI 등재 구독 인증기관 무료, 개인회원 유료
        Recently many researchers contributed to the understanding of Quality Control System, but the use of economics in the design of quality assurance system is limited in treatment of the relationship between the average incoming quality level (or average process quality level) of the incoming lot and the average outgoing quality level of this lot. In this study, a traditional concept of sampling inspection plan for the quality assurance system is extended to a consideration of economic aspects in total production system by representing and analyzing the effects between proceeding and succeeding production process including inspection process. This approach recognizes that the decision at each manufacturing process (or assembly process), is to be determined not only by the cost and the average outgoing quality level of that process, but also by the input parameters of the cost and the incoming quality to the succeeding process. By analyzing the effects of the average incoming and outgoing quality, manufacturing or assembly process quality level and sampling inspection plan on the production system, mathematical models and solution technique to minimize the total production cost for a general product manufacturing system with specified average outgoing quality limit are suggested.
        5,100원
        59.
        2003.12 KCI 등재 구독 인증기관 무료, 개인회원 유료
        The branch and bound techniques based on cut tree and eigenvector have been introduced in the literature[1, 2, 3, 6, 9, 12]. These techniques are used as a basis to allocate departments to floors and then to fit departments with unchangeable dimensions in
        4,000원
        60.
        2003.10 구독 인증기관 무료, 개인회원 유료
        The branch and bound techniques based on cut tree and eigenvector have been introduced in the literature[1, 2, 3, 6, 9, 10]. These rechniques are used as a basis to allocate departments to floors and then to fit departments with unchangeable dimensions into floors. Grouping algorithms to allocate departments to each floor are developed and branch and bound forms the basis of optimizing using the criteria of rectilinear distance. Computational results obtained by cut tree-based algorithm and eigenvector-based algorithm are shown when the number of floors are two or three and there is an elevator.
        3,000원
        1 2 3 4 5