This paper subscribes to the view that the classroom listening test can improve the teaching listening. It can motivate a student. By analyzing the test result, the teacher can check whether and to what degree the edu...This paper subscribes to the view that the classroom listening test can improve the teaching listening. It can motivate a student. By analyzing the test result, the teacher can check whether and to what degree the educational program has achieved what it set out to achieve, or how much the learners have learned what they were supposed to learn. Some effective listening tests are given to help the teacher improve the teaching method in which the teacher focus much on the process of listening, little on the product. The teacher can teach the skill rather than simply practise the listening.展开更多
Lining craze, as a common engineering damage, affects the bearing capacity and the safety of tunnels.To improve the capabilities of the surface crack detection in the tunnel lining, ground penetrating radar(GPR) was e...Lining craze, as a common engineering damage, affects the bearing capacity and the safety of tunnels.To improve the capabilities of the surface crack detection in the tunnel lining, ground penetrating radar(GPR) was employed. The principle and method of GPR for cracks investigation of tunnel lining were expounded. As an application example, some field measurements in order to detect the depth of cracks for the tunnel lining were achieved in a new tunnel. All GPR investigations were made with the antennae of 1 GHz. The cracks of concrete structure were located, and the distributing and depth of cracks are inspected and estimated by GPR. The results of investigation show GPR is accurate and efficient to detect cracks of tunnel lining.展开更多
Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and emb...Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing （SUT）, test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.展开更多
2016年5月22日,在奥地利维也纳召开的2016年欧洲肾脏病年会上,北京大学第一医院肾内科张宏教授代表＂＂评价糖皮质激素治疗Ig A肾病全球研究＂（Therapeutic Evaluation of Steroids in Ig A Nephropathy Global study,TESTING研究）协...2016年5月22日,在奥地利维也纳召开的2016年欧洲肾脏病年会上,北京大学第一医院肾内科张宏教授代表＂＂评价糖皮质激素治疗Ig A肾病全球研究＂（Therapeutic Evaluation of Steroids in Ig A Nephropathy Global study,TESTING研究）协作组报告了该研究的中期分析结果。研究显示：对于全球最常见的肾小球肾炎——Ig A肾病,糖皮质激素（甲基泼尼松龙）治疗虽然可以减少三分之二以上的肾衰竭事件,展开更多
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
文摘This paper subscribes to the view that the classroom listening test can improve the teaching listening. It can motivate a student. By analyzing the test result, the teacher can check whether and to what degree the educational program has achieved what it set out to achieve, or how much the learners have learned what they were supposed to learn. Some effective listening tests are given to help the teacher improve the teaching method in which the teacher focus much on the process of listening, little on the product. The teacher can teach the skill rather than simply practise the listening.
基金Projects(50204012 50490274) supported by the National Natural Science Foundation of China project supported by the Postdoctoral Science Foundation of China
文摘Lining craze, as a common engineering damage, affects the bearing capacity and the safety of tunnels.To improve the capabilities of the surface crack detection in the tunnel lining, ground penetrating radar(GPR) was employed. The principle and method of GPR for cracks investigation of tunnel lining were expounded. As an application example, some field measurements in order to detect the depth of cracks for the tunnel lining were achieved in a new tunnel. All GPR investigations were made with the antennae of 1 GHz. The cracks of concrete structure were located, and the distributing and depth of cracks are inspected and estimated by GPR. The results of investigation show GPR is accurate and efficient to detect cracks of tunnel lining.
文摘Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing （SUT）, test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.
文摘2016年5月22日,在奥地利维也纳召开的2016年欧洲肾脏病年会上,北京大学第一医院肾内科张宏教授代表＂＂评价糖皮质激素治疗Ig A肾病全球研究＂（Therapeutic Evaluation of Steroids in Ig A Nephropathy Global study,TESTING研究）协作组报告了该研究的中期分析结果。研究显示：对于全球最常见的肾小球肾炎——Ig A肾病,糖皮质激素（甲基泼尼松龙）治疗虽然可以减少三分之二以上的肾衰竭事件,
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.
