一种OFDM信号电台识别方法

为解决OFDM通信电台识别问题,提出了基于包络高阶特征J的OFDM电台个体识别的方法.该方法利用OFDM电台问信号包络的差异实现对OFDM电台个体的识别.     

小鼠棕色脂肪microPET显像方法研究

棕色脂肪(19rown adipose tissue,BAT)是一种具有产热功能的脂肪组织,参与机体能量代谢和体温维持。在激活状态下,BAT能够消耗糖类和脂肪酸等并将其转化为热量散出体外,很有希望成为肥胖和糖尿病治疗的新靶点,已引起国内外广泛关注。正电子发射断层显像(positron emission tomography, PET)作为一种新型的分子影像技术,可直观地看到体内BAT的分布和活性,在研究BAT功能方面具有明显优势。特别是小动物专用的microPET,为BAT相关的临床前研究提供一个技术平台。为此,本研究对microPET在BAT显像方面的相关技术、方法和条件进行初步探索,相关结果有助于建立简便、规范、可重复的BATT功能评估方法。     

一种镍基合金渐变曲率风口法兰冲压模具设计

镍基合金渐变曲率风口法兰产品形状特殊、尺寸较大、材料拉深困难。在冲压成型加工过程中,通过物理气相沉积（PVD）技术对模具材料实施表面改性处理,拉伸、翻边成型过程中精确控制压边力,以及成型过程中对半成品进行消除应力的处理,从而实现产品精密成型,确保产品外观、尺寸精度及形位公差的要求。     

古洞口Ⅱ2级电站厂房后边坡蠕变体稳定分析

本语文介绍了古洞口Ⅱ２级水利水电工程概况的工程地质背景，阐述了厂房后边坡蠕变体的特征及成因；分析了蠕变的稳定性；提出了蠕变体的变形发展趋势及处理措施。     

PET采集处理方法对病灶检出能力和图像质量的影响

为明确采集模式、衰减校正方式及重建方法对正电子发射断层显像(PET)的病变检出能力和图像质量的影响,利用一桶状模型进行测试研究。模型内含9个阳性柱(直径4.3~37.8mm)、7个阴性柱(直径5.9~22.3mm)和7个阴性球(直径5.8~22.0mm)。研究发现,3D采集在轴向中心的检出能力相当于2~4倍时间的2D采集,但在轴向两端的图像质量明显降低,2D采集图像的对比度和清晰度更佳。带有约20MBq/L的放射性采集衰减校正图对相应区域的密度低估约3%。分割法处理可显著提高衰减校正图的均匀性,但会降低边界的清晰度。OSEM法和FBP法重建的图像对病灶的检出能力相当,前者条状噪音少、更均匀,而后者对比度更佳。PET检查时宜根据具体情况及实际需要权衡选择采集和处理方法。     

基于经典-模糊变精度概念格的决策规则获取及其推理算法

在模糊形式背景上引入了4种经典一模糊变精度概念,形成4种变精度概念格,在此基础上得到4种决策规则集.利用包含度构建不同决策规则集中的推理算法,进而得到所有对象组合的决策规则.证明了由决策规则得到的决策集分别是必然性与可能性决策集,且推理算法具有协调性和相容性.     

带扰动控制系统的形式化设计

利用有限抽象进行控制系统的形式化分析与设计是目前研究较多的一类控制系统分析与设计方法.本文提出两种方法,使用有限抽象,构造出两种控制器,使带扰动的控制系统满足时序逻辑规范.为此,首先在时序逻辑规范上引入"弱化"转换函数和"强化"转换函数.进而,利用"弱化"转换函数提出一种方法用于构造控制器,使原系统近似满足给定规范;利用"强化"转换函数,提出另一种方法用于构造控制器,使原系统严格满足给定规范.本文分析比较上述两种方法与文献中已有的方法,指出各自的优缺点和适用范围.最后给出仿真实验,说明上述两种方法的有效性并展示这些方法的不同适用范围.     

行动推理中若干问题的研究

1 引言我们所面临的世界是不断动态变化的,一个智能系统往往需要对动态变化的环境做出反应,其中一个重要方面是对各种行动的结果进行预测、推理,以决定下一步的目标和动作。John McCarthy提出进行行动推理(Reasoning about action)研究,并认为行动推理在常识推理中占有基础性的地位。至此以后,行动推理成为人工智能的一项重要研究内容。利用形式化的方法对世界和行动进行描述和推理构成了行动推理的主要内容。行动推理有时也被称为行动逻辑。在这里我们把关于行动和变化的推理总称为行动推理。行动推     

认知态的相似性与等价性

以Bochman引入的一种非单调逻辑与信念修正的统一框架——认知态（epistemicstates）为研究对象,讨论其内在的结构相似性与外在推理行为等价性之间的联系。因为两认知态相似无法推出它们之间具有已引入的任一种等价关系,为了解决此问题提出了两认知态拟怀疑等价的新概念和作用于认知态上的算子par（·）。利用有限子语言在原语言上的归约,得到如下的表示定理：任两个纯的有限认知态是拟怀疑等价的,当且仅当它们作用算子par后结构相似。     

Some contributions to nonmonotonic consequence

This paper introduces a non-Horn rule WRM which is a weak form of rational monotony,We explore the effects of adding this non-Horn rule to the rules for the preferential inference.In this paper,a relation 1-is said to be P WRM iff it is a preferential inference and satisfies the rule WRM.We establish the representation theorem for P WRM,and compare the strength of WRM with some non-Horn rules appearing in literatures.Moreover,we explore the relation between P WRM and coditional logic,and demonstrate that P WRM is equivalent to flat fragment of conditional logic CS4.2.Another contribution of this paper is to explore the relation between two special kinds of preferential models,i.e.,PRC model and quasi-linear model.Main result reveals that the latter is a special form of the former.