• 충청수학회지
• /
• 제36권1호
• /
• pp.1-8
• /
• 2023

Let C be a smooth projective curve and W a symplectic bundle over C of degree w. Let π : 𝕃𝔾(W) → C be the relative Lagrangian Grassmannian over C and S_d(W) be the space of Lagrangian subbundles of degree w -d. Then Kontsevich's space ${\bar{\mathcal{M}}}_g$(𝕃𝔾(W), β_d) of stable maps to 𝕃𝔾(W) is a compactification of S_d(W). In this article, we give an upper bound on the dimension of ${\bar{\mathcal{M}}}_g$(𝕃𝔾(W), β_d), which is an analogue of a result in [8] for the relative Lagrangian Grassmannian.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2012년도 춘계학술대회 논문집
• /
• pp.811-812
• /
• 2012

• 국방과기술
• /
• 7호통권281호
• /
• pp.38-49
• /
• 2002

이번 호에서는 COCOMO 모델, 기능점수모델, PRICE-S 모델, 일반 COSDES 모델 등의 무기체계 S/W 개발비용 산정모델들을 조사 및 분석하여 제시 하였다. 다음에 계속되는 7, 8월호에서는 무기체계 S/W 개발 비용 산정에 영향을 미치는 요소인 스텝수 산정, 환경요인 보정계수, 제경비 및 기술료를 산정하는데 있어서 각각의 영향요소들을 식별하여 제시하고, 무기체계 S/W 개발비용 산정 개선방안 및 이에 대한 정책적인 발전방향을 제시하고자 한다.

• 한방재활의학과학회지
• /
• 제21권4호
• /
• pp.23-40
• /
• 2011

