• Journal of Communications and Networks
• /
• 제17권6호
• /
• pp.602-608
• /
• 2015

In this paper, the limited error tracking problem is investigated for distributed leader-following wireless sensor networks (LFWSNs), where all sensors share data by the local communications, follower sensors are influenced by leader sensors directly or indirectly, but not vice versa, all sensor nodes track a reference state that is determined by the states of all leader sensors, and tracking errors are limited. In a LFWSN, the communicating graph is mainly expressed by some complete subgraphs; if we fix subgraphs that are composed of all leaders while all nodes in complete subgraphs of followers run on the sleeping-awaking method, then the fixed leaders and varying followers topology is obtained, and the switching topology is expressed by a Markov chain. It is supposed that the measurements of all sensors are corrupted by additive noises. Accordingly, the limited error tracking protocol is proposed. Based on the theory of asymptotic boundedness in mean square, it is shown that LFWSN keeps the limited error tracking under the designed protocol.

• Journal of applied mathematics & informatics
• /
• 제9권1호
• /
• pp.239-252
• /
• 2002

A sort sequence $S_n$ is sequence of all unordered pairs of indices in $I_n$={1,2,…n}. With a sort sequence $S_n$ = ($s_1,S_2,...,S_{\frac{n}{2}}$),one can associate a predictive sorting algorithm A($S_n$). An execution of the a1gorithm performs pairwise comparisons of elements in the input set X in the order defined by the sort sequence $S_n$ except that the comparisons whose outcomes can be inferred from the results of the preceding comparisons are not performed. A sort sequence is said to be extremal if it maximizes a given objective function. First we consider the extremal sort sequences with respect to the objective function $\omega$($S_n$) - the expected number of tractive predictions in $S_n$. We study $\omega$-extremal sort sequences in terms of their prediction vectors. Then we consider the objective function $\Omega$($S_n$) - the minimum number of active predictions in $S_n$ over all input orderings.

• 대한기계학회논문집A
• /
• 제28권2호
• /
• pp.133-142
• /
• 2004

In this article, the constitutive relations of three types of piezoelectric benders, which are a unimorph bender, a bimorph bender and a triple-layer bender, are derived based on the beam theory under the quasi-static equilibrium condition. The relation coefficients are described as the geometry and material properties of the benders. More general constitutive relations involving fixed-free, fixed-roll, and fixed-simply supported boundary conditions under the inconsistent length condition between the piezoelectric layer and the nonpiezoelectric one are discussed. The complicated constitutive relations can be easily calculated and checked by using the symbolic function in ‘Mathematica’. The relation coefficients for the benders are plotted in three dimensional graph using the developed program.

• 전자공학회논문지C
• /
• 제35C권3호
• /
• pp.69-78
• /
• 1998

This paper presented a method of extracting algorithm for Edge Multiple-Valued Decision Diagrams(EMVDD), a new data structure, from Binary Decision Diagram(BDD) which is resently using in constructing the digital logic systems based on the graph theory. We discussed the function minimization method of the n-variables multiple-valued functions and showed that the algorithm had the regularity with module by which the same blocks were made concerning about the schematic property of the proposed algorithm. We showed the EMVDD of Full Adder by module construction and verified the proposed algorithm by examples. The proposed method has the visible, schematical and regular properties.

• 한국국방경영분석학회지
• /
• 제13권2호
• /
• pp.42-52
• /
• 1987

Many programmers start debugging by reading the faulty program from start to bottom without investigating carefully the erroneous program. Expert programmers, however, trace backward from a particular variable in a specific statement to identify all possible sources of influence on the value of variable (program slice). Weiser proposed a slicing algorithm (method) that is complex, iterative and still in modification [3,4]. This paper presents a method to generate a program slice by use of matrix computation which represents all possible slices of the program. The matrix representation of a program is soundly based on the graph theory of data dependency.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2013년도 춘계 학술논문 발표대회
• /
• pp.171-172
• /
• 2013

An operation planning of lift car is crucial in tall building construction especially it's arrangement plans, because it is related with transportation distance of finishing materials affecting construction productivity. Since tall building construction, composed of complicating and huge plane have complex traffic lines of finishing materials, to determine the position of lift car empirically or intuitively has limits. Therefore this paper suggest an optimum layout model of lift car minimizing the transportation distance both at site-level and floor-level using Graph theory and Dijkstra algorithm.

• Journal of Information Science Theory and Practice
• /
• 제5권2호
• /
• pp.33-47
• /
• 2017

The aim of the present study is to analyze the present state and evolution of scientific research with regard to the scientific production generated on Facebook. Good analysis proves challenging due to the large number of publications about the topic. That is why we concentrate on Scopus as the information service with the highest coverage on this topic. We performed a bibliometric analysis on Facebook-related research from 2005 to 2016. We identified publication output, subject areas, journals, and countries in order to assess the publication trends and research hotspots in this field. Moreover, an author network graph and a geo map were applied to visualize some research trends. These results provide a basis for better understanding of the development of global Facebook research.

• International Journal of Aeronautical and Space Sciences
• /
• 제18권3호
• /
• pp.522-534
• /
• 2017

According to the characteristics of salvo attack for the multiple flight vehicles (MFV), the design of cooperative guidance law can be converted into the consensus problem of multi-vehicle system through the concept of multi-agent cooperative control. The flight vehicles can be divided into leader and followers depending on different functions, and the flight conditions of leader are independent of the ones of followers. The consensus problem of leader-follower multi-vehicle system is researched by graph theory, and the consensus protocol is also presented. Meanwhile, the finite time guidance law is designed for the flight vehicles via the finite time control method, and the system stability is also analyzed. Whereby, the guidance law can guarantee the line of sight (LOS) angular rates converge to zero in finite time, and hence the cooperative attack of the MFV can be realized. The effectiveness of the designed cooperative guidance method is validated through the simulation with a stationary target and a moving target, respectively.

• 한국실내디자인학회논문집
• /
• 제21권5호
• /
• pp.106-113
• /
• 2012

A study on techniques to evaluate auditorium assignment visible efficiency using three-dimensional simulation. The most important thing to be considered is to ensure the visibility to the podium upon assigning auditorium of venues, classrooms or seminar rooms. However, since there are so many variables to be considered such as the form of the stage, the area and height of the stage, size of screen, and the distance and angle of the auditorium from the podium, the methods to assign auditorium are staying at the level of basic for a long time. Thus, in this study, we proposed simulation methodology to quantitatively evaluate the three-dimensional visible efficiency based on Visual Graph Analysis (VGA) theory. After analytical methodology manufactures application, it sets examples of visibility depending on location of screen, visibility depending on degree of height difference and visibility about three-dimensional Mass Zoning like a stage and verifies the efficacy. In addition, based on results, visibility expectation curve is drawn and the method to calculate the stepped height depending on necessary visibility is proposed.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2003년도 Proceedings of ACRS 2003 ISRS
• /
• pp.1319-1322
• /
• 2003

According to the evolutive theory of saline, combined with field survey data, the authors have discussed the theoretical model of recording past climatic change of Luobupo saline. After interpreted and analyzed the causes of the ringy image, the authors have mapped high resolution climatic changing graph of Luobupo saline during past 2000 years by using remote sensing method. Contrast to the known results, it is proved that the research results have comparability and continuity. The resolution of special climatic event can reach in one year, and in general, the resolution of climatic change can reach in ten to twenty years.