Search

This paper discusses the process of transitioning to a UVM design verification environment for current VMM users. Differences and parallels between the two verification methodologies are presented to show that updating to UVM is mostly a matter of learning a new DV syntax. Topics include UVM phases, agents, TLM ports, configuration, sequences, and register models. Best practices and reference resources are highlighted to make the transition from VMM to UVM as painless as possible.

“Core literacy” is one of the hot button issues in global education research since the new century. The article conducts visual analysis to sort out the current status of “core literacy” research in China. It is found that the number of research results on domestic core literacy continues to rise rapidly,but there are some problems such as the number of applied research is small,imperfect evaluation system.In response to these problems, we propose to strengthen applied research on core literacy, and improve the evaluation system.

Abstract Background Salmonella infection is a serious concern in poultry farming because of its impact on both economic loss and human health. Chicks aged 20 days or less are extremely vulnerable to Salmonella pullorum (SP), which causes high mortality. Furthermore, an outbreak of SP infection can result in a considerable number of carriers that become potential transmitters, thus, threatening fellow chickens and offspring. In this study, we conducted a genome-wide association study (GWAS) to detect potential genomic loci and candidate genes associated with two disease-related traits: death and carrier state. Methods In total, 818 birds were phenotyped for death and carrier state traits through a SP challenge experiment, and genotyped by using a 600 K high-density single nucleotide polymorphism (SNP) array. A GWAS using a single-marker linear mixed model was performed with the GEMMA software. RNA-sequencing on spleen samples was carried out for further identification of candidate genes. Results We detected a region that was located between 33.48 and 34.03 Mb on chicken chromosome 4 and was significantly associated with death, with the most significant SNP (rs314483802) accounting for 11.73% of the phenotypic variation. Two candidate genes, FBXW7 and LRBA, were identified as the most promising genes involved in resistance to SP. The expression levels of FBXW7 and LRBA were significantly downregulated after SP infection, which suggests that they may have a role in controlling SP infections. Two other significant loci and related genes (TRAF3 and gga-mir-489) were associated with carrier state, which indicates a different polygenic determinism compared with that of death. In addition, genomic inbreeding coefficients showed no correlation with resistance to SP within each breed in our study. Conclusions The results of this GWAS with a carefully organized Salmonella challenge experiment represent an important milestone in understanding the genetics of infectious disease resistance, offer a theoretical basis for breeding SP-resistant chicken lines using marker-assisted selection, and provide new information for salmonellosis research in humans and other animals.

This paper reports on a mixed method study that examined the motivation of 121 students in a 1-year intensive language course in German or French at a Chinese university. Drawing on Dörnyei’s (2009) theory of the L2 Motivational Self System (L2MSS), a survey was conducted to explore their motivation to learn German or French. Regression analyses revealed that learning experience and promotion-focused instrumentality were the predictors for the German learners’ intended learning effort, while ideal L2 self was the predictor for the French learners’ motivation. Furthermore, ought-to self, culture/community interest and prevention-focused instrumentality were excluded in both regression models. In addition, 17 participants’ qualitative data in the interviews suggested that most of them had lower expectations for the value of German or French than for the value of English in improving one’s employability. Instead, they were much more oriented to learn and appreciate the cultural values of these languages. The results provided insight into the complexity of motivation to learn Languages Other than English (LOTEs) in the university context in China, and suggested future direction for research on LOTE learning motivation

The rise of academic library involvement in research data management has presented numerous challenges for academic libraries. While libraries and archives have always had collection development policies that defined what they would or would not collect, policies for selecting research data for preservation are in their infancy. This study surveyed and interviewed academic researchers. From this research an initial list of eight types of data were identified as research data that should not be preserved and made public by academic libraries and archives. These include research data that are sensitive or confidential, proprietary, easily replicable, do not have good metadata, are test, pilot or intermediate data, are bad or junk data, data that cannot be used by others for a variety of reasons, and older data that are not used and have no obvious cultural or historical value. Conclusions drawn from the study will help librarians and archivists make informed decisions about which types of research data are worth keeping.

Systematic review searching is becoming an increasing part of the day-to-day work of health librarians. The University of Alberta John W. Scott Health Sciences Library offers a monthly three-hour “Introduction to Systematic Review Searching” workshop to researchers at the University of Alberta. Over the four years that the program has been offered, participants have completed evaluations at the end of each session. Based on these evaluations, the content and the delivery of the workshop have been refined, and the value of the sessions to the participants has been affirmed.

Les travaux portant sur les entrepreneurs taïwanais qui vivent et investissent en Chine continentale (taishang) n'attirent l'at- tention que depuis peu de temps. Les taishang ont été définis comme une « communauté relationnelle » (linkage community), à savoir une communauté de migrants qui crée, par ses activités économiques, son influence politique et ses expériences sociales, un lien entre Taiwan et la Chine continentale. Dans ce contexte, cet article s'efforce de déterminer comment et dans quelle mesure les taishang contribuent aux relations sino-taïwanaises et au développement des politiques sur les deux rives du détroit. Il revisite le champ des études sur les taishang (taishang studies), fait le point sur les connaissances produites à ce jour et explore les futures orientations de la recherche dans ce domaine. [ABSTRACT FROM AUTHOR]

Urban space greening is of great significance for improving urban underground space environment. At present, the design of urban underground space in China mostly involves the design of underground space. However, very rare research has been conducted on the design of semi-underground space greening to date. Through case study and survey research, this study focuses on the design of domestic semi-underground space, the preliminary semi-underground space greening design scheme, and the concrete implementation process of the semi-underground public space green wall greening design. The current study employs the green wall project in a semi-underground space environment as an example to illustrate the application of greening design in urban semi-underground space, and provide guidance for future ecological design of semiunderground public space.

