Applied Mechanics and Materials Vols. 752-753

Abstract: This paper presents a new object movement computation method using ray vectors generated from two cameras. We compute camera's internal and external parameters of the input images using computed values from partially overlapping input image frames which has the same corresponding fixed feature points. This is achieved by computing fixed points in the environment, camera distortion values and internal and external parameters from stationary objects. Ray vectors cast from each camera to feature points keep camera external parameter values. Using computed camera external parameters, a tracked object's rigid object movement is estimated using maximum likelihood estimation by setting projected intersection points between ray vectors as a part of objective function. Our method is demonstrated and the results are compared to our another movement computation algorithm.

Abstract: This paper deals with issue of properties specification for software verifications and translation between formal languages. Through this paper, the unique framework of property specifications including most kinds of formal specifications logics, automatic methods are shown by a property specifications guided system and PVSL(The Pattern based Visual property Specification Language).Additionally, a properties to specify and structures, Interconnection of them are also described by property charts. In this study, the pattern based visual property specification language (PVSL) is defined and property specifications method is also designed by convenience specifications of required property.Required properties can be described by its charts and analyzes its meaning and structures as using patterns diagrams and property and-or tree. On the other hands, it also guarantees stability and limitation of utilizations of patterns using much stronger specifying Dwyer`s meaning based property classification. The PVSL and property charts use hierarchical state machine notation to take advantage of knowledge a person who is one of practitioners has as much as possible, and for Nu-SMV, CW-CNC. They can be adapted to describe property charts and analyze into examples of CTL(Computation Tree Logic) and Modal Mu-Calculus logic that have been already used.Keywords: Patterns, Property specifications, model checking, Software verification

Abstract: In software design of complex systems, more time and effort are spent on verification than on constructions. Model checking for software verification techniques offer a large potential to obtain and early integration of verification in the design process. This paper describes how to easily specify and the software properties and to understand the software generating automatically invariant. In this paper deal with issue that state invariant is a property that holds in every reachable state. Not only can be used in understanding and analysis of complex software systems. In addition, it can be used for system verifications such as checking safety, consistency, and completeness. For these reasons, there are many vital researches for deriving state invariant from finite state machine models. In this research was to be considered to extract state invariant. Thus it is likely to be too complex for the user to understand. This paper let the user focus on some interested parts (called scopes) rather than a whole state space in a model. Computation Tree Logic (CTL) is used to specify scopes in which he/she is interested. Given a scope in CTL, forward reachability analysis is used to find out a set of states inside it. Obviously, a set of states calculated in this way is a subset of every reachable state. Keywords: Software verification, Invariant, Scopes, Model Checking

Abstract: This research aimed to study the management of Eastern Farmers Association Community Radio and Bann Huakrok Community Radio, to investigate the community’s participation in the two community radio stations, and to seek good management methods practiced by both community radio stations. The instruments used to collect data for this qualitative research included in-depth interview,document analysis, and non-participant observation.It was found that both community radio stations employed the same method in personnel management; that is, there was an appropriate proportion of the number of staff and radio programs and type of radio programs. Regarding the budget and supply management, so the management strategies had to be active all the time. Moreover, both radio stations had similar management systems in that they had careful budget plans which could be audited. Regarding audience management, both stations provided their listeners opportunities to request songs, share information, and be interviewed on air. Since both stations’ management styles were informal, the work was flexible. Regarding the community’s participation, both stations opened widely for any participation from the radio committee to the DJs. A recommended management strategy was the dynamic strategy which consisted of both proactive and reactive tactics, focusing on two-way communication.

Abstract: In transform domain distributed video coding scheme, we found that there was a certain deviation between Laplacian statistical distribution and the distribution of small and large residual coefficients. To reduce this deviation, this paper proposes a hybrid distribution correlation noise model (HDCNM) based on K-Mediods, which models small coefficients as improved Laplacian distribution while modeling large ones as Cauchy distribution. The parameter estimation algorithm is also given. The experimental results show that the hybrid model proposed in this paper can describe the distribution of residual coefficients between WZ frame and side information accurately, so as to improve the distortion performance of transform domain distributed video coding effectively, and reduce the computational complexity of decoder.

Abstract: In the current situation, the number of energy sources in the world become less because of inefficient usage and the lack of realization on energy saving. Consequences from overusing energy include global warming problems. To encourage and promote efficient use of energy and energy reduction, this research was to improve energy awareness through 3D computer animation. The animation was created in the form of video animation format and has production process as follows: 1) Pre-production: problem defines, story board, turntable animation and backdrop design 2) Production: 3D model character, shading and texturing, lighting and shadowing, rendering and compositing and 3) Post-production: combining the story, inserting voice record and sound. A statistical examination, the research validation was evaluated by 5 experts and resulted in good level (= 4.11, S.D. = 0.64). When testing understanding and perspective on animation media with the sample group of 50 students from Sripatum University Chonburi Campus, the result of the survey that conducted before presenting the campaign (pre-test) was in moderate level (= 3.32, S.D. = 0.56) while the result that conducted after presenting the campaign (post-test) was in very good level (= 4.67, S.D. = 0.48). Therefore, the 3D computer animation could help samples understand more about importance of energy reduction.

Abstract: Due to the complexity of the millimetre-wave indoor propagation environment, using the conventional methods to analyze propagation characteristics of radio wave leads to great error, and the computational complexity is high. In view of the above problems, the prediction method for propagation characteristics of the indoor millimetre wave based on BP neural network is proposed; using its function approximation to describe the millimetre wave propagation parameter, finding out the mathematical relationship between its corresponding external factors and the signal attenuation, the mathematical logic relationship is constructed through establishing the prediction model. Simulation results show that using this method can quickly and intuitively obtain the relationship between the propagation distance and field intensity or path loss, respectively, with advantages of taking short time and high computational efficiency.

Abstract: Frequent and major power interruptions cause many concerns. Assessment of customer power supply reliability is an important part of distribution operation and planning. Many factors are responsible in the reliability of power network; design, construction, operation and maintenance which have their combined effect to overall performance of power network reliability. Analysis of outage data from both OH and UG distribution system of Abuja network is carried out assess their reliability indices. Predictive assessment of distribution reliability indices can be used to identify areas that have poor reliability so that appropriate approach can be taken in the system design and implementation. This paper presents assessment of reliability indices in a practical radial distribution network particularly with the interest of comparison the reliability of OH and UG distribution system. UG is more reliable than OH but takes longer duration in fault restoration.

Abstract: The operational voltage or the voltage distribution along porcelain insulator string is affected by stray capacitances, which causes a non-uniform voltage distribution. The recital of insulator sometimes depends on the amount of insulator/string. In order to explain these activities and phenomena clearly in this research, an equivalent circuit that takes the insulator material properties and the stray capacitances is implemented in the TINA program package to analyze the voltage distribution along the insulator string with and without guard ring under power frequency voltage. Finally, the simulation results of voltage distribution have been compared with experimental results, which were obtained in the KKU High Voltage Research Laboratory. To investigate the voltage along across each (5, 6, 7) insulator/string in clean condition, the string efficiency has been measured by sphere gap method. From the simulation results, the voltage across (5, 6, 7 clean and contaminated insulator/string) with and without guard ring were simulated by the TINA program. From this simulation results, we found that the string efficiency of clean string insulator condition which the insulator consists of 5, 6, 7 insulator/string without guard ring equals 66.92, 58.45 and 53.71%, respectively. The string efficiency which the insulator consists of 5, 6, 7 insulator/string with guard ring equals 90.42, 87.03 and 78.35%, respectively. In the experiment, the sphere gap was used to measure the voltage along insulation string. In case of the clean string insulator condition, the string efficiency which the insulator consists of 5, 6, 7 insulator/string without guard ring equals 69.12, 62.67 and 57.04%, respectively. The string efficiency which the insulator consists of 5, 6, 7 insulator/string with guard ring equals 76.36, 66.69 and 59.76%, respectively.

Abstract: There is different applicable transmission capacity and range between 1000kV and 500kV AC transmission. The traditional method is to use the continuous power flow algorithm by BPA simulation software. But this method is complicated and time-consuming. Calculation is particularly large when electricity has a variety of power demand analysis. This paper presents an algorithm based on the AC line transmission capacity, using MATLAB software programming to achieve the establishment of UHV AC transmission model and economical optimization strategy. The method can use thermal limit, voltage limit, landing stability constraints to get the AC line transmission capacity curve by considering the factor of power network strength. On the basis of this method, an UHV AC transmission model can be built combining with unit capacity annual cost algorithm, which can meet the power transmission of arbitrary transmission capacity and the optimal economic of any transmission distance, has an important reference significance and practical value for the planning and construction of electric transmission lines in China.