• Journal of Communications and Networks
• /
• v.11 no.5
• /
• pp.518-528
• /
• 2009

IEEE 802.11 wireless local area network (WLAN) has become the prevailing solution for wireless Internet access while transport control protocol (TCP) is the dominant transport-layer protocol in the Internet. It is known that, in an infrastructure-based WLAN with multiple stations carrying long-lived TCP flows, the number of TCP stations that are actively contending to access the wireless channel remains very small. Hence, the aggregate TCP throughput is basically independent of the total number of TCP stations. This phenomenon is due to the closed-loop nature of TCP flow control and the bottleneck downlink (i.e., access point-to-station) transmissions in infrastructure-based WLANs. In this paper, we develop a comprehensive analytical model to study TCP dynamics in infrastructure-based 802.11 WLANs. We calculate the average number of active TCP stations and the aggregate TCP throughput using our model for given total number of TCP stations and the maximum TCP receive window size. We find out that the default minimum contention window sizes specified in the standards (i.e., 31 and 15 for 802.11b and 802.11a, respectively) are not optimal in terms of TCP throughput maximization. Via ns-2 simulation, we verify the correctness of our analytical model and study the effects of some of the simplifying assumptions employed in the model. Simulation results show that our model is reasonably accurate, particularly when the wireline delay is small and/or the packet loss rate is low.

• Journal of Korean Institute of Industrial Engineers
• /
• v.39 no.6
• /
• pp.486-497
• /
• 2013

In this paper, we first present an in-depth survey of the research on Verification, Validation and Accreditation (VV&A) applied in various areas. Then we introduce the characteristics of the military and defense Modeling and Simulation (M&S) and propose the direction of method for VV&A with the identified characteristics. The M&S has been widely used in many different applications in the military and defense area including training, analysis, and acquisition. Methods and processes of VV&A have been proposed by researchers and M&S practitioners to guarantee the correctness of the M&S. The idea of applying the formal credibility assessment in VV&A is originated from the Software Engineering Reliability Test and Systems Engineering Development Process. However, the current VV&A techniques and processes proposed in the research community have not utilized the military-and-defense specific characteristics. We identify the characteristics and issues that can be found in the military and defense M&S. Then propose the direction of techniques and methods for VV&A considering the characteristics and issues. Also, possible research direction on the development of VV&A is proposed.

• Journal of Information Processing Systems
• /
• v.13 no.5
• /
• pp.1243-1258
• /
• 2017

A new medical materials scheduling system and its modeling method for the complex rescue are presented. Different from other similar system, first both the BeiDou Satellite Communication System (BSCS) and the Special Fiber-optic Communication Network (SFCN) are used to collect the rescue requirements and the location information of disaster areas. Then all these messages will be displayed in a special medical software terminal. After that the bipartite graph models are utilized to compute the optimal scheduling of medical materials. Finally, all these results will be transmitted back by the BSCS and the SFCN again to implement a fast guidance of medical rescue. The sole drug scheduling issue, the multiple drugs scheduling issue, and the backup-scheme selection issue are all utilized: the Kuhn-Munkres algorithm is used to realize the optimal matching of sole drug scheduling issue, the spectral clustering-based method is employed to calculate the optimal distribution of multiple drugs scheduling issue, and the similarity metric of neighboring matrix is utilized to realize the estimation of backup-scheme selection issue of medical materials. Many simulation analysis experiments and applications have proved the correctness of proposed technique and system.

• Journal of the Korea Society for Simulation
• /
• v.25 no.3
• /
• pp.117-123
• /
• 2016

This paper presents inference methods for inner operations of a multi-server queue when historical data are limited or system observation is restricted. In a queueing system analysis, autocorrelated arrival and service processes increase the complexity of modeling. Accordingly, numerous analysis methods have been developed. In this paper, we introduce an inference method for specific situations when external observations exhibit autocorrelated structure and and observations of internal operations are difficult. We release an assumption of the previous method and provide lemma and theorem to guarantee the correctness of our proposed inference method. Using only external observations, our proposed method deduces the internal operation of a multi-server queue via non-parametric approach even when the service times are autocorrelated. The main internal inference measures are waiting times and service times of respective customers. We provide some numerical results to verify that our method performs as intended.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.19 no.4
• /
• pp.661-668
• /
• 2024

Based on the topology of the direct-drive permanent magnet synchronous wind power grid-connected system based on the power electronics full-power converter, the wind turbine model and the grid-side inverter model were studied, and the machine-side rectifier control based on current and speed double closed loops was designed. strategy, as well as a grid-side inverter control strategy based on current and voltage double closed loops, implementing a two-level back-to-back double closed-loop full control strategy. A system simulation model was built using Matlab/Simulink, and the operation of the unit was simulated when the wind speed changed step by step. The grid-connected current with the same phase and good sinusoidal nature of the grid voltage was output. The grid-connected system ran stably and efficiently. The simulation results The validity and rationality of the model, as well as the correctness and feasibility of the control strategy were verified.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.37 no.2
• /
• pp.32-45
• /
• 2000

