• Journal of Communications and Networks
• /
• v.11 no.1
• /
• pp.84-93
• /
• 2009

This paper focuses on message complexity performance analysis of mobile ad hoc network (MANET) address autoconfiguration protocols (AAPs) in reference to link errors generated by mobile wireless nodes. An enhancement was made using a proposed retransmission limit, S, to be computed for error recovery (based on the link error probability), to measure message complexity of AAPs in reference to the link error probability, $P_e$. The control procedures for the retransmission limit have been included for each of the AAPs. Retransmission limit control is critical for efficient energy consumption of MANET nodes operating on limited portable energy. O-notation has been applied to analyze the upper bound of the number of messages generated by a MANET group of nodes. The AAPs investigated in this paper are strong duplicate address detection (DAD), weak DAD with proactive routing protocol (WDP), weak DAD with on-demand routing protocol (WDO), and MANETConf. Each AAP reacts different to link errors, as each AAP has different operational procedures. The required number of broadcasting, unicasting, relaying, and received messages of the nodes participating in a single-node joining procedure is investigated to asymptotically calculate the message complexity of each AAP. Computer simulation was conducted and the results have been analyzed to verify the theoretical message complexity bounds derived. The message complexity of WDP was lowest, closely followed byWDO, based on the simulation results and analysis of the message complexity under nominal situations. The message complexity of MANETConf was higher than WDO, and strong DAD resulted to be most complex among the four AAPs.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.2A
• /
• pp.137-145
• /
• 2002

In the method of 3D modeling, stereo matching method which obtains three dimensional depth information from the two images is taken from the different view points. In general, it is very essential work for the 3D modeling from 2D stereo images to estimate the exact disparity through fading the conjugate pair of pixel from the left and right image. In this paper to solve the problems of the stereo image disparity estimation, we introduce a novel approach method to improve the exactness and efficiency of the disparity. In the first place, we perform a wavelet transformation of the stereo images and set the reference points in the image by the feature-based matching method. This reference points have very high probability over 95 %. In the base of these reference points we can decide the size of the variable block searching windows for estimating dense disparity of area based method and perform the ordering constraint to prevent mismatching. By doing this, we could estimate the disparity in a short time and solve the occlusion caused by applying the fried-sized windows and probable error caused by repeating patterns.

• Structural Engineering and Mechanics
• /
• v.12 no.1
• /
• pp.1-16
• /
• 2001

A reliable and accurate method has been developed to predict the flexural deformation response of structural concrete members subject to service load. The method that has been developed relates the extent of concrete cracking, measured as a function of the magnitude of applied moment in a member, to the reduction in the effective moment of inertia of cracked reinforced concrete members under service load conditions. The ratio of the area of the moment diagram where the moment exceeds the cracking moment, to the total area of the moment diagram for any loading, provides the basis for the calculation of the effective moment of inertia. This ratio also represents mathematically a probability of crack occurrence. Verification of this method for the determination of the effective moment of inertia has been achieved from an experimental test program, and has included beam tests with different loading configurations, and shear wall tests subjected to a range of vertical and lateral load levels. Further verification of this method has been made with reference to the experimental investigation of other recently published work.

• Journal of the Korean Home Economics Association
• /
• v.41 no.6
• /
• pp.91-104
• /
• 2003

Using the 1998 Survey of Consumer Finances(SCF), this study examined the factors associated with the probability of saving by female-headed households in the U.S, and investigated how these factors differ by life cycle stages. Age of children, age of female householders and their retirement status were used to categorize three life cycle stages: first stage - have at least one child under age 18; second stage - under the age of 62 and have no children under age 18; third stage - over the age of 62 and retired. Logistic regression analysis results indicated that those with higher education and income and who were White were more likely to save. An interactive model showed that life cycle stages were significantly related to saving decisions. Female-headed households in the first stage or the third stage were less likely than those in the second stage (reference group) to save. For female-headed households in the first stage and the third stage, the amount of income had significantly positive effects on the decision to save. Also, in the group of households in the first stage, the receipt of welfare assistance increased the probability of saving.

• International Journal of Computer Science & Network Security
• /
• v.22 no.12
• /
• pp.51-56
• /
• 2022

