Application of the Just-in-Time Teaching(JiTT)Model in Bilingual Courses of Chinese-Foreign Cooperative Education

The teaching abilities of bilingual teachers have emerged as one of the major bottlenecks hindering the further development of Chinese-foreign cooperative education projects.Implementing the JiTT(Just-in-Time Teaching)model in bilingual courses of Chinese-foreign cooperative education can effectively integrate information technology with traditional classroom teaching.This integration enhances teaching quality and effectiveness,encourages university instructors to improve their diverse and collective capabilities,promotes digital development,and contributes to the enhancement of students’learning abilities and overall improvement.

C-CORE:Clustering by Code Representation to Prioritize Test Cases in Compiler Testing

Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount importance in the emerging field of edge AI.One widely used testing method for this purpose is fuzz testing,which detects bugs by inputting random test cases into the target program.However,this process consumes significant time and resources.To improve the efficiency of compiler fuzz testing,it is common practice to utilize test case prioritization techniques.Some researchers use machine learning to predict the code coverage of test cases,aiming to maximize the test capability for the target compiler by increasing the overall predicted coverage of the test cases.Nevertheless,these methods can only forecast the code coverage of the compiler at a specific optimization level,potentially missing many optimization-related bugs.In this paper,we introduce C-CORE(short for Clustering by Code Representation),the first framework to prioritize test cases according to their code representations,which are derived directly from the source codes.This approach avoids being limited to specific compiler states and extends to a broader range of compiler bugs.Specifically,we first train a scaled pre-trained programming language model to capture as many common features as possible from the test cases generated by a fuzzer.Using this pre-trained model,we then train two downstream models:one for predicting the likelihood of triggering a bug and another for identifying code representations associated with bugs.Subsequently,we cluster the test cases according to their code representations and select the highest-scoring test case from each cluster as the high-quality test case.This reduction in redundant testing cases leads to time savings.Comprehensive evaluation results reveal that code representations are better at distinguishing test capabilities,and C-CORE significantly enhances testing efficiency.Across four datasets,C-CORE increases the average of the percentage of faults detected(APFD)value by 0.16 to 0.31 and reduces test time by over 50% in 46% of cases.When compared to the best results from approaches using predicted code coverage,C-CORE improves the APFD value by 1.1% to 12.3% and achieves an overall time-saving of 159.1%.

基于互信息和Just-in-Time优化的回声状态网络

为了提高回声状态网络(ESN)的适应性,提出基于互信息(MI)和Just-in-Time(JIT)的优化方法,对ESN的输入伸缩参数以及输出层进行优化,所得网络称为MI-JIT-ESN.ESN的优化方法分为两部分:一是基于网络输入与输出之间的互信息,对网络的多个输入伸缩参数进行调整;二是基于JIT优化的局部输出层,对ESN的隐层输出数据进行局部重新建模,从而提升ESN输出层的回归拟合精度.将MI-JIT-ESN应用于青霉素补料分批发酵过程建模.结果显示,MI-JIT优化方法能提高模型的适应性,并优于其他比较方法.

Compilation Mode for the Integrated Planning of Lake Scenic Areas——A Case Study of the Longhu Lake Scenic Area in the Taihang Mountains

In view of lake scenic areas with abundant tourist resources but less-developed economy,contradictions between the urgency of its tourist resource development and complexity of urban-rural planning compilation were analyzed,and also limitations summarized as insufficient time and fund.Statutory planning contents included in the integrated compilation system were elaborated,and compilation of the integrated planning for the Longhe Lake Scenic Area in the Taihang Mountains was taken for example to introduce planning concepts of the compilation technical system.Considering characteristics of the study area,"regionality" was stressed as the foundation of planning compilation,concise,convenient and practical planning compilation contents were advocated and further explained from the perspectives of compiling by layer and category.In view of this,it is necessary to apply integrated compilation mode under certain circumstances,so as to provide a new approach for the planning compilation of other regions in China and enhance economic and social development of local areas.

Calibration of soft sensor by using Just-in-time modeling and Ada Boost learning method

