教学过程的变量分析（一）

本文利用微分方程理论和线性化方法探讨了如何分析教学过程中的有关变量，并在此基础上提出了相应的数学模型，最后，给出了教学设计中应注意的几个问题。     

施工支架施工过程模拟和横向分布系数计算

以南江大桥为工程背景,建立平面杆系模型,分别计算施工支架分四个施工阶段施工和一个阶段施工的内力.然后建立桥墩和箱梁混凝土实体模型,施工支架用桁架单元模拟,分析施工支架的荷载横向分布系数.研究结果表明,不考虑施工过程的影响,得到支架的计算结果误差约为13 %,当箱梁腹板的重心偏向支架外侧,且支架的荷载横向联系的刚度较弱时,应考虑横向分布系数的影响.     

具有Bernoulli反馈的负顾客M^X／G／1休假排队系统

研究具有Bernoulli反馈的负顾客M^x／G／1休假排队模型．休假策略为空竭服务单重休假，负顾客抵消队首正在接受服务的正顾客；完成服务的正顾客以概率口θ（0＜θ≤1）离开系统，以概率1－θ反馈到队尾寻求再次服务，利用补充变量法求得了系统稳态队长分布的概率母函数表达式。     

含有三阶色散和自频移与自陡峭项的立方-五次非线性薛定谔方程的孤子解

研究了含有三阶色散、自频移与自陡峭项的立方-五次非线性薛定谔方程。根据齐次平衡原则，运用Riccati方程-展开法、Riccati方程-倒数展开法、Exp-展开法得到非线性薛定谔方程的几种精确解，即亮-孤立波、激波、周期波，图示了解的波形结构，并比较了3种方法的关联性。     

Multisim10．0软件在电子线路课程设计中的应用

Multisim10．0软件是目前最新版本的电子电路仿真软件。采用Multisim10．0软件教学对培养学生的综合分析能力，排除故障能力和开发创新能力具有重要意义。介绍了Multisim10．0软件仿真的步骤和Multisim10．0软件在电子线路课程设计教学中的应用。     

谈师范生应具备的基本语言素质

素质教育已是我国教育的当务之急 ,而语言素质是素质教育中最基本的因素之一。教师的语言素质直接影响着学生的语言文字能力 ,所以在师范生素质教育中 ,语言文字的基本能力教育是一个必不可少的教学内容     

一种结合CCgscore算法的SMT求解技术

提出了对SMT问题的另一种方法.首先,编译SMT公式并转换为CNF公式.然后充分借鉴求解SAT问题中所用的方法,把它和SMT理论相结合,借鉴在2014SAT竞赛中的CCgscore算法,得到一个满足CNF公式的解.最后把得到的当前解与T-solver进行交互并且检查其在特定理论背景下的可满足性.由于在SMT求解的过程中结合了先进的CCgscore算法,所以在求解某些SMT问题时效果比较好.     

拓展目标杂波概率假设密度估计

针对拓展目标概率假设密度滤波器中的未知杂波概率假设密度,提出了杂波概率假设密度估计算法。算法利用有限混合模型极大后验估计杂波概率假设密度,取混合权重的熵分布作为混合参数的先验分布;在渐进假设条件下,利用拉格朗日乘子推导了混合权重的递进估计公式;在混合权重递进估计过程中,通过混合权重置零操作来实现对有限混合模型中混合分量的删减。以二维场景为例对算法进行了仿真实验,结果表明:在拓展目标概率假设密度滤波器高斯混合实现的框架内,所提杂波概率假设密度估计算法的跟踪性能接近真实杂波概率假设密度时的跟踪性能。