|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | A seamless operation mode transition control strategy for a microgrid based on master-slave control显示文摘This paper proposes a control strategy that can realize seamless microgrid operation mode transition between grid-connected operation and stand-alone operation.The scenario of a microgrid based on master-slave control is considered,where the master distributed generation(DG) unit operates in different control schemes in different microgrid operation modes,while other slave DG units operate with power/current control all the time.The proposed control strategy focuses on the master DG unit,and contains the control state/reference compensation algorithm and separation switch control logic.The proposed method can effectively reduce the impact on the critical loads and DG units caused by microgrid operation mode transitions. | WANG ChengShan LI XiaLin GUO Li LI YunWei | 2012 | Science China(Technological Sciences)2012,55,6: | 45 |
| 2 | Overview of control,integration and energy management of microgrids显示文摘Microgrids are being developed as a building block for future smart grid system.Key issues for the control and operation of microgrid include integration technologies and energy management schemes.This paper presents an overview of grid integration and energy management strategies of microgrids.It covers a review of power electronics interface topologies for different types of distributed generation(DG)units in a microgrid,a discussion of energy management strategies,as well as the DG interfacing converter control schemes.Considering the intermittent nature of many renewable energy based DG units,the ancillary services of DGs using the available interfacing converter rating are also discussed in the paper. | Yunwei LI Farzam NEJABATKHAH | 2014 | Journal of Modern Power Systems and Clean Energy2014,2,3: | 34 |
| 3 | A new interpretation of the tectonic setting and age of meta-basic volcanics in the Ondor Sum Group, Inner Mongolia显示文摘The Ondor Sum Group in the central Inner Mongolia is mainly composed of meta-basic volcanics intercalated with ferruginous quartzite and quartz schist,and has been interpreted as slices of oceanic crust or an ophiolite suite of the Early Paleozoic or much older ages.This paper presents new LA-ICP-MS zircon U-Pb dating and geochemical data for the meta-basic volcanics.The results show that zircons in the meta-basic volcanics were derived from complicated sources,most of which may be captured by basic magma from the country rocks or other sources.They yield a large age range from the Late Archean to Early Mesozoic with the youngest age group between 246 and 261 Ma,constraining the protolith of the meta-basic volcanics formed in the Late Permian to Early Triassic.The meta-basic volcanics have an affinity to E-MORB in geochemistry,and also a similarity toward OIB,representing a tectonic setting of limited intra-continental ocean basin.This limited basin might have been related to the continuous extension of the area since the Early Permian and finally closed in the Early Mesozoic. | CHU Hang ZHANG JinRui WEI ChunJing WANG HuiChu REN YunWei | 2013 | Chinese Science Bulletin2013,58,28: | 25 |
| 4 | PM_(2.5) and PM_(10-2.5) chemical composition and source apportionment near a Hong Kong roadway显示文摘Twenty-four-hour PM_(2.5) and PM_(10) samples were collected simultaneously at a highly trafficked roadside site in Hong Kong every sixth day from October 2004 to September 2005.The mass concentrations of PM_(2.5),PM_(10-2.5)(defined as PM_(10)- PM_(2.5)),organic carbon(OC),elemental carbon(EC),water-soluble ions,and up to 25 elements were determined.Investigation of the chemical compositions and potential sources revealed distinct differences between PM_(2.5) and PM_(10-2.5).The annual average mass concentrations were 55.5±25.5 and 25.9±15.7 ug/m^3 for PM_(2.5) and PM_(10-2.5),respectively.EC,OM(OM =OC×1.4),and ammonium sulfate comprised over ~82% of PM_(2.5),accounting for^29%,~27%,and ~25%,respectively,of the PM_(2.5) mass.Low OC/EC ratios(less than 1) for PM_(2.5) suggested that fresh diesel-engine exhaust was a major contributor.Seven sources were resolved for PM_(2.5) by positive matrix factorization(PMF) model,including vehicle emissions(~29%),secondary inorganic aerosols(~27%),waste incinerator/biomass burning(~23%),residual oil combustion(~10%),marine aerosols(~6%),industrial exhaust(~4%),and resuspended road dust(~1%).EC and OM comprised only ~19%of PM_(10-2.5).The average OC/EC ratio of PM_(10-2.5) was 7.8±14.2,suggesting that sources other than vehicular exhaust were important contributors.The sources for PM_(10-2.5) determined by the PMF model included ~20%traffic-generated resuspension(e.g.,tire dust/brake linear/petrol evaporation),~17% locally resuspended road dust,~17% marine aerosols,~12% secondary aerosols/field burning,and ~11%vehicle emissions. | Yan Cheng Shuncheng Lee Zhaolin Gu Kinfai Ho Yunwei Zhang Yu Huang Judith C.Chow John G.Watson Junji Cao Renjian Zhang | 2015 | Particuology2015,13,1: | 14 |
| 5 | TOA-Based NLOS Error Mitigation Algorithm for 3D Indoor Localization显示文摘In the process of indoor localization,the existence of the non-line of sight(NLOS)error will greatly reduce the localization accuracy.To reduce the impact of this error,a 3 dimensional(3D)indoor localization algorithm named LMR(LLS-Minimum-Residual)is proposed in this paper.We first estimate the NLOS error and use it to correct the measurement distances,and then calculate the target location with linear least squares(LLS)solution.The final nodes location can be obtained accurately by NLOS error mitigation.Our algorithm can work efficiently in both indoor 2D and 3D environments.The simulation results show that the proposed algorithm has better performance than traditional algorithms and it can significantly improve the localization accuracy. | Weigang Wang Yunwei Zhang Longbin Tian | 2020 | China Communications2020,17,1: | 13 |
| 6 | Stress Responses to Rapid Temperature Changes of the Juvenile Sea Cucumber(Apostichopus japonicus Selenka)显示文摘Activities of hexokinase(HK),pyruvate kinase(PK),superoxide dismutase(SOD) and catalase(CAT) and Hsp70 level were measured to evaluate the response of the commercially important sea cucumber(Apostichopus japonicus Selenka) to rapid temperature changes in laboratory. Animals were subjected to a higher temperature(from 10 to 20℃)(Tinc treatment) or to a lower temperature(from 20 to 10℃)(Tdec treatment) for 72 h. At 1,3,12,24,72 h of exposure,animals were removed and prepared for further analysis. Results showed that the effect of acute temperature changes on enzyme activities was significant. In Tinc treatment,activities of SOD and CAT increased immediately. The significant enhancement of SOD and CAT activities suggested that oxidative stress increases significantly when ambient temperature increasing from 10 to 20℃. The up-regulation of Hsp70 in Tinc and Tdec treatments indicated that Hsp70 was a bioindicator of thermal stress in the sea cucumber,and the expression pattern depended on the thermal treatment. | DONG Yunwei JI Tingting DONG Shuanglin | 2007 | Journal of Ocean University of China2007,6,3: | 12 |
| 7 | Optimization of Stocking Density for the Sea Cucumber, Apostichopus japonicus Selenka, Under Feed-Supplement and Non-Feed-Supplement Regimes in Pond Culture显示文摘Optimal stocking densities were investigated for the sea cucumber Apostichopus japonicus Selenka under feed-supplement and non-feed-supplement regimes in net enclosures for 333 d. Substantial weight loss occurred during the aestivation phase (AE). Decreased growth rates were also observed during the winter phase (WT). In contrast, sea cucumbers showed rapid growth during the spring (SP) and autumn (AU) phases. Feeding regimes considerably influenced the growth performance, i.e., sea cucumbers grew faster under feed-supplement regime than under non-feed-supplement regime (P < 0.05). The average survival rates of sea cucumbers under feed-supplement regime were higher than those under non-feed-supplement regime for both the autumn phase and spring phase, but the differences were only significant for the latter phase (P < 0.05). The fitted B-N curves showed that the optimal stocking densities, in terms of net production, were 22.3 ind. m-2 for feed-supplement regime and 14.1 ind. m-2 for non-feed-supplement regime. | QIN Chuanxin DONG Shuanglin TAN Fuyi TIAN Xiangli WANG Fang DONG Yunwei GAO Qinfeng | 2009 | Journal of Ocean University of China2009,8,3: | 10 |
| 8 | TRAP1 Shows Clinical Significance and Promotes Cellular Migration and Invasion through STAT3/MMP2 Pathway in Human Esophageal Squamous Cell Cancer显示文摘Tumor necrosis factor receptor-associated protein 1(TRAP1), an important member of mitochondrial heat shock protein 90 family, is involved in multiple biological processes in several types of tumors. However, its pathological role in esophageal squamous cell cancer(ESCC) remains unknown. Herein, we demonstrated the clinical value of TRAP1, and its role in apoptosis and motility in ESCC. The clinical potential of TRAP1 was investigated through immunohistochemical analysis in 328 ESCC samples, which revealed that strong TRAP1 expression was associated with increased risk of lymph node metastasis, while high TRAP1 expression correlated with poor prognosis. Expression of TRAP1 was found to be an independent prognostic factor for patients with ESCC. Additionally, the upregulation of TRAP1 antagonized cisplatin-induced apoptosis while its downregulation sensitized cells to cisplatin-induced apoptosis. As revealed by the transwell assay, TRAP1 overexpression promoted cellular migration and invasion as compared to the control groups. In contrast,silencing of endogenous TRAP1 expression attenuated the ability of migration and invasion. Finally, the molecular mechanism investigated in the present study demonstrated that TRAP1-mediated migration and invasion occurred through STAT3/MMP2 signaling pathway. In conclusion, TRAP1 may be considered as a molecular predictive marker for prognosis and a novel molecular candidate for therapeutic target in ESCC. | Yunwei Ou Lingyan Liu Liyan Xue Wei Zhou Zitong Zhao Bainan Xu Yongmei Song Qimin Zhan | 2014 | Journal of Genetics and Genomics2014,41,10: | 8 |
| 9 | Suppressor of RNA silencing encoded by Rice gall dwarf virus genome segment 11显示文摘Rice gall dwarf virus(RGDV)is an important rice pathogen in China and Southeast Asia.However,little is known about the molecular mechanisms of RGDV interactions with plant cells.Here,we have identi-fied an RGDV protein,Pns11,which acts as a suppressor of RNA silencing in coinfiltration assays with the reporter,green fluorescent protein(GFP)in transgenic Nicotiana benthamiana line 16c carrying GFP.Pns11 suppressed local and systemic silencing induced by sense RNA.The spread of mobile RNA si-lencing signals was blocked or inactivated by Pns11.Expression of Pns11 also enhanced Potato virus X pathogenicity in N.benthamiana.This suppressor could reduce,but not eliminate,siRNA in the local and systemic RNA silencing suppression assays,suggesting that Pns11 functions by interfering with initial stages of RNA silencing. | LIU FuXiu ZHAO Qin RUAN XiaoLei HE YunWei LI HuaPing | 2008 | Chinese Science Bulletin2008,53,3: | 8 |
| 10 | The effects of food abundance and disturbance on foraging flock patterns of the wintering Hooded Crane(Grus monacha)显示文摘Background:Food abundance and availability affect flock patterns of foraging birds.Cost and risk tradeoffs are especially critical for flocks of wintering waterbirds foraging in lake wetlands.Waterbirds losing suitable habitats face insufficient food supplies and high levels of disturbance,affecting their foraging activities.Our objective was to study the effects of food abundance and disturbances on flock size and the structure of Hooded Crane flocks wintering at Shengjin Lake and,as well,to understand the response of wintering waterbirds to habitat degradation for future management decisions and protection of the population.Methods:We investigated food abundance,disturbances and flock foraging activities of the wintering Hooded Crane in several foraging habitats of Shengjin Lake from November 2013 to April 2014.Flock size and structure were observed by scan sampling.Data on food abundance and disturbances were collected by sampling.Flock size and structure were compared among three wintering stages.The relationship between food resources,disturbances and flock size were illustrated using a generalized linear model.Results:In the early and middle wintering periods,the Hooded Crane used paddy fields as its major foraging habitat,where the number of foraging birds and flocks were the highest.During the late period,the cranes took to meadows as their major foraging habitat.The variation among foraging flock was mainly embodied in the size of the flocks,while the age composition of these flocks did not change perceptibly.Family flocks were notably different from flock groups in size and age composition.The results of a generalized linear model showed that the food abundance had a marked effect on foraging flock size and age composition,while disturbances had a significant effect only on flock size.From our analysis,it appeared that the combined effect of the two variables was significant on the size of the foraging flock,but had less impact on age composition.Conclusions:Food abundance and disturbances affected the flock size of the Hooded Crane.With abundant food and high disturbances,flock sizes increased owing to cooperation in foraging.To avoid competition and maximize foraging benefits,flock size reduces with an abundance of food but low disturbance.By trading off risks and costs,the cranes showed flexible flock distributions and a variety of foraging strategies to maximize benefits and to improve their fitness. | Ling Yang Lizhi Zhou Yunwei Song | 2015 | Chinese Birds2015,,3: | 8 |
| 11 | Climate Sensitivity and Feedbacks of BCC-CSM to Idealized CO2 Forcing from CMIP5 to CMIP6显示文摘Climate sensitivity represents the response of climate system to doubled CO2 concentration relative to the preindustrial level, which is one of the sources of uncertainty in climate projections. It is unclear how the climate sensitivity and feedbacks will change as a model system is upgraded from the Coupled Model Intercomparison Project Phase 5(CMIP5) to CMIP6. In this paper, we address this issue by comparing two versions of the Beijing Climate Center Climate System Model(BCC-CSM) participating in CMIP6 and CMIP5, i.e., BCC-CSM2-MR and BCC-CSM1.1 m,which have the same horizontal resolution but different physical parameterizations. The results show that the equilibrium climate sensitivity(ECS) of BCC-CSM slightly increases from CMIP5(2.94 K) to CMIP6(3.04 K). The small changes in the ECS result from compensation between decreased effective radiative forcing(ERF) and the increased net feedback. In contrast, the transient climate response(TCR) evidently decreases from 2.19 to 1.40 K, nearly the lower bound of the CMIP6 multimodel spread. The low TCR in BCC-CSM2-MR is mainly caused by the small ERF overly even though the ocean heat uptake(OHU) efficiency is substantially improved from that in BCC-CSM1.1 m.Cloud shortwave feedback(λSWCL) is found to be the major cause of the increased net feedback in BCC-CSM2-MR,mainly over the Southern Ocean. The strong positive λSWCL in BCC-CSM2-MR is coincidently related to the weakened sea ice-albedo feedback in the same region. This result is caused by reduced sea ice coverage simulated during the preindustrial cold season, which leads to reduced melting per 1-K global warming. As a result, in BCCCSM2-MR, reduced surface heat flux and strengthened static stability of the planetary boundary layer cause a decrease in low-level clouds and an increase in incident shortwave radiation. This study reveals the important compensation between λSWCL and sea ice-albedo feedback in the Southern Ocean. | Xueli SHI Xiaolong CHEN Yunwei DAI Guoquan HU | 2020 | Journal of Meteorological Research2020,34,4: | 8 |
| 12 | Effect of water level fluctuations on temporal-spatial patterns of foraging activities by the wintering Hooded Crane(Grus monacha)显示文摘Background:The Yangtze River floodplain provides important wintering habitats for Hooded Cranes(Grus monacha) in China.Fluctuations in the water level change foraging habitat and food availability,affecting their temporal-spatial patterns of foraging activities.It is of considerable importance to investigate the effect of these fluctuations on food availability for wintering Hooded Cranes and their foraging response to these changes.Understanding their behavior patterns is beneficial in protecting the wintering crane population and restoring their wintering habitats.Methods:A field survey of the winter behavior of cranes was carried out at Shengjin Lake from November in 2013 to April in 2014.Habitat variables,as well as the spatial distribution and behavior patterns of wintering cranes at their foraging sites during five stages of water level fluctuation were collected.Based on this data we analyzed the relationship of foraging behavior relative to water level fluctuations and habitat types.Results:The foraging habitats used by Hooded Cranes varied at the different water level stages.As the water level decreased,the use of meadows and mudflats increased.When the water dropped to its lowest level,the use by the Hooded Crane in the mudflats reached a peak.There were statistically significant differences in time budget in the three types of habitats over the five stages of the water level.In the mudflats,the foraging behavior and maintenance behavior varied significantly with the water level,while the alert behavior showed little variation.Analysis of a generalized linear model showed that the five water level stages and three habitat types had a significant effect on foraging behavior,while the combined effect of these two variables was significant on the foraging time budget and the length of foraging activity of the Hooded Crane.Conclusions:With the decrease in the water level,the use of mudflats by Hooded Cranes increased correspondingly.Food availability in different habitats was affected by changes in the water level.The Hooded Crane adjusted its foraging patterns and made full use of the three available types of habitat in order to acquire enough food in response to fluctuations in the water level. | Dongmei Zhang Lizhi Zhou Yunwei Song | 2015 | Chinese Birds2015,,3: | 7 |
| 13 | Role of ocean upper layer warm water in the rapid intensification of tropical cyclones: A case study of typhoon Rammasun(1409)显示文摘Rammasun intensified rapidly from tropical storm to super typhoon in the northern South China Sea(NSCS)before its landfall on Hainan Island. Analysis of observed data shows that the anomalous ocean upper layer warm water(WW) is important to the rapid intensification of Rammasun. During the period of Rammasun, sea surface temperature(SST) in the NSCS was much warmer than the climatological SST. The anomalous WW supplied more energy to Rammasun, resulting in its rapid intensification. Numerical simulations further confirm that the NSCS WW plays an important role in the rapid intensification of Rammasun. As the WW is removed, the intensification of Rammasun is only 25 h Pa, which is 58.1% of that in the original SST-forced run. | SUN Jia ZUO Juncheng LING Zheng YAN Yunwei | 2016 | Acta Oceanologica Sinica2016,35,3: | 7 |
| 14 | Reverse Bonnesen style inequalities in a surface X_∈~2 of constant curvature显示文摘We investigate the isoperimetric deficit upper bound, that is, the reverse Bonnesen style inequality for the convex domain in a surface X2∈ of constant curvature via the containment measure of a convex domain to contain another convex domain in integral geometry. We obtain some reverse Bonnesen style inequalities that extend the known Bottema's result in the Euclidean plane IE2. | XIA YunWei XU WenXue ZHOU JiaZu ZHU BaoCheng | 2013 | Science China Mathematics2013,56,6: | 7 |
| 15 | Migfilin promotes migration and invasion in glioma by driving EGFR and MMP-2 signalings:A positive feedback loop regulation显示文摘Glioma is the most common type of primary brain tumors in the central nervous system(CNS). Migfilin occurs in human glioma and enhances cellular motility via the epidermal growth factor receptor(EGFR)pathway. However, the underlying molecular mechanism is not fully understood. In this study, we found that Migfilin promoted matrix metalloproteinase-2(MMP-2) activity, and restrained the expression of tissue inhibitor of metalloproteinase 2(TIMP2), which is an MMP-2 inhibitor. Functional and structural studies showed that the LIM1 domain of Migfilin was required for Migfilin-mediated TIMP2 expression inhibition and MMP-2 activity, and was also necessary in promoting cell motility. Furthermore, Migfilininduced EGFR phosphorylation was greatly reduced by MMP-2 inhibitor(GM6001) or si RNA, while Migfilin-induced MMP-2 activation was also blocked by the EGFR inhibitor(AG1478) or si RNA. MMP-2 and EGFR inhibitors and their si RNAs can block Migfilin-induced migration and invasion, respectively.These results demonstrated that EGFR and MMP-2 signalings may form a positive feedback loop to enhance Migfilin-induced migration and invasion. Finally, we detected that the expression of Migfilin,EGFR phosphorylation(Tyr1173) and MMP-2 activity had a positive correlation in the clinical glioma sample. Taken together, these results suggest that Migfilin is a critical regulator in cellular motility by driving the EGFR-MMP-2 feedback loop, and may be considered as a potential therapeutic target in glioma. | Yunwei Ou Qingnan Wu Chuanyue Wu Xuefeng Liu Yongmei Song Qimin Zhan | 2017 | Journal of Genetics and Genomics2017,44,12: | 7 |
| 16 | Relationship between bed shear stress and suspended sediment concentration:annular flume experiments显示文摘在这研究,环形的斜槽实验被执行,用从在 Xiaoyangkou 的内部潮汐的地区的更低的部分收集的沉积样品,江苏海岸,中国。Ariathurai-Partheniades 方程被用来决定床砍强调,由评估在在水列以内的推迟的沉积集中的变化。在床之间的导出的关系砍应力和在海床侵蚀的各种各样的阶段,当流动速度被增加时,很快推迟了沉积集中增加的推迟的沉积集中表演,而是在床上的变化的模式砍应力不照做。在低集中,床砍应力开始与增加显著地增加流动速度。不管多么当集中在 0.55 kg m3 附近到达显然批评的水平时,在床上的变化的率砍应力突然地慢下来,或变得几乎不变,响应流动速度的另外的增加。实验的结果显示那,从向前的、推迟的沉积集中有的批评水平对床的强烈影响砍应力。 | Yunwei WANG Qian YU Shu GAO | 2011 | International Journal of Sediment Research2011,26,4: | 6 |
| 17 | Association of a missense mutation in the luteinizing hormone/choriogonadotropin receptor gene (LHCGR) with superovulation traits in Chinese Holstein heifers显示文摘Background: Upon binding luteinizing hormone in the ovary, the luteinizing hormone/choriogonadotropin receptor (LHCGR) is necessary for follicular maturation and ovulation, as well as luteal function. We detected mutations in the LHCGR gene and evaluated their association with superovulation. Methods: Using polymerase chain reaction-single strand conformation polymorphism (PCR-SSCP) and DNA sequencing, we examined polymorphisms in LHCGR and the genotypes associated with superovulation traits in 127 Chinese Holstein heifers. Results: A G/T polymorphism (ss52050737) in exon 11 was significantly associated with the total number of ova and the number of transferable embryos. Conclusions: LHCGR may be a new predictor for superovulation in Chinese Holstein heifers. | Yong Yu Yunwei Pang Haichao Zhao Xiaoling Xu Zhonghong Wu Lei An Jianhui Tian | 2012 | Journal of Animal Science and Biotechnology2012,3,4: | 6 |
| 18 | Foraging behavior of the Greater White-fronted Goose(Anser albifrons) wintering at Shengjin Lake: diet shifts and habitat use显示文摘Background: The habitat use and foraging behaviors of waterbirds are closely related to the distribution and abundance of their food resources. Reductions in food supply can cause waterbirds to shift their habitats and adjust their foraging behaviors to meet their nutritional requirements and increase fitness. Seasonal withdraw of the water levels in the river-connected lakes in the middle and lower Yangtze River floodplain provides abundant food resources for the wintering Greater White-fronted Goose(Anser albifrons). Sedge(Carex) meadows are critical foraging habitats for herbivorous waterbirds in the hydro-fluctuation belt, which changes with hydrological conditions and climate. This study aimed to examine the behavioral responses of the Greater White-fronted Goose to temporal-spatial changes of food availability in the Sedge meadows.Methods: Fields surveys were carried out at Shengjin Lake from November 2017 to April 2018. According to the phenology of Shengjin Lake, we divided the wintering season into three periods. The food density, minimum temperature, food items, grass height, and number of foraging geese were surveyed, and samples of the foraging behavior were collected. We analyzed the relationship of the foraging behavior and habitat use relative to the food resources, using correlation and linear regression analyses.Results: Along with the temporal-spatial variation and exploitation of food resources, the food abundance and items varied widely among the foraging sites. Over the whole wintering period, the foraging habitat with the highest utilization rate was the meadows, followed by the paddy fields, and then mudflats. Furthermore, the utilization of the meadows showed a bimodal distribution trend, while the paddy fields showed a unimodal trend, and a decreasing trend was seen in the mudflats over the whole wintering period. The results of the generalized linear model showed that the foraging rate was related to the food density and grass height, with a linearly increasing trend during the winter.Conclusions: With the change of food resources in the three habitats, the habitats used by the Greater White-fronted Geese shifted from meadows in the hydro-fluctuation belt to the paddy fields, and then back to the meadows. The time budget for foraging activities increased correspondingly, and there was an increase in the foraging rate to compensate for food shortages. | Yanguang Fan Lizhi Zhou Lei Cheng Yunwei Song Wenbin Xu | 2020 | Avian Research2020,11,1: | 5 |
| 19 | Reactive mesoporous silica nanoparticles loaded with limonene for improving physical and mental health of mice at simulated microgravity condition显示文摘Astronauts are under high stress for a long time because of the microgravity condition,which leads to anxiety,affects their learning and memory abilities,and seriously impairs the health of astronauts.Aromatherapy can improve the physical and mental health of astronauts in a way that moisturizes them softly and silently.However,the strong volatility of fragrances and inconvenience of aroma treatment greatly limit their application in the field of spaceflight.In this study,reactive mesoporous silica nanoparticles were prepared to encapsulate and slowly release limonene.The limonene loaded nanoparticles were named limonene@mesoporous silica nanoparticles-cyanuric chloride(LE@MSNs-CYC).LE@MSNs-CYC were then applied to wallpaper to improve the convenience of aromatherapy.LE@MSNs-CYC could chemically react with the wallpaper,thus firmly adsorbed on the wallpaper.In the following,the mice were treated with hindlimb unloading(HU)to simulate a microgravity environment.The results showed that 28-day HU led to an increase in the level of anxiety and declines in learning,memory,and physical health in mice.LE@MSNs-CYC showed significant relief effects on anxiety,learning,memory,and physical health of HU treated mice.Subsequently,the molecular mechanisms were explored by hypothalamic-pituitary-adrenal axis related hormones,immune-related cytokines,learning,and memory-related neurotransmitters and proteins. | Zhiguo Lu Jianze Wang Lina Qu Guanghan Kan Tianlu Zhang Jie Shen Yan Li Jun Yang Yunwei Niu Zuobing Xiao Yinghui Li Xin Zhang | 2020 | Bioactive Materials2020,5,4: | 5 |
| 20 | Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL显示文摘Train control systems like most digital controllers are, by definition, hybrid systems as they interact with or try to control some aspects of the physical world. Detailed behavior modeling with constraints specification and formal verification, required for reliability prediction, is a great challenge for hybrid system designers.Train control systems further intensify this challenge with extensive interaction between computing units and their physical environment and their mutual dependence on each other. In this paper, we investigate behavior modeling and formal verification of Chinese Train Control System Level 3(CTCS-3) using Architectural Analysis & Design Language(AADL) to cope with this challenge. AADL is an architecture description language for embedded systems and is based on model-based engineering paradigm. Along with structural modeling of embedded systems using the core language constructs, AADL also provides support for language extension through annex sublanguages. In system requirements specification document, the behavior of the CTCS-3 is specified as a set of basic operation scenarios that cooperate with each other to achieve safe and secure functionality of trains.Movement Authority(MA) scenario, explored in this paper, is considered as a basic and most crucial scenario to prevent trains from colliding with each other. The detailed discrete behavior of control system is modeled and verified using the Behavior Language for Embedded Systems with Software(BLESS) annex sublanguage of AADL, and the continuous behavior of train with the cyber–physical interaction(communication between train and control system) is modeled using the Hybrid annex sublanguage. The behavior of the MA scenario at system level is verified using the Hybrid Hoare Logic theorem prover. Behavior constraints are specified as assertions using first-order logic formulas augmented with a simple temporal operator. | AHMAD Ehsan DONG YunWei LARSON Brian Lü JiDong TANG Tao ZHAN NaiJun | 2015 | Science China(Information Sciences)2015,58,11: | 4 |