格值时态命题逻辑LTP(X)的语义问题

在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是)，建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X)，讨论了LTP(X)与时间相关的一系列性质及时态词的重叠问题，证明了MP语义规则和HS语义规则在该系统中成立。     

基于有限格蕴涵代数的格值命题逻辑语义系统

以有限格蕴涵代数作为逻辑系统的真值域，在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统，研究了在A水平上系统的赋值和公式的可满足性等基本定义，证明了系统“有效性”的可判定性并给出了判定算法。     

基于有限格蕴涵代数的格值命题逻辑语法系统

以有限格蕴涵代数为真值域，建立了基于有限格蕴涵代数的格值命题逻辑系统；采用公理化的方法，给出了该系统在A水平上的语法导出、证明和协调性等基本定义，并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理．     

广义支撑集归结原理

广义归结是对Ｊ．Ａ．Ｒｏｂｉｎｓｏｎ普通归结的推广，支撑集策略是提高归结效率的有效方法，本文将支撑集策略引入广义归结中，提出了广义支撑集归结方法，并证明了它的完备性。     

格值命题逻辑系统Lvpl中的推理规则

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则．这些推理规则由语法和语义两部分组成，且在两部分之间存在一定的协调水平．证明了对于适当的语法语义协调水平，当Lvpl的公式集的L型模糊集为同态映射时，它们关于这几类推理规则都在一定程度上封闭.     

基于路径搜索的格值命题逻辑自动推理方法

提出一种基于路径搜索的自动推理算法．除了采取预处理外，还采用了动态的删除策略，使对大部分路径的搜索变成对一条路径搜索．可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定．文中还讨论了该算法计算的复杂性．     

Lukasiewicz逻辑系统中的广义重言式理论

将逻辑系统－／Ｗ,Ｗ,Ｗｋ中的广义重言式理论进行推广并应用到Ｌｕｋａｓｉｅｗｉｃｚ逻辑系统中,主要结果是：得到了逻辑公式集Ｆ（Ｓ）在系统中关于同余的分划;证明了在该逻辑系统中对每个无理数α而言,不存在可达α－重言式,且对每个实数α而言式不存在可达α＾＋－重言式,给出了广义重言式、广义矛盾式各类之间的关系定理。     

成都工业区大气气溶胶特征及来源

用等离子体原子吸收发射光谱（ICP-AES）、X-射线衍射（XRD）、傅立叶变换红外光谱（FT—IR）及扫描电子显微影X射线能谱（SEM／EDX）等分析方法，对采自成都工业区的大气气溶胶样品的矿物组成、化学元素组成及气溶胶表面特征和粒度大小进行了研究．结果表明，成都工业区大气气溶胶以细粒为主，Ca，Cu，Zn，As，Pb，Cd和Hg等有毒有害元素含量较高，主要含有石膏、α-石英、长石、高岭石等矿物及非晶质SiO2，气溶胶物质主要来源于燃煤燃油烟尘、冶金工业粉尘及地面扬尘．     

铝含量对Fe-Al基金属间化合物相组成及相结构的影响

铁铝基金属间化合物的相组成可分为α-Fe（Al）、Fe3Al或α-Fe（Al） Fe3Al双相组织，并且各相具有不同的相结构．本文运用X射线衍射及透射电镜等技术和设备，对Fe-Al基金属间化合物的相组成及相结构进行了分析研究，结果表明：化合物中的铝含量对其相组成、相结构有着很大的影响，并从而对其性能起决定性的作用．     

关于“复数阶仿导数”和“复数阶微积分方程”的设想

本文对于ｆ（ｘ）∈ψ（Ｒ），定义了它的“复数阶仿导数ｆ（ｘ）”，并且对ｆ（ｘ）∈（Ｒ）证明了ｆ（ｘ）在全复平面上是复变量α的解析函数，我们发现当α＝－１时，ｆ（ｘ）是ｆ（ｘ）的原函数，因此当Ｒｅｃ〈０时，我们又称ｆ（ｘ）ｆ（ｘ）的昨数阶积分，本文还对ｆ（ｒ）∈（Ｒ）定义了它的“复数阶广义领导数ｆ（ｘ）”，文中还研究了方程，ｆ（ｘ）－Ｇ（ａ）ｆ（ｘ）＝０，并称之为“复数阶微积分方程”，得到了其解的表     

基于感知模型的美尔谱失真测度

为了有效评价通信系统中的语音质量，基于语音感知分析，提出了Mel域上一种新的语音信号特征表示方法——MFSC（美尔谱系数）．MFSC既考虑人耳对频率的非线性感知特性，又结合了声音强度-响度非线性变换特性，符合语音感知分析．基于MFSC特征参数的提取，提出了用于语音质量客观评价的美尔谱失真测度（Mel-SD），并将其应用于干扰条件下的无线通信系统语音质量评价．实验结果表明，Mel-SD的平均相关值为0．942，分别比Mel-CD和PESQ（语音质量感知评价）提高了0．089和0．031．     

胃肠通过时间生理及病理生理研究