Soft sensor is an efficacious solution to predict the hard-to-measure target variable by using the process variables.In practical application scenarios, however, the feedback cycle of target variable is usually larger than that of the process variables, which causes the deficiency of prediction errors. Consequently soft sensor cannot be calibrated timely and deteriorates. We proposed a soft sensor calibration method by using Just-in-time modeling and Ada Boost learning method. A moving window consisting of a primary part and a secondary part is constructed.The primary part is made of history data from certain number of constant feedback cycles of target variable and the secondary part includes some coarse target values estimated initially by Just-in-time modeling during the latest feedback cycle of target variable. The data set of the whole moving window is processed by Ada Boost learning method to build an auxiliary estimation model and then target variable values of the latest corresponding feedback cycle are reestimated. Finally the soft sensor model is calibrated by using the reestimated target variable values when the target feedback is unavailable; otherwise using the feedback value. The feasibility and effectiveness of the proposed calibration method is tested and verified through a series of comparative experiments on a pH neutralization facility in our laboratory.

Just-in-time learning based integrated MPC-ILC control for batch processes

Considering the two-dimension(2 D) characteristic and the unknown optimal trajectory problem of the batch processes, an integrated model predictive control-iterative learning control(MPC-ILC) for batch processes is proposed in this paper. Firstly, the batch-axis information and time-axis information are combined into one quadratic performance index. It implies the integration of ILC and MPC algorithm idea, which leads to superior tracking performance and better robustness against disturbance and uncertainty. To address the problem of the unknown optimal trajectory, both time-varying prediction horizon and end product quality control are employed. Moreover, an integrated 2 D just-in-time learning(JITL) model is used to improve the predictive accuracy. Furthermore, rigorous description and proof are presented to prove the convergence and tracking performance of the proposed MPC-ILC strategy. The simulation results show the effectiveness of the proposed method.

Optimization of Map Compilation for County-level Land Consolidation Planning

Based on practice of the land consolidation planning in Changfeng County of Hefei City,taking full account of reality of land consolidation and its significance as livelihood project,we analyzed map compilation procedure.In combination with actual effect of land consolidation,we carried out consolidation assessment of same elements by overall planning method,and optimized the map compilation for county-level land consolidation planning.Results show that planning map of land consolidation potential is to be improved and legends should be merged.After consolidation of legends,it is convenient to apply in potential planning map and solve complicated problem of reading maps.

A Compilation of the Geo-Mechanical Properties of Rocks in Southern Ontario and the Neighbouring Regions

The available measurements of the geo-mechanical properties of rocks in Southern Ontario and the neighbouring regions (New York, Ohio, Michigan, Indiana, Illinois, Wisconsin, and Minnesota) are summarized and presented. These measurements were compiled from available published data in the relevant literature and also from data that were collected from major underground projects in these regions. The compiled data are presented in three categories: measured in-situ stresses in different rock formations;calculated strength, stiffness and deformation including time-dependent deformation properties;and the measured dynamic properties of intact rock specimens from different rock formations in Southern Ontario and the neighbouring regions. The data presented in this paper can be used as a resource for preliminary evaluation of the geomechanical properties of the rocks in these regions. The presented geo-mechanical properties were generally obtained from in-situ measurements and from laboratory tests that were conducted on intact rock specimens from freshly excavated rock samples. Moreover, the time-dependent deformation properties of rocks in these regions were obtained from laboratory tests that were performed on intact rock specimens submerged in water. However, the influence of drilling fluids such as bentonite slurry and synthetic polymers solution, on the geo-mechanical properties of rocks is not evident and needs to be investigated.

A New Efficient Obstacle Avoidance Control Method for Cars Based on Big Data and Just-in-Time Modeling

This paper provides a new obstacle avoidance control method for cars based on big data and just-in-time modeling. Just-in-time modeling is a new kind of data-driven control technique in the age of big data and is used in various real systems. The main property of the proposed method is that a gain and a control time which are parameters in the control input to avoid an encountered obstacle are computed from a database which includes a lot of driving data in various situations. Especially, the important advantage of the method is small computation time, and hence it realizes real-time obstacle avoidance control for cars. From some numerical simulations, it is showed that the new control method can make the car avoid various obstacles efficiently in comparison with the previous method.

Minimizing Distance Using Just-in-Time Teaching and Flipped Classroom

