高职院校建筑工程制图教学方法的探索与实践

建筑工程制图是土建类学生的一门专业基础课,本文在分析该门课程教学方法的基础上,提出应根据工程制图课程的具体教学内容,以讲清讲透知识点、培养学生学习兴趣、提高教学效果为原则,采用不同的教学方法与手段,或将其相结合的教学理念,旨在增强学生兴趣,提高教学质量,探索了不同的教学方法之间进行优势互补的教学改革之路。

Approach to evaluating exception handling of programs

To solve the problems that the exception handling code is hard to test and maintain and that it affects the robustness and reliability of software, a method for evaluating the exception handling of programs is presented. The exception propagation graph （EPG） that describes the large programs with exception handling constructs is proposed by simplifying the control flow graph and it is applied to a case to verify its validity. According to the EPG, the exception handling code that never executes is identified; the points that are the most critical to controlling exception propagation are found; and the irrational exception handling code is corrected. The constructing algorithm for the EPG is given; thus, this provides a basis for automatically constructing the EPG and automatically correcting the irrational exception handling code.

An Optimum and Effective Drawing Teaching System in Engineering

In this study, the authors shall illustrate the difficulties, pros and cons of ＂Technical Drawing＂ courses in engineering curriculums. The authors also show the efficiency, effectiveness of students＇ grasping the engineering drawing concepts in depth. The authors have conducted a survey on students and their instructors for teaching the course. Whether the course should be taught with manual handling and then computerized or starting with computer aid and finishing the content of the course, the authors shall also go in detail of syllabus how the drawing rooms and aid tools will be. This part of study shall look into the ergonomics, safety and conditions of classrooms. Responses of 300 students will be shared in this presentation. Statistical analysis will detect the effects of different factors involved in the questionnaire.

Teaching method for reading views by analyzing lines and planes

This paper deals with the teaching method in reading engineering drawing. It introduces the basic theory and fundamental ideas as well as the approach of reading views by analyzing lines and planes. It gives out the steps for completing the third view based on the other two views. As it is easy and quick for students to read and understand views by this method, it is welcome by students in teaching practice.

GEODESY AND DIGITAL CARTOGRAPHIC SURVEY IN FILDES PENINSULA,REY JORGE ISLAND,ANTARCTICA

The present paper summarizes a joint effort undertaken by the Instituto Geográfico Militar de Chile (IGM) and the Instituto Antártico Chileno (INACH) in order to obtain digital cartography of the Fildes Peninsula, Rey Jorge Island, Antarctica. This peninsula constitutes the prototype project area for the main IGM-INACH project No 153 “Cartographic Survey and Geographic Information System of the South Shetlands Islands” The Digital Cartography was implemented at the 1:5 000 scale, using geodetic GPS control points referenced to ITRF 92 and WGS 84 Data. The UTM Projection was used. All products were produced in compliance with the cartographic standards of the IGM. This cartography was designed in order to satisfy the requirements of a Geographic Information System developed by INACH. This geo-referenced database incorporates a variety of thematic information, enabling it to support scientific investigations, environmental and multi-disciplinary studies, and other applications. As a result of this project the Instituto Geográfico Militar de Chile produced a map at 1:5 000 scale in digital format, and also a 1:10 000 topographic map, in paper format, with two editions: first edition of two charts and a second edition with one chart covering the whole project area. Chile and other countries have a number of important permanent activities in this area. These maps are designed to support several and diverse geo-spatial studies related to these activities.

Computation of Average Run Length for Residual-Based T^2 Control Chart for Multivariate Autocorrelated Processes

The expression of residual is obtained according to its dynamic response to mean shift, then the distribu- tion of T2 statistic applied to the residual is derived, thus the probability of the 7a statistic lying outside the control limit is calculated. The above-mentioned results are substituted into the infinite definition expression of the average run length （ARL）, and then the final finite ARL expression is obtained. An example is used to demonstrate the procedures of the proposed method. In the comparative study, eight autocorrelated processes and four different mean shifts are performed, and the ARL values of the proposed method are compared with those obtained by simulation method with 50 000 replications. The accuracy of the proposed method can be illustrated through the comparative results.

A Provably Secure Asynchronous Proactive RSA Scheme

The drawback of the first asynchronous proactive RSA scheme presented by Zhou in 2001, is that the security definition and security proof do not follow the approach of provable security. This paper presented a provably secure asynchronous proactive RSA scheme, which includes three protocols: initial key distribution protocol, signature generation protocol and share refreshing protocol. Taken these protocols together, a complete provably secure proactive RSA scheme was obtained. And the efficiency of the scheme is approximate to that of the scheme of Zhou.

Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J\|complexity 0; J\|complexity 1; J\|complexity \{1+\}; J\|complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.

Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Specifications

