公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.     

基于循环检测的气动退化图像混合域去噪算法

气动退化图像中存在先验信息未知以及噪声成分复杂不易进行滤波处理的问题,为此,提出一种气动退化图像混合域去噪算法。设计针对高斯噪声、泊松噪声、固定值脉冲噪声和随机值脉冲噪声的混合检测方法,使用改进的滤波方法在空域去除固定值脉冲噪声和随机值脉冲噪声,进行非下采样轮廓波变换多层分解,在变换域使用阈值方法去除高斯噪声和泊松噪声。进行噪声循环检测,设定迭代停止条件控制算法循环从而实现算法自适应。仿真实验结果表明,该算法的噪声检测性能和滤波性能较好,图像细节信息得到正确恢复。同时,算法复杂度较低,实时性较好,可满足气动退化图像去噪处理的需要。     

新通用顶级域名快速发展对互联网域名产业的影响分析

新通用顶级域名开放注册是互联网域名服务产业的一次重大创新,给产业带来了深刻变革。促进了产业链创新和繁荣,催生了新的细分行业。对互联网品牌用户尤其是广大企业用户而言,是其塑造企业全球品牌价值,开展业务创新的良好时机。     

基于灰色GM（1,1）模型的区域人才需求预测

区域人才预测是一个典型的灰色系统.本文采用灰色系统理论对区域人才需求量进行预测,通过对部分已知数据的生成、开发,提取有价值的数据信息,预测结果相对误差较小,预测精度较高.     

基于本体的特征模型演化的一致性验证

针对特征模型的演化导致特征间的冲突问题, 从特征模型的演化方面进行研究, 提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模, 建立本体的特征模型元模型; 其次基于上述元模型, 为网上购物系统实例建立相应的网上购物的领域特征模型, 根据需求裁剪出产品特征模型; 然后在Eclipse集成开发环境下, 通过Jena推理机加载规则和产品特征模型进行一致性验证, 当检测到冲突时, 采用演化策略来消除冲突; 最后通过实例研究说明了该方法的有效性。     

一种新的BOC(n,n)型信号的精确捕获算法

针对BOC(n,n)型信号自相关函数存在三个峰值导致伪码捕获模糊性的问题,提出了一种新的基于相关函数的精确无模糊的捕获算法。该算法将信号进行频域的多普勒补偿,通过本地增设QBOC(n,n)支路,利用BOC(n,n)信号自相关以及BOC(n,n)和QBOC(n,n)互相关,经移位±TC/4、取模、求和、平方运算而实现。理论与仿真分析表明,该算法在不改变自相关主峰宽度的情况下完全消除相关副峰的同时,显著提高了主峰峰值;比传统捕获算法的性能好4.5 dB左右,并且捕获精度良好、易于实现。     

Effects of amino acid replacements around the reactive site of chicken ovomucoid domain 3 on the inhibitory activity toward chymotrypsin and trypsin

We have previously shown that replacing the P1-site residue(Ala) of chicken ovomucoid domain 3 (OMCHI3) with a Met or Lysresults in the acquisition of inhibitory activity toward chymotrypsinor trypsin, respectively. However, the inhibitory activitiesthus induced are not strong. In the present study, we introducedadditional amino acid replacements around the reactive siteto try to make the P1-site mutants more effective inhibitorsof chymotrypsin or trypsin. The amino acid replacement AspTyrat the P2' site of OMCHI3(P1Met) resulted in conversion to a35000-fold more effective inhibitor of chymotrypsin with aninhibitor constant (K_i) of 1.17x10^–11 M. The K_i valueof OMCHI3(P1Met, P2'Ala) indicated that the effect on the interactionwith chymotrypsin of removing a negative charge from the P2'site was greater than that of introducing an aromatic ring.Similarly, enhanced inhibition of trypsin was observed whenthe AspTyr replacement was introduced into the P2' site of OMCHI3(P1Lys).Two additional replacements, AspAla at the P4 site and ArgAlaat the P3' site, made the mutant a more effective inhibitorof trypsin with a K_i value of 1.44x10^–9 M. By contrast,ArgAla replacement at the P3' site of OMCHI3(P1Met, P2'Tyr)resulted in a greatly reduced inhibition of chymotrypsin, andAspAla replacement at the P4 site produced only a small changewhen compared with a natural variant of OMCHI3. These resultsclearly indicate that not only the P1-site residue but alsothe characteristics, particularly the electrostatic properties,of the amino acid residues around the reactive site of the proteaseinhibitor determine the strength of its interactions with proteases.Furthermore, amino acids with different characteristics arerequired around the reactive site for strong inhibition of chymotrypsinand trypsin.     

视频图像增强关键技术研究

随着社会的飞速发展,采集保存视频/图像已经成为人类日常生活的一部分。视频图像的质量高低,对人类识别图像对象起着非常重要的作用。为了改善图像的视觉效果,有目的地强调图像的某些特征,增加图像的可读性与可识别性,提出采取融合增强术来提高视频图像的对比度与清晰度,提高图像增强质量。     

引水隧洞复杂地质段地质超前预报综合评价

由于单一地质超前预报方法对复杂地质段预报的局限性,本文则主要通过地质编录法、瞬变电磁法、水平声波反射法三种方法的综合分析,避开各种方法局限性的影响,完成对复杂地质段的超前预报,同时成功预报一个次生断层以及该断层影响带宽度,并给施工提供合理建议,使得施工顺利进行。预报结果与实际开挖地质情况基本一致,取得了显著效果。因此,在面对复杂地质段时,应用地质编录法、瞬变电磁法、水平声波反射法综合评价地质情况,获取准确、可靠的地质超前预报结果,是一种高效、可行的组合方法之一。     

汽车悬架最优控制与半主动控制研究

基于1/4汽车悬架为控制对象,建立了汽车悬架动力学模型.以线性二次型最优（LQG）控制和改进后的半主动开关（on-off）控制为控制策略,在MATLAB/Simulink软件平台上进行仿真.与被动悬架比较,采用正弦激励下的频域分析和随机路面激励下的时域分析,证明了LQG控制和半主动开关控制在汽车控制工程中的可行性.