In order to analyze the whole process of fatigue behaviours of reinforced concrete beams, an equivalent static analysis method is proposed in this paper. Firstly, the constitutive models based on the degradation of stiffness and strength and the accumulation of residual strain of concrete and reinforcement subjected to fatigue loadings are deduced and established by coupling the uniaxial constitutive model of concrete and the ideal elastic-plastic model of reinforcement under static load. Secondly, based on the similarity of concrete failure under static load and fatigue load, the equivalent relationship between fatigue and static analysis can be constructed by using the concrete residual strain as the equivalent parameter. On this basis, an equivalent static method for the analysis of fatigue behavior of reinforced concrete beam is proposed. At last, three reinforced concrete beams with rectangular section are tested, and the fatigue behaviours are analyzed by the method proposed in this paper. The numerical simulation results are compared with the field test data. The result shows that the numerical simulation results are in good agreement with the experimental results, which verifies the reliability and practicability of the method.

This paper first introduces the basic theory of CFD method, including basic control equations, finite volume method, control equation solving algorithm and turbulence model selection. Second, based on OpenFOAM, an open-source fluid mechanics software, a numerical simulation method of vertical axis tidal turbine was proposed by using k-ω SST turbulence model and PIMPLE algorithm. The hydrodynamic characteristics of the vertical axis turbine were studied, and the calculation results were compared with experiments. The higher consistency proves the feasibility of the numerical simulation method proposed in this paper. Finally, the influence of inlet turbulence on numerical simulation was explored, and a set of effective CFD simulation strategies was concluded, which provided a valuable reference for future CFD simulation and research on vertical axis tidal turbines.

In this paper, a new method for the numerical simulation of structural model is proposed，which is employed to analyze the pounding response of caissons subjected to storm surge loads．According to the new method，the simulation process is divided into two steps. Firstly, the wave propagation caused by storm surge is simulated by the wave-generating tool of Flow-3D, and recording the wave force time history on the caisson. Secondly，a refined 3D finite element model of caisson is established，and the wave force load is applied on the caisson according to the measured data in the first step for further analysis of structural pounding response using the explicit solver of LSDYNA. The whole simulation of pounding response of a caisson caused by “Sha Lijia” typhoon is carried out. The results show that the different wave direction results in the different angle caisson collisions, which will lead to different failure mode of caisson, and when the angle of 60 between wave direction and front/back wall is simulated, the numerical pounding failure mode is consistent with the situation.

In order to overcome the shortcomings of the physical test conditions, research and development of the spacecraft container simulation verification platform to enhance the level of digital development of the spacecraft container. Based on the theory of rigid-flexible coupling dynamics, the dynamic model of the box system is established. The dynamic external excitation is determined by obtaining the track spectrum and identifying the condition of the line. Based on the computational fluid dynamics, the thermal model of the spacecraft container is established, and the container is realized by simulating the natural convection and air conditioning control spacecraft container thermal simulation. Using modular design, C/S architecture and navigation process to achieve the simulation platform architecture versatility, ease of maintenance and scalability and other needs. Finally, the mechanics and thermal performance verification of the spacecraft container and physical test are carried out. The results show that the simulation results of the box dynamic system and the thermal system are in good agreement with the experimental results.

In order to improve the computational efficiency during the simulation and optimization process for the composite structure, the approximate analysis method was studied. The approximate analysis model was established for the composite material barrel by using BP neural network model. According to the network initialization and training, the model was used to replace the finite element analysis in the optimization process. The results showed that the BP neural network approximate model was effective and reliable, and the optimization efficiency was improved obviously.

The metal housing is typically jointed with plastic fittings by conventional gluing method or embedding injection molding to produce this type of devices. We propose to improve this new technique with more practical approach. In plastic-aluminum substrate dissimilar joining, the 5052 aluminum plate coarsening process was performed to increase the porosity of the permeable dissimilar phase. The ABS polymer plus carbonized rice husk powder was later induced or deposited on the microstructure to improve the bonding effect. The plastic -aluminum substrate dissimilar joining is completed by the final step of ultrasonic welding. The finished substrate will be tested on the properties of tensile strength to ensure its quality. According to the simulation analysis and measuring results, the maximum temperature between the interface of ABS polymer and 5052 aluminum alloy is about 400~450 °C during ultrasonic welding, which can make the surface of ABS polymer to be melted. Furthermore, after drilling micro-hole array and covering ABS plus carbonized rice husk powder, the 5052 aluminum alloy shows better joining effect with ABS polymer sheet by ultrasonic welding. This improved approach does not require mold or injection molding machinery to produce the high quality plastic -aluminum bonding parts.

PTT (Precipitate-Temperature-Time) curve of X80 pipeline steel was obtained by strain relaxation method. The evolution of precipitate particle size during holding process was simulated combined with kinetic calculation, and observed using TEM in the samples of industrial produced X80 steel with different holding time. It is revealed that the shape of PPT curve is typical “C” type with the nose temperature of 900°C and incubation time of about 5s. Kinetic calculation results show that the average particle size increases obviously with the increment of holding time. Meantime, after holding for 90s at 950°C, observation of industrial produced X80 steel reveals that the proportion of precipitate particles larger than 60nm increases dramatically, which basically agreed with the calculation results. Dissolved Nb can effectively reduce grain boundary mobility and retard recrystallization by solute drag effect. Therefore, it is strongly recommended to shorten the holding time without increasing holding temperature in industrial production, so that to reduce precipitate of Nb at high temperature, and increase the strength and toughness of steel.

No ano passado, os jornais anunciaram que ilustres sinólogos americanos proferiram conferências sôbre a política do chá e dos cavalos desenvolvida pela dinastia Ming .