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

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

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

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

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

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

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

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

经典的Holladay-Varga定理的极图的完全刻画

近半个世纪来 ,Ｈｏｌｌａｄａｙ -Ｖａｒｇａ定理 (即ｄ个环点的ｎ阶本原有向图的指数均≤ 2ｎ -ｄ - 1)一直是被广泛引用的著名结果 .而刻画一些极值指数的图一直是很受关注的课题 .本文完全刻画Ｈｏｌｌａｄａｙ -Ｖａｒｇａ定理最大极值的图———极图 .　　ｎ阶非负矩阵Ａ称为本原矩阵 ,如果存在某个自然数ｋ使Ａｋ>0 ,这样的自然数中的最小者称为Ａ的本原指数 ,记作γ(Ａ) .Ｄ为ｎ阶有向图 ,若存在自然数ｋ ,当自然数ｍ≥ｋ时 ,Ｄ的任意两点ｕ ,ｖ有一条长为ｍ的ｕ至ｖ的有向通道(通道允许经过一点多次 ) ,且存在两点之间没有长为ｋ -…     

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

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

具有某些X-半置换子群的有限群(英文)

最近几年,利用子群的置换性质刻画有限群结构成为了人们感兴趣的课题.文献(J.Algebra,2007,315:31-41.)引入了X-半置换子群的概念:设X是有限群G的一个非空子集.G的一个子群A称为在G中X-半置换,如果A在G中有一个补T使得对于T的任意子群T1,存在x∈X使得ATx1=Tx1A.结合文献(Commun.Algebra,2008,36(6):2333-2340.)引入的p-群的特殊极大子群,利用这些极大子群的X-半置换性,通过对X的巧妙选择,得到有限群成为p-可解、p-幂零和超可解的若干充分条件,推广了若干熟知的相关结果.这些新结果将丰富和促进有限群结构的相关研究.     

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

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

不具备M-矩阵条件的时滞Hopfield神经网络模型的收敛性

考虑了一类具有时滞的Hopfield神经网络模型解的收敛性．在不需要M-矩阵条件的前提下，获得了该网络的所有解当t→∞时都趋向于平衡点．其结果补充和完善了已有文献的相应结果．     

建设监理企业地区优势度差异分析

定义并测算建设监理企业资质水平指数(QI)以综合表征该类企业优势度的地区分布差异。探讨引起建设监理企业地区优势度差异的影响因素指标体系,借助偏相关分析分类考量31个省(区、市)的QI与各项影响因素之间的相关程度。研究表明建设监理企业优势度的地区分布不均衡,按经济发展水平梯度变化呈东强西弱的基本格局。偏相关系数的变化特征进一步揭示出建设监理企业的地区优势度差异主要取决于各地的技术市场活跃程度、专业化工程技术人员保有量以及建设监理行业协会组织的发达程度。