• 제목/요약/키워드: Notation

검색결과 442건 처리시간 0.029초

ON RELATIVE CHINESE REMAINDER THEOREM

  • Park, Young-Soo;Rim, Seog-Hoon
    • 대한수학회보
    • /
    • 제31권1호
    • /
    • pp.93-97
    • /
    • 1994
  • Previously T.Porter [3] has given a relative Chinese Remainder Theorem under the hypothesis that given ring R has at least one .tau.-closed maximal ideal (by his notation Ma $x_{\tau}$(R).neq..phi.). In this short paper we drop his overall hypothesis that Ma $x_{\tau}$(R).neq..phi. and give the proof and some related results with this Theorem. In this paper R will always denote a commutative ring with identity element and all modules will be unitary left R-modules unless otherwise specified. Let .tau. be a given hereditarty torsion theory for left R-module category R-Mod. The class of all .tau.-torsion left R-modules, dented by J is closed under homomorphic images, submodules, direct sums and extensions. And the class of all .tau.-torsionfree left R-modules, denoted by F, is closed under taking submodules, injective hulls, direct products, and isomorphic copies ([2], Proposition 1.7 and 1.10).

  • PDF

Image Restoration in Dual Energy Digital Radiography using Wiener Filtering Method

  • Min, Byoung-Goo;Park, Kwang-Suk
    • 대한의용생체공학회:의공학회지
    • /
    • 제8권2호
    • /
    • pp.171-176
    • /
    • 1987
  • Wiener filtering method was applied to the dual energy imaging procedure in digital radiography(D.R.). A linear scanning photodiode arrays with 1024 elements(0.6mm H 1.3mm pixel size) were used to obtain chest images in 0.7 sec. For high energy image acquisition, X-ray tube was set at 140KVp, 100mA with a rare-earth phosphor screen. Low energy image was obtained with X-ray tube setting at 70KVp, 150mA. These measured dual energy images are represented in the vector matrix notation as a linear discrete model including the additive random noise. Then, the object images are restored in the minimum mean square error sense using Wiener filtering method in the transformed domain. These restored high and low energy images are used for computation of the basis image decomposition. Then the basis images are linearly combined to produce bone or tissue selective images. Using this process, we could improve the signal to noise ratio characteristics in the material selective images.

  • PDF

문학류를 위한 새로운 분류체계에 대한 연구 (A Study on the Proposed Faceted Scheme for Literature)

  • 정해성
    • 한국도서관정보학회지
    • /
    • 제34권2호
    • /
    • pp.273-296
    • /
    • 2003
  • 미래의 분류체계가 모든 주제를 분류의 대상으로 할 때 열거식 분류체계는 조합식 분류체계로 변화되는 것이 요구된다. 이 연구는 그 가능성을 확인하기 위하여 문학류에 대한 새로운 분류체계를 설계하여 제안하였다. 제안된 분류체계는 기호의 조합방법이 간단하며, 패싯에 따라 기호를 다르게 표현하기 때문에 패싯의 의미는 분명하지만 혼합기호를 사용하여 분류기호가 복잡하다.

  • PDF

객체 지향 방법론을 이용한 철근 콘크리트 통합 구조 시스템의 초기 구조 설계 모듈 개발 (Development of Preliminary Design Modules for an Intergrated System for Reinforced Concrete Structures appling Object Oriented Methodology)

  • 홍지선;천진호;이병해
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 1999년도 봄 학술발표회 논문집
    • /
    • pp.61-68
    • /
    • 1999
  • This paper is the study of methodology for development of preliminary structural design modules for an intergated system for reinforced concrete structures. To develop the modules. it is used that the iteratived and incremental development process of object-orientied methodology and affects. The aspect is a tool to capture characteristics of the objects. The aspects consists of .user, structure, and system. By using aspects, we can find that objects and relationships between the objects consisting of the modules in the phases of process. In this paper, UML(Unified Modeling Language) is used to the notation. It serves as the language for communicating decisions that are not obvious and provides semantics to capture all important stategic and tactical decisions. Therefore such a series of mothods is valuable to development of preliminary structural design modules. Then preliminary structural design modules were programed by using Visusl C++, a windows environmental development tool.

  • PDF

시간 공간 통합 본원적 데이터 모델링 및 그 구현에 관한 연구 (Modeling and Implementation for Generic Spatio-Temporal Incorporated Information)

  • 이우기
    • Journal of Information Technology Applications and Management
    • /
    • 제12권1호
    • /
    • pp.35-48
    • /
    • 2005
  • An architectural framework is developed for integrating geospatial and temporal data with relational information from which a spatio-temporal data warehouse (STDW) system is built. In order to implement the STDW, a generic conceptual model was designed that accommodated six dimensions: spatial (map object), temporal (time), agent (contractor), management (e.g. planting) and tree species (specific species) that addressed the 'where', 'when', 'who', 'what', 'why' and 'how' (5W1H) of the STDW information, respectively. A formal algebraic notation was developed based on a triplet schema that corresponded with spatial, temporal, and relational data type objects. Spatial object structures and spatial operators (spatial selection, spatial projection, and spatial join) were defined and incorporated along with other database operators having interfaces via the generic model.

  • PDF