为建立胃肠通过时间（Gastrointestinaltransittime，GITT）正常生理参数并观察便秘患者GITT变化，92例健康志愿者，35倒便秘患者口服不透X线的标志物用X线法测GITT，对其中25例健康志愿者及20例便秘患者口服合不透X线的标志物及Na131的胶囊用核素显像及X线对照测定GITT。结果显示健康志愿者50％全胃肠、口-回盲、结肠通过时间分别是（28．47±1．54）h、（5．64±0．87）h及（23．20±1．14）h，100％全胃肠、口-回盲、结肠通过时间分别是（46．09±11．85）h、（5．20±1．70）h及（40．80±13．27）h，便秘患者GITT较健康志愿者长（P＜0．05）。GITT的测定对评估胃肠功能、判断病变部位有一定临床意义。     

化LF(X)中任一公式为可归约形式的算法

针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究．简述了LF(X)及其中公式的相关概念，证明了对LF(X)中公式进行转化的若干理论结果，并由此给出化LF(X)中任一公式为可归约形式的理论基础和基本算法．     

多元协同演绎在一阶逻辑ATP中的应用

一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一. 目前一阶逻辑自动定理证明大多采用二元归结方法，每次只有2个子句进行归结，只消去1组互补对，导致演绎归结式文字数较多，影响了演绎效率. 为此，基于矛盾体分离规则提出了一种多元协同演绎算法，该算法每次允许多个子句进行协同演绎，消去多组互补对，从而演绎分离式文字数较少且可控，能有效提高推理能力；并且，该算法通过有效演绎权重和无效演绎权重调整子句演绎顺序，利用回溯机制搜索较优路径，有效规划演绎路径. 将该算法应用于国际顶尖证明器Eprover 2.1，以CADE2017竞赛例（FOF组）为测试对象，对加入多元协同演绎算法的Eprover 2.1证明器进行试验. 试验结果表明其能力超过了Eprover 2.1:多证明定理8个；能证明Eprover 2.1未证明定理31个，占未证明总数的28.2%.      

基于完全剩余格值逻辑上的不分明化理想

使用应明生教授提出的完全剩余格值逻辑L语义的方法介绍了环R中的不分明化左理想（L－左理想），右理想（L－右理想），理想（L－理想），并讨论了它们的一些代数性质。     

纳米复合粉体CaFe2O4/α-Fe2O3的制备

采用自蔓延燃烧溶胶．凝胶法制备纳米复合粉体CaFe2O4／α-Fe2O3,利用热分析（TG—DTA）和X射线衍射（XRD）方法对其晶体结构进行分析．研究结果表明：在800℃焙烧温度下可形成纳米复合粉体CaFe2O3／α-Fe2O3,微粒粒径达60～70nm;随着温度的升高,微粒的结晶度增大．     

基于完全剩余格值逻辑上的不分明化环

运用应明生教授提出的完全剩余格值逻辑Ｌ语义的方法引入了不分明化环的概念，并且讨论了这类环（－环）的一些性质。     

教育类学术期刊论文篇目辑要

省域高等教育实力的分类评价．崔玉平／／清华大学教育研究，2010，（1）．共展所长：香港高等教育质素核证的理念．田健／／复旦教育论坛，2010，（1）．国家精品课程建设七年回望——一个政策评价框架的初步运用．周光礼，张文静／／高等工程教育研究，2010，（1）．国内外高校评价体系最新内容比较及其启示．李海涛／／高等教育研究，2010，（3）．     

儿童桥本氏病的临床和实验室特征

以成人桥本氏病60例为对照，分析了60例儿童桥本氏病。显示：①阳性的自身免疫甲状腺病家族史较成人组多见（P＝0.0126）；②甲状腺峡部大为主者多于成人组（X2=49，P＜0.05）；甲状腺质地硬或韧如橡皮者显著少于成人组（X2=12．48，P＜0．001），伴结节者显著少于成人组（X2=8．2，P＜0.01）；③甲状腺球蛋白抗体（TGAb）和微粒体抗体（TMAb）阴性者显著多于成人组（X2=5．1和X3=5．81，P均＜0．05）；④淋巴细胞型显著多于成人组（X2=7.01，P＜0．01），而嗜酸细胞型明显少于成人组（X3=3．89，P＜0．05）；⑤甲状腺肿大程度、生化和碘代谢，两组相比差异无显著性（P＞0．05）。     

以焦化汽油馏分为原料合成聚α-烯烃

以焦化汽油馏分为原料,采用碳正离子聚合的方法直接聚合聚α-烯烃合成润滑油基础油．采用L9（3^3）正交实验,考察了聚合温度、催化剂加入量、反应时间对烯烃转化率和聚α-烯烃合成润滑油基础油粘度的影响,其顺序是：聚合温度〉催化剂加入量〉反应时间．适宜的工艺条件为：聚合温度50℃,AlCl3催化剂的加入量4％,反应时间4h,其烯烃转化率82．1％,聚α-烯烃合成润滑油基础油运动粘度（50℃）10．05mm^2·s^-1,粘度指数（VI）达到120．