JiTT （Just-in-Time Teaching） and flipped classroom are two innovations in academia where high-tech and no-tech resources are blended to encourage more interaction and creativity among students. These two methods also help minimize the dependency on face-to-face lecture and make the class time more creative and effective. This study is the very first attempt of implementing these strategies in Bangladesh. It explores the prospect of JiTT and flipped classroom at tertiary level in Bangladesh. In the first part of this paper, recent studies on JiTT and flipped classroom are discussed to shed light on their effectiveness and problems. The latter part explains the data and research findings. Before collecting the data, JiTT and flipped classroom were used with 33 students of undergraduate level who were students of＂ELT Methodology＂ course. After the implementation of the methods, a questionnaire survey was conducted to collect data regarding their response to these two methods. The study reveals that JiTT and flipped classroom help cover more topics in a short time while enhancing students＇ interaction and participation. They make students come to the class prepared and reflect on their learning. Teachers can understand students need better and provide required feedback. The overall interaction among students and teachers can be improved using JiTT and flipped classroom since everyone is clear about each other＇s existing knowledge and learning objectives.

Supervised local and non-local structure preserving projections with application to just-in-time learning for adaptive soft sensor

In soft sensor field, just-in-time learning(JITL) is an effective approach to model nonlinear and time varying processes. However, most similarity criterions in JITL are computed in the input space only while ignoring important output information, which may lead to inaccurate construction of relevant sample set. To solve this problem, we propose a novel supervised feature extraction method suitable for the regression problem called supervised local and non-local structure preserving projections(SLNSPP), in which both input and output information can be easily and effectively incorporated through a newly defined similarity index. The SLNSPP can not only retain the virtue of locality preserving projections but also prevent faraway points from nearing after projection,which endues SLNSPP with powerful discriminating ability. Such two good properties of SLNSPP are desirable for JITL as they are expected to enhance the accuracy of similar sample selection. Consequently, we present a SLNSPP-JITL framework for developing adaptive soft sensor, including a sparse learning strategy to limit the scale and update the frequency of database. Finally, two case studies are conducted with benchmark datasets to evaluate the performance of the proposed schemes. The results demonstrate the effectiveness of LNSPP and SLNSPP.

Online Batch Process Monitoring Based on Just-in-Time Learning and Independent Component Analysis

A new method was developed for batch process monitoring in this paper. In the devdopad method, just-in-time learning （ JITL ） and independent component analysis （ICA） were integrated to build JITL-ICA monitoring scheme. JITL was employed to tackle with the characteristics of batch process such as inherent time- varying dynamics, multiple operating phases, and especially the case of uneven length stage. According to new coming test data, the most correlated segmentation was obtained from batch-wise unfolded training data by JITL. Then, ICA served as the principal components extraction approach. Therefore, the non.Gaussian distributed data can also be addressed under this modeling framework. The effectiveness and superiority of JITL-ICA based monitoring method was demonstrated by fed-batch penicillin fermentation.

A“Projectized”Approach to EST Translation Textbook Compilation

Setting out from the shortfalls of present EST translation textbooks,i.e.,similar structure and lacking diversity,we survey teachers and students of EST translation,and find problems regarding example choosing and lack of emphasis on CAT technology.Based on translation theory and translation talent training theory,a new“projectized”approach to compiling EST translation textbooks is put forward,which advocates that translation textbooks construct an environment with an initiator,consignor,original writer,translator,user,and receiver.The approach is expected to promote the practical value of EST translation textbooks and empower them with the ability required by the translation industry.

Compilation Principles and Methods of China’s First Mongolian Standard in Meteorological Industry

Mongolian Terms Commonly Used in Meteorological Services that was issued by the China Meteorological Administration is China s first traditional Mongolian standard in meteorological industry. In the process of formulation, the compilation unit fully complied with the principles of scientificity, practicability, universality and versatility, and used literal translation, free translation, and the combination of literal translation and free translation to translate and compile 71 mongolian terms commonly used in meteorological services. The standard fills the blank of standardization construction of basic traditional Mongolian language in the meteorological industry of China.

Systematics, species diversity and new taxa of mesozooplankton in the West Pacific Ocean and its marginal seas: a brief compilation of monographs in China