This paper presents the analytic derivation of the SINR, when a linear array antenna is accommodated into the cellular CDMA basestation receiver, in relation to the two major performance effecting factors in beamforming(BF) applications, i. e., the direction selectivity, which refers to the narrowness of the mainbeam width, and the direction-of-arrival(DOA) estimation accuracy. The analytically derived results are compared with the operation simulation of the receiver realized with the several BF algorithms and their agreements are confirmed, consequently verifying the correctness of the analysis and the operation simulation. In order to investigate separately the effects of the errors occurring in the direction estimation and in the interference suppression, which are the two major functional components of general BF algorithms, both the algorithms of steering BF and the minimum- variance- distortionless-response(MVDR) BF are applied to the analysis. A signal model to reflect the spatially scattering phenomenon of the RF waves entering into the .:nay antenna, which directly affects on the accuracy of the BF algorithm's direction estimation, is also suggested in this paper and applied to the analysis and the operation simulation. It is confirmed from the results that the enhancement of the direction selectivity of the away antenna is not desirable in view of both the implementation economy and the BF algorithm's robustness to the erroneous factors. Such a trade-off characteristics is significant in the sense that it can be capitalized to obtain an economic means of BF implementation that does not severely deteriorate its performance while ensuring the robustness to the erroneous effects, consequently manifesting the significance of the analysis results of this paper that can be used as a design reference in developing BF algorithms to the cellular CDMA system.

• The Journal of Korean Association of Computer Education
• /
• v.12 no.4
• /
• pp.65-75
• /
• 2009

The result verification is necessary to support a guarantee for the correctness of the task results be executed by any unspecified resources in desktop grid environments. Typically, voting-based and trust-based result verification schemes have been used in the environments. However, these suffer from two potential problems: waste of resources due to redundant replicas of each task and increase in turnaround time due to the inability to deal with a dynamic changeable execution environment. To overcome these problems, we propose a fuzzy inference-based replication scheme which can adaptively determine the number of replicas per task by using both trusty degree and result return probability of resources. Therefore our proposal can reduce waste of resources by determining the number of replicas meeting with a dynamic execution environment of desktop grids, not to mention an enhancement of turnaround time for entire asks. Simulation results show that our scheme is superior to other ones in terms of turnaround time, the waste of resources, and the number of re-replications per task.

• Journal of IKEEE
• /
• v.13 no.2
• /
• pp.150-158
• /
• 2009

For the autonomous movement, the optimal path planning connecting between current and target positions is essential, and the optimal path of mobile robot means obstacle-free and the shortest length path to a target position. Many actual mobile robots should move without any information of surrounded obstacles. Thus, this paper suggests new methods of path planning and obstacle avoidment, suitable in unknown environments. This method of path planning always tracks the local target expected as the optimal one, and the result of continuous tracking becomes the first generated moving path. This path, however, do not regard the collision with obstacles. Thus, this paper suggests a new method of obstacle avoidance resembled with the Potential Field method. Finally, a simulation confirms the performance and correctness of the path planning and obstacle avoidance, suggested in this paper.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.9
• /
• pp.4287-4306
• /
• 2016

Network resilience provides an effective way to overcome the problem of network failure and is crucial to Internet protocol (IP) network management. As one of the main challenges in network resilience, recovering from link failure is important to maintain the constancy of packets being transmitted. However, existing failure recovery approaches do not handle the traffic engineering problem (e.g., tuning the routing-protocol parameters to optimize the rerouting traffic flow), which may cause serious congestions. Moreover, as the lack of QoS (quality of service) restrictions may lead to invalid rerouting traffic, the QoS requirements (e.g., bandwidth and delay) should also be taken into account when recovering the failed links. In this paper, we first develop a probabilistically correlated failure model that can accurately reflect the correlation between link failures, with which we can choose reliable backup paths (BPs). Then we construct a mathematical model for the failure recovery problem, which takes maximum rerouting traffic as the optimizing objective and the QoS requirements as the constraints. Moreover, we propose a heuristic algorithm for link failure recovery, which adopts the improved k shortest path algorithm to splice the single BP and supplies more protection resources for the links with higher priority. We also prove the correctness of the proposed algorithm. Moreover, the time and space complexity are also analyzed. Simulation results under NS2 show that the proposed algorithm improves the link failure recovery rate and increases the QoS satisfaction rate significantly.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.16 no.2
• /
• pp.88-93
• /
• 2017

Due to the requirement of the development of the precision manufacturing industry, the accuracy of machine tools has become a key issue in this field. A critical factor that affects the accuracy of machine tools is the feed system, which is generally driven by a ball screw. Basically, to improve the performance of the feed drive system, which will be thermally extended lengthwise by continuous usage, a thermal error compensation system that is highly dependent on the feedback temperature or positioning data is employed in the machine tool system. Due to the overdependence on measuring technology, the cost of the compensation system and low productivity level are inevitable problems in the machine tool industry. This paper presents a novel feed drive thermal error compensation system method that could compensate for thermal error without positioning or temperature feedback. Regarding this thermal error compensation system, the heat generation of components, principal of compensation, thermal model, mathematic model, and calculation method are discussed. As a result, the test data confirm the correctness of the developed feed drive thermal error compensation system very well.