• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.239-241
• /
• 2003

무선 인터넷의 활성화와 더불어, 사용자 인중(Authentication), 권한 부여(Accounting) 그리고 자원사용(Accounting)의 세가지 AAA 서비스를 효율적으로 제공하기 위해 RADIUS와 같은 AAA프로토콜들이 사용되고 있다. 본 논문에서는 Casper와 CSP를 이용하여 RADIUS 프로토콜을 수행동작을 명세하고, 모델 체킹 도구인 FDR을 사용하여 RADIUS 프로토콜의 안전성을 분석하고자 하였다.

• 한국식품영양학회지
• /
• 제30권2호
• /
• pp.236-242
• /
• 2017

본 연구에서는 식이섬유와 단백질이 풍부한 치아 시드 분말을 팥앙금 무게의 0%, 1%, 2%, 3% 및 4% 첨가하여 양갱을 제조하고, 품질 특성 분석 및 소비자 기호도 조사를 시행하였다. 수분함량은 치아 시드 분말 첨가량에 따라 증가하는 경향을 보였으며, pH는 유의적으로 감소하였다(p<0.05). 가용성 고형분 함량은 $2.77{\sim}3.33^{\circ}Bx$의 범위를 보이며 증가하는 경향을 보였다. 치아 시드 분말의 첨가량이 증가함에 따라 L값은 33.07~36.48의 범위를 보이며 증가하였고, a값과 b값은 치아시드 분말을 3% 이상 첨가하였을 때 유의적으로 증가하였다. ${\Delta}E$값은 치아시드 분말 첨가량에 따라 점점 감소하여 CSP4에서 가장 낮게 나타났다. 경도(Hardness)와 탄력성(Springiness)은 치아시드의 높은 식이섬유 함량으로 인해 증가하는 경향을 보였으며, 응집성(Cohesiveness)은 대조군에 비해 치아시드 첨가군이 낮게 나타났다. 씹힘성(Chewiness)과 부착성(Adhesiveness)은 유의적인 차이를 보이지 않았다(p<0.05). 치아 시드 양갱에 대한 소비자 기호도 조사 결과, 향미 이외의 모든 항목에서 대조군과 치아 시드 분말 첨가군 사이에 유의적인 차이가 없었다(p<0.05). 총 폴리페놀 함량은 7.23~10.73 mg GAE/100 g의 범위를 보였으며, 치아 시드 분말 첨가량에 따라 증가하였다. ABTS $IC_{50}$도 대조군에 비하여 치아 시드 분말 첨가군이 낮게 나타나, 항산화 활성이 높은 것으로 나타났다. 치아 시드 분말을 첨가하여 양갱을 제조하였을 때 치아 시드 분말은 가용성 고형분 함량과 조직감에 영향을 주는 것으로 사료된다. 그러나 소비자 기호도 조사에서, 치아 시드 분말을 3% 이상 첨가하였을 때 향미에 부정적인 영향을 주는 것으로 나타나, 양갱 제조 시 치아시드 분말의 적절한 첨가 수준은 2%인 것으로 판단된다.

• Bulletin of the Korean Chemical Society
• /
• 제31권3호
• /
• pp.620-623
• /
• 2010

A brush type chiral stationary phase (CSP 2) derived from ${\alpha}$-amino ${\beta}$-lactam was prepared for the separation of the enantiomers of ${\beta}$-blockers. Compared to the CSP derived from ${\alpha}$-amino phosphonate (CSP 1), in general, the conformationally rigid CSP 2 showed greater scope and much enhanced enantioselectivity for the resolution of ${\beta}$-blockers. The effect of various salt additives on enantioseparation of ${\beta}$-blockers in the mobile phase was investigated. The unusual effect of temperature on the chromatographic behaviors was observed on CSP 2. It also afforded appreciable increases in enantioselectivity without significantly affecting resolution, as the column temperature was reduced.

• 한국기계가공학회지
• /
• 제5권1호
• /
• pp.51-58
• /
• 2006

The objective of this research work is to investigate into heat transfer characteristics of the laser cutting of CSP 1N sheet using high power CW Nd:YAG laser. In order to investigate the heat transfer characteristics, three dimensional quasi stationary and steady-state heat transfer analysis has been carried out. The laser heat source is assumed as a volumetric heat source with a gaussian heat distribution in a plane. Through the comparison of the results of analyses with those of experiments, the proper finite element model has been obtained. In addition, characteristics of the three-dimensional heat transfer and temperature distribution have been estimated by the finite element model. Finally, the minimum temperature at the center for cutting of the material has been estimated.

• 한국태양광발전학회지
• /
• 제3권1호
• /
• pp.61-67
• /
• 2017