Research and protection of biodiversity is generally started with species recognizing guided by achievement of cataloguing and illustration obtained through in situ investigation data accumulation and literature learning. Facing the shortage of taxonomist, it is getting harder to maintain important specimen collections and handle loans. The West Pacific Ocean has been operating as a center of the origin of global marine biodiversity result of the richest species diversity of marine taxa found in these waters. The present work is a compilation and summary of systematics, species diversity and new taxa of mesozooplankton major group known in West Pacific Ocean and its marginal seas （0°-45°N, 105°-152°E） according to 6 203 mesozooplankton samples acquired from 701 stations during 1965 and 2008. A total of 2 657 species belonging to 686 genera and 206 families of 10 mesozooplankton groups have been found through taxonomic identification and document consulting. In details, 697 species from 251 genera of 99 families belong to the Medusozoa, 59 species from 22 genera of 12 families to the Ctenophora, 85 species from 36 genera of 14 families to the pelagic Mollusca （Pteropoda and Heteropoda）, 416 species from 91 genera of 8 families to the Ostracoda, 908 species from 156 genera of 51 families to the Copepoda, 202 species from 60 genera of 4 families to the Mysidacea, 56 species from 8 genera of 2 families to the Euphausiacea, 105 species from 23 genera of 8 families to the Decapoda, 48 species from 13 genera of 5 families to the Chaetognatha and 81 species from 26 genera of 5 families to the Tunicata. The dominant species of each group are enumerated. Moreover, 2 new species of Medusozoa, Tubulariidae, Ectopleura, 1 new species of Medusozoa, Protiaridae, Halitiarella, 1 new genus and 1 new species of Medusozoa, Corymorphidae are established. An amount of 806 species are expanded with an increase of 43.5% on the basis of 1 852 species recorded before 2008, including 1.4% increase from tropical sea around equator, 4.0% from the frigid water in high latitude region, and 3.0% of bathypelagic-associated waters. The authors also summarized future prospects into five major areas in marine mesozooplankton research in China. Such information of qualitative phyletic classification could be of high relevance to studies on biodiversity and biogeography of marine mesozooplankton, especially for monographs contributed to make an overall and systematic conclusion on the species of marine life in China after 2008.

Compilation and Analysis Method for Computer Aided Pattern Design System Based on Fully-Fashioned Computerized Flat Knitting Machine

The knitting industry CAD/CAM system＇s development needs a solution of computer representation of the designed objects. One of them is a transformation of knitting rows and stitches form knitting pattern and its automatic analysis is to control data from the knitting design data. A method of the pattern CAD system including the analyzing and the compiling of the pattern data was developed in this paper. By rasterizing the pattern map, the drafted pattern could be compiled into knitting row data and stitches. The storage format of knitting rows data and stitches data could be defined by analyzing the motion of computerized fiat knitting machine. By reassembling the control data, it could be analyzed into the execute data of the controller in computerized fiat knitting machine. This method mainly focused on the weak areas of multi-needle-bed technology and fully-fashioned knitting technology in inland and could be applied to most of control systems in the master-slave mode. The knitting row data and pattern row data in a ＂ ＊. ptn＂ format file were integrated. Giving a corresponding analytic calculation process of control data and realizing independent development of the upper machine and the lower machine, the final knitting control data not only have low computation and transmission cost but also have fast transfer speeds.

The Differences between the 3rd Edition and the 4th Edition of Oxford Advanced Learner's English-Chinese Dictionary in Compilation

This paper is to analyze the differences between the 3rd edition and 4th edition of Oxford Advanced Learner's English- Chinese Dictionary (hereafter referred to as ALECD3 and ALECD4). By making comparison between the two dictionaries in the learner's and compiler's perspectives, it high-lights the priority of the 4th edition in content and compilation. Following a brief introduction in Part 1, Part 2 examines the innovations the 3rd edition has made in verb-pattern scheme, compounds, entries, examples, adjectives and appendices from the learner's perspective. Part3 holds a theoretical discussion of prescription and description in the 4th edition.

Compilation of serial maps on karst geology of China and Southeast Asia

The compilation of serial maps of karst geology in China and Southeast Asia is a project under the 'One Belt One Road' geological survey plan granted by China Geological Survey. This paper summarized the research trend of geoscientific mapping in China and Southeast Asia and introduced the significance, contents, technical routes, operating methods and progress of the project. Through bilateral and multilateral cooperation, this project builded an international cooperation platform for mapping and completes the preliminary compilation of related karst geological maps in China and Southeast Asia, thus filling up the blank of karst geological maps in this region.

Crosstalk Aware Register Reallocation Method for Green Compilation

As nanoscale processing becomes the mainstream in IC manufacturing,the crosstalk problem rises as a serious challenge,not only for energy-efficiency and performance but also for security requirements.In this paper,we propose a register reallocation algorithm called Nearby Access based Register Reallocation(NARR)to reduce the crosstalk between instruction buses.The method includes construction of the software Nearby Access Aware Interference Graph(NAIG),using data flow analysis at assembly level,and reallocation of the registers to the software.Experimental results show that the crosstalk could be dramatically minimized,especially for 4C crosstalk,with a reduction of 80.84%in average,and up to 99.99%at most.