• Journal of the KSME
• /
• v.30 no.3
• /
• pp.252-257
• /
• 1990

크립대미지이론의 발전을 처음 제시된 단순인장시의 등방성이론으로부터 최근에 제시된 다축응 력상태의 이방성이론에 이르기까지 고찰하여 보았다. 한편 미국과 일본 등지에서의 최근의 연 구방향은 이러한 이론의 응용성과 합리성을 찾기 위하여 다각적인 실험을 진행중이며 보다 정 확하고 완벽한 기계 및 금속공학적인 측면에서의 이론전개에 관심과 노력을 집중하는 추세에 있다.

• Journal of Advanced Navigation Technology
• /
• v.12 no.5
• /
• pp.451-463
• /
• 2008

There are management and security of software source code equivalent to 10 assembly lines of important infrastructure in the early stage of information society directly. A support technology and framework to protect software source code are so poor state In this paper, the proposed model that is support protection and access control between software source code as object and subject that is not authenticated safely was named CRYPTEX model. And we propose active business model to provide delegate, mobile, and security/access control function for passive software source code in document state using CRYPTEX.

• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.381-406
• /
• 2013

This paper deals with the question whether the para-completeness theory of Kripkian style can avoid the revenge problem. According to the para-completeness theory, there are some sentences that are neither true nor false. And the liar sentence is the exemplar of such sentences. But the para-completeness theory has been criticised to give rise to the revenge problem, since Kripke suggested his theory. Maudlin argues that he can construct the para-completeness theory which avoids the problem by appealing to his foundationalist semantics. The aim of this paper shows that the para-completeness theory, including Maudlin's, cannot avoid the problem. Furthermore, it is argued that Maudlin's view is ad hoc suggestion just to avoid the problem.

• Journal of IKEEE
• /
• v.16 no.1
• /
• pp.34-44
• /
• 2012

This paper proposes a practical compensation method by using digital signal processing over the creep error which is representative in strain gauge loadcell. The signal compensation method carry out the simulation by deciding compensation constant (time constant) and coefficient measuring the loadcell output response. Then, compensation constant and coefficient are stored on the microprocessor. By using calculated on microprocessor creep error compensation values, weighting value is showed as a digital signal by reducing error values measured through output signals of loadcell. In addition, we apply error compensation method in order to have a dedicated software for loadcell electronic scale. This technique is useful because it has great influence on error rate reduction that has been produced by conventional electronic scales (0.03%). As a result our technique gives better accuracy (0.01%~0.003%) as what is given by digital electronic scale, while it has less complex operation processing.

• Parasites, Hosts and Diseases
• /
• v.31 no.3
• /
• pp.223-230
• /
• 1993

Monoclonal antibodies (Ub) against merozoites and sporozoites of the protozoan parasite Cryptosporidium pcnjum were examined for potential modulation of cryptosporidial infections in vivo by daily oral Ub administration to oocyst-inoculated neonatal mice. Monoclonal-treated neonatal mice were sacrified four and eight days post infection (pi) . Differences in infection rates were observed among the treatment groups at the p < 0.05 level. Suckling mice treated daily with orally administered mixtures of mAbs( ascitic fluids) showed significantly reduced parasite loads compared to control mice at flour and eight days pi, while suckling mice receiving mAb Cmg-3 alone showed signiacant differences only at 4 days Pi., suggesting that passive transfer of mAb may be of value in controlling cryptosporidial infections.

• Korean Journal of Materials Research
• /
• v.4 no.4
• /
• pp.445-452
• /
• 1994

Three-axial deformation behavior of the Zircaloy cladding tube under the irradiation condition of the fuel in pressurized water reactor can be analyzed by the anisotropy in the creep and the irra- diation growth, which depends on the texture parameter. A methodology to evaluate the impact of the anisotropic creep and irradiation growth on the strain in each axial direction of the cladding tube has been proposed. Based on the measured strains after irradiation and predicted ones with the help of a fuel performance analysis code, it is found that a tangential strain of the cladding tube is caused mainly by the creep, whereas a axial strain of the cladding is caused mainly by the irradiation growth but with a considerable contribution of the creep at low irradiation.

• Korean Journal of Veterinary Research
• /
• v.38 no.2
• /
• pp.366-370
• /
• 1998

To determine the efficacy of immunotherapeutic agents, four female Holstein calves 7-day-old were inoculated per os with $1{\times}10^7$ C parvum oocysts (VRI-CN91). Each calf received twice daily oral dosage of 200-500ml of the immune bovine serum, immune bovine colostrum, mAb C6, and phosphate-buffered saline, respectively. Treatment was initiated 4 days postinfection and laster 3 days. The clinical sign of the calf treated with phosphate-buffered saline lasted 9 days after the initial treatment. The calves treated with those immunotherapeutic agents, however, showed decreased severity of diarrhea at day 3, 2, 5 after the initial administration, respectively. The calves treated with immunotherapeutic agents showed reduced parasite loads compared to control calf. These results suggest that oral passive immunotherapy with immune bovine colostrum and immune bovine serum may be a useful treatment approach.

• Journal of the Microelectronics and Packaging Society
• /
• v.17 no.2
• /
• pp.21-28
• /
• 2010

Creep behaviors of the solder balls in a flip chip package assembly during thermal cycling test is investigated.. A material models used in the finite element analysis are viscoplastic model introduced by Anand and creep model called partitioned model. Experiment of two temperature cycles using moir$\acute{e}$ interferometry is conducted to verify the reliability of material models for the analysis of thermo-mechanical behavior. Bending deformations of the assemblies and average strains of the solder balls due to temperature change and dwell time are investigated. The results show that time-dependent shear strain of solder by the partitioned model is in excellent agreement with those by moir$\acute{e}$ interferometry, while there is considerable difference between results by Anand model and experiment. In this paper, the partitioned model is employed for the time-dependent creep analysis of the FC-PBGA package. It is also shown that the thermo-mechanical stress becomes relaxed by creep behavior at high temperature during temperature cycles.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.37 no.5
• /
• pp.673-678
• /
• 2013

Creep groan noise occurs at low frequencies immediately after releasing brake pressure or when a car stops. This noise can be used to predict problems in not only the brake system but also the vehicle system. Because of its complexity, it is difficult to determine its characteristics. Therefore, most improvements are conducted by changing the brake pad, and it still remains difficult to conduct a test using a vehicle. In this study, the characteristics of creep groan noise and the effects from a vehicle system are investigated by using vehicles and an NVH chassis-dynamometer through various tests. A new evaluation method for creep groan noise by using a vehicle is proposed, and the possibility of reduction schemes from the viewpoint of the vehicle system is confirmed from the results mentioned above.

• The Journal of the Korea Contents Association
• /
• v.15 no.6
• /
• pp.203-214
• /
• 2015

Before the digital age, the main tools used for printing out letters were pen and brush. Therefore, forms and styles of the languages modelled out during the age also revolved around the pen and brush. However, new tools and techniques introduced in the digital age to express typography put this limit in the shade. In other words, the user can make expressive and experimental typography and typefaces quickly and easily, by learning and utilizing new tools efficiently. As such, this study is to explore those cases, to understand characters and meanings of expressive and experimental typography within the context of typography history, to introduce a new tool, 'Scriptographer' developed by means of the open-source scripting plug-in for Adobe Illustrator, and to discuss the advantages, disadvantages and applicability of this tool. Further on, through case analysis of successful preceding projects, the researcher arranges a practical foundation, and estimates the practicality of this research through experimental typography series, Rush Type and Celestial Type, created by using Scriptographer.