基于关键用户的非均衡热传导与物质扩散算法

物质扩散和热传导算法作为2个经典的基于网络结构的算法被普遍用于信息过滤.然而，现有的算法将所有的用户等同看待，没有区分不同用户的贡献，也没有移除恶意用户，从而导致性能不理想.针对这一问题提出基于关键用户的非均衡热传导与物质扩散算法（core-UHM），用以解决教育资源库中的高质量资源检索问题.算法的背后思想主要是基于信息领域中的帕累托法则，也即是20%的用户主导着整个系统中80%的交互.基于关键用户不仅能够保证资源的质量，同时也大大节省了计算开销.通过在真实的学术搜索日志数据集上的实验，证明了算法的有效性.     

拉格朗日中值定理的证明及应用

中值定理是微分学的基本定理,是应用导数研究函数在区间上整体性态的有力工具,其中拉格朗日中值定理是核心内容.给出拉格朗日中值定理的三种证明方法及其在级数散敛性方面的应用.     

基于异步动态的多机器人系统的一致性

研究通过无线网络进行通信的多机器人系统的一致性问题。多机器人系统在固定通信拓扑下可建模为特定的网络控制系统,考虑信道噪声、不确定短时延和数据包丢失等因素的影响时,其可进一步视作由丢包率约束的异步动态系统。通过构造李雅普诺夫(Lyapunov)函数,运用线性矩阵不等式(linear matrix inequality, LMI)方法,得到了该系统指数稳定的充分条件。为实现多机器人系统的运动一致性,设计了控制器；讨论了不同的指数收敛率对多机器人系统收敛速度的影响,并进行了相应的理论证明和仿真验证。     

钢筋混凝土牛腿抗剪承载力设计修正系数研究

为了研究钢筋混凝土牛腿的抗剪承载力,并评估我国和欧美规范牛腿设计方法的准确性和安全性,基于收集的209组牛腿竖向受剪试验数据对ACI 318-19、EC2、CSA A23.3-04和其他主要的牛腿抗剪承载力计算方法进行评估,发现欧美规范拉压杆模型方法较为保守,而软化拉压杆模型(softened strut-and-tie model,SSTM)能够较好地预测牛腿的抗剪承载力.在此基础上,设计了一系列满足我国规范要求的钢筋混凝土牛腿,主要变化的参数包括剪切跨度、混凝土强度、钢筋强度等,通过将牛腿的设计剪力与软化拉压杆模型计算得到的抗剪承载力进行对比,分析了不同设计参数下我国规范方法的准确性和安全性.并根据参数分析结果拟合了牛腿承载力修正系数的简化公式,并通过试验数据验证了简化公式的准确性和合理性.最后对牛腿在剪力作用下的设计方法提出了改进建议,可供钢筋混凝土牛腿设计参考.     

正交试验因素水平表编排的改进

经查，发现文献中正交试验因素水平表编排存在表题欠精准、项目栏信息的编排格式不规范、左起第1列的栏目有误、栏目与表身数据的关系不符合同一律的要求、因素代号被视作量符号排成了斜体等问题.针对以上问题，提出了相应的改进建议：以“因素的水平”为表题；以括号加注的形式表示因素及其代号的同位关系，即排成“温度(A)”的形式；左侧列栏目改为“序号”；将栏目“因素”改为“水平”；因素代号排正体；其余都按表格常规排法进行操作.该排法符合编校规范，大大简化了表格设计，可为书刊中该表的规范编排提供参考.     

基于结构纹理分解和多重网格的光流估计算法

分别针对光流计算对光照变化敏感以及运算复杂度高、迭代收敛缓慢的问题,使用一种基于ROF(Rudin-Osher-Fatemi)模型的结构纹理分解(STD)技术得到对光照变化不敏感的纹理图估计光流场,消除了光照变化产生的负面影响,并提出一种基于多重网格方法的分层处理策略.将光流计算的迭代过程分散在一系列粗细不同的网格上,在细网格上消除高频误差,在粗网格上消除低频误差,以达到加速收敛、提高光流计算速度的目的.实验结果表明,STD过程抑制了光照变化导致的负面影响,提高了光流估计精度.多重网格算法在保持优化精度的前提下,显著提高了光流计算的实时性.     

抛物型微分方程的Crank-Nicolson块中心差分方法

针对有界区域上的抛物型微分方程讨论了Crank-Nicolson块中心差分法, 在非等距剖分的网格上得了近似解和解的一阶导数的L2模误差估计,重要的是提高了时间上的精度. 数值试验结果与理论分析一致,说明格式具有高效的收敛性.     

路政图片信息化管理初探

主要对路政工作信息化管理进行探讨,通过对图像数据库的分析和功能描述,将ACDSEE软件应用于路政管理工作中的信息收集、储存和检索等,提高路政管理和服务工作的效率。     

试论例会在高校图书馆管理工作中的重要作用

结合工作实践,论述了例会在高校图书馆管理工作中的重要作用,指出有效的例会可以提高图书馆员工的办事效率,提升各部门主管的管理能力,实现图书馆发展及个人素质提高的双赢.     

AADL模型的ada代码自动生成及集成技术

基于模型驱动架构MDA方法，对AADL进行了研究，提出了AADL模型元素同ada语言元素之间的映射规则。开发了AADL模型的ada代码自动生成器Generator—ada，最后以实例证明将AADL模型自动转换为可执行的ada代码的有效性。