期刊文献+
共找到3,302篇文章
< 1 2 166 >
每页显示 20 50 100
Stochastic modeling and analysis of hepatitis and tuberculosis co-infection dynamics
1
作者 Sayed Murad Ali Shah Yufeng Nie +2 位作者 Anwarud Din Abdulwasea Alkhazzan Bushra Younas 《Chinese Physics B》 SCIE EI CAS CSCD 2024年第11期137-153,共17页
Several mathematical models have been developed to investigate the dynamics of tuberculosis(TB)and hepatitis B virus(HBV).Numerous current models for TB,HBV,and their co-dynamics fall short in capturing the important ... Several mathematical models have been developed to investigate the dynamics of tuberculosis(TB)and hepatitis B virus(HBV).Numerous current models for TB,HBV,and their co-dynamics fall short in capturing the important and practical aspect of unpredictability.It is crucial to take into account a stochastic co-infection HBV–TB epidemic model since different random elements have a substantial impact on the overall dynamics of these diseases.We provide a novel stochastic co-model for TB and HBV in this study,and we establish criteria on the uniqueness and existence of a nonnegative global solution.We also looked at the persistence of the infections as long its dynamics are governable by the proposed model.To verify the theoretical conclusions,numerical simulations are presented keeping in view the associated analytical results.The infections are found to finally die out and go extinct with certainty when L´evy intensities surpass the specified thresholds and the related stochastic thresholds fall below unity.The findings also demonstrate the impact of noise on the decline in the co-circulation of HBV and TB in a given population.Our results provide insights into effective intervention strategies,ultimately aiming to improve the management and control of TB and HBV co-infections. 展开更多
关键词 tuberculosis(Tb) hepatitis b virus(HbV) white noise Lévy noise stochastic model
下载PDF
Geometric Modeling of Rape (Brassica napus L.) during Seedling Stage
2
作者 赵丽丽 温维亮 +3 位作者 彭亚宇 郭新宇 陆声链 杜建军 《Agricultural Science & Technology》 CAS 2011年第7期1085-1087,共3页
[Objective] The paper was to study the geometric modeling of rape(Brassica napus L.) during seedling stage.[Method] Based on the analysis and observation of morphological structure and growth process of rape during ... [Objective] The paper was to study the geometric modeling of rape(Brassica napus L.) during seedling stage.[Method] Based on the analysis and observation of morphological structure and growth process of rape during seedling stage,a characteristic parameters-based three-dimensional mathematical model of rape and its visible method was proposed.The individual control parameters were extracted according to the morphological structures of various organs of rape.Different sizes of leaf and petiole model were constructed by using cubic Bézier surface.The cylinder with different upper and lower bottom area was adopted as the main stem model.Finally,three-dimensional reconstruction of whole Rape plant during seedling stage was achieved through the operations of rotation,scaling and splicing.[Result] This method had certain controllability,which was also easy and convenient,and could quickly use to build the geometric model of rape during seedling stage.[Conclusion] The results provided reference for study on structural model of rape. 展开更多
关键词 bézier surface brassica napus L Geometric modeling VISUALIZATION
下载PDF
Modeling of degradation kinetics of Salvianolic acid B at different temperatures and pH values 被引量:16
3
作者 Xingchu Gong Shichao Huang +1 位作者 Jianyang Pan Haibin Qu 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2017年第1期68-73,共6页
In this work,the effects of degradation time,temperature,and pH value on the degradation of Salvianolic acid B in aqueous solution were determined.Higher pH values,higher extraction temperature,and longer extraction t... In this work,the effects of degradation time,temperature,and pH value on the degradation of Salvianolic acid B in aqueous solution were determined.Higher pH values,higher extraction temperature,and longer extraction time led to more degradation of Salvianolic acid B.Danshensu concentration increased as Salvianolic acid B degraded.A mechanism model was developed considering the degradation of Salvianolic acid E and lithospermic acid,which were two degradation products of Salvianolic acid B.The reverse reactions of Salvianolic acid B degradation were also considered.Degradation kinetic constants were calibrated.The degradation kinetics of Salvianolic acid B,lithospermic acid,and Danshensu in a Salvia miltiorrhiza extract aqueous solution were predicted using the mechanism model.The predicted concentrations agreed well with the experimental results.This model was developed using degradation data obtained from simple composition systems,but it can be applied in a complex botanical mixture with high prediction accuracy. 展开更多
关键词 Danshen modeling Hydrolysis SaManolic acid b
下载PDF
A Stochastic Model to Assess the Epidemiological Impact of Vaccine Booster Doses on COVID-19 and Viral Hepatitis B Co-Dynamics with Real Data
4
作者 Andrew Omame Mujahid Abbas Dumitru Baleanu 《Computer Modeling in Engineering & Sciences》 SCIE EI 2024年第3期2973-3012,共40页
A patient co-infected with COVID-19 and viral hepatitis B can be atmore risk of severe complications than the one infected with a single infection.This study develops a comprehensive stochastic model to assess the epi... A patient co-infected with COVID-19 and viral hepatitis B can be atmore risk of severe complications than the one infected with a single infection.This study develops a comprehensive stochastic model to assess the epidemiological impact of vaccine booster doses on the co-dynamics of viral hepatitis B and COVID-19.The model is fitted to real COVID-19 data from Pakistan.The proposed model incorporates logistic growth and saturated incidence functions.Rigorous analyses using the tools of stochastic calculus,are performed to study appropriate conditions for the existence of unique global solutions,stationary distribution in the sense of ergodicity and disease extinction.The stochastic threshold estimated from the data fitting is given by:R_(0)^(S)=3.0651.Numerical assessments are implemented to illustrate the impact of double-dose vaccination and saturated incidence functions on the dynamics of both diseases.The effects of stochastic white noise intensities are also highlighted. 展开更多
关键词 Viral hepatitis b COVID-19 stochastic model EXTINCTION ERGODICITY real data
下载PDF
Effect of the sloping seabed on 3D soil-spudcan interaction using a material point-finite element(MPM-FEM)model
5
作者 Zhengda Lei Guangtian Zeng +2 位作者 Huaihui Ren Bisheng Wu Yuxin Jie 《Journal of Rock Mechanics and Geotechnical Engineering》 SCIE CSCD 2024年第4期1436-1454,共19页
The sloping seabed affects the bearing capacity and failure mechanism of soil,which may compromise the stability and safety of offshore structures such as jack-up platforms.This paper employs a coupled model combining... The sloping seabed affects the bearing capacity and failure mechanism of soil,which may compromise the stability and safety of offshore structures such as jack-up platforms.This paper employs a coupled model combining the material point method and finite element method(MPM-FEM)to analyze the impact of sloping seabeds on the three-dimensional soil-spudcan interaction.The MPM-FEM model implements the B¯approach to solve the challenge of volumetric locking due to the incompressibility constraints imposed by yield criterion.It is validated against the centrifuge results.The effects of sloping seabeds on penetration resistance,soil flow pattern,lateral response,stress distribution,and failure mechanism are discussed.The soil mainly undergoes overall failure when the ratio of penetration depth to spudcan diameter(i.e.D P/D)is between 0 and 0.25.As the slope angle increases,the soil on the side of lower slope is expelled further,resulting in an asymmetric stress distribution and a larger horizontal sliding force of soil.When D P/D increases to 0.75,the soil transitions to localized plastic flow failure,and the range of soil flow affected by the spudcan penetration decreases.The results show that,when the slope angle increases,the lateral displacement and stress distribution on the lower slope of a sloping seabed is significantly larger than that of a horizontal seabed,impacting the spudcan and surrounding soil behavior.The study suggests that the seabed slope significantly affects the range of soil flow and failure at shallow penetration,indicating that the slope angle should be taken into account in the design and installation of offshore jack-up rigs,particularly in areas with sloping seabeds. 展开更多
关键词 Soil-spudcan interaction Centrifuge tests MPM-FEM model b—approach Sloping seabeds Offshore structures
下载PDF
Hepatitis B virus infection modeling using multi-cellular organoids derived from human induced pluripotent stem cells 被引量:3
6
作者 Di Cao Jian-Yun Ge +2 位作者 Yun Wang Tatsuya Oda Yun-Wen Zheng 《World Journal of Gastroenterology》 SCIE CAS 2021年第29期4784-4801,共18页
Chronic infection with hepatitis B virus(HBV)remains a global health concern despite the availability of vaccines.To date,the development of effective treatments has been severely hampered by the lack of reliable,repr... Chronic infection with hepatitis B virus(HBV)remains a global health concern despite the availability of vaccines.To date,the development of effective treatments has been severely hampered by the lack of reliable,reproducible,and scalable in vitro modeling systems that precisely recapitulate the virus life cycle and represent virus-host interactions.With the progressive understanding of liver organogenesis mechanisms,the development of human induced pluripotent stem cell(iPSC)-derived hepatic sources and stromal cellular compositions provides novel strategies for personalized modeling and treatment of liver disease.Further,advancements in three-dimensional culture of self-organized liver-like organoids considerably promote in vitro modeling of intact human liver tissue,in terms of both hepatic function and other physiological characteristics.Combined with our experiences in the investigation of HBV infections using liver organoids,we have summarized the advances in modeling reported thus far and discussed the limitations and ongoing challenges in the application of liver organoids,particularly those with multi-cellular components derived from human iPSCs.This review provides general guidelines for establishing clinical-grade iPSC-derived multi-cellular organoids in modeling personalized hepatitis virus infection and other liver diseases,as well as drug testing and transplantation therapy. 展开更多
关键词 Hepatitis b virus Induced pluripotent stem cells Liver organoid Multicellular organoid modeling Transplantable
下载PDF
Prediction model for hepatitis B e antigen seroconversion in chronic hepatitis B with peginterferon-alfa treated based on a responseguided therapy strategy
7
作者 Pei-Xin Zhang Xiao-Wei Zheng +6 位作者 Ya-Fei Zhang Jun Ye Wei Li Qian-Qian Tang Jie Zhu Gui-Zhou Zou Zhen-Hua Zhang 《World Journal of Hepatology》 2024年第3期405-417,共13页
BACKGROUND Models for predicting hepatitis B e antigen(HBeAg)seroconversion in patients with HBeAg-positive chronic hepatitis B(CHB)after nucleos(t)ide analog treatment are rare.AIM To establish a simple scoring model... BACKGROUND Models for predicting hepatitis B e antigen(HBeAg)seroconversion in patients with HBeAg-positive chronic hepatitis B(CHB)after nucleos(t)ide analog treatment are rare.AIM To establish a simple scoring model based on a response-guided therapy(RGT)strategy for predicting HBeAg seroconversion and hepatitis B surface antigen(HBsAg)clearance.METHODS In this study,75 previously treated patients with HBeAg-positive CHB underwent a 52-week peginterferon-alfa(PEG-IFNα)treatment and a 24-wk follow-up.Logistic regression analysis was used to assess parameters at baseline,week 12,and week 24 to predict HBeAg seroconversion at 24 wk post-treatment.The two best predictors at each time point were used to establish a prediction model for PEG-IFNαtherapy efficacy.Parameters at each time point that met the corresponding optimal cutoff thresholds were scored as 1 or 0.RESULTS The two most meaningful predictors were HBsAg≤1000 IU/mL and HBeAg≤3 S/CO at baseline,HBsAg≤600 IU/mL and HBeAg≤3 S/CO at week 12,and HBsAg≤300 IU/mL and HBeAg≤2 S/CO at week 24.With a total score of 0 vs 2 at baseline,week 12,and week 24,the response rates were 23.8%,15.2%,and 11.1%vs 81.8%,80.0%,and 82.4%,respectively,and the HBsAg clearance rates were 2.4%,3.0%,and 0.0%,vs 54.5%,40.0%,and 41.2%,respectively.CONCLUSION We successfully established a predictive model and diagnosis-treatment process using the RGT strategy to predict HBeAg and HBsAg seroconversion in patients with HBeAg-positive CHB undergoing PEG-IFNαtherapy. 展开更多
关键词 Chronic hepatitis b Hepatitis b e antigen-positive Peginterferon-alfa Prediction model Response-guided therapy strategy
下载PDF
Assessing recent recurrence after hepatectomy for hepatitis Brelated hepatocellular carcinoma by a predictive model based on sarcopenia
8
作者 Hong Peng Si-Yi Lei +9 位作者 Wei Fan Yu Dai Yi Zhang Gen Chen Ting-Ting Xiong Tian-Zhao Liu Yue Huang Xiao-Feng Wang Jin-Hui Xu Xin-Hua Luo 《World Journal of Gastroenterology》 SCIE CAS 2024年第12期1727-1738,共12页
BACKGROUND Sarcopenia may be associated with hepatocellular carcinoma(HCC)following hepatectomy.But traditional single clinical variables are still insufficient to predict recurrence.We still lack effective prediction... BACKGROUND Sarcopenia may be associated with hepatocellular carcinoma(HCC)following hepatectomy.But traditional single clinical variables are still insufficient to predict recurrence.We still lack effective prediction models for recent recurrence(time to recurrence<2 years)after hepatectomy for HCC.AIM To establish an interventable prediction model to estimate recurrence-free survival(RFS)after hepatectomy for HCC based on sarcopenia.METHODS We retrospectively analyzed 283 hepatitis B-related HCC patients who underwent curative hepatectomy for the first time,and the skeletal muscle index at the third lumbar spine was measured by preoperative computed tomography.94 of these patients were enrolled for external validation.Cox multivariate analysis was per-formed to identify the risk factors of postoperative recurrence in training cohort.A nomogram model was developed to predict the RFS of HCC patients,and its predictive performance was validated.The predictive efficacy of this model was evaluated using the receiver operating characteristic curve.RESULTS Multivariate analysis showed that sarcopenia[Hazard ratio(HR)=1.767,95%CI:1.166-2.678,P<0.05],alpha-fetoprotein≥40 ng/mL(HR=1.984,95%CI:1.307-3.011,P<0.05),the maximum diameter of tumor>5 cm(HR=2.222,95%CI:1.285-3.842,P<0.05),and hepatitis B virus DNA level≥2000 IU/mL(HR=2.1,95%CI:1.407-3.135,P<0.05)were independent risk factors associated with postoperative recurrence of HCC.Based on the sarcopenia to assess the RFS model of hepatectomy with hepatitis B-related liver cancer disease(SAMD)was established combined with other the above risk factors.The area under the curve of the SAMD model was 0.782(95%CI:0.705-0.858)in the training cohort(sensitivity 81%,specificity 63%)and 0.773(95%CI:0.707-0.838)in the validation cohort.Besides,a SAMD score≥110 was better to distinguish the high-risk group of postoperative recurrence of HCC.CONCLUSION Sarcopenia is associated with recent recurrence after hepatectomy for hepatitis B-related HCC.A nutritional status-based prediction model is first established for postoperative recurrence of hepatitis B-related HCC,which is superior to other models and contributes to prognosis prediction. 展开更多
关键词 ALPHA-FETOPROTEIN Hepatitis b virus HEPATECTOMY Hepatocellular carcinoma NOMOGRAM Predictive models RECURRENCE Recurrence-free survival Risk factors SARCOPENIA
下载PDF
HL-2A Tokamak Edge Modeling with B2 被引量:1
9
作者 潘宇东 王恩耀 刘仪 《Plasma Science and Technology》 SCIE EI CAS CSCD 2003年第6期2023-2026,共4页
The outer divertor plasma of HL-2A and its associated scrape-off plasma have been simulated using a two-dimensional multi-species fluid code of Braams with a simplified neutral gas model. HL-2A has a double-null close... The outer divertor plasma of HL-2A and its associated scrape-off plasma have been simulated using a two-dimensional multi-species fluid code of Braams with a simplified neutral gas model. HL-2A has a double-null closed divertor in separate divertor chambers above and below the nearly circular plasma tours. The computed numerical grid is developed according to an ideal magnetic surface. The calculation is involved only with pure hydrogen plasma. The emphasis has been focused on parametric studies involving variation of the assumptions made for the core plasma. The peak temperatures and the heat flux near the target are of the principal concern. 展开更多
关键词 edge modeling b2 DIVERTOR HL-2A
下载PDF
A SARS-CoV-2 neutralizing antibody discovery by single cell sequencing and molecular modeling
10
作者 Zheyue Wang Qi Tang +14 位作者 Bende Liu Wenqing Zhang Yufeng Chen Ningfei Ji Yan Peng Xiaohui Yang Daixun Cui Weiyu Kong Xiaojun Tang Tingting Yang Mingshun Zhang Xinxia Chang Jin Zhu Mao Huang Zhenqing Feng 《The Journal of Biomedical Research》 CAS CSCD 2023年第3期166-178,共13页
Although vaccines have been developed,mutations of SARS-CoV-2,especially the dominant B.1.617.2(delta)and B.1.529(omicron)strains with more than 30 mutations on their spike protein,have caused a significant decline in... Although vaccines have been developed,mutations of SARS-CoV-2,especially the dominant B.1.617.2(delta)and B.1.529(omicron)strains with more than 30 mutations on their spike protein,have caused a significant decline in prophylaxis,calling for the need for drug improvement.Antibodies are drugs preferentially used in infectious diseases and are easy to get from immunized organisms.The current study combined molecular modeling and single memory B cell sequencing to assess candidate sequences before experiments,providing a strategy for the fabrication of SARS-CoV-2 neutralizing antibodies.A total of 128 sequences were obtained after sequencing 196 memory B cells,and 42 sequences were left after merging extremely similar ones and discarding incomplete ones,followed by homology modeling of the antibody variable region.Thirteen candidate sequences were expressed,of which three were tested positive for receptor binding domain recognition but only one was confirmed as having broad neutralization against several SARS-CoV-2 variants.The current study successfully obtained a SARS-CoV-2 antibody with broad neutralizing abilities and provided a strategy for antibody development in emerging infectious diseases using single memory B cell BCR sequencing and computer assistance in antibody fabrication. 展开更多
关键词 SARS-CoV-2 neutralizing antibody single b cell bCR sequencing molecular modeling
下载PDF
Advances in Mathematical Modeling of NFκB Signal Transduction in Mammals
11
作者 Jinshan ZHAO Ke JIANG +7 位作者 Zhenghao DAI Xiaoli REN Yumei WANG Yongping JIANG Mingtuan LIU Yonglian DAI Lele HOU Hegang LI 《Agricultural Biotechnology》 CAS 2013年第4期47-49,52,共4页
NFκB is a basic transcription factor of cell signal transduction in mammals. Mathematical modeling can be used to simulate NFκB signal transduction and investigate the molecular mechanism. The initial IKB-NFκB sign... NFκB is a basic transcription factor of cell signal transduction in mammals. Mathematical modeling can be used to simulate NFκB signal transduction and investigate the molecular mechanism. The initial IKB-NFκB signal transduction model emphasized the effects of negative feedback on NFκB temporal dynamics and gene expression control, while subsequent studies are concentrated on other feedback loops, input-output behaviors of modules, crosslinking of several NFκB activation paths and NFκB oscillation. Computer technology will continue to contribute to studies of NFKB signaling pathway. Finally, several potential development trends were discussed in this paper. 展开更多
关键词 NFΚb Signal transduction Mathematical modeling
下载PDF
Evaluation of Quantum Chemical Methods and Basis Sets Applied in the Molecular Modeling of Artemisinin
12
作者 Cleydson B. R. dos Santos Cleison C. Lobato +5 位作者 Josinete B. Vieira Davi S. B. Brasil Alaan U. Brito Williams J. C. Macêdo José Carlos T. Carvalho José C. Pinheiro 《Computational Molecular Bioscience》 2013年第3期66-79,共14页
In this paper, we evaluate semiempirical methods (AM1, PM3, and ZINDO), HF and DFT (B3LYP) in different basis sets to determine which method best describes the sign and magnitude of the geometrical parameters of artem... In this paper, we evaluate semiempirical methods (AM1, PM3, and ZINDO), HF and DFT (B3LYP) in different basis sets to determine which method best describes the sign and magnitude of the geometrical parameters of artemisinin in the region of the endoperoxide ring compared to crystallographic data. We also classify these methods using statistical analysis. The results of PCA were based on three main components, explaining 98.0539% of the total variance, for the geometrical parameters C3O13, O1O2C3, O13C12C12a, and O2C3O13C12. The DFT method (B3LYP) corresponded well with the experimental data in the hierarchical cluster analysis (HCA). The experimental and theoretical angles were analyzed by simple linear regression, and statistical parameters (correlation coefficients, significance, and predictability) were evaluated to determine the accuracy of the calculations. The statistical analysis exhibited a good correlation and high predictive power for the DFT (B3LYP) method in the 6-31G** basis set. 展开更多
关键词 ARTEMISININ MOLECULAR modeling QUANTUM CHEMICAL Methods STATISTICAL Analysis b3LYP/6-31G**
下载PDF
Cross Validation Based Model Averaging for Varying-Coefficient Models with Response Missing at Random
13
作者 Huixin Li Xiuli Wang 《Journal of Applied Mathematics and Physics》 2024年第3期764-777,共14页
In this paper, a model averaging method is proposed for varying-coefficient models with response missing at random by establishing a weight selection criterion based on cross-validation. Under certain regularity condi... In this paper, a model averaging method is proposed for varying-coefficient models with response missing at random by establishing a weight selection criterion based on cross-validation. Under certain regularity conditions, it is proved that the proposed method is asymptotically optimal in the sense of achieving the minimum squared error. 展开更多
关键词 Response Missing at Random model Averaging Asymptotic Optimality b-Spline Approximation
下载PDF
On the Parametric Modeling of Turbine Blade Section Curve 被引量:1
14
作者 ZHU Jian SONG Yu-wang XI Ping 《Computer Aided Drafting,Design and Manufacturing》 2007年第2期1-7,共7页
Geometric parameters of the turbine blade are classified according to their destined functions, and the mathematical definition of those parameters in the section curve is introduced in detail. Some parts of the secti... Geometric parameters of the turbine blade are classified according to their destined functions, and the mathematical definition of those parameters in the section curve is introduced in detail. Some parts of the section curve shape can be adjusted freely, offering more flexibility to designers. 展开更多
关键词 blade section curve parametric modeling parametric modification b-SPLINE
下载PDF
Modeling Research on HL-2A Divertor Operation Regimes with B2. 5
15
作者 PAN Yudong LIU Li ZHANG Jinhua 《Southwestern Institute of Physics Annual Report》 2004年第1期11-14,共4页
Power handling, helium exhausting and impurity controlling are three main functions of divertor. 2-D modeling remains a major source of information on the expected divertor performance in tokamaks. Generally, most of ... Power handling, helium exhausting and impurity controlling are three main functions of divertor. 2-D modeling remains a major source of information on the expected divertor performance in tokamaks. Generally, most of the divertor operation will pass through three regimes: linear, high recycling and detachment. 展开更多
关键词 DIVERTOR b2.5 modeling
下载PDF
基于Event-B方法的安全协议设计、建模与验证 被引量:3
16
作者 李梦君 潘国腾 欧国东 《软件学报》 EI CSCD 北大核心 2018年第11期3400-3411,共12页
随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B... 随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B方法的安全协议形式化设计、建模与源程序验证的典型研究工作,主要包括从需求规范到消息传递形式协议的安全协议精化设计、基于TPM(trusted platform module)的安全协议应用的精化建模以及从消息传递形式协议到代码的源程序精化验证. 展开更多
关键词 安全协议设计 安全协议建模与验证 精化 event-b方法
下载PDF
SPARDL模型的Event-B解释 被引量:2
17
作者 綦艳霞 沈慧丽 +1 位作者 陈朝晖 顾斌 《计算机应用》 CSCD 北大核心 2012年第12期3525-3528,3539,共5页
针对由周期行为和模式转换机制组成的实时系统提出的SPARDL需求建模语言,详细阐明了其对应的SPARDL模型的Event-B解释。通过Event-B来解释SPARDL的语义,同时提出一种基于SPARDL模型特征的精化框架用于Event-B模型的开发。最后,通过案例... 针对由周期行为和模式转换机制组成的实时系统提出的SPARDL需求建模语言,详细阐明了其对应的SPARDL模型的Event-B解释。通过Event-B来解释SPARDL的语义,同时提出一种基于SPARDL模型特征的精化框架用于Event-B模型的开发。最后,通过案例研究的分析展示用Event-B对SPARDL模型建模和验证的方法的有效性。 展开更多
关键词 需求建模语言 周期性控制系统 event-b 需求分析 精化 验证
下载PDF
基于改进Event-B建模的高速列车追踪运行仿真研究 被引量:3
18
作者 陈永 张薇 胡晓辉 《计算机工程》 CAS CSCD 北大核心 2015年第8期256-261,共6页
针对铁路移动闭塞系统中高速列车间隔动态实时变化的特征,结合Agent理论对Event-B方法中Machine动态属性进行改进,提出一种基于Event-B建模方法的高速列车追踪运行模型。给出高速列车追踪运行形式化控制策略,研究运行过程中速度变化关... 针对铁路移动闭塞系统中高速列车间隔动态实时变化的特征,结合Agent理论对Event-B方法中Machine动态属性进行改进,提出一种基于Event-B建模方法的高速列车追踪运行模型。给出高速列车追踪运行形式化控制策略,研究运行过程中速度变化关系、不同发车间隔时间对高速铁路运营的影响,得到相应的定量与定性分析。仿真结果表明,该模型能够准确描述高速列车追踪运行机理,有助于列车间隔动态控制,具有较强的适用性。 展开更多
关键词 高速列车 列车追踪 event-b方法 形式化方法 交通仿真 建模
下载PDF
基于Event-B的一种联锁逻辑的形式化建模研究
19
作者 沈啸 陈邦兴 唐晨 《信息技术》 2013年第2期7-10,14,共5页
铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的研发,还是对联锁软件的第三方测试都是非常重要的。基于Event-B方法,利用自动机模型和形式化语言对车站的一种信号联锁逻辑进行建模研究,并通过逐步精化的方法扩展联锁功能,依... 铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的研发,还是对联锁软件的第三方测试都是非常重要的。基于Event-B方法,利用自动机模型和形式化语言对车站的一种信号联锁逻辑进行建模研究,并通过逐步精化的方法扩展联锁功能,依赖不变式技术形式化地保证了该模型的安全性。所建模型通过Rodin平台的验证,结果表明它们是安全的。 展开更多
关键词 联锁逻辑 形式化建模 event-b
下载PDF
Exploration and Practice of the B-SLIM Model in Guangxi 被引量:1
20
作者 庞琳 《海外英语》 2012年第6X期58-60,共3页
After China's entry into the WTO,the interchange and communication between China and the international community has increased,which exerts great influence on pushing forward the modernization and construction of ... After China's entry into the WTO,the interchange and communication between China and the international community has increased,which exerts great influence on pushing forward the modernization and construction of the various industries in China and requires a large number of people with good command of English.Under these circumstances,English education becomes extremely important.Guangxi,an old revolutionary base area inhabited by minority ethnic groups,is falling behind with its economy,culture and education in comparison with eastern regions of China.A number of English teachers,especially those in middle schools of the rural areas,are provided with little education and few opportunities for advanced study;most of them lack the new teaching ideas,models or methods which could replace the traditional teaching model that centers on the teacher and textbook.As a result,students can't give full play to their subjective initiative with low communication and application capability in English.To confer impetus to English language teaching reform,researchers and scholars have made great efforts in experimenting various teaching models with the hope to find a language teaching model which can meet the demands of the new era and B-SLIM model put forward by Dr.Olenka Bilash is such a model. 展开更多
关键词 ENGLISH education ENGLISH LANGUAGE TEACHING REFORM
下载PDF
上一页 1 2 166 下一页 到第
使用帮助 返回顶部