• 한국섬유공학회:학술대회논문집
• /
• 한국섬유공학회 1987년도 제2차학술발표초록집
• /
• pp.72-72
• /
• 1987

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2003년도 추계학술대회 및 정기총회
• /
• pp.135-138
• /
• 2003

This paper considers a verification problem on EJB(Enterprise JavaBeans). We select SPIN as a automatic verification tool and consider an instance management specification of CMP(Container Managed-Persistence) entity bean. By showing the verification procedure, we can conclude that SPH can be used to verify EJB systems.

• 대한수의사회지
• /
• 제16권1호
• /
• pp.25-28
• /
• 1980

The studies were undertaken with the objective to compare six staining techniques, nigrosineosin, eosin-nigrosin, trypan blue, Congo red-nigrosin, fast green-erythrocin and fast green-eosin and select one of these staining techniques to measure live-dead

• 산업공학
• /
• 제6권1호
• /
• pp.19-30
• /
• 1993

Various types of control charts are available, but their full advantages are not being utilized due to the lack of experts who can select, design, implement, and interpret. An expert system is developed which would perform these functions as if each process had a resident expert.

• 한국경영과학회지
• /
• 제10권1호
• /
• pp.79-83
• /
• 1985

This purpose of this study is to suggest a tentative model for project selection of information system. In constructing a mathematical model, quantification of decision criteria is tried to lessen difficulties of measuring benefits of information system project. Suggested model enables us to select projects in the context of portfolio and information system policy.

• 대한수학회보
• /
• 제20권2호
• /
• pp.105-109
• /
• 1983

I shall not touch on everything that could be included under this heading. What I shall do is as follows: select three aspects of the teaching of geometry in Korea, and then report the present situations and future prospects of the teaching of geometry in Korea as regards these aspects alone.

• 한국막학회:학술대회논문집
• /
• 한국막학회 1995년도 제3회 하계분리막 Workshop (환경과 막분리 공정의 역할)
• /
• pp.51-71
• /
• 1995

In case of industrial wastewater, it has various pollutants, high concentration and different physical, chemical properties each other in accordance with classofocation of wastewater. Therefore, after inquiring into the influence on the membrane of the dissolved pollutants, we should select the membrane of best efficient quality.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 하계종합학술대회논문집
• /
• pp.197-200
• /
• 1998

LMDS시스템을 이용하여 다양한 멀티미디어 서비스를 제공하기 위한 기지국의 위치 선정시 필요한 몇 개의 셀 모델에 대하여 동일채널간섭 현상에 대하여 분석하여 국내의 무선 멀티미디어 통신시스템의 기지국 치국을 위한 참고자료로 활용될 수 있도록 하였다.

• 한국통신학회:학술대회논문집
• /
• 한국통신학회 2004년도 하계종합학술발표회논문초록집
• /
• pp.261-261
• /
• 2004

• 전자공학회논문지A
• /
• 제29A권2호
• /
• pp.88-99
• /
• 1992

This paper presents an efficient method of mapping Boolean equations to a set of library gates. The proposed system performs technology mapping by graph covering. To select optimal area cover, a new cost function and local area optimization are proposed. Experimental results show that the proposed algorithm produces effective mapping using given library.