• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.14 no.6
• /
• pp.47-56
• /
• 2004

Automatic code generating function for security protocol of SPEAR II and IFAD VDM-SL Toolbox supporting formal specification is presented in this paper. Among the functions of these tools we compare and analyze the aspects of functions, users, operation and code generation. And we suggest direction to the developing of safe security S/W. The automatic code generating function for security protocol gives the direction for developing of the safe secure software in formal specification method.

• Journal of Internet Computing and Services
• /
• v.17 no.5
• /
• pp.121-129
• /
• 2016

Company A, an embedded system manufacturer, has been managing multiple development projects. Executives need to understand the risk level of every project and prioritize resource distribution. Traditional project monitoring tools or excel sheets are too complex for calculating the risk factors across a functional organization. Two new charts, "Spear-head Chart" and "Float Chart" were designed to assist high level decision making processes. Two charts were used for weekly executive meetings in order to monitor project progress and rectify project direction. One page graphical monitoring tools in Company A are good enough for high management decision making. Authors explain the characteristics of two charts and propose its practical implementation in real working environment. Spear-head chart was also implemented as a system.

• The Bulletin of The Korean Astronomical Society
• /
• v.36 no.2
• /
• pp.110.2-110.2
• /
• 2011

Nishikida et al. (2006) presented the first far-ultraviolet (FUV) em${\lambda}$ission-line images of the Vela supernova remnant (SNR) obtained with FIMS/SPEAR instrument. Those include C III ${\lambda}$977, O VI ${\lambda}{\lambda}$1032, 1038, Si IV+O IV] ${\lambda}{\lambda}$1393, 1403 (un-resolved), C IV ${\lambda}{\lambda}$1548, 1551 emission-line images. As a following work, we re-constructed these emission-line images using the new-version processed FIMS/SPEAR data. Additionally, we made N IV] ${\lambda}$1486, He II ${\lambda}$1640.5, O III] ${\lambda}{\lambda}$1661, 1666 emission-line images. The new-version images cover the whole region of the Vela SNR and show more resolved features than the old-version. We compare these FUV emission-line images with other wavelength (X-ray, optical, etc.) images obtained in previous studies.

• Earthquakes and Structures
• /
• v.1 no.2
• /
• pp.177-195
• /
• 2010

This paper presents an appraisal of four nonlinear static procedures (CSM, N2, MPA and ACSM) employed in seismic assessment of plan-irregular buildings. It uses a three storey reinforced concrete plan-irregular frame building exemplifying typical older constructions of the Mediterranean region in the early 1970s that was tested in full-scale under bi-directional pseudo-dynamic loading condition at JRC, Ispra. The adequacy and efficiency of the simplified analytical modelling assumptions adopted were verified. In addition, the appropriate variants of code-prescribed NSPs (CSM and N2) to be considered for subsequent evaluation were established. Subsequent parametric studies revealed that all such NSPs predicted reasonably well both global and local responses, having the benchmark values been determined through nonlinear dynamic analyses using a suit of seven ground motions applied with four different orientations. The ACSM, however, predicted responses that matched slightly better the median dynamic results.

• Bulletin of the Korean Space Science Society
• /
• 1997.04a
• /
• pp.36.2-36
• /
• 1997

No Abstract.See Full-text

• Journal of Bio-Environment Control
• /
• v.22 no.2
• /
• pp.81-86
• /
• 2013

This experiment was carried out to select white asparagus varieties suitable for shading culture in greenhouse. Eight white and one green varieties were tested. Seeds were sown in 72-cell trays in a glasshouse on 24 Dec. 2008 and the seedlings were transplanted in a P.E house on 22 May 2009. Planting distances were 30 cm apart in a raw and 125 cm between the raws. For white asparagus production, small tunnel ($210cm{\times}160cm$) was established inside the P.E house, and covered with black and white P.E film (0.1 mm) on 5 March 2010. Days to sprouting took 5 days in 'Ravel' variety and took 16 to 18 days in 'Backlim', 'Horlim', 'Herkolim' varieties. The number of spear was highest in 'Ravel' with 6 and lowest in 'Backlim' with 3.7. The spear weight was heaviest in 'Herkolim' with 25.6 g and lightest in 'Ravel' with 15.6 g. The highest total yield was in 'Herkolim' with 296 kg/10a, followed by 'Super welcome' with 275 kg/10a and lowest in 'Rapsody' with 176 kg/10a. Marketable yields in 'Super welcome' and 'Herkolim' were 241 kg/10a and 239 kg/10a, respectively, and the yield was lowest in 'Rapsody' with 139 kg/10a. The L grade (over 20 g of spear weight) was highest in 'Herkolim'. Accordingly, 'Herkolim' was the most suitable white asparagus variety among the tested varieties for shading cultivation in greenhouse.

• Journal of Bio-Environment Control
• /
• v.10 no.3
• /
• pp.187-196
• /
• 2001

Asparagus varieties popular in the foreign countries were collected and tested on their productivities and qualities for five years under rain shelter and open field conditions. Among the tested varieties, cultivars of UC309 and Excel showed superior productivity to the others in spear weight but the initial growth was not different among the tested varieties. However, the growth index was higher than the other varieties. According to the result from eight-year experiment, the best variety in productivity and quality were UC309 and Excel both for rain shelter and open field cultivations. To avoid the damage caused by stem blight, rain shelter and soil surface mulching treatments were tested with var. Excel. The spear sprouting and first harvesting date were a few days earlier in rain shelter cultivation than in open field, but there were no differences among the mulching materials. The number of spears and the spear weight per plant were increased in rain shelter cultivation, especially with rice straw and black P.E. mulching treatments. Marketable yield also increased by 253% in black P.E film mulching in rain shelter cultivation compared to non-mulching in open field. The stem blight examined in the autumn, 1997 was not observed under rain shelter treatment, but severe damage was observed in the open field regardless of the mulching materials. In the experiments, high asparagus yield could be achieved by black P.E. film mulching in rain shelter cultivation without the occurrence of stem blight.

• The Bulletin of The Korean Astronomical Society
• /
• v.33 no.1
• /
• pp.60.1-60.1
• /
• 2008

• The Bulletin of The Korean Astronomical Society
• /
• v.34 no.2
• /
• pp.77.1-77.1
• /
• 2009

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.45 no.4
• /
• pp.287-291
• /
• 2009

This study examined the maturation and main spawning season of Japanese spear lobsters, Linuparus tirgonus(Von Siebold) captured around Jeju island from January to September, 2008. Carapace length(CL), body weight(BW) and gonad weight(GW) were measured. Gonadosomatic index(GSI) and sex ratio were calculated. In female group, CL showed the highest value in June and decreased after August. GW showed a peak in July and decreased rapidly after August. The mean gonadosomatic Index(GSI) reached a maximum value between June and August. Number of egg ranged from 143,360 to 189,504.