철극동기기의 2상간단락시에 비단락상에 유기되는 단자전압

  • 이면영
    • 전기의세계
    • /
    • 제12권
    • /
    • pp.6-11
    • /
    • 1963
  • 철극형동기기를 무부하상태로 전환을 할때 갑지기 2상간에 단락이 돌발한 경우 다른 개로상단자에 유기되는 open-phase voltage의 과도상태를 구명하는데 본 논문의 목적이 있다. 우선 전기자전압의 직축분과 횡축분을 구하기 위하여 Blondel씨가 제창한 이론을 matrix form으로 전개하여 그의 기본전압방정식을 확립시키고 이어서 상간단락전류를 구해가지고 개로상단자에 유기되는 이상전압, 즉 open-phase voltage의 치를 e$_{a}$ =e$_{d}$cos.theta.-e$_{q}$ sin.theta.+e$_{0}$의 관계식에 의거해서 구해보자는 것이다. 논설상의 편의를 도모키 위해 몇가지 가정을 마련하는 것이 순서라고 본다. 제동권선이 없는 철극동기기를 취급하고 포화현상을 무시하며 직축상에 주계자가 존재하는것으로 간주하며, 전기자회로의 저항은 근소치임으로 시정수에 한애서만 영향을 주는 것 이외에는 계산상에서 이를 무시하고 역시 계산에 나오는 무든 양은 per-unit notation을 사용하고 영상분은 고려하지 않으며 대표적인 동기기정수를 x$_{d}$=0.78, x'$_{d}$=0.21, x$_{q}$ =0.48 및 E=1로 정해서 구명해보자는 것이다.

  • PDF

ERD를 응용한 FPSO선 크레인의 기초 설계 과정의 분석에 관한 연구 (A Study on the Analysis Method of the Basic Design Process of a FPSO Crane using ERD)

  • 이원규;박세명
    • 한국기계가공학회지
    • /
    • 제14권4호
    • /
    • pp.108-117
    • /
    • 2015
  • In this paper, as a previous step of software development, through an analysis step in the basic design process of the FPSO crane, ERD, which could help develop common understanding between its developer and the user, was introduced. From the flowchart of the design process, the overall work flow in its development was understood. Then, after the design process of the crane was divided into many entities, the attributes of each entity were defined and the relationships between the entities were established, followed by ERD creation through the use of IDEF1X notation. The results of the analysis can be readily understood even by users who lack of software knowledge, and then their change requirements can be immediately reflected in the developed system that requires modification.

AutoCAD를 이용한 한국인 인체모형의 개발

  • 강동석;박성준;정의승
    • 한국경영과학회:학술대회논문집
    • /
    • 대한산업공학회/한국경영과학회 1992년도 춘계공동학술대회 발표논문 및 초록집; 울산대학교, 울산; 01월 02일 May 1992
    • /
    • pp.348-357
    • /
    • 1992
  • 인간-기계시스템(Man-Machine System)의 구조가 점점 복잡해짐에 따라 제품의 설계단계에서 인간과 시스템간의 상호작용(interaction)을 고려하기 위하여 인간-기계 인터페이스모형(Man-Machine Interface Model)의 개발 필요성이 대두되고 있다. 본 연구에서는 인체모형과 관련된 인체변수들을 추출하여 Database화한 후, AutoCAD를 이용하여 컴퓨터로 구현하였다. 인체모형의 구축에서는 Robotics에서 사용하는 Denavit-Hartenberg Notation과 같은 체계적인 좌표계를 이용하여 기존의 인체모형 연구결과들을 쉽게 적용할 수 있도록 하였다. 한편, 본 인체모형은 범용 CAD Package인 AutoCAD를 이용하여 구현함으로써 SAMME등에서 볼 수 있는 인간공학적 평가를 PC수준에서 가능하도록 하였다. 본 시스템을 이용함으로써 제품의 설계단계에서부터 인간공학적 요소들을 고려할 수 있을 뿐만아니라 기존 제품의 평가에도 유용하게 사용할 수 있으리라 기대된다. 한국인을 대상으로 한 인체모형의 개발이라는 점에서 의의가 있다고 할 수 있다.

  • PDF

BPM 표준화 현황 및 도입전략

  • 김동수;임태수;김민수;윤정희
    • 한국경영과학회:학술대회논문집
    • /
    • 대한산업공학회/한국경영과학회 2006년도 춘계공동학술대회 논문집
    • /
    • pp.226-234
    • /
    • 2006
  • 기업 활동의 근간을 이루는 비즈니스 프로세스들을 투명하게 관리하고 통제하기 위해 국내외 많은 기업들이 비즈니스 프로세스 관리(BPM: Business Process Management) 시스템을 도입하고 있다. 본 논문에서는 프로세스 모델링 및 표기법 측면에서 BPMN(Business Process Modeling and Notation), 프로세스 실행과 운영 측면에서 BPEL(Business Process Execution Language), 모니터링과 통제 측면에서 BPQL(Business Process Query Language)을 표준의 개요와 표준화 현황을 제시하였다. 또한, BPM 솔루션 공급업체들의 유형을 분류해 보고, 각 공급업체 유형별 장단점 분석을 기초로 BPM 표준을 자사 솔루션 개발에 적용하고자 하는 기업들에게 유용한 표준 도입 전략을 제시하였다.

  • PDF

색채교육의 기초확립을 위한 시스템배색체계의 설계 및 색지 제작 (Planning of Systematic Color Coordinate System and Manufacture of Color Paper for Establishment of Basic Color Education)

  • 이경희
    • 한국의류산업학회지
    • /
    • 제11권5호
    • /
    • pp.709-719
    • /
    • 2009
  • Since the beginning of time people had been using color to mark territory and decorate their surroundings. Color was taken for granted today as an intrinsic part of every waking moment. In modern age, color education was very important curriculum of art and design. In general, color expressed by hue, value and chroma but used the tone on the design spot, therefore the tone concept education was very important to color education. In this study I planned the usable "Systematic Color Coordinate System 180" for general color education on hue and tone color system and manufactured the color papers, color chart and color code based on the system. "Systematic Color Coordinate System 180" was attached the Munsell notation and common color names which could reappear the colors when needed.