带模理论的回答集程序设计

基于回答集语义的逻辑程序（ASP）是一种描述性问题求解的典范，目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架，它不仅是正规逻辑程序的一般化，对带聚合函数的ASP而言，也与SPT—PDB的回答集语义一致。经证明，当背景理论是命题逻辑时，该框架与Shen和You提出的方法一致。     

面向数字孪生的动态数据驱动建模与仿真方法

信息物理系统(cyber-physical system, CPS)是支撑信息化和工业化深度融合的综合技术体系,传统的建模与仿真方法难以满足其应用需求。因此,提出面向数字孪生的动态数据驱动建模与仿真方法,通过随机有限集对CPS中的物理实体和传感器进行数据驱动建模,并使用基于贝叶斯推理的预测与校正过程支持数据驱动的仿真模型运行。该方法能够很好地实现数字孪生机制下虚实结合的仿真运行,并实现数据驱动的CPS仿真模型解算,通过以实利虚的方式有效提高了仿真结果的准确性和可信性。最后,通过水面舰艇作战应用案例,验证了该方法的可行性和有效性。     

一类二层多目标规划的解法

在上层决策变量作为参数的情况下，将上层为单目标，下层为线性多目标的两层优化问题，转化为含参变量的有效集上的单目标问题，给出了一个相应的算法。     

等价关系与集合的分类,求子群的陪集、商群、商环的元素的联系

本文详细讨论了等价关系的概念及其用法。     

广义I型三角剖分下二元样条函数空间S25(～△(1)mn)的维数

利用 B-网方法和最小决定集技术,在广义I 型三角剖分～△(1) mn 下构造了二元五次C 2样条函数空间S 2 5(～△(1) mn )的一个最小决定集,给出了空间S 2 5(～△(1) mn )的维数.     

小学音乐教学中的“以动导动”

根据低年级学生的实际情况和年龄特征，针对小学生爱动、多动、注意力不集中、行为随意性等特点，从教学方法、教学手段、教学实践等方面进行阐述，提出“以动导动”的教学观点，做到理论与实践很好的结合。     

城市设计导则与我国规划管理体系相结合的理论探讨

研究了城市设计导则与我国规划管理体系的关系,探索了在当前我国规划管理体系转型期间如何能让城市设计导则与规划管理体系紧密结合,使得城市建设进入良性循环的问题.     

交换主理想整环上交错矩阵的距离与极大集

讨论了交换主理想整环上交错矩阵的算术距离与距离之间的关系,并用两个矩阵之间的算术距离得到了交换主理想整环上交错矩阵极大集的结构.     

加权Ostrowski型不等式

对于其导数的绝对值的幂具有凸性的函数，给出一些加权的Ostrowski型不等式．对于具有一阶有界导函数的函数，也给出一个加权的Ostrowski型不等式．     

基于ANSYS的捆丝有限元分析

介绍了钢丝捆钢机的工作原理，利用ANSYS软件对捆丝在导槽中的受力、变形情况进行了分析。得到了捆丝在导槽中与轴承的支反力和变形，可以推出捆丝在导槽中的摩擦力，为进一步分析捆丝送丝力计算提供理论指导。