Objectives: This study was designed to examine the effects of extracts of Ojeoksangamibang($W{\check{u}}j\bar{i}s\check{a}nji\bar{a}w\grave{e}if\bar{a}ng$) on the lipid lowering, anti-oxidation and concentration of proinflammatory cytokines and was investigated on hyperlipidemic rats. Methods: Male rats weighing $182.39{\pm}4.71g$ were fed high fat diet for 8 weeks and 36 rats(above 400 g) were divided into 4 groups. Each of 9 rats was divided a control group and experimental groups. We fed a control group of rats a basal diet and administered normal saline(100 mg/kg, 1 time/1 day) for 4 weeks. And we fed each experimental group of rats basal diet and administered an extract of Ojeoksangamibang($W{\check{u}}j\bar{i}s\check{a}nji\bar{a}w\grave{e}if\bar{a}ng$) extracts(100 mg/kg, 200mg/kg, 300 mg/kg, 300 mg/kg, 1 time/1 day) for 4 weeks. At the end of the experiment, the rats were sacrificed to determine their chemical composition. We measured lipid of plasma and liver, concentration of proinflmmatory cytokines, anti-oxidative activity and $TNF-{\alpha}$, Apo-B, Apo-E and leptin gene expression. Results: 1. Concentration of plasma free fatty(FFA) showed no significant difference in all the treatment groups. Concentration of plasma triglyceride(TG) showed a significant decrement in the 300 mg/kg in Ojeoksangamibang($W{\check{u}}j\bar{i}s\check{a}nji\bar{a}w\grave{e}if\bar{a}ng$) groups than that of control group. 2. Concentration of plasma total cholesterol showed a significant decrement in the 200 and 300 mg/kg in Ojeoksangamibang($W{\check{u}}j\bar{i}s\check{a}nji\bar{a}w\grave{e}if\bar{a}ng$) groups than that of control group. Concentration of plasma low density lipoprotein(LDL)-cholesterol showed a Significant decrement in the 300 mg/kg in Ojeoksangamibang($W{\check{u}}j\bar{i}s\check{a}nji\bar{a}w\grave{e}if\bar{a}ng$) groups than that of control group. Concentration of plasma high density lipoprotein(HDL)-cholesterol showed a significant increment in the 300 mg/kg in Ojeoksangamibang($W{\check{u}}j\bar{i}s\check{a}nji\bar{a}w\grave{e}if\bar{a}ng$) group. 3. Concentration of liver total cholesterol showed a tendence to decrease in Ojeoksangamibang($W{\check{u}}j\bar{i}s\check{a}nji\bar{a}w\grave{e}if\bar{a}ng$) groups. Concentration of liver TG showed a significant decrement in all Ojeoksangamibang groups than that of control group. 4. Concentration of plasma and liver thiobarbituric acid reactive substance(TBARS) showed a tendence to decrease in Ojeoksangamibang($W{\check{u}}j\bar{i}s\check{a}nji\bar{a}w\grave{e}if\bar{a}ng$) groups. 5. The values of glutathione peroxidase(GSH-Px), superoxide dismutase(SOD) and catalase(CAT) activity showed a significant increment in all Ojeoksangamibang($W{\check{u}}j\bar{i}s\check{a}nji\bar{a}w\grave{e}if\bar{a}ng$) groups than that of control group. 6. The values of plasma aspartate aminotransferase(AST) and alanine aminotransferase(ALT) activity showed no significant different in all treatment group. 7. Concentration of plasma $interleukin(IL)-1{beta}$ showed no significant difference in all the treatment groups. Concentration of plasma IL-6 showed a significant decrement in the 300 mg/kg in Ojeoksangamibang($W{\check{u}}j\bar{i}s\check{a}nji\bar{a}w\grave{e}if\bar{a}ng$) group than that of control group. Concentration of plasma tumor necrosis $factor-{\alpha}(TNF-{\alpha})$ a siginifant decrement in the 200 and 300 mg/kg in Ojeoksangamibang($W{\check{u}}j\bar{i}s\check{a}nji\bar{a}w\grave{e}if\bar{a}ng$) group than that of control group. However the concentration of plasma IL-10 in the 300 mg/kg Ojeoksangamibang($W{\check{u}}j\bar{i}s\check{a}nji\bar{a}w\grave{e}if\bar{a}ng$) groups showed a significant increment than that of control group. 9. In the analysis of reverse transcription-polymerase chain reaction(RT-PCR), gene expression of $TNF-{\alpha}$, Apo-B and Apo-E in the Ojeoksangamibang($W{\check{u}}j\bar{i}s\check{a}nji\bar{a}w\grave{e}if\bar{a}ng$) groups showed a lower expression than that of control group. However the gene expression of leptin showed no difference in the treatment groups. 10. The ratio of $TNF-{\alpha}$, Apo-B, and Apo-E per ${\beta}-actin$ expression in the Ojeoksangamibang($W{\check{u}}j\bar{i}s\check{a}nji\bar{a}w\grave{e}if\bar{a}ng$) groups showed a significant decrement than that of control group. However The ratio of leptin expression per ${\beta}-actin$ expression showed no significant difference among all the treatment groups. Conclusions: According to above results, in lowering lipid effect, anti-oxidation and control of pro-inflammatory cytokines production, Ojeoksangamibang($W{\check{u}}j\bar{i}s\check{a}nji\bar{a}w\grave{e}if\bar{a}ng$) gives effect.

• 한국컴퓨터정보학회논문지
• /
• 제19권10호
• /
• pp.117-124
• /
• 2014

S/W 개발 보안이란 안전한 SW 개발을 위해 잠재적인 보안취약점을 제거하고, 보안을 고려하여 기능을 설계 구현하는 등 SW 개발 과정에서 일련의 보안활동을 말한다. 본 논문에서는 우리에게 정신적, 금전적으로 상당한 피해를 주는 국내외 해킹 사례를 살펴보도록 한다. 웹 사이트 공격의 약 75%가 응용프로그램 즉, S/W의 취약점을 악용한 것임을 상기시킨다. 그리고 이러한 취약점들을 많이 가지고 있는 S/W 개발 보안의 주요 이슈들을 알아보도록 한다. 그리고 보안관련 법 제도 및 규정을 공공부분과 민간부분으로 나누어 제시하도록 한다. 그리고 보안관련 법 제도 및 규정의 세부 내역들을 예를 들어 나타내 보도록 한다.

• 수산해양교육연구
• /
• 제24권2호
• /
• pp.234-245
• /
• 2012

This study aims to analyze the factors of the extra-curricula area in personal school performance record and propose the practical strategies for entrance examination affairs on this area. To address this goal, we have applied a SWOT analysis with related documents and research results. We found out five strengths: (S1) Link the students' experience to right people for the university, (S2) Quantitative Indicators, (S3) Qualitative Indicators, (S4) Link to other evaluation factors, and (S5) Analysis of Human Resource. The weakness included: (W1) Fairness, (W2) Reliability, (W3) Difficulties to set standards, (W4) Difficulties to set environments, and (W5) Lack of systemic experience of an evaluation. We also discovered five opportunities (O1) Recognition of public education, (O2) The need of national support, (O3) The importance of autonomy, (O4) Specialization, and (O5) Networks. Finally, threat factors consisted of: (T1) Frequent change of educational policy, (T2) Increasing of private education, (T3) Lack of information and preparation time, and (T4) The accuracy and reliability of personal school records. Based on these results, we suggested practical strategies with these four dimensions: S-O, W-O, S-T, and W-T.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1995년도 하계학술대회 논문집 A
• /
• pp.21-23
• /
• 1995

This paper is dealing with development of H/W and S/W of Retro-Fit NC lathe controller. Especially, S/W program is handling the tool nose radius compensation. A test of S/W program execution in the developed H/W has been made and its result showed a reasonable application in real practice.

• 한국전자통신학회논문지
• /
• 제7권5호
• /
• pp.1125-1131
• /
• 2012

농촌 노동력의 급격한 감소 및 고령화에 따라 저가의 농업로봇의 개발이 시급한 과제가 되어왔다. 본 논문에서는 농업용 방제 로봇의 H/W제어구조 및 S/W 플랫폼 개발에 대하여 기술한다. 개발된 로봇은 2 축의 캐터필러형 구동부와 2축의 방제기구 제어부를 구동부로 갖추고 있다. H/W 제어구조로써, 임베디드 XPE 기반 로봇 제어부, 원격 조종부, 그리고 센서 제어부로 구성된다. SW 플랫폼에서는 태스크 매니저, 원격 영상 및 데이터 통신을 위한 TCP-IP 통신 프로세스, 구동부 제어 프로세스, 위치 및 환경 인식 프로세스, 센서제어부 프로세스 등 5개의 프로세스가 동시에 동작한다. 개발된 농업용 원격 방제로봇을 필드테스트를 통하여 유용성을 시험하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 제8회 소프트웨어 품질관리 심포지움 논문집
• /
• pp.439-443
• /
• 2004

최근 임베디드 시스템 기술은 마이크로프로세스의 저가, 소형화, 고성능화에 따라 제품 경쟁력의 핵심이 H/W 생산기술에서 S/W 시험$\cdot$품질보증기술로 이동하고 있다. 그러나 마켓-플레이스의 다양한 임베디드 S/W 아키텍처 및 개발환경은 임베디드 S/W 자동차 시험방법에 대한 제약을 지닌다. 이에 본 논문에서는 동적 인스트루멘테이션(Dynamic Instrumentation)을 기법 및 그에 대한 디자인 프레임워크(Design Framework)를 제시한다. 이러한 동적 인스트루멘테이션 기법을 적용한 프레임워크는 다양한 임베디드 시스템 환경을 추상화(Abstraction)하여 임베디드 S/W 시스템의 신시간 수행과정에서 고품질달성과 관련된 데이터를 수집하고 분석하는데 이용되어질 수 있다.

• 한국멀티미디어학회논문지
• /
• 제3권2호
• /
• pp.174-183
• /
• 2000

시스템 수준의 프로토콜 명세를 위한 정형 기법들은 S/W 구현에 중심을 둔 반면, 성능의 향상을 위해서 프로토콜의 설계를 H/W로 구현하는 것에 대한 필요성이 증대되고 있다. 따라서, 특정한 프로토콜을 이용한 시스템의 S/W적 구현에서 H/W적 구현으로 기반 환경이 변화함에 따라 IP(Integrated Processing)기술의 도입이 필요하게 되었다. 또한, 정형 명세로부터 시작하는 H/W의 구현 방법은 정형 명세의 특성에 의해, 구현된 H/W의 정확성, 신뢰성을 보장할 수 있다. 본 논문에서는 형식기술기법중의 하나인 ESTELLE로 정형화된 프로토콜을 H/W언어인 VHDL로 변환하는 방법을 제시한다. 우선 ESTELLE 명세를 VHDL 명세로 변환하는 변환방법을 기술한다. 이는 개념적인 변환방법으로 프로토콜 명세화의 기본 단위인 computation unit과 communication unit의 동작과 H/W에서의 프로세스간 동작의 유사성 등을 비교 분석하였다. 그 후 변환 모델을 기술하고, Inres 프로토콜을 통하여 실제로 ESTELLE을 VHDL로 변환하는 예를 제시한다.