论文研究Modeling and Simulation for Dynamics of AntiHBV Infection Personalized Ther

STK在卫星通信干扰仿真中的应用研究，史志亮，，对卫星通信系统干扰进行仿真目的在于确定干扰源对卫星通信系统的影响。本文提出了使用STK/Comm模块提供的干扰分析能力对卫星通信干�

离子注入和退火的原子模型模拟，于民，黄如，本文开发了一个可靠高效的分子动力学低能离子注入模拟软件。软件应用了最新的物理模型和一些高效的算法。B，P，As注入的模拟结果��

对电子政务应用中复杂交互行为的形式化建模与验证，孙猛，李屹，当下社会演变之迅速前所未有，随着政务信息化程度的不断加强，电子政务系统的可靠性，安全性和高效性正在受到巨大考验。因此对大

基于矩阵自动机的知识化制造单元的建模与控制，严洪森，董昊，知识化制造单元的运行是一个典型的离散事件动态过程。用以建模和分析离散事件动态系统的方法包括Petri网和自动机理论。本文提出一�

倒立摆系统建模及基于HR乘子法的参数辨识，王玲玉，吴传生，本文运用欧拉拉格朗日方程详细的推导出倒立摆系统的动力学模型，然后建立辨识方程。针对辨识方程中因含有非负约束，不能用一般的

基于对生物电阻抗特征的非参数核密度分布建模的乳腺组织分类方法，鹿猛，吴云峰，乳腺组织的分类有助于对癌化乳房的早期病理状况评估。本文阐述了一种双变量协变概率密度的非参数建模方法，并将其用于估计正常和

从VDM-SL到JML建模的转换策略，靳丹，杨宗源，VDM是一种广泛应用于工业界的形式化开发方法，数学的精确性使它能够有效地保证系统的设计和开发。JML是基于Java的形式化的行为接口��

考虑核小体作用的转录因子-DNA定量结合模型，向倩，，转录因子－DNA相互作用对基因调控具有重要的影响。众所周知，这些相互作用在生物体内是一系列随机过程，并受到核小体的调控。但目

一类具有捕获努力与非线性种群内控制的时滞两种群竞争模型动态分析，刘超，王晓敏，本文建立了数学模型用以研究具有种群内控制的时滞两种群竞争生态系统,并讨论了成熟时滞以及捕获努力对种群动力学的影响。研究了�

节点动力学参数影响复杂网络结构识别，汤龙坤，陆君安，本文以统一混沌系统为节点动力学,研究了两种固定内联矩阵和不同耦合强度下,动力学参数的改变对复杂网络结构识别的影响。研究结果