• 충청수학회지
• /
• 제14권1호
• /
• pp.61-71
• /
• 2001

We introduce a new class of ${\sigma}$-coherent frames and show that HA is a ${\sigma}$-coherent frame if A is a ${\sigma}$-frame. Based on this, it is shown that a frame is ${\sigma}$-coherent iff it is isomorphic to the frame of ${\sigma}$-ideals of a ${\sigma}$-frame. Finally we show that ${\sigma}$-COhFrm and ${\sigma}$Frm are equivalent.

• 대한수학회논문집
• /
• 제17권2호
• /
• pp.295-308
• /
• 2002

Using the Countably way below relation, we show that the category $\sigma$-CFrm of $\sigma$-coherent frames and $\sigma$-coherent homomorphisms is coreflective n the category Frm of frames and frame homomorphisms. Introducting the concept of stably countably approximating frames which are exactly retracts of $\sigma$-coherent frames, it is shown that the category SCAFrm of stably countably approximating frames and $\sigma$-proper frame homomorphisms is coreflective in Frm. Finally we introduce strongly Lindelof frames and show that they are precisely lax retracts of $\sigma$-coherent frames.

• 한국수학사학회지
• /
• 제16권1호
• /
• pp.63-72
• /
• 2003

This paper is a sequel to [11]. We introduce $\sigma$-coherent frames, stably countably approximating frames and strongly Lindelof frames, and show that a stably countably approximating frame is a strongly Lindelof frame. We also show that a complete chain in a Lindelof frame if and only if it is a strongly Lindelof frame by using the concept of strong convergence of filters. Finally, using the concepts of super compact frames and filter compact frames, we introduce an example of a strongly Lindelof frame which is not a stably countably approximating frame.

• Korean Journal of Mathematics
• /
• 제15권2호
• /
• pp.87-100
• /
• 2007

We introduce a concept of countably strong inclusions ${\triangleleft}$ and that of ${\triangleleft}-{\sigma}$-ideals and prove that the subframe $S({\triangleleft})$ of the frame ${\sigma}IdL$ of ${\sigma}$-ideals is a Lindel$\ddot{o}$fication of a frame L. We also deal with conditions for which the converse holds. We show that any countably approximating regular $D({\aleph}_1)$ frame has the smallest countably strong inclusion and any frame which has the smallest $D({\aleph}_1)$ Lindel$\ddot{o}$fication is countably approximating regular $D({\aleph}_1)$.

• Kyungpook Mathematical Journal
• /
• 제48권2호
• /
• pp.195-206
• /
• 2008

The purpose of this note is to compare the rings of continuous functions, integer-valued or real-valued, in pointfree topology with those in classical topology. To this end, it first characterizes the Boolean frames (= complete Boolean algebras) whose function rings are isomorphic to a classical one and then employs this to exhibit a large class of frames for which the functions rings are not of this kind. An interesting feature of the considerations involved here is the use made of nonmeasurable cardinals. In addition, the integer-valued function rings for Boolean frames are described in terms of internal lattice-ordered ring properties.

• 대한수학회지
• /
• 제49권3호
• /
• pp.571-583
• /
• 2012

Let $G$ be a metrizable, ${\sigma}$-compact locally compact abelian group with a compact open subgroup. In this paper we define the Gramian and the dual Gramian operators for shift invariant subspaces of $L^2(G)$ and we use them to characterize shift generated dual frames for shift in- variant spaces, which forms a frame for a subspace of $L^2(G)$. We present necessary and sufficient conditions for which standard dual is a unique SG-dual frame of type I and type II.

• 한국강구조학회 논문집
• /
• 제15권4호통권65호
• /
• pp.379-388
• /
• 2003

