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

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

视网膜静脉周围炎与HLA的初步研究

为了解HLA—DBB、-DQB1及-B各等位基因在正常人群和视网膜静脉周围炎患者中的频率分布，寻找HLA-DRB、-DQB1及-B各等位基因位与视网膜静脉周围炎的关联基因，并进一步分析该基因与视网膜静脉周围炎的关系，特应用病例一对照分析方法，采用PCB-序列特异性引物基因分型技术进行HLA-DBB、-DQB1及-B等位基因分型，本研究共检测到HLA-DBB位点上15种等位基因、HLA-DQB1位点上7种等位基因以及HLA-B位点上22种等位基因；发现在患者组中DBB1＊04基因频率高于对照组，DBB1＊04与Eales病发病呈正相关；在健康对照组HLA-B＊15基因位点出现频率明显高于患者组，HLA-B＊15与Eales病发病呈负相关。结果表明：获得HLA-DBB、-DQB1及-B等位基因在中国北方汉族正常人群和Eales病患者中的频率分布的初步特征；DBB1＊04可能是Eales病的易感基因；HLA-B＊15可能是Eales病的保护性基因。     

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

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

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

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

（CH3）2S2与C12在水中反应机理的探讨

研究了(CH3)2S2和C12在水中的反应机理，得到了总速率方程为d[HCl]／dt=k[C12][(CH2）2S2]，在15℃和常压下测定了反应体系电导率k随时间t的变化，得到反应开始瞬间和反应达到稳定态时的k=f(t)的图形，均与此反应机理得到的结论相一致，用此反应机理能很好地解释反应中颜色变化、产热速率等现象和也可用来指导生产。     

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

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

MAYA中人类真实皮肤的再现

人类的皮肤是一层半透明的膜,透过皮肤能够看到下面的血管。皮肤表面是一层角质层,向下依次是表皮层、真皮层、皮下组织,皮肤内部透明,光线在其中发生漫反射。皮肤的表面有汗毛,也会使光线产生漫反射。皮肤的"厚度"是无法用一层普通的平面来表现的。文章较为详细的说明了3S材质的基本特性以及制作方法,研究和说明了在MAYA中如何体现人类的真实皮肤。     

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

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

阿达玛对弗雷歇关于线性泛函表示的影响

目的研究阿达玛(J.Hadamard,1865—1963)对弗雷歇(Maurice Fréchet,1878—1973)关于线性泛函表示思想的影响。方法历史分析和文献考证。结果弗雷歇受到阿达玛在线性泛函表示方面的影响,对阿达玛1903年的表示形式进行了改进,使其应用范围更加广泛。结论弗雷歇在线性泛函表示方面的工作是对阿达玛相关工作的继承和发展。     

基于GIS技术的城市建设管理新思路研究

我国传统的城市建设管理模式经历了几十年的调整和变迁,但其弊端一直未能根除,本文基于笔者多年从事GIS及城市建设信息化的工作经验,以基于GIS技术的城市建设管理新思路为研究对象,深度探讨了网格化城市管理的技术和方法,全文是笔者长期工作实践基础上的理论升华,相信对从事相关工作的同行有着重要的参考价值和借鉴意义。