• 국제학술발표논문집
• /
• The 1th International Conference on Construction Engineering and Project Management
• /
• pp.1124-1128
• /
• 2005

The duration of a construction project is not only a key element for taking a new order, but also a strict yardstick to determine certain project successful or not. However, since construction project is basically outdoor job and most of the activities are proceeded out-air, no matter how the schedule plan has been established accurately, actual project proceeds due to the weather condition, beyond anyone's control. In this paper, the functional relationship between work productivity rate and weather elements is suggested by regression analysis. Difference of the relationship and influence of weather due to the seasonal group are also revealed. With these results, by simulating actual weather data and generating weather forecast through historical data, more accurate schedule would be obtained.

• 한국주거학회논문집
• /
• 제18권3호
• /
• pp.19-29
• /
• 2007

This study is aimed at interpreting into changes and characters of function applied into quantative analysis in ubiquitous house. Digital technology being introduced into architectural fields, It applied expansively from design and construction to user's convenience. The application of digital technology is presented to various change like effectiveness and exactness in design and function of space, which is overlayed digital space to physical space beyond the extent of receiving human needs in physical space. In ubiquitous house, digital technologies are supplied to function coordinated with life, appreciating into positional informations of human and materials, spatial informations. Ubiquitous house is comparably effective into funtional expansion, user's convenience, safty, which, for the future, is going to using on housing of high performance encouraging the application of advanced technology. Therefore this study is classified into human behaviors, functions, performances and characters of digital system in ubiquitous house, which being established into the relation of elements, is interpreted numerically into functional changes and charats being applied to ARM.

• Bulletin of the Korean Chemical Society
• /
• 제33권5호
• /
• pp.1719-1721
• /
• 2012

We have investigated the $H_2$ adsorption structures and binding energies of the metal (M)-doped (M = Li, Na, K, Mg, and Al) silicon complexes, $M-Si_{19}H_{11}$ and $M-Si_{24}H_{12}$, using density functional calculations. Alkali metals are preferred as doping elements because the Mg-Si and Al-$H_2$ interactions are weak. The maximum numbers of $H_2$ molecules that can be adsorbed are four and five for M=Li and K, respectively. We propose that the K-decorated silicon material might be an effective hydrogen storage material with high hydrogen capacity and high reversibility.

• 대한수학회지
• /
• 제40권5호
• /
• pp.789-830
• /
• 2003

By forming completions of families of noncommutative polynomials, we define a notion of noncommutative continuous function and locally bounded Borel function that give a noncommutative analogue of the functional calculus for elements of commutative $C^{*}$-algebras and von Neumann algebras. These notions give a precise meaning to $C^{*}$-algebras defined by generator and relations and we show how they relate to many parts of operator and operator algebra theory.

• 의료ㆍ복지 건축 : 한국의료복지건축학회 논문집
• /
• 제8권1호
• /
• pp.13-20
• /
• 2002

Large hospital designs try to accommodate functional needs and spatial organization. The purpose of this study is to propose an effective compositional method by horizontal interconnection of public circulation spaces with 'hospital street'. 'Hospital street' and network of public circulation spaces are major elements of consideration for the design of large hospitals, which not only connect functional components but also provide satisfying environment, amenity and patients' life.

• 정보학연구
• /
• 제3권1호
• /
• pp.117-124
• /
• 2000

본 논문은 설계 자동화를 위한 저전력 하드웨어 할당 알고리듬을 제안한다. 제안한 알고리듬은 스케줄링의 결과를 입력으로 받아들이고, 각 기능 연산자에 연결된 레지스터 및 연결 구조가 최대한 공유하도록 제어스텝마다 연산과 기억 소자의 상호 연결 관계를 고려하여 기능 연산자, 연결 구조 및 레지스터 할당한다. 또한 자원의 수를 최대로 줄임으로써 할당 과정동안 저전력의 요소인 캐패시턴스를 동시에 줄인다. 제안된 알고리듬은 비교 실험을 통하여 기존의 저전력을 고려하지 않은 방식들과 비교함으로서 본 논문의 효율성 을 보인다.

• Natural Product Sciences
• /
• 제20권4호
• /
• pp.281-284
• /
• 2014

In this study, twenty-one oleanane-type triterpenoid saponins were isolated from a methanol extract of the roots of Pulsatilla koreana. Antagonistic activities were measured in these compounds by the aequorin based cellular functional assay system for the corticotropin releasing factor receptor (CRF1). Of them, compounds 7 - 10 showed the highest degree of CRF1 inhibition further at the concentration of $10{\mu}M$. Moreover, by the analysis based on the structure-activity relationship of isolated saponins, a sugar chain at C-3 and a carboxyl group at C-28, as well as a methyl group at C-23 seems to be key functional elements. To our knowledge, this is the first report on CRF1 inhibition of saponins from P. koreana.

• 대한수학교육학회지:수학교육학연구
• /
• 제13권1호
• /
• pp.13-28
• /
• 2003

Practice of proof is considered in, the view of language and meta-mathematics, recognizing the role of proof that is the means of communication and development of mathematical understanding. Linguistic components in proof texts are symbol, verbal language and visual text, and contain the implicit knowledge in the meta-mathematics view. This study investigates the functions of linguistic elements according to Halliday's functional grammar and the rhetoric skills in proof texts in math textbook, teacher's note, and student's written text. We need to inquire into the aspects of language for mathematics learning process and the understanding and use of students' language.

• Kyungpook Mathematical Journal
• /
• 제48권4호
• /
• pp.529-543
• /
• 2008

It is shown that every almost linear mapping h : $A{\rightarrow}B$ of a unital PoissonC*-algebra A to a unital Poisson C*-algebra B is a Poisson C*-algebra homomorph when $h(2^nuy)\;=\;h(2^nu)h(y)$ or $h(3^nuy)\;=\;h(3^nu)h(y)$ for all $y\;\in\;A$, all unitary elements $u\;\in\;A$ and n = 0, 1, 2,$\codts$, and that every almost linear almost multiplicative mapping h : $A{\rightarrow}B$ is a Poisson C*-algebra homomorphism when h(2x) = 2h(x) or h(3x) = 3h(x for all $x\;\in\;A$. Here the numbers 2, 3 depend on the functional equations given in the almost linear mappings or in the almost linear almost multiplicative mappings. We prove the Cauchy-Rassias stability of Poisson C*-algebra homomorphisms in unital Poisson C*-algebras, and of homomorphisms in Poisson Banach modules over a unital Poisson C*-algebra.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2006년도 춘계학술논문 발표대회 제6권1호
• /
• pp.63-69
• /
• 2006

In a traditional society, building materials were developed fulfilling the requirements of conveniences and functionalities such as safety, construction work, durability and economical efficiency. However, as the concern about environmental or users' health issues has been elevated recently, research and development about eco-friendly material are alto vigorously promoted further In addition, thanks to the steady growth of domestic industry, the amount of discharged industrial by-product is getting increasing. However, its recycling rate remain at low level as most industrial by-products are filled up in the land, which worsen the environmental pollution. Zeolite powder is cement admixture and is expected to have constraining effect of factors causing symptoms of inhabitants in a new house and alleviates the amount of discharged harmful elements emitted from hardened cement.