철골가새골조 내 가새 부재의 에너지 소산 등의 이력 특성을 조사하기 위하여 비선형 구조해석 프로그램인 DRAIN-2DX를 이용한 단층 구조물의 동적 해석을 수행하였다. 가새 부재의 세장비(KL/r) 및 구조물 반응 수정 계수(R)을 변수로 15개의 가새 부재가 설계되었고 인공지진을 포함 6개의 지진기록을 사용하여 구조해석을 수행하였다. 총 90개의 동적 해석 및 해석결과 비교 분석을 통하여 다음의 사실을 알 수 있었다. (1) 큰 반응 수정 계수(R)로 설계된 철골가새골조 내의 가새 부재가 구조물이 우수한 연성 거동을 통하여 큰 축적된 에너지 비$({\Sigma}E_C/E_T)$를 갖게 되리라 예상과는 달리 해석 결과 큰 R값으로 설계된 가새 부재가 좌굴 이후 심한 강도 저하를 보이고 작은 가새 부재력으로 설계되기 때문에 오히려 축적된 에너지 비$({\Sigma}E_C/E_T)$가 작았다. (2) 해석 결과 Lee and Bruneau (2002)에 의해 수집된 실험 결과들을 근거로한 실험 자료, 모두 세장한 가새 부재가 대부분의 경우 더 큰 연성을 갖기는 하지만 작은 축적된 에너지 비$({\Sigma}E_C/E_T)$를 갖고 있다.

• 융합신호처리학회논문지
• /
• 제11권3호
• /
• pp.189-196
• /
• 2010

본 논문에서는 이미지 센서에 의해 발생하는 노이즈를 제거하기 위한 적응적 로컬 시그마 필터 장치를 제안하였다. 이미지 센서에 의해 발생하는 작은 노이즈는 이미지 센서의 아날로그 게인과 노출시간의 증가로 인해 영상 정보와 함께 증폭되며 이러한 노이즈 제거를 목표로 시스템을 설계 하였다. Flatness Index Map 알고리즘을 사용해 영상의 윤곽선을 추출하였으며, 임계치가 영상의 휘도에 따라 적응적으로 변화하도록 설계하여 고조도 영상에서는 윤곽선 추출을 수행하지 않으며, 저조도에서만 윤곽선을 추출하도록 하였다. 추출된 윤곽선을 판단하여 그에 해당하는 픽셀에 대해서만 Local Sigma Filter 알고리즘을 사용하여 노이즈 제거를 수행 하였다. 설계된 필터의 성능 검증을 위해 윈도우 테스트 프로그램을 제작하였다. 그리고 HDL을 사용해 하드웨어로 설계하였으며, FPGA Demonstration board와 $1280{\times}720$ 이미지 사이즈, 30 frame/sec의 성능을 갖는 HD급 CMOS 이미지 센서를 사용해 하드웨어로 설계된 로컬 시그마 필터의 동작을 검증하였다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 춘계학술대회
• /
• pp.195-200
• /
• 2003

An expert system for estimation of fatigue properties from simple tensile data of material is developed, considering nearly all important estimation methods proposed so far, i.e., 7 estimation methods. The expert system is developed using an expert system shell, UNIK, and the knowledge base is constructed with production rules and frames. Forward chaining is employed as a reasoning method. The expert system has three major functions including the function to update the knowledge base. The performance of the expert system is tested using the 54 ${\sigma}-N$ curves consisting of 381 ${\sigma}-N$ data points obtained for 22 materials. It is found that the expert system developed has excellent performance especially for steel materials, and reasonably good for titanium alloys.

• 대한조선학회지
• /
• 제6권2호
• /
• pp.1-4
• /
• 1969

직선늑골(直線肋骨) 및 단일배골(單一背骨)을 가지는 배의 단면(斷面)과 동일(同一)한 단면(斷面)을 가지는 2차원(次元) 주상체(柱狀體)가 고진동수(高振動數)로 이상유체(理想流體)의 자유수면(自由水面)에서 상하동(上下動)을 할 때의 부가질량계수(附加質量係數)($K_2$)를 특정(特定)한 선저각(船底角)을 지배(支配)하는 계수(係數)($\beta$)의 각각(各各)에 대(對)해서 폭일흘수비(幅一吃水比)(B/H)와 단면적계수(斷面績係數)($\sigma$)로 표시(表示)하였으며 Lewis form 및 김(金)이 제시(提示)한 곡선늑골(曲線肋骨) 및 배골(背骨)을 가지는 배의 단면(斷面)과 동일(同一)한 단면(斷面)의 2차원주상체(次元柱狀體)에 대(對)한 결과(結果)와 비교검토(比較檢討)하였다.