In order to study the spatial-temporal change and environmental management of regional karst LUCC (land use and land cover change) and its causative environmental effect-rocky desertification by integrating qualitativ...In order to study the spatial-temporal change and environmental management of regional karst LUCC (land use and land cover change) and its causative environmental effect-rocky desertification by integrating qualitative analysis and quantitative analysis, and relying on RS, GIS and GPS (3S) techniques, karst land rocky derification dynamic monitoring and visualization management information system (KLRD.DMVM.IS) is framed, which includes design aim and structure model, function design, database design and model system design. The model system design gives priority to dynamic monitoring, drive force diagnosis, comprehensive evaluation and decision support of karst rocky desertification. From the viewpoint of model type, mathematic expression and its meaning, the dynamic monitoring models are concretely devised to reflect the spatial and temporal changing features and the trend of karst LUCC and rocky desertification. Taking Du'an Yao Autonomic County of Guangxi as an example, the KLRD.DMVM.IS is systematically analyzed in the application of the process and trend of karst LUCC and rocky desertification in Du'an County, and it provides the technical support for the study on karst land rocky desertification.展开更多
In order to achieve highly accurate and efficient numerical calculations of structural dynamics, time collocation method is presented. For a given time interval, the numerical solution of the method is approximated by...In order to achieve highly accurate and efficient numerical calculations of structural dynamics, time collocation method is presented. For a given time interval, the numerical solution of the method is approximated by a polynomial. The polynomial coefficients are evaluated by solving algebraic equation. Once the polynomial coefficients are evaluated, the numerical solutions at any time in the interval can be easily calculated. New formulae are derived for the polynomial coefficients,which are more practical and succinct than those previously given. Two structural dynamic equations are calculated by the proposed method. The numerical solutions are compared with the traditional fourth-order Runge-Kutta method. The results show that the method proposed is highly accurate and computationally efficient. In addition, an important advantage of the method is the simplicity in software programming.展开更多
In Africa, donkeys have significant contribution in traction operation, but there is little research related to workload and their welfare. The objective of this work was to examine the effect of various loads on donk...In Africa, donkeys have significant contribution in traction operation, but there is little research related to workload and their welfare. The objective of this work was to examine the effect of various loads on donkeys＇ physiological and behavioural responses to evaluate welfare. Donkeys weighing of 132-172 kg （159 ± 11 kg） and totally 20 were used for the experiment. The experimental design included two wheeled cart × seven load class （an increment of 100 kg） with five repetitions each, and the travelled distance was 2 km. Travelled time, behavioural occurrences and physiological responses were recorded. Statistical analysis was conducted using SAS （version 9.4） software programme. When loads were 500-700 kg, heavy and rapid panting and falling down occurred frequently. When loads increased successively and reached 500, 600 and 700 kg, speed started declining from 3.68 km/hto 3.5, 2.94 and 2.54 krn/h, respectively, indicating that speed and applied loads are inversely correlated （P 〈 0.001）. Heart rate was 129 ± 11 bpm at 700 kg, and in respect to resting state, donkeys＇ heart rate elevated by a factor of up to 3. As the load exceeded 400 kg, the speed declined significantly, and behavioural occurrences like heavy panting and falling down confirmed this. This leads to the conclusion that donkeys could pull about 2.7 times of their live weight. But if they have continuous and long working hours （about 6 h）, it is recommended to keep load of two wheeled cart about double of donkeys live weight so as to safe guard donkeys＇ welfare.展开更多
The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded ...The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and tangling.Aspect-Oriented Software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life cycle.Therefore,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded systems.Furthermore,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic formulae.Finally,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.展开更多
This paper presents a software for simulating the thermal performance of solar water heating systems. The implemented model computes the energy balance in the hot water storage tank in each time step along a simulatio...This paper presents a software for simulating the thermal performance of solar water heating systems. The implemented model computes the energy balance in the hot water storage tank in each time step along a simulation interval. Its input data are values from a typical meteorological year of a chosen location and the hot water load. The system components are the hot water storage tank and the solar collector. Firstly, the validation of the model is presented and then four solar water heating systems are simulated in four different cities along one year. The storage tank water hourly temperatures were obtained for a typical meteorological year and those values were compared with the values obtained by the widespread TRNSYS simulation software. The results obtained from this comparison were satisfactory.展开更多
基金Under the auspices of the National Natural Science Foundation of China (No. 40161004, 40361002)Guangxi Natural Science Foundation (No. 023646, 0342001-2).
文摘In order to study the spatial-temporal change and environmental management of regional karst LUCC (land use and land cover change) and its causative environmental effect-rocky desertification by integrating qualitative analysis and quantitative analysis, and relying on RS, GIS and GPS (3S) techniques, karst land rocky derification dynamic monitoring and visualization management information system (KLRD.DMVM.IS) is framed, which includes design aim and structure model, function design, database design and model system design. The model system design gives priority to dynamic monitoring, drive force diagnosis, comprehensive evaluation and decision support of karst rocky desertification. From the viewpoint of model type, mathematic expression and its meaning, the dynamic monitoring models are concretely devised to reflect the spatial and temporal changing features and the trend of karst LUCC and rocky desertification. Taking Du'an Yao Autonomic County of Guangxi as an example, the KLRD.DMVM.IS is systematically analyzed in the application of the process and trend of karst LUCC and rocky desertification in Du'an County, and it provides the technical support for the study on karst land rocky desertification.
基金Supported by Liu Hui Applied Mathematics Center of Nankai University-Tianjin University( No. H10124).
文摘In order to achieve highly accurate and efficient numerical calculations of structural dynamics, time collocation method is presented. For a given time interval, the numerical solution of the method is approximated by a polynomial. The polynomial coefficients are evaluated by solving algebraic equation. Once the polynomial coefficients are evaluated, the numerical solutions at any time in the interval can be easily calculated. New formulae are derived for the polynomial coefficients,which are more practical and succinct than those previously given. Two structural dynamic equations are calculated by the proposed method. The numerical solutions are compared with the traditional fourth-order Runge-Kutta method. The results show that the method proposed is highly accurate and computationally efficient. In addition, an important advantage of the method is the simplicity in software programming.
文摘In Africa, donkeys have significant contribution in traction operation, but there is little research related to workload and their welfare. The objective of this work was to examine the effect of various loads on donkeys＇ physiological and behavioural responses to evaluate welfare. Donkeys weighing of 132-172 kg （159 ± 11 kg） and totally 20 were used for the experiment. The experimental design included two wheeled cart × seven load class （an increment of 100 kg） with five repetitions each, and the travelled distance was 2 km. Travelled time, behavioural occurrences and physiological responses were recorded. Statistical analysis was conducted using SAS （version 9.4） software programme. When loads were 500-700 kg, heavy and rapid panting and falling down occurred frequently. When loads increased successively and reached 500, 600 and 700 kg, speed started declining from 3.68 km/hto 3.5, 2.94 and 2.54 krn/h, respectively, indicating that speed and applied loads are inversely correlated （P 〈 0.001）. Heart rate was 129 ± 11 bpm at 700 kg, and in respect to resting state, donkeys＇ heart rate elevated by a factor of up to 3. As the load exceeded 400 kg, the speed declined significantly, and behavioural occurrences like heavy panting and falling down confirmed this. This leads to the conclusion that donkeys could pull about 2.7 times of their live weight. But if they have continuous and long working hours （about 6 h）, it is recommended to keep load of two wheeled cart about double of donkeys live weight so as to safe guard donkeys＇ welfare.
基金supported by the National Natural Science Foundation of China under GrantsNo.61173048,No.61103115
文摘The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and tangling.Aspect-Oriented Software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life cycle.Therefore,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded systems.Furthermore,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic formulae.Finally,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.
文摘This paper presents a software for simulating the thermal performance of solar water heating systems. The implemented model computes the energy balance in the hot water storage tank in each time step along a simulation interval. Its input data are values from a typical meteorological year of a chosen location and the hot water load. The system components are the hot water storage tank and the solar collector. Firstly, the validation of the model is presented and then four solar water heating systems are simulated in four different cities along one year. The storage tank water hourly temperatures were obtained for a typical meteorological year and those values were compared with the values obtained by the widespread TRNSYS simulation software. The results obtained from this comparison were satisfactory.
