• 정보보호학회논문지
• /
• 제13권5호
• /
• pp.57-67
• /
• 2003

보안정책모델은 평가대상제품(Target of Evaluation, TOE)의 보안정책을 비정형적, 준정형적, 또는 정형적 방법을 사용하여 구조적으로 표현하는 한 것이다. 보안정책모델은 보안기능요구사항과 기능명세간의 일관성 및 완전성을 제공함으로써 평가대상제품이 요구사항과 기능명세간 불명확성으로 인한 보안결점을 최소화할 수 있도록 보증성을 보장한다. 이러한 이유로 ISO/IEC 15408(공통평가기준. CC) 등 IT 제품 및 시스템의 보안성 평가기준의 고등급 평가에서 보안정책모델을 요구하고 있다. 본 논문에서는 보안정책모델의 개념과 관련 연구 및 공통평가기준의 보안정책모델 보증요구사항을 분석하여 보안정책모델 평가방법을 제시한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제16권8호
• /
• pp.2587-2605
• /
• 2022

In order to efficiently detect community structure in complex networks, community detection algorithms can be designed from the perspective of node similarity. However, the appropriate parameters should be chosen to achieve community division, furthermore, these existing algorithms based on the similarity of common neighbors have low discrimination between node pairs. To solve the above problems, a noval community detection algorithm using closeness similarity based on common neighbor node clustering entropy is proposed, shorted as CSCDA. Firstly, to improve detection accuracy, common neighbors and clustering coefficient are combined in the form of entropy, then a new closeness similarity measure is proposed. Through the designed similarity measure, the closeness similar node set of each node can be further accurately identified. Secondly, to reduce the randomness of the community detection result, based on the closeness similar node set, the node leadership is used to determine the most closeness similar first-order neighbor node for merging to create the initial communities. Thirdly, for the difficult problem of parameter selection in existing algorithms, the merging of two levels is used to iteratively detect the final communities with the idea of modularity optimization. Finally, experiments show that the normalized mutual information values are increased by an average of 8.06% and 5.94% on two scales of synthetic networks and real-world networks with real communities, and modularity is increased by an average of 0.80% on the real-world networks without real communities.

• 한국소프트웨어감정평가학회 논문지
• /
• 제14권2호
• /
• pp.35-44
• /
• 2018

서로 다른 언어로 작성된 소스코드의 유사성 검사는 주로 요약구문트리를 기반으로 비교를 수행한다. 하지만 대규모의 소스코드를 실용적인 수준으로 비교하려면 토큰수준 기반에서 작동하는 유사성 검사 기술이 필요하다. 본 연구에서는 서로 다른 언어에서 생성되었지만 같은 의미를 지닌 토큰을 표현할 수 있는 공통 토큰을 정의하고, 소스코드에서 언어별 처리 과정을 거쳐 생성한 공통 토큰의 나열을 입력으로 소스코드의 유사성 검사를 수행하는 방법을 제안한다. 한국저작권위원회의 표절검사 도구 exEyes를 사용해서 서로 다른 언어로 작성된 동일한 코드를 대상으로 실험한 결과, 제안한 방법을 사용했을 때, 유사성 평가 성능이 향상됨을 보였다.

• 한국음향학회지
• /
• 제28권1호
• /
• pp.51-60
• /
• 2009

본 논문에서는 warped common acoustical pole and zero (WCAPZ) 모델링 방법을 이용한 새로운 공간 등화 방법을 제안한다. 제안한 방법은 저주파 영역의 등화 성능을 감소시키지 않으면서 등화 필터의 차수를 줄일 수 있는 장점을 가진다. 따라서 제안된 공간 등화 시스템은 기존의 블록 변환 방법에 비해 연산량은 비슷하면서도 적은 입출력 지연을 가지게 된다. 컴퓨터 모의실험을 통해 제안된 방법이 기존의 기법에 비해 저주파 영역에서 좋은 공간 등화 성능을 보임을 검증하였다.

• 한국산림과학회지
• /
• 제61권1호
• /
• pp.60-68
• /
• 1983

