• 제목/요약/키워드: Check-out

검색결과 1,672건 처리시간 0.027초

A Method for Distinguishing the Two Candidate Elliptic Curves in the Complex Multiplication Method

  • Nogami, Yasuyuki;Obara, Mayumi;Morikawa, Yoshitaka
    • ETRI Journal
    • /
    • 제28권6호
    • /
    • pp.745-760
    • /
    • 2006
  • In this paper, we particularly deal with no $F_p$-rational two-torsion elliptic curves, where $F_p$ is the prime field of the characteristic p. First we introduce a shift product-based polynomial transform. Then, we show that the parities of (#E - 1)/2 and (#E' - 1)/2 are reciprocal to each other, where #E and #E' are the orders of the two candidate curves obtained at the last step of complex multiplication (CM)-based algorithm. Based on this property, we propose a method to check the parity by using the shift product-based polynomial transform. For a 160 bits prime number as the characteristic, the proposed method carries out the parity check 25 or more times faster than the conventional checking method when 4 divides the characteristic minus 1. Finally, this paper shows that the proposed method can make CM-based algorithm that looks up a table of precomputed class polynomials more than 10 percent faster.

  • PDF

이송 물체의 질량 측정 속도 향샹 (Improvements of Mass Measurement Rate for Moving Objects)

  • Lee, W.G.;Kim, K.P.
    • 한국정밀공학회지
    • /
    • 제12권11호
    • /
    • pp.110-117
    • /
    • 1995
  • This study presents and algorithm and related techniques which could satisfy the important properties of check weighers and conveyor scales. The algorithm of Recursive Least Squares Regression is applied for the weighing system simulated as a dynamic model of the second order. Using the model and the algorithm, model parameters and then the mass being weighed can be determined from the step input. The performance of the algorithm was tested on a check weigher. Discussions were extended to the development of noise reduction techniques and to the lagged introduction of objects on the moving plate. It turns out that the algorithm shows several desirable features suitable for real-time signal processing with a microcomputer, which are high precision and stability in noisy environment.

  • PDF

열정산과 적용사례 조사에 의한 제강 전기로용 조연버너 적용 타당성 연구 (Validity Study on Installation of a Combustion Burner for Electric Arc Furnace in Steel Making Plant by the Heat Balance Check and Case Study)

  • 김현진;허진혁;문승재;유호선
    • 플랜트 저널
    • /
    • 제6권1호
    • /
    • pp.71-75
    • /
    • 2010
  • In this study, the validity study has been carried out to apply the combustion burner in an electric arc furnace. The validity of applying the combustion burner has been studied in the aspect of the operation through the calculation of heat balance. The average decrease rate of power on time is 11.2%. When the maintainability is compared to the door lance manipulator type, the multi-functional combustion burner is simple to replace and repair. The location of burner can be adopted according to the drawings which are recommended in this study. As a result, the validity of applying the combustion burner to improve an efficiency of electric arc furnace has been confirmed.

  • PDF

Polya의 문제해결 각 단계에서 학생들이 보인 사고과정의 코드화 (Coding of students′ thinking process in Polya′s stages of problem solving)

  • 김소균;신현성
    • 한국학교수학회논문집
    • /
    • 제5권2호
    • /
    • pp.23-31
    • /
    • 2002
  • The purpose of this study is to analyze thinking process in problem solving and to get some teaching materials to improve students' problem solving abilities. For this study, 14 girl and boy students in highschool were tested with 7 testing questions. The whole process of students' problem solving was observed by using 'Thinking aloud', recorded by Audio Tape and finally drawn up to Protocol. On the basis of that Protocol, coding system was set up and characteristics of thinking process in each stage were analyzed. -In the stage of planning, successful problem solvers tried to check the properties of words included in problems(Pr) and made it clear that they were seeking(O) -In the stage of planning, students used abstraction strategy(Ab, making equation(E) or using variable(V)) appropriately could solve more difficult problems. Successful problem solvers turned used unsystematical trial into systematical method and were good at using partial objects, assistant factors. - In the stage of carring out the plan, successful problem solvers to reduce the error, check the purpose, used formula, knowledge and calculation. -In the looking back stage, successful problem solvers generalized the answer and checked the total process.

  • PDF

농지이용계획의 합리적 책정을 위한 농지적성 평가기법의 개발 (Development of Land Suitability Classification System for Rational Agricultural Land Use Planning)

  • 황한철;최수명
    • 농촌계획
    • /
    • 제3권2호
    • /
    • pp.102-111
    • /
    • 1997
  • For rational agricultural land use planning, it is quite necessary to get hold of land suitability precisely and to make decision on land use patterns accordingly. In the methodological viewpoint, objective and scientific evaluation techniques for land suitability classification should be supported for the systematic land use planning. As one of technical development approaches to rational land use planning, this study tried to frame a land suitability evaluation system for agricultural purposes. Evaluation unit is defined as a tract of land bounded by road, other land units and topographical features. And quantification theory was applied in the determination works of evaluation criteria. The administrative area of Namsa-myon(district), Yongin-si(city), Kyunggi-do(province) was selected for the case study. In order to check the feasibility of the evaluation system developed in the study, field check team, consisting of 2 government officers and 2 representative farmers, carried out evaluation works by observation on 148 sample land units, 10% of total 1,480 ones. Between estimated and observed results, there showed very good relationship of its multiple correlation coefficient, R=0.9467.

  • PDF

연안통합관리방안 제정에 따른 자연환경형 해안정비 기술수법에 관한 연구 (Natural Environmental Costal Zone Management Equipment Method according to Costal Zone Management Act)

  • 박종화;전택기
    • 한국농공학회:학술대회논문집
    • /
    • 한국농공학회 1999년도 Proceedings of the 1999 Annual Conference The Korean Society of Agricutural Engineers
    • /
    • pp.365-370
    • /
    • 1999
  • The revision of domestic laws is in progress according to the UN Convention on the Law of the Coastal Zone Management . Along with it, the governmental policies related to maritime environmental preservation, especially around coastal zones and public works have been promoted based on enviornment, swiftly changed from the old function-based style. Therefore, this report will point out the important aspects which should be considered whenever there is any project on the coastal zones, suggest and classify projects of reviving the nationwide coastal zones, and show how to planning , check and evaluate the necessary technologies for reviving the coastal zones. This research will track down the coastal zone management method based on the natural enviornment as one of the necessary process to check the coastal zone enviornment for effective operating of the coastal zone management equipment method, starting on August 9, 1999, and report the technologies related with it.

  • PDF

스폿용접 로봇용 스위블 유닛의 개발 (The Development of Swivel Unit for Spot Welding Robots)

  • 김용석;박성호;양순용
    • 한국공작기계학회논문집
    • /
    • 제17권4호
    • /
    • pp.119-125
    • /
    • 2008
  • A new type of swivel unit is suggested in order to complement weak points of the existing. This new type of Swivel unit is developed by adopting a spring type cable which has elasticity and restoring force. To minimize the troubles in the process of manufacturing during operating the new type system, strength analysis and the check of interference between parts are accomplished with CATIA. The check of rotating performance is also carried out to determine the diameter and length of spring type cable by SimDesigner motion analysis. Swivel unit used in the robot spot welding is developed with spring type cable and its usefulness in the industrial field is verified through experiments. This system has been registered for patent.

심야용 축열식 전기온풍기의 화재 위험성에 관한 연구 (A study on Fire Hazard of Electric Radiant Heating Systems with Thermal Storage Using Off-peak Electricity)

  • 박민영;문용수
    • 한국화재조사학회지
    • /
    • 제8권1호
    • /
    • pp.41-48
    • /
    • 2006
  • The purpose of this study is to identify the fire danger of the electric radiant heating system and check the way how to use it and the problems that could be possible through a actual case. We carry out an experiment to identify the possibility of the fire in the similar condition of the actual fire case. The results of this study are as follows. It is a possible condition to fire if the air blast of the electric radiant heating system is blocked by some combustible materials such as plastic bags continuously. A temperature sensor and a residual current device are necessary to disconnect the power source. It is also necessary to attach a notice in front of the electric radiant hearing system that shows users the fire danger to forbid the possible fire. Fires could be happened by internal defects of the electronic products. However, we can also find many external reasons to happen fires. Therefore, we need to check all reasons to make fires in the scene of a fire.

  • PDF

이송 물체의 질량 측정 속도 향상

  • 이우갑;정진완;김광표
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 1993년도 추계학술대회 논문집
    • /
    • pp.328-332
    • /
    • 1993
  • This study presents an algorithm and related techniques which could satisfy the important properties of check weighers and conveyor scales. The algorithm of Recursive Least Squares Regression is applied for the weighing system simulated as a dynamic model of the second order. Using the model and the algorithm, model parameters and then the mass being weighed can be determined form the step input. The performance of the algorithm was tested on a check weigher. Discussions were extended to the development of noise reduction techniques and to the lagged introduction of objects on the moving plate. It turns out that the algorithm shows several desirable features suitable for microcomputer assisted real-time signal processing, which are high precision and stability in noisy environment.

  • PDF

스마트워크 기반의 정보보호 감리 모형 (An Audit Model for Information Protection in Smartwork)

  • 한기준;김동수;김희완
    • 디지털융복합연구
    • /
    • 제12권1호
    • /
    • pp.229-239
    • /
    • 2014
  • 스마트워크 기술은 재택근무나 스마트워크센터, 모바일 단말기 등을 활용하여 시간과 공간의 제약이 없는 유연한 근무 환경을 제공한다. 업무의 효율성을 높여주는 스마트워크 시스템에는 그 편리성만큼 여러 정보보호에 대한 위협이 존재한다. 따라서, 스마트워크 구축시에는 정보보호 대책을 적절하게 마련되도록 정보보호 감리를 수행하여야 한다. 본 논문에서는 스마트워크 환경 구축을 위해 실무 기술적 차원에서 정보보호 감리모형을 제안하였다. 정보 보호를 위해 터미널, 네트워크 및 서버 영역으로 분류하고, 전문 정보보호감리 점검항목을 도출하였다. 또한, 스마트워크 정보보호 감리시점을 수립하고 점검항목과 ISMS 통제분야를 매핑함으로써 보안성과 효율성을 동시에 향상시킬 수 있도록 감리모형을 제안하였다. 제안한 정보보호 감리영역 및 점검항목들이 스마트워크 정보보호 감리의 목적에 부합되는지를 검증하기 위해서 감리사 및 IT 업계 종사자를 대상으로 설문조사를 통하여 적합성을 검증하였으며, 13개의 점검항목에서 97% 수준으로 적합하다는 결론이 도출되었다.