Today＇s automation industry is driven by the need for an increased productivity, higher flexibility, and higher individuality, and characterized by tailor-made and more complex control solutions. In the processing industry, logic controller design is often a manual, experience-based, and thus an error-prone procedure. Typically, the specifications are given by a set of informal requirements and a technical flowchart and both are used to be directly translated into the control code. This paper proposes a method in which the control program is constructed as a sequential function chart （SFC） by transforming the requirements via clearly defined intermediate formats. For the purpose of analysis, the resulting SFC can be translated algorithmically into timed automata. A rigorous verification can be used to determine whether all specifications are satisfied if a formal model of the plant is available which is then composed with the automata model of the logic controller （LC）.

Dielectrophoretic assembly of semiconducting single-walled carbon nanotube transistor

A novel burning technique for making a semiconducting single-walled carbon nanotubes （SWNTs） transistor assembled by the dielectrophoretic force was suggested. The fabrication process consisted of two steps. First, to align and attach a bundle of SWNTs between the source and drain, the alternating （AC） voltage was applied to the electrodes. When a bundle of SWNTs was connected between two electrodes, some of metallic nanotubes and semi-conducing nanotubes existed together. The second step is to burn the metallic SWNTS by applying the voltage between two electrodes. With increasing the voltage, more current flowed through the metallic SWNTs, thus, the metallic SWNTs burnt earlier than the semiconducting one. This technique enables to obtain only semi-conducting SWNTs connection in the transistor. Through the 1--V characteristic graph, the moment of metallic SWNTs burning and the characteristic of semi-conducing nanotubes were verified.

Cooperative Sensing and Distributed Control of a Diffusion Process Using Centroidal Voronoi Tessellations

This paper considers how to use a group of robots to sense and control a diffusion process.The diffusion process is modeled by a partial differential equation (PDE),which is a both spatially and temporally variant system.The robots can serve as mobile sensors,actuators,or both.Centroidal Voronoi Tessellations based coverage control algorithm is proposed for the cooperative sensing task.For the diffusion control problem,this paper considers spraying control via a group of networked mobile robots equipped with chemical neutralizers,known as smart mobile sprayers or actuators,in a domain of interest having static mesh sensor network for concentration sensing.This paper also introduces the information sharing and consensus strategy when using centroidal Voronoi tessellations algorithm to control a diffusion process.The information is shared not only on where to spray but also on how much to spray among the mobile actuators.Benefits from using CVT and information consensus seeking for sensing and control of a diffusion process are demonstrated in simulation results.

A unified approach to type synthesis of both rigid and flexure parallel mechanisms

Type synthesis of both rigid and compliant parallel mechanisms has become a hot issue in the field of mechanisms and robotics research in recent years. A unified approach to type synthesis of the two classes of mechanisms, however, has not been referred and investigated up to date. Based on the state-of-art analysis for several major type synthesis approaches related to rigid and compliant mechanisms, respectively, it proves feasible to establish a unified methodology for type synthesis of these two classes of mechanisms. That is a synthesis philosophy in terms of the hierarchy mapping between mathematic, physical, and mechanical building blocks in the framework of screw theory, as addressed in this paper. The key point of the proposed method lies in establishing the mapping among three different building blocks (i.e. geometric building block, kinematic or constraint building block, and mechanical building block). As a result, it makes the whole type synthesis process simple and visible. By using the proposed method, two examples are taken to verify the effectiveness for the type synthesis of both rigid and flexure mechanisms. The content of this paper may provide a theoretical frame for constructing a visualized algorithm or software about the unified type synthesis (or conceptual design) of both rigid and flexure parallel mechanisms.

Application of Ordinary Kriging in Mapping Soil Organic Carbon in Zambia

The quantification of the pattern and spatial distribution of soil organic carbon （SOC） is fundamental to understand many ecosystem processes. This study aimed to apply ordinary kriging （OK） to model the spatial distribution of SOC in a selected part of Zambia. A total of 100 soil samples were collected from the study area and analyzed for SOC by determining soil oxidizable carbon using the Walkley-Black method. An automated fitting procedure was followed when modeling the spatial structure of the SOC data with the exponential semivariogram. The results indicated that the short range spatial dependence of SOC was strong with a nugget close to zero. The spatial autocorrelation was high to medium with a nugget to sill ratio of 0.25. The root mean square error of the predictions was 0.64, which represented 58.18% of the mean observed data for SOC. It can be concluded that the generated map could serve as a proxy for SOC in the region where evidence of spatial structure and quantitative estimates of uncertainty are reported. Therefore, the maps produced can be used as guides for various uses including optimization of soil sarapling.