영농기술(營農技術)이 정체(停滯)되고 있었던 전근대사회(前近代社會)의 유제(遺制)로서 마을에서 총유적(總有的)으로 이용(利用)하여 오던 농용공유림(農用公有林)은 근대화과정(近代化過程)에 행정적(行政的)으로 거의 국공유화(국공유화)되었으나 아직도 기명공유(記名共有), 마을회소유(會所有), 생산조합소유(生産組合所有), 산림계소유(山林契所有), 산림계대부국공유(山林契貸付國公有) 등(等) 다양(多樣)한 등기명의(登記名儀)의 마을소유림(所有林)이 남아 있다. 한편, 산림계(山林契)의 조직(組織)은 여러개의 자연부락(自然部落)으로 되어 있음으로 자연부락별(自然部落別)로 갖고 있는 마을 소유림(所有林)의 관리(管理)는 산림계장(山林契長)으로부터 유리(遊離)될 수 밖에 없는 실정(實情)에 있다. 이들을 산림조합계통(山林組合系統)으로 일원화(一元化)시키는 조치(措置)가 고려(考慮)되어야 할 것이다. 마을소유림(所有林)의 이용(利用)은 아직도 연료(燃料)나 묘지(墓地)에 큰 비중(比重)이 주어지고 있다고는 하나 영농기술(營農技術)과 농가경제수준(農家經濟水準)이 향상(向上)된 오늘날 생산조합적(生産組合的) 경영방식(經營方式)에 의한 경제림조성(經濟林造成)에 더 큰 관심을 가지게 되었다. 이 공유림생산조합(公有林生産組合)을 군산림조합(郡山林組合)과 유기적(有機的)으로 연계(連繫)시켜 지역산림(地域山林)의 생산력(生産力) 향상(向上)을 선도(先導)케 하여야 한다. 그러나 아직도 마을소유림(所有林)의 경영(經營)은 조방적(粗放的)이어서 경영(經營)과 보호(保護)에 대하여 아무런 계획(計劃)과 대책(對策)을 갖지 않은 방치상태(放置狀態)에 있다. 특히 작은 면적규모(面積規模)로 방치(放置)되어 있는 마을소유림(所有林)의 공동경영(共同經營)을 조장(助長)하기 위하여 적정면적(適正面積)의 확보(確保)를 지원(支援)하여야 할 것이며 경영(經營)에 부적합(不適合)한 과소면적(過小面積)의 마을소유림(所有林)과 구성원(構成員)이 여러마을에 걸쳐 있어서 노동생산성(勞動生産性)을 높일 수 없는 공유림(公有林)은 해체(解體)하여 사유화(私有化)되도록 유도(誘導)하는 것이 바람직하다. 산림이용(山林利用)이 농민적(農民的) 이용(利用)으로부터 임업적(林業的) 이용(利用)의 방향(方向)으로 발전(發展)함에 따라 산림(山林)의 가치(價値)가 증대(增大)하고 이로 인(因)하여 마을소유림(所有林)의 총유권분쟁(總有權紛爭)이 자주 일어나고 있다. 생산조합명의(生産組合名儀)로 등기이전(登記移轉)을 시키는 등(等) 분쟁(紛爭)의 예방(豫防)과 조정(調停)으로 주민(住民)의 신뢰(信賴)를 회복(回復)시키고 경영(經營)에 대한 참여의식(參與意識)을 높이도록 하여야 할 것이다.

• 대한수학회보
• /
• 제44권3호
• /
• pp.537-545
• /
• 2007

Necessary conditions for the existence of common fixed points for noncommuting mappings satisfying generalized contractive conditions in the setup of certain metrizable topological vector spaces are obtained. As applications, related results on best approximation are derived. Our results extend, generalize and unify various known results in the literature.

• Journal of applied mathematics & informatics
• /
• 제17권1_2_3호
• /
• pp.329-341
• /
• 2005

In this paper, we introduce new random iterative sequences with errors approximating a unique random common fixed point for three random set-valued strongly pseudo-contractive mappings and show the convergence of the random iterative sequences with errors by using an approximation method in real uniformly smooth separable Banach spaces. As applications, we study the existence of random solutions for some kind of random nonlinear operator equations group in separable Hilbert spaces.

• 한국한의학연구원논문집
• /
• 제1권1호
• /
• pp.347-362
• /
• 1995

The treament of common cold in oriental medicine is different from that of mordern medicine. In mordern medicine, the treatment is indiscriminat and allopathic, but it is varied by many factors - immunity, palpation, and constitution etc. - in oriental medicine. I reported that the relations of immunity, symptoms, diagnosis and medication.

• Journal of applied mathematics & informatics
• /
• 제31권1_2호
• /
• pp.155-164
• /
• 2013

In this paper, we have established some common fixed point theorems for two pairs of occasionally weakly compatible hybrid maps sat-isfying a strict contractive condition in a non-archimedean fuzzy metric space. Our result extend, generalized and fuzzify several fixed point theo-rems on metric space.

• 대한수학회논문집
• /
• 제27권4호
• /
• pp.733-743
• /
• 2012

In the present paper, we prove common fixed point theorems for single-valued and set-valued occasionally weakly compatible mappings in Menger spaces. Our results improve and extend the results of Chen and Chang [Chi-Ming Chen and Tong-Huei Chang, Common fixed point theorems in Menger spaces, Int. J. Math. Math. Sci. 2006 (2006), Article ID 75931, Pages 1-15].