简介:据统计,世界有1/3的人口曾经感染乙肝病毒,约有3.5亿人是HBV携带者。如何预防和治疗乙肝一直是社会关注的焦点和医学与数学等交叉学科的重要课题。基于Nowak模型,建立了具免疫时滞因素HBV感染时滞微分方程模型,对该模型的动力学进行了分析,并应用Routh-Hurwitze定理及Lyapunov-Lasalle定理讨论了该模型平衡点的稳定性,分析了免疫时滞对系统动力学性质产生的影响。数值模拟验证了所得到的结果。
简介:类BAN逻辑是密码协议分析和设计的主要工具,文章在分析了类BAN逻辑之后,指出了这些逻辑的缺陷,并对类BAN逻辑的缺陷进行分类,最后指出进一步发展类BAN逻辑应解决的问题。
简介:庄孔韶出生于北京景山东街的一座临街老四合院(老京师大学堂旧址墙外侧).他的爷爷生前亲自设计图纸和监督施工。这个有百年历史的静静的庭院中,曾经走出过老京师大学堂毕业的中国首批采矿工程师之一,还有中国著名的教育家、哥伦比亚大学教育心理学博士庄泽宣,以及日本明治大学、早稻田大学毕业的清代第一批中国(法律系)留学生,是为庄氏家族祖父辈三兄弟。这座晚清和民初建立的三进套院.还接纳过不寻常的房客——蜚声中外的语言学大师赵元任先生。庄孔韶的父亲是辅仁大学生物系的高材生,一生致力于生物教学和研究撰写.并且是上世纪五六十年代率先建立中国电化教育和北京植物园的奠基人,曾指导用显微胶片拍摄了解放后最早的生物教学影片《细胞》和《草履虫》等。