Concentrated solar power(CSP) is receiving attention for its ability to generate dispatchable power from heat stored in thermal energy storage(TES). There are currently four types of CSP technology, however experts expect that only parabolic trough and solar tower are to survive from the market due to its higher efficiency and larger capacity in storage. While the initial cost for installing CSP plant is still expensive, the experts expect that investment cost of CSP would decline to the level which would be competitive with PV or wind in the near term future. In addition, further growth in its installation capacity is expected due to the United States and China's aggressive investments in CSP.

• 산업경영시스템학회지
• /
• 제20권41호
• /
• pp.123-134
• /
• 1997

In this paper we consider the CSP requirements determination problem of new equipment system. The CSP we deal with in the paper are restricted to the demand-based spare parts. For the newly procured equipment systems, mathematical analyses are made for the system which is constructed with the repairable items to derive the associated CSP requirement determination model in mathematical expression, respectively. Based on these analyses, a mathematical model is derived for making an optimal CSP requirement determination subject to the constraint of satisfying any given funds limitation. We assume that the failure of a part follows a Poisson process. Firstly, the operational availability concept in CSP is defined and the relation between the general system availability and the operational availability is established. Secondly, the problem is formulated as the operational availability maximization problem that should satisfy the funds limitation, and then, using the generalized Lagrange multipliers method, the optimal solution procedure is derived.

• 한국국방경영분석학회지
• /
• 제30권1호
• /
• pp.15-29
• /
• 2004

The existing CSP systems is inefficient and brings about waste of budget in some operating aspects which show accumulation of unnecessary items, omitted or running short items and limitation of timely use of them. The purpose of this study is to analyze the actual situation of existing CSP(calculation and estimation of CSP requirements), and to suggest a few methods (post control system by activating buy-back system, and middle and long term operating system itself in relation to budget) to improve the CSP operating systems in order to maximize the effectiveness of combat strength and to contribute to the economic efficiency of defense management. The results show that improved method is efficient and effective by comparing with some actual data.

• 품질경영학회지
• /
• 제20권2호
• /
• pp.55-66
• /
• 1992

The sampling plan CSP-1 for continuous production was first proposed by Dodge in 1943. Continuous production refers to products which are flowing past the inspection station such as products moving on a conveyor belt. One important measure of the effectiveness of a CSP is the average outgoing quality(AOQ). A concept for a short run of production length time, denoted by AOQ(t), is provided. The assumption of a s-independence in CSP-1 is unrealistic. It is possible to relax the assumption of a s-independence. The need for Markov model in a continuous production process can be discussed in this paper. The Markov and renewal theory are used to describe the property of AOQ in CSP-1.

• Bulletin of the Korean Chemical Society
• /
• 제15권6호
• /
• pp.497-502
• /
• 1994

A new chiral stationary phase (CSP) for the liquid chromatographic resolution of enantiomers was prepared from (S)-naproxen and 3,5-dinitroaniline. The 6-alkoxy-2-naphthyl group of the CSP was presumed to act as a ${\pi}$-basic interaction site for resolving ${\pi}$-acidic racemates while the 3,5-dinitroanilide group of the CSP was presumed to play a role as a ${\pi}$-acidic interaction site for resolving ${\pi}$-basic racemates. From the chromatographic resolution trends of N-alkylamide derivatives of ${\alpha}$-arylalkylamines on the CSP prepared, the chiral recognition mode involving the intercalation of the amide alkyl chain of the less retained enantiomers between the connecting tethers of the CSP was proposed.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.1361-1364
• /
• 2012

현대 산업 발전에 따라 대량 생산 체제에서 소비자 개별 주문 요건을 반영하여 생산하는 대량맞춤 생산(Mass Customization) 체제로 변화해가고 있다. 이런 대량맞춤 생산 체제의 제품구성(Product Configuration) 시에 나타나는 CSP(Constraint Satisfaction Problem) 해결 방법론을 제시하고 있다. 기존 방법에서는 복잡 다양한 제약조건을 수학적으로 표현하여 제약 조건 검사에서 소요시간과 검색 공간을 최소화 할 수 있는 알고리즘이 제시했다. 그런데 소비자의 주문 요건들이 빠르게 변화되고 복잡 다양 해지고 있다. 그래서 대상 모델 및 제약조건이 변경이 되었을 경우 기존 방법에서 제시하고 있는 CSP 해결에서는 수정 관리 하기가 쉽지 않고 확장성이 낮다. 본 연구에서는 룰 기반 모델링으로 CSP 문제 해결 프로세스 정립을 하여 관리의 편리성을 제공하고 확장성을 향상시킨다.