• Journal of Biosystems Engineering
• /
• 제18권3호
• /
• pp.209-219
• /
• 1993

A series of soil bin experiment was carried out on sand to investigate if true model theory is applicable to blade-soil system and finally to find mathematical relationship between the dimensionless terms which contain the blade-soil parameters. The following conclusions were derived from the study. 1. It was proved that the draft of the prototype blade can be predicted without distortion by those of model blades with the length scale of 1.2, 2 and 2.4. 2. For the sand, bulk density was found to be a good measure of soil physical properties which are pertinent to predict the draft of the blade-soil system. 3. The mathematical relationship between $D/{\gamma}W$ and d/W, ${\beta}$, and $V^2/Wg$ are as follows ; $$\frac{D}{{\gamma}W^3}=124.98[\frac{d}{W}]^2+7.16[\frac{d}{W}]+0.43 \\ \frac{D}{{\gamma}W^3}=-0.00099{\beta}^2+0.13{\beta}-2.01 \\ \frac{D}{{\gamma}W^3}=0.041[\frac{V^2}{Wg}]^2+0.08[\frac{V^2}{Wg}]+1.3$$

• 한국IT서비스학회지
• /
• 제5권2호
• /
• pp.169-178
• /
• 2006

In both inside and outside of our country, the interest of the new generation S/W architecture, the SOA(Service Oriented Architecture) is whooped up. We expect that the SOA will become general S/W architecture in several years, but the most compaines of S/W Industry still think that the SOA have much risk to adapt as their s/w architecture. In this paper, We performed the senario based verification of the SOA quantitatively and qualitatively, and presented the validity of the S/W architecture view and the method of adoption of the SOA.

• 한국군사과학기술학회지
• /
• 제20권5호
• /
• pp.688-699
• /
• 2017

Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

• Kyungpook Mathematical Journal
• /
• 제27권1호
• /
• pp.35-41
• /
• 1987

Consider the system (i) x'=Ax. Let ${\Phi}$ be its fundamental matrix solution. If there is w>0 such that A(t+w)-A(t) commutes with ${\Phi}$ for all t, then we call this system a "generalized" Floquet system or a "G. F. system". We show that $A(t+w)-A(t)=B_1$=constant if and only if $A(t)=C+B_1t/w+Q(t)$, Q is periodic of period w>0. For this A(t) We prove that if all eigenvalues of $B_1$ have negative real parts, then the origin is asumptotically stable. We find a growth condition for a continuous D(t) which guarantees that all solutions of z'=[A(t)+D(t)]z are bounded if all solutions of the G. F. system (i) are bounded. Combining the foregoing results yield a class of perturbed G. F. operators all of whose solutions are bounded.

• Ocean and Polar Research
• /
• 제29권4호
• /
• pp.283-295
• /
• 2007

We investigated the longitudinal variations in zooplankton abundances and their related physicochemical properties at nine stations located between $136^{\circ}W$ and $128^{\circ}W$ at $10.5^{\circ}N$ in the northeastern Pacific in summer 2004. Temperature, salinity, inorganic nutrients, chlorophyll-a (hereafter chl-a) and zooplankton ($>200\;{\mu}m$) were sampled within the depth from the surface to 200 m depth at $1^{\circ}$ longitude intervals. Zooplankton($>200\;{\mu}m$) samples were vertically collected at two depth intervals from surface to 200 m, consisting of surface mixed and lower layers (thermocline$\sim$200 m). Longitudinal distributional pattern of hydrological parameters (especially salinity) was physically influenced by the intensity of westward geostrophic current passage relating to the NEC (North Equatorial Current). Data from the longitudinal survey showed clear zonal distributions in the hydrological parameters(temperature, salinity and nutrients). However, spatial patterns of the chl-a concentrations and zooplankton abundances were mostly independent of the zonal distributions of hydrological parameters. The two peaks of zooplankton abundance in the surface mixed layer were characterized by different controlling factors such as bottom-up control from nutrients to zooplankton ($129^{\circ}W$) and accumulation by increment of friction force and taxonomic interrelationship ($133^{\circ}$ and $134^{\circ}W$). Divergence-related upwelling caused introduction of nutrients into surface waters leading to the increment of chl-a concentration and zooplankton abundances ($129^{\circ}W$). Increased friction force in relation to reduced flow rates of geostrophic currents caused accumulation of zooplankton drifting from eastern stations of study area($133^{\circ}$ and $134^{\circ}W$). Besides, high correlation between immature copepods and carnivorous groups such as chaetognaths and cyclopoids also possibly contributed to the enhanced total abundance of zooplankton in the surface mixed layer (p<0.05). Zooplankton community was divided into three groups (A, B, C) which consecutively included the eastern peak of zooplankton($129^{\circ}W$), the western peak($133^{\circ}$ and $134^{\circ}W$) and high nutrient but low chl-a concentration and zooplankton abundance ($136^{\circ}W$). Moreover, Group B corresponded to the westward movement of low saline waters(<33.6 psu) from 128 to $132^{\circ}W$. In summary, longitudinal distributions of zooplankton community was characterized by three different controlling factors: bottom-up control ($129^{\circ}W$), accumulation by increased friction force and relationships among zooplankton groups ($133^{\circ}$ and $134^{\circ}W$), and mismatch between hydrological parameters and zooplankton in the high nutrient low chlorophyll area ($136^{\circ}W$) during the study period.

• 한국해양공학회지
• /
• 제11권2호
• /
• pp.145-153
• /
• 1997

This paper constructs a data base to create the Hull lines prior to piece manufacture and nesting steps with a personal computer using the data of created as the advanced software, TRIBON. The lines are plotted smoohtly, which are called the spline. The S/W is excellentlt estimated on the ptrcision among shipping exclusive S/W, which are currentlyused So, the S/W is mainly used as as shipping CAD program. High-cost H/W and high-performance S/W(TRIBON etc.) sre used with the bases of technique and capital power in the big shipbuilding yard; but small but small and medium-sized shipbuilding yard and related companycan't purchase dueto the high-cost product. To bring upthe small and medium sized shipbuilding yard lacking little competitive power, the data base S/W is joined with the CADRA of graphic S/W and is developed to create the Hull lines to be needed on as automatic cutting process usiing the personal computer.

• 에너지공학
• /
• 제21권4호
• /
• pp.393-397
• /
• 2012

본 연구에서는 산업용 가스 엔진의 배기 폐열을 회수하여 발전하는 유기랭킨사이클을 구성하고 시스템 성능 분석 실험을 수행하였다. 엔진 배기가스 열을 작동유체(냉매 R134a)에 흡수시키기 위해 Shell & Tube 방식 열교환기를 엔진 배기 매니폴드 후단에 장착하였다. 엔진출력 60 kW인 조건에서 약 63 kW의 배기가스 열을 배출하였으며, 열교환기를 통해 작동유체에 흡수된 열량은 43~46 kW로서 배기가스 열회수율은 68~73%, 최대출력은 4.6 kW로서 배기가스 열량에 대한 최대출력의 비는 7.3%을 나타내었다.

• 한국전기전자재료학회:학술대회논문집
• /
• 한국전기전자재료학회 2006년도 추계학술대회 논문집 Vol.19
• /
• pp.366-367
• /
• 2006

In general, HF chemistry lifts off the particles during scrubbing after polishing and effectively removes particles. It is sometimes impossible to apply HF chemistry on W plug due to the degradation of electrical characteristics of a device. In this paper, a post W CMP cleaning process is proposed to remove residue particles without applying HF chemistry. After W CMP, recessed plugs are created, therefore they easily trap slurry particles during CMP process. These particles in recessed plug are not easy to remove by brush scrubbing when $NH_4OH$ chemistry is used for the cleaning because the brush surface can not reach the recessed area of plugs. Buffing with oxide slurry was followed by W CMP due to its high selectivity to W. The buffing polishes only oxide slightly which creates higher plug profiles than surrounding oxide. Higher profiles make the brush contact much more effectively and result in a similar particle removal efficiency even in $NH_4OH$ cleaning to that in HF brush scrubbing.

• 한국화재소방학회논문지
• /
• 제30권1호
• /
• pp.12-16
• /
• 2016

FDS를 사용한 환기부족 화재 시뮬레이션의 문제점을 재확인하고 FDS의 환기부족 화재 판단기준을 제시하기 위하여 ISO 9705 화재실 내 1000~3000 kW의 프로판 화재에 대한 시뮬레이션을 수행하였다. 화재규모가 2000 kW 이상일 때 1500 kW의 경우보다 온도가 낮게 예측됨을 확인하였다. FDS를 사용할 때 환기부족 화재에서는 화재규모가 증가해도 산소부족으로 열방출률은 증가하지 않았다. 이에 따라 화재 시뮬레이션에 있어서의 환기부족 화재 판단기준으로 열방출률이 사용될 수 있으며, ISO 9705 화재실에서는 화재규모가 1700 kW 이상일 때 환기부족 화재가 예측됨을 알 수 있었다.

• 한국정보처리학회논문지
• /
• 제5권3호
• /
• pp.620-632
• /
• 1998

본 논문에서는 S/w 관리 TLB(Translation Lookaside Buffer)의 실패 패널티를 감소시키기 위하여 사용될 TLB 엔트리를 선인출하여 S/W관리 TLB의 초기 접근 실패를 감소시키는 새로운 기법을 제시한다. 이 방법은 특별한 응용 프로그램에만 동작하는 것은 아니다. 제안하는 방법의 핵심은 임의의 페이지에 대한 첫 번째의 TLB 접근 전에 선인출 명령어를 수행하여 TLB 실패 분류법을 제안하고, 이를 이용한 알고리즘과 구현방법을 기술하며, 정량적인 분석에 의해 제안한 기법이 S/W 관리 TLB의 성능 향상을 위한 유효한 기법임을 보인다. 또 제안한 방법이 S/W 관리 TLB에서 버스 트래픽을 감소시키는 부가적인 장점에 대해 논한다.