In space based constellation network, users are allowed to enter or leave the network arbitrarily. Hence, the number, identities and transmitted data of active users vary with time and have considerable impacts on the receiver's performance. The so-called problem of multiuser detection means identifying the identity of each active user and detecting the data transmitted by each active user. Traditional methods assume that the number of active users is equal to the maximum number of users that the network can hold. The model of traditional methods are simple and the performance are suboptimal. In this paper a Maximum A Posteriori Probability (MAP) based multiuser detection method is proposed. The proposed method models the activity state of users as Markov chain and transforms multiuser detection into searching optimal path in grid map with BCJR algorithm. Simulation results indicate that the proposed method obtains 2.6dB and 1dB E_b/N₀ gains respectively when activity detection error rate and symbol error rate reach 10^-3, comparing with reference methods.

• Journal of the Korean Magnetics Society
• /
• v.23 no.2
• /
• pp.62-67
• /
• 2013

This paper introduces an effective methodology for reliability-based design optimization of electromagnetic products, where a performance measure approach is adopted to accurately assess probabilistic constrains. Two design problems consisting of a loudspeaker and a superconducting magnetic energy storage system are considered. The efficiency of the proposed method in evaluating the failure probability of performances during the optimization process are compared with the existing method based on the reliability index approach. Moreover, in term of the accuracy of probability failure values, optimized design results are examined with reference values obtained from the Monte Carlo simulation.

• Korean Journal of Logic
• /
• v.18 no.3
• /
• pp.337-358
• /
• 2015

Vann Mcgee produced "counterexamples" to Modus Ponens in "A Counterexample to Modus Ponens". Discussions about the examples tended to focus on a probabilistic reading of conditional statements. This article attempts to establish both (1) Modus Ponens is a deductively valid rule of inference, and (2) the counterexample-like appearance of Mcgee's example can be (and should be) explained without making a reference to the notion of conditional probability. The reason why his examples seem to counter Modus Ponens is found rather within the ambiguity a conditional statement exhibits. That is, Mcgee's examples are cases of equivocation on the conditional statements involved.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.9
• /
• pp.3449-3467
• /
• 2015

A broadcast operation is the fundamental transmission technique in mobile ad-hoc networks (MANETs). Because a broadcast operation can cause a broadcast storm, only selected forwarding nodes have the right to rebroadcast a broadcast message among the one-hop and two-hop neighboring nodes of a sender. This paper proposes the maximum intersection self-pruning (MISP) algorithm to minimize broadcasting redundancy. Herein, an example is given to help describe the main concept of MISP and upper bounds of forward node have been derived based on induction. A simulation conducted demonstrated that when conventional blind flooding (BF), self-pruning (SP), an optimized link state routing (OLSR) multipoint relay (MPR) set, and dominant pruning (DP), are replaced with the MISP in executing Strong duplicate address detection (DAD), the performances in terms of the energy consumption, upper bounds of the number of forward nodes, and message complexity have been improved. In addition, to evaluate the performance in reference to the link error probability, P_e, an enhancement was achieved by computing a proposed retransmission limit, S, for error recovery based on this probability. Retransmission limit control is critical for efficient energy consumption of MANET nodes operating with limited portable energy where Strong DAD reacts differently to link errors based on the operational procedures.

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.19 no.3
• /
• pp.307-322
• /
• 2021

This study developed an analytical methodology for the mechanical integrity of spent nuclear fuel (SNF) cladding tubes under external pinch loads during transportation, with reference to the failure mode specified in the relevant guidelines. Special consideration was given to the degraded characteristics of SNF during dry storage, including oxide and hydride contents and orientations. The developed framework reflected a composite cladding model of elastic and plastic analysis approaches and correlation equations related to the mechanical parameters. The established models were employed for modeling the finite elements by coding their physical behaviors. A mechanical integrity evaluation of 14 × 14 PWR SNF was performed using this system. To ensure that the damage criteria met the applicable legal requirements, stress-strain analysis results were separated into elastic and plastic regions with the concept of strain energy, considering both normal and hypothetical accident conditions. Probabilistic procedures using Monte Carlo simulations and reliability evaluations were included. The evaluation results showed no probability of damage under the normal conditions, whereas there were small but considerably low probabilities under accident conditions. These results indicate that the proposed approach is a reliable predictor of SNF mechanical integrity.

• Journal of KIISE:Information Networking
• /
• v.37 no.2
• /
• pp.162-165
• /
• 2010

In the paper, we propose an algorithm that significantly reduces unnecessary computations, while keeping prediction quality almost similar to that of the full search. In the proposed algorithm, we can reduces only unnecessary computations efficiently by taking different search patterns and error criteria of block matching according to distribution probability of motion vectors. Our algorithm takes only 20~30% in computational amount and has decreased prediction quality about 0~0.02dB compared with the fast full search of the H.264 reference software. Our algorithm will be useful to real-time video coding applications using MPEG-2/4 AVC standards.