• International Journal of Aerospace System Engineering
• /
• v.3 no.2
• /
• pp.31-37
• /
• 2016

STEP Cube Lab (Cube Laboratory for Space Technology Experimental Project) is a 1U standardized pico-class satellite. Its main mission objective is an on-orbit verification of five fundamental core space technologies. For assuring a successful missions of the STEP Cube Lab with five payloads, electrical power subsystem (EPS) shall sufficiently provide an electrical power to payloads and bus systems of the satellite during an entire mission life. In this study, a design process of EPS system was introduced including power budget analysis considering a mission orbit and various mission modes of the satellite. In conclusion, adequate EPS hardware in compliance with design requirements were selected. The effectiveness and mission capability of EPS architecture design were confirmed through an energy balance analysis (EBA).

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.8 no.3
• /
• pp.157-169
• /
• 2012

As of 2006. 3. the twitter offered in the USA has been one of the propaganda instrument used with ads and politics functioning speedy information diffusion on SNS communicated with others through 140 letters of short messages. and while twitter is using propaganda instrument, it keeps on trying to verify how it has an effect on. So, on the paper, I suggest new simulation model of information diffusion based on probability being able to predict the range of proliferation after it analyze the existing influence and the diffusion force on verification methods. It designed algorithm of verification and algorithm of prediction to use twitter's Open API with Python basement. It proved effectiveness on the model through the analysis to operate the twitter of practical local autonomous entity.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.10a
• /
• pp.425-428
• /
• 1997

Effectiveness of corrective machining algorithm is verified experimentally in this paper by performing corrective lapping work to single side and double sides hydrostatic tables. Lapping is applied as machining method. Machining information is calculated from measured motion errors by applying the algorithm, without information on rail profile. It is possible to acquire 0.13pm of linear motion error, 1.40arcsec of angular motion error in the case of single side table, and 0.07pm of linear motion error, 1.42arcsec of angular motion error in the case of double sides table. The experiment is performed by the unskilled person after he experienced a little of preliminary machining. Experimental results show that corrective machining algorithm is very effective, and anyone can improve the accuracy of hydrostatic table by using the algorithm.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.5 no.2
• /
• pp.67-76
• /
• 2010

Although both functional verification and performance evaluation are necessary for the development of effective and reliable communication systems, they have been often performed independently; by functional modeling with formal language tools and by performance modeling with professional network performance evaluation tools, respectively. Separate and repeated modeling of one system, however, would often result in cost increase and inconsistency between the models. This paper proposes an integrated model design approach in order to overcome this problem that evaluates the performance of a communication protocol designed in SDL with SDL-OPNET model conversion. The proposed technique generates OPNET skeleton code from Tau-generated C code of the SDL model by analyzing the relations between SDL and OPNET models. IEEE 802.2 LLC protocol was used as an example of model conversion to show the applicability and effectiveness of the proposed technique.

• Proceedings of the SAREK Conference
• /
• 2008.06a
• /
• pp.237-242
• /
• 2008

DSM(Demand Side Management) is reducing the load of energy supply utility through energy conservation and energy load distribution. This kind of program is necessary especially to our country which import above 97% of energy source. But the effectiveness of this kind program is not verified well even though our country is executing the various DSM programs. This study suggests M&V(Monitoring & Verification) guideline for DSM programs which are executing in Korea and shows the results which applied to verification of DSM programs.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2002.03a
• /
• pp.383-390
• /
• 2002

The new seismic isolation system (StLRB) is developed, which can separate non-seismic displacements which come from the thermal expansion etc. in LRB design. The StLRB has 3 components, sliding system (PTFE + stainless plate), LRB (lead rubber bearing) and STU (shock transmit units). In this project, the StLRB is designed to apply to the bridge structure by analyzing the characteristics of each component and also the dynamic behavior of the structure was analyzed by non-linear analysis. The verification test was performed to show the two stages separated by STU units. Test results show the effectiveness of both the separation and the seismic isolation performance.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2001.09a
• /
• pp.302-310
• /
• 2001

In order to lessen cable vibration, new cable damper system with high damping rubber was developed using the basis of the LRB design scheme. The analysis model of cable damper system incorporate voigt-kelvin damper model into the nonlinear cable analysis model. To achieve maximum damping capacity both reducing damper stiffness and developing high damping rubber were performed. As a result of verification test, the high damping rubber damper shows its effectiveness in improving cable damping capacity.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2003.05a
• /
• pp.526-529
• /
• 2003

This paper presents two strategies to refute clock cycles when using stopping rule in VHDL model verification. The first method is that a semi-random variable is defined and the data that stay in the range of semi-random variable are skipped when stopping rule is running. The second one is to keep the old values of parameters when phases are changed. 12 VHDL models are examined to observe the effectiveness of strategies.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.17 no.7
• /
• pp.677-687
• /
• 1992

This paper presents a Fuzzy Pertri Net(FPN)model, which can be used to verify the validity and effectiveness of nervous system bebaviors. The similarities and differences between communication network and neural network are analyzed with respect to the representation and verification of the system behaviors. For the effective representation for the ambiguities of nervous system we combein fuzzy set theory to the PetriNet, and then design a new model, FPN, Also show that FPN is superior to the multiplayer perceptron model using computer simulation.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.4
• /
• pp.312-318
• /
• 2000

In this study, an exclusive CAD/CAM system is developed for enhancing the effectiveness and productivity of CNC universal cylindrical grinding machines on which the external/facing/internal grinding cycles and the wheel dressing cycles are integratively carried out. The CAD/CAM system can manage the various processes such as geometry design, NC code generation, NC code verification, DNC operation, and so on. Especially, the feature-based modeling concept is introduced to improve the geometry design efficiency. And the NC code verification is realized by virtual manufacturing technique based on the real-time analysis of NC codes and the boolean operation between workpiece and wheel.