In order to strengthen the construction of university library,promote the sustainable development of university library,and provide a good library space environment for university students,this paper expounds the qual...In order to strengthen the construction of university library,promote the sustainable development of university library,and provide a good library space environment for university students,this paper expounds the quality evaluation of university library by establishing the evaluation index of space service quality,and puts forward the ways to improve the service quality of University Library for reference.展开更多
Digital libraries are complex systems and this brings difficulties for their evaluation. This paper proposes a hierarchical model to solve this problem, and puts the entangled matters into a clear-layered structure. F...Digital libraries are complex systems and this brings difficulties for their evaluation. This paper proposes a hierarchical model to solve this problem, and puts the entangled matters into a clear-layered structure. Firstly, digital libraries(DLs thereafter)are classified into 5 groups in ascending gradations, i.e. mini DLs, small DLs, medium DLs,large DLs, and huge DLs by their scope of operation. Then, according to the characteristics of DLs at different operational scope and level of sophistication, they are further grouped into unitary DLs, union DLs and hybrid DLs accordingly. Based on this simulated structure,a hierarchical model for digital library evaluation is introduced, which evaluates DLs differentiatingly within a hierarchical scheme by using varying criteria based on their specific level of operational complexity such as at the micro-level, medium-level, and/or at the macro-level. Based on our careful examination and analysis of the current literature about DL evaluation system, an experiment is conducted by using the DL evaluation model along with its criteria for unitary DLs at micro-level. The main contents resulting from this evaluation experimentation and also those evaluation indicators and relevant issues of major concerns for DLs at medium-level and macro-level are also to be presented at some length.展开更多
This paper reviews the evaluation model and measurements according to metropolitan digital library activities. Through literature review and historical research, the authors argue that the evaluation of the digital li...This paper reviews the evaluation model and measurements according to metropolitan digital library activities. Through literature review and historical research, the authors argue that the evaluation of the digital library(DL) is still in a research stage and not yet of value to the real achievement of the DL in operation. Because of the variety of the understandings of the digital library and the complexity of the technical factors, we can put forward a set of reference models, measurements and approaches to combine with the various researches on the evaluation theory and practice in the digital library area. The authors primarily discuss and conclude with a digital library evaluation model and measurement index system according to the requirements of the world metropolitan libraries.展开更多
Automated writing evaluation is the use of computer programs to evaluate essays written in an educational setting.This study aims to evaluate the state of the art and the trends of automated writing evaluation researc...Automated writing evaluation is the use of computer programs to evaluate essays written in an educational setting.This study aims to evaluate the state of the art and the trends of automated writing evaluation research.A total of 206 automated writing evaluation-related publications published in 88 journals between 1995 and 2022 were used as the data in our study.Bibliometric methods were employed to identify the publication trends,venues for publication,productive authors,highly cited articles,seminal works,and the most frequently explored topics across the past decades.The findings show that automated writing evaluation has become a fast-growing interdisciplinary area of interest.In addition,this line of research has witnessed a growing interest in topics pertaining to the latest technology,the perception of children,the teachers’feedback,and complex tasks.Implications of our study for future research are also discussed.展开更多
This paper aims to make a brief review on automated writing evaluation(AWE) tools in English writing instruction both at home and abroad. In this paper, seven AWE tools are summarized, including Project Essay Grade(PE...This paper aims to make a brief review on automated writing evaluation(AWE) tools in English writing instruction both at home and abroad. In this paper, seven AWE tools are summarized, including Project Essay Grade(PEG), Intelligent Essay Assessor(IEA), the Electronic Essay Rater(E-rater) and Criterion, Intelli Metric and MY Access!, and Bayesian Essay Test Scoring System(BETSY), all of which are widely used abroad.While in China, i Write 2.0 and the Pigai system are used broadly.Through describing the developing process of AWE system, this paper tends to provide a general knowledge of AWE system.展开更多
In order to inspect the good and reliability of automated charging station’s lightning protection design in airport, we set the comprehensive evaluation mathematical model of automated charging station in the airport...In order to inspect the good and reliability of automated charging station’s lightning protection design in airport, we set the comprehensive evaluation mathematical model of automated charging station in the airport, through the method of second order fuzzy comprehensive evaluation and evaluate the automated charging station’s lightning protection design comprehensively by using the assessment data of expert database.展开更多
In recent years, many evaluations on Web sites have been conducted, and relevant researches have also been carried out in academic circle. This paper introduces an innovative method called correspondence analysis to e...In recent years, many evaluations on Web sites have been conducted, and relevant researches have also been carried out in academic circle. This paper introduces an innovative method called correspondence analysis to evaluate public library Websites from five aspects-traffic, visit, connectivity, speed and page views. Some suggestions based on the result of evaluation are given in this paper with an expectation to promote the construction and development of public library Websites.展开更多
Continuous-scale trusted safety efficiency evaluation is crucial for the agile development and robust validation of autonomous vehicle intelligence.While the UN R157 Regulation evaluates automated lane-keeping system(...Continuous-scale trusted safety efficiency evaluation is crucial for the agile development and robust validation of autonomous vehicle intelligence.While the UN R157 Regulation evaluates automated lane-keeping system(ALKS)performance baselines through safe collision plots(SCPs)in various scenario clusters,quantifying the specific ALKS safety efficiency remains challenging.We propose a spectrum quantification approach to evaluate the safety efficiency of autonomous vehicles in cut-in scenarios.First,we collected speed-distance data under different cut-in scenarios and extracted essential spectral features to indicate the vehicle motion parameters during the cut-in process.Second,by utilizing Fourier analysis,a spectral analysis model was built to quantify and analyze the vehicle motion characteristics,providing insights into scenario safety.Finally,we created approximate analytical equations for the normalized disturbance frequencies in the nonlinear response scenarios of autonomous driving systems by combining the SCP with a frequency spectrum analysis model.The results showed that the normalized disturbance frequency in the cut-in scenario was approximately 0.2.When the relative longitudinal distance and speed of the vehicle are the same,if the cut-in speed of the cut-in vehicle is larger,the normalized disturbance frequency is higher,indicating that the cut-in process of the autonomous vehicle is more dangerous and may trigger a collision.展开更多
The design of efficient representations is well established as a fruitful way to explore and analyze complex or large data.In these representations,data are encoded with various visual attributes depending on the need...The design of efficient representations is well established as a fruitful way to explore and analyze complex or large data.In these representations,data are encoded with various visual attributes depending on the needs of the representation itself.To make coherent design choices about visual attributes,the visual search field proposes guidelines based on the human brain’s perception of features.However,information visualization representations frequently need to depict more data than the amount these guidelines have been validated on.Since,the information visualization community has extended these guidelines to a wider parameter space.This paper contributes to this theme by extending visual search theories to an information visualization context.We consider a visual search task where subjects are asked to find an unknown outlier in a grid of randomly laid out distractors.Stimuli are defined by color and shape features for the purpose of visually encoding categorical data.The experimental protocol is made of a parameters space reduction step(i.e.,sub-sampling)based on a machine learning model,and a user evaluation to validate hypotheses and measure capacity limits.The results show that the major difficulty factor is the number of visual attributes that are used to encode the outlier.When redundantly encoded,the display heterogeneity has no effect on the task.When encoded with one attribute,the difficulty depends on that attribute heterogeneity until its capacity limit(7 for color,5 for shape)is reached.Finally,when encoded with two attributes simultaneously,performances drop drastically even with minor heterogeneity.展开更多
With the continuous improvement of automated driving technology,how to evaluate the performance of an automated driving system is attracting more and more attention.Meanwhile,with the creation of scenario-based test m...With the continuous improvement of automated driving technology,how to evaluate the performance of an automated driving system is attracting more and more attention.Meanwhile,with the creation of scenario-based test methods,the traditional evaluation index based on a single test can no longer meet the requirements of high-level safety verification for automated driving system,and the performance evaluation of such a system in logical scenarios will be the mainstream.Based on the scenario-based test method and Turing test theory,a performance evaluation method for an automated driving system in the whole parameter space of a logical scenario is proposed.The logical scenario parameter space is partitioned according to the risk degree of concrete scenario,and the evaluation process in different zones are determined.Subsequently,the anthropo-morphic index in the safe zone and the collision-avoidance index in the danger zone are defined by comparing test results of human driving and ideal vehicle motion.Taking front vehicle low-speed and cut-out scenarios as examples,two automated driving algorithms are tested in the virtual environment,and the test results are evaluated both by the proposed method and by human observation.The results show that the results of the proposed method are consistent with the subjective feelings of humans;additionally,it can be applied to scenario-based tests and the verification process of an automated driving system.展开更多
Purpose–It would take billions of miles’field road testing to demonstrate that the safety of automated vehicle is statistically significantly higher than the safety of human driving because that the accident of vehi...Purpose–It would take billions of miles’field road testing to demonstrate that the safety of automated vehicle is statistically significantly higher than the safety of human driving because that the accident of vehicle is rare event.Design/methodology/approach–This paper proposes an accelerated testing method for automated vehicles safety evaluation based on improved importance sampling(IS)techniques.Taking the typical cut-in scenario as example,the proposed method extracts the critical variables of the scenario.Then,the distributions of critical variables are statistically fitted.The genetic algorithm is used to calculate the optimal IS parameters by solving an optimization problem.Considering the error of distribution fitting,the result is modified so that it can accurately reveal the safety benefits of automated vehicles in the real world.Findings–Based on the naturalistic driving data in Shanghai,the proposed method is validated by simulation.The result shows that compared with the existing methods,the proposed method improves the test efficiency by 35 per cent,and the accuracy of accelerated test result is increased by 23 per cent.Originality/value–This paper has three contributions.First,the genetic algorithm is used to calculate IS parameters,which improves the efficiency of test.Second,the result of test is modified by the error correction parameter,which improves the accuracy of test result.Third,typical high-risk cut-in scenarios in China are analyzed,and the proposed method is validated by simulation.展开更多
Purpose:Based on the understanding of the characteristics of mobile services(m-services)provided by libraries,we attempt to develop a multidimensional and hierarchical model and a specifically designed measurement sca...Purpose:Based on the understanding of the characteristics of mobile services(m-services)provided by libraries,we attempt to develop a multidimensional and hierarchical model and a specifically designed measurement scale for the assessment of libraries' m-service quality.Design/methodology/approach:The research has been conducted sequentially in two stages.At the first stage,a multidimensional and hierarchical model of library m-service quality and a measurement scale are developed through literature review and focus group interviews.At the second stage the model is tested using partial disaggregation technique for an analysis of the data collected from over 400 library users in 3 Chinese universities.Findings:The proposed model is shown to fit the data well.The empirical analysis provides strong support for the model,which includes 4 dimensions(service environment,service interaction,information control and service effect) and 12 corresponding sub-dimensions.Research limitations:The sample size needs to be enlarged and the user types need to be expanded to make the sample more representative.Practical implications:The study provides a conceptual framework and measurement tool that can help library managers understand the users' needs in the context of mobile network environment,and boost their libraries' competitiveness by carrying out better services to meet the user demands.Originality/value:The proposed model and measurement scale specifically designed for the assessment of libraries' m-service quality fully reflect the hierarchical structure of libraries' m-service quality.In addition,by using partial disaggregation technique for model testing,we believe our research can serve as a practical reference to those engaged in the development and examination of a multidimensional and hierarchical model.展开更多
Automated writing evaluation (AWE) technology is being adopted in classrooms in China and the USA. This paper presents the results of a case study of the application of AWE in Dalian, China. The quasi-experimental s...Automated writing evaluation (AWE) technology is being adopted in classrooms in China and the USA. This paper presents the results of a case study of the application of AWE in Dalian, China. The quasi-experimental study was conducted in 2010 in Chinese middle school English language classrooms. An effect size of 0.30 was found in favor of the experimental group using AWE as an online formative assessment. Student survey responses and teacher observations are presented as convergent evidence to illustrate the impact AWE technology has on teachers, students, and student achievement in English writing.展开更多
Transcendental functions are important functions in various high performance computing applications.Because these functions are time-consuming and the vector units on modern processors become wider and more scalable,t...Transcendental functions are important functions in various high performance computing applications.Because these functions are time-consuming and the vector units on modern processors become wider and more scalable,there is an increasing demand for developing and using vector transcendental functions in such performance-hungry applications.However,the performance of vector transcendental functions as well as their accuracy remain largely unexplored.To address this issue,we perform a comprehensive evaluation of two Single Instruction Multiple Data(SIMD)intrinsics based vector math libraries on two ARMv8 compatible processors.We first design dedicated microbenchmarks that help us understand the performance behavior of vector transcendental functions.Then,we propose a piecewise,quantitative evaluation method with a set of meaningful metrics to quantify their performance and accuracy.By analyzing the experimental results,we find that vector transcendental functions achieve good performance speedups thanks to the vectorization and algorithm optimization.Moreover,vector math libraries can replace scalar math libraries in many cases because of improved performance and satisfactory accuracy.Despite this,the implementations of vector math libraries are still immature,which means further optimization is needed,and our evaluation reveals feasible optimization solutions for future vector math libraries.展开更多
This paper gives an overview of the history and the present status of Chinese library and information science journals, and introduces the operation and management of Chinese library and information science journals b...This paper gives an overview of the history and the present status of Chinese library and information science journals, and introduces the operation and management of Chinese library and information science journals by taking Journal of Library Science In China, Library and Information Service, Journal of Academic Libraries, and Journal of Information Science as examples. Besides, six suggestions are given for the future development of Chinese library and information science journals.展开更多
IEC 61850 allows the replacement of conventional wire based systems to communication based system with local area network. Since new engineering processes are introduced in substation, the specifications and tools are...IEC 61850 allows the replacement of conventional wire based systems to communication based system with local area network. Since new engineering processes are introduced in substation, the specifications and tools are required combined with new skills across the substation engineering. In order to construct the IEC 61850 based substation automation system, the IED engineering tools as an engineering means are necessary to cope with the substation automation by full digital devices in the real power systems. Compared the configuration tools provided IEDs vendors which are able to support the operation and communication analysis between IEDs, the XML based IED integration engineering tools as substation engineering tools which are developed can build, edit and save the ICD, SCL and CID files. Particularly, the substation engineering tools are possible to apply the IEC 61850 based IEDs for the engineering process of systems and also provide the reliability and efficiency of system for the utilities and manufacturers. The developed tools are applied to test and create the SCL files for domestic-made IEDs, and then compared with the conventional tools. The reliability including accuracy of results was proved.展开更多
This paper presents an overview of research studies made at the COGIT laboratory of IGN France in the fields of generalisation and symbol specification,particularly considering evaluation aspects.It then discusses how...This paper presents an overview of research studies made at the COGIT laboratory of IGN France in the fields of generalisation and symbol specification,particularly considering evaluation aspects.It then discusses how generalisation and symbol specification interact.Finally it explores some possible adaptations of the presented works in generalisation and symbol specification to cartography in the context of crisis management.展开更多
文摘In order to strengthen the construction of university library,promote the sustainable development of university library,and provide a good library space environment for university students,this paper expounds the quality evaluation of university library by establishing the evaluation index of space service quality,and puts forward the ways to improve the service quality of University Library for reference.
文摘Digital libraries are complex systems and this brings difficulties for their evaluation. This paper proposes a hierarchical model to solve this problem, and puts the entangled matters into a clear-layered structure. Firstly, digital libraries(DLs thereafter)are classified into 5 groups in ascending gradations, i.e. mini DLs, small DLs, medium DLs,large DLs, and huge DLs by their scope of operation. Then, according to the characteristics of DLs at different operational scope and level of sophistication, they are further grouped into unitary DLs, union DLs and hybrid DLs accordingly. Based on this simulated structure,a hierarchical model for digital library evaluation is introduced, which evaluates DLs differentiatingly within a hierarchical scheme by using varying criteria based on their specific level of operational complexity such as at the micro-level, medium-level, and/or at the macro-level. Based on our careful examination and analysis of the current literature about DL evaluation system, an experiment is conducted by using the DL evaluation model along with its criteria for unitary DLs at micro-level. The main contents resulting from this evaluation experimentation and also those evaluation indicators and relevant issues of major concerns for DLs at medium-level and macro-level are also to be presented at some length.
基金supported by the National Planning Office of Philosophy and Social Science(Grant No.05ATQ001)
文摘This paper reviews the evaluation model and measurements according to metropolitan digital library activities. Through literature review and historical research, the authors argue that the evaluation of the digital library(DL) is still in a research stage and not yet of value to the real achievement of the DL in operation. Because of the variety of the understandings of the digital library and the complexity of the technical factors, we can put forward a set of reference models, measurements and approaches to combine with the various researches on the evaluation theory and practice in the digital library area. The authors primarily discuss and conclude with a digital library evaluation model and measurement index system according to the requirements of the world metropolitan libraries.
文摘Automated writing evaluation is the use of computer programs to evaluate essays written in an educational setting.This study aims to evaluate the state of the art and the trends of automated writing evaluation research.A total of 206 automated writing evaluation-related publications published in 88 journals between 1995 and 2022 were used as the data in our study.Bibliometric methods were employed to identify the publication trends,venues for publication,productive authors,highly cited articles,seminal works,and the most frequently explored topics across the past decades.The findings show that automated writing evaluation has become a fast-growing interdisciplinary area of interest.In addition,this line of research has witnessed a growing interest in topics pertaining to the latest technology,the perception of children,the teachers’feedback,and complex tasks.Implications of our study for future research are also discussed.
文摘This paper aims to make a brief review on automated writing evaluation(AWE) tools in English writing instruction both at home and abroad. In this paper, seven AWE tools are summarized, including Project Essay Grade(PEG), Intelligent Essay Assessor(IEA), the Electronic Essay Rater(E-rater) and Criterion, Intelli Metric and MY Access!, and Bayesian Essay Test Scoring System(BETSY), all of which are widely used abroad.While in China, i Write 2.0 and the Pigai system are used broadly.Through describing the developing process of AWE system, this paper tends to provide a general knowledge of AWE system.
文摘In order to inspect the good and reliability of automated charging station’s lightning protection design in airport, we set the comprehensive evaluation mathematical model of automated charging station in the airport, through the method of second order fuzzy comprehensive evaluation and evaluate the automated charging station’s lightning protection design comprehensively by using the assessment data of expert database.
基金Supported by the Ministry of Education’s Im-portant Project in Philosophy and Social Sciences of China(05JZD00024)
文摘In recent years, many evaluations on Web sites have been conducted, and relevant researches have also been carried out in academic circle. This paper introduces an innovative method called correspondence analysis to evaluate public library Websites from five aspects-traffic, visit, connectivity, speed and page views. Some suggestions based on the result of evaluation are given in this paper with an expectation to promote the construction and development of public library Websites.
基金the National Key R&D Program of China(Grant No.2021YFB1600403)the National Natural Science Foundation of China(Grant Nos.51805312 and 52172388).
文摘Continuous-scale trusted safety efficiency evaluation is crucial for the agile development and robust validation of autonomous vehicle intelligence.While the UN R157 Regulation evaluates automated lane-keeping system(ALKS)performance baselines through safe collision plots(SCPs)in various scenario clusters,quantifying the specific ALKS safety efficiency remains challenging.We propose a spectrum quantification approach to evaluate the safety efficiency of autonomous vehicles in cut-in scenarios.First,we collected speed-distance data under different cut-in scenarios and extracted essential spectral features to indicate the vehicle motion parameters during the cut-in process.Second,by utilizing Fourier analysis,a spectral analysis model was built to quantify and analyze the vehicle motion characteristics,providing insights into scenario safety.Finally,we created approximate analytical equations for the normalized disturbance frequencies in the nonlinear response scenarios of autonomous driving systems by combining the SCP with a frequency spectrum analysis model.The results showed that the normalized disturbance frequency in the cut-in scenario was approximately 0.2.When the relative longitudinal distance and speed of the vehicle are the same,if the cut-in speed of the cut-in vehicle is larger,the normalized disturbance frequency is higher,indicating that the cut-in process of the autonomous vehicle is more dangerous and may trigger a collision.
文摘The design of efficient representations is well established as a fruitful way to explore and analyze complex or large data.In these representations,data are encoded with various visual attributes depending on the needs of the representation itself.To make coherent design choices about visual attributes,the visual search field proposes guidelines based on the human brain’s perception of features.However,information visualization representations frequently need to depict more data than the amount these guidelines have been validated on.Since,the information visualization community has extended these guidelines to a wider parameter space.This paper contributes to this theme by extending visual search theories to an information visualization context.We consider a visual search task where subjects are asked to find an unknown outlier in a grid of randomly laid out distractors.Stimuli are defined by color and shape features for the purpose of visually encoding categorical data.The experimental protocol is made of a parameters space reduction step(i.e.,sub-sampling)based on a machine learning model,and a user evaluation to validate hypotheses and measure capacity limits.The results show that the major difficulty factor is the number of visual attributes that are used to encode the outlier.When redundantly encoded,the display heterogeneity has no effect on the task.When encoded with one attribute,the difficulty depends on that attribute heterogeneity until its capacity limit(7 for color,5 for shape)is reached.Finally,when encoded with two attributes simultaneously,performances drop drastically even with minor heterogeneity.
基金supported by National Natural Science Foundation of China(52172386)Ministry of Industry and Information Technology Public Service Platform Project(2020-0100-4-1).
文摘With the continuous improvement of automated driving technology,how to evaluate the performance of an automated driving system is attracting more and more attention.Meanwhile,with the creation of scenario-based test methods,the traditional evaluation index based on a single test can no longer meet the requirements of high-level safety verification for automated driving system,and the performance evaluation of such a system in logical scenarios will be the mainstream.Based on the scenario-based test method and Turing test theory,a performance evaluation method for an automated driving system in the whole parameter space of a logical scenario is proposed.The logical scenario parameter space is partitioned according to the risk degree of concrete scenario,and the evaluation process in different zones are determined.Subsequently,the anthropo-morphic index in the safe zone and the collision-avoidance index in the danger zone are defined by comparing test results of human driving and ideal vehicle motion.Taking front vehicle low-speed and cut-out scenarios as examples,two automated driving algorithms are tested in the virtual environment,and the test results are evaluated both by the proposed method and by human observation.The results show that the results of the proposed method are consistent with the subjective feelings of humans;additionally,it can be applied to scenario-based tests and the verification process of an automated driving system.
基金The authors would like to thank the Natural Science Foundation of China(U1764261,51422812)the Shanghai Science and technology project of international cooperation(16510711400)for supporting this research.
文摘Purpose–It would take billions of miles’field road testing to demonstrate that the safety of automated vehicle is statistically significantly higher than the safety of human driving because that the accident of vehicle is rare event.Design/methodology/approach–This paper proposes an accelerated testing method for automated vehicles safety evaluation based on improved importance sampling(IS)techniques.Taking the typical cut-in scenario as example,the proposed method extracts the critical variables of the scenario.Then,the distributions of critical variables are statistically fitted.The genetic algorithm is used to calculate the optimal IS parameters by solving an optimization problem.Considering the error of distribution fitting,the result is modified so that it can accurately reveal the safety benefits of automated vehicles in the real world.Findings–Based on the naturalistic driving data in Shanghai,the proposed method is validated by simulation.The result shows that compared with the existing methods,the proposed method improves the test efficiency by 35 per cent,and the accuracy of accelerated test result is increased by 23 per cent.Originality/value–This paper has three contributions.First,the genetic algorithm is used to calculate IS parameters,which improves the efficiency of test.Second,the result of test is modified by the error correction parameter,which improves the accuracy of test result.Third,typical high-risk cut-in scenarios in China are analyzed,and the proposed method is validated by simulation.
基金supported by the Social Science Foundation of China(Grant No.:12CTQ005)
文摘Purpose:Based on the understanding of the characteristics of mobile services(m-services)provided by libraries,we attempt to develop a multidimensional and hierarchical model and a specifically designed measurement scale for the assessment of libraries' m-service quality.Design/methodology/approach:The research has been conducted sequentially in two stages.At the first stage,a multidimensional and hierarchical model of library m-service quality and a measurement scale are developed through literature review and focus group interviews.At the second stage the model is tested using partial disaggregation technique for an analysis of the data collected from over 400 library users in 3 Chinese universities.Findings:The proposed model is shown to fit the data well.The empirical analysis provides strong support for the model,which includes 4 dimensions(service environment,service interaction,information control and service effect) and 12 corresponding sub-dimensions.Research limitations:The sample size needs to be enlarged and the user types need to be expanded to make the sample more representative.Practical implications:The study provides a conceptual framework and measurement tool that can help library managers understand the users' needs in the context of mobile network environment,and boost their libraries' competitiveness by carrying out better services to meet the user demands.Originality/value:The proposed model and measurement scale specifically designed for the assessment of libraries' m-service quality fully reflect the hierarchical structure of libraries' m-service quality.In addition,by using partial disaggregation technique for model testing,we believe our research can serve as a practical reference to those engaged in the development and examination of a multidimensional and hierarchical model.
文摘Automated writing evaluation (AWE) technology is being adopted in classrooms in China and the USA. This paper presents the results of a case study of the application of AWE in Dalian, China. The quasi-experimental study was conducted in 2010 in Chinese middle school English language classrooms. An effect size of 0.30 was found in favor of the experimental group using AWE as an online formative assessment. Student survey responses and teacher observations are presented as convergent evidence to illustrate the impact AWE technology has on teachers, students, and student achievement in English writing.
基金supported by the National Key Research and Development Program of China under Grant No.2020YFA0709803the National Natural Science Foundation of China under Grant Nos.61902407 and 61802416.
文摘Transcendental functions are important functions in various high performance computing applications.Because these functions are time-consuming and the vector units on modern processors become wider and more scalable,there is an increasing demand for developing and using vector transcendental functions in such performance-hungry applications.However,the performance of vector transcendental functions as well as their accuracy remain largely unexplored.To address this issue,we perform a comprehensive evaluation of two Single Instruction Multiple Data(SIMD)intrinsics based vector math libraries on two ARMv8 compatible processors.We first design dedicated microbenchmarks that help us understand the performance behavior of vector transcendental functions.Then,we propose a piecewise,quantitative evaluation method with a set of meaningful metrics to quantify their performance and accuracy.By analyzing the experimental results,we find that vector transcendental functions achieve good performance speedups thanks to the vectorization and algorithm optimization.Moreover,vector math libraries can replace scalar math libraries in many cases because of improved performance and satisfactory accuracy.Despite this,the implementations of vector math libraries are still immature,which means further optimization is needed,and our evaluation reveals feasible optimization solutions for future vector math libraries.
基金supported by the Fund for Philosophy and Social Science,Ministry of Education of China (Grant No.03BTQ023)
文摘This paper gives an overview of the history and the present status of Chinese library and information science journals, and introduces the operation and management of Chinese library and information science journals by taking Journal of Library Science In China, Library and Information Service, Journal of Academic Libraries, and Journal of Information Science as examples. Besides, six suggestions are given for the future development of Chinese library and information science journals.
文摘IEC 61850 allows the replacement of conventional wire based systems to communication based system with local area network. Since new engineering processes are introduced in substation, the specifications and tools are required combined with new skills across the substation engineering. In order to construct the IEC 61850 based substation automation system, the IED engineering tools as an engineering means are necessary to cope with the substation automation by full digital devices in the real power systems. Compared the configuration tools provided IEDs vendors which are able to support the operation and communication analysis between IEDs, the XML based IED integration engineering tools as substation engineering tools which are developed can build, edit and save the ICD, SCL and CID files. Particularly, the substation engineering tools are possible to apply the IEC 61850 based IEDs for the engineering process of systems and also provide the reliability and efficiency of system for the utilities and manufacturers. The developed tools are applied to test and create the SCL files for domestic-made IEDs, and then compared with the conventional tools. The reliability including accuracy of results was proved.
文摘This paper presents an overview of research studies made at the COGIT laboratory of IGN France in the fields of generalisation and symbol specification,particularly considering evaluation aspects.It then discusses how generalisation and symbol specification interact.Finally it explores some possible adaptations of the presented works in generalisation and symbol specification to cartography in the context of crisis management.