面向矛盾问题的动态描述逻辑扩展研究

为了使动态描述逻辑DDL具有处理简单矛盾问题的能力,引入可拓集合和可拓变换对它进行扩展.文章提出了一种动态描述逻辑DDLESET,给出了DDLESET的语法形式和语义解释;对传统描述逻辑、模糊DDL和DDLESET中的ABox形式进行了比较分析;研究了DDLESET的基本推理问题,对传统描述逻辑的一致性检测算法Tableau算法进行了可拓扩展.描述逻辑DDLESET盯具有对关联度值分别为正负域的模糊断言的表示与推理能力,并可以为关联度值为负域的断言即不可满足的概念或不可实现的动作提供求解策略,从而使其变得可满足、可实现.     

基于支持向量描述的人工免疫检测算法

为了提高人工免疫中检测器生成算法的有效性,需要设计一种对"自己"进行有效描述的算法.本文给出了一种基于支持向量描述(SVDD)的人工免疫检测算法,该算法首先通过核函数将输入空间映射到一个高维空间,在这个高维空间构造一个包含所有"自己"细胞的的球体;在球面上的样本点即为SVDD所求得的支持向量,球体之外的数据即为"非己"细胞.在UCI的标准数据集和入侵检测数据集上进行实验,证实该算法的有效性.     

基于浓缩布尔矩阵的属性约简算法

属性约简是粗糙集理论研究的核心内容之一,最常用的计算属性约简的方法是基于Skowron可辨识矩阵的方法.为解决该类方法中存在的如应用范围受限、时间及存储空间浪费和效率瓶颈等问题,提出了一种基于浓缩布尔矩阵的属性约简算法:通过提出浓缩布尔矩阵的概念,以布尔代数的形式有效解决了现有可辨识矩阵存储空间大、生成效率低等缺点;利用一种新的用于直接生成分辨函数最小析取范式的算法,有效改善了算法的时间和空间复杂度,从而提高了属性约简算法的效率.     

支持空间推理的模糊描述逻辑Fuzzy-ALCRP(D)

描述逻辑ALCRP(D)在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理.通过以描述逻辑ALCRP(D)的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP (D),给出Fuzzy-ALCRP (D)的Tableau判定算法,并给出一个Fuzzy-ALCRP (D)在模糊RCC8空间中的推理实例.     

扩展命题区间时序逻辑公式可满足性判定算法

针对扩展命题区间时序逻辑由于缺少验证算法因而不能用于模型检测问题,提出该逻辑的可满足性判定算法.首先,正则形子算法把带星算子或不带星算子的扩展命题区间时序逻辑公式翻译为其正则形公式;然后,正则图子算法根据正则形公式构造公式的正则图模型;最后,判定子算法在正则图上判定公式的可满足性.如果在正则图上直接加上接受条件,即可得...     

描述逻辑 ALC中的 ABOX 反绎推理算法

鉴于已有的描述逻辑 ALC中 ABOX 反绎推理算法需要转化到 FOL上处理,涉及了大量变元和Skolem 项的使用.ALC-Tableau可以避免大量变元和斯科伦项,给出了一种直接在 ALC 上处理 ABOX 反绎推理问题的算法.该算法将 ABOX 反绎推理问题转化为知识库的一致性问题,在此基础上结合反绎推理的自身特性对传统的Tableau构造过程进行扩充,最终借助一个回溯过程找出反绎问题的所有解.     

含有不确定输入的线性多变量离散系统的可观测性与观测器

对含有不确定输入的线性离散系统,将以前[1]、[2]的可观测性,可再生性概念扩展成新的不确定输入可观测性概念,导入了(r,S)不可观测空间和(r,S;K)可观测性,给出了求(r,S)不可观测部分空间的算法及(r,S;K)可观测的必要条件和充分条件。K 观测器存在的必要充分条件和它的设计方法.     

基于 OBDD 的描述逻辑 ALC判定算法

针对描述逻辑 ALC的经典判定算法在处理大规模问题上的不足,而 OBDD 对于处理大规模问题有高效性,给出了一种基于 OBDD 的 ALC判定算法并证明正确性.该算法根据 ALC 的概念的形式,计算所有子概念和每个子概念的否定形式的集合,然后根据该集合里的每个概念的形式构造出其相应的布尔函数,将布尔函数转化为 OBDD 的表示形式来进行概念的可满足性判定.     

基于序的空间数据索引结构—MB-树

为了提高查询效率,提出了一种空间数据索引结构-MB-树,给出了全新的区域查询处理方法.给出了空间对象按其MBR进行排序的定义,并以此为基础给出了MB-树的定义,规定MB-树中的中间节点的所有孩子节点按其几何位置满足某种序的关系,使得在中间节点中查询时可以进行快速定位.在查询算法中引入查询窗口包含中间节点MBR的检测,对较大的查询窗口查询,有效地减少了相交性判断.给出了MB-树的生成算法、节点插入算法及算法的正确性、可终止性证明及时间复杂度,并给出区域查询算法及算法的性能分析.实验表明:给出的索引结构区域查询的速度得到有效的提高.     

模糊空间描述逻辑及应用

提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础。FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义。随后给出了表推理算法,并证明了其正确性和完备性。最后,基于FSDL定义了模糊RCC5关系。     

立方准晶的反平面问题与Ⅲ型裂纹问题

发展了立方准晶材料的断裂理论 .通过应用Fourier分析和对偶积分方程理论 ,得到了立方准晶材料Ⅲ型裂纹问题的精确解析解 ,并由此确定了位移与应力场 ,应力强度因子和应变能释放率 .结果表明 ,应力强度因子与材料常数无关 ,而应变能释放率依赖于所有的材料常数 .这些为研究此新固体材料的变形和断裂提供了重要的信息 .     

FMS中加工质量故障预报的新方法

对引起加工质量故障的原因进行了研究,建立了用于加工中心加工质量故障分析的与/或故障树,提出了隐加工质量故障(FMQF)的概念和由·FMQF 找出制造系统故障的决策树方法.本文在模糊理论基础上,提出了隐加工质量故障识别的新方法,用这种方法可以根据控制图的变化进行设备状态估计.基于以上研究,建立了可用于柔性制造系统隐加工质量故障预测和预报的专家系统.     

基于田口方法的生态环境敏感性评估方法研究

提出基于田口法的生态环境敏感性评估方法。采用统计分析方法描述生态环境敏感性特征,构建生态环境敏感性数据的统计分析模型,结合大数据挖掘方法进行生态环境敏感性关联数据挖掘,提取生态环境敏感性数据统计分布的模糊聚类特征量,采用模糊C均值聚类分析方法和相关性融合分析方法,实现对生态环境敏感性评估和检测,基于田口方法构建生态环境敏感性评估的检测统计量,根据稳健性检验和统计回归分析方法,实现对生态环境敏感性评估和预测。仿真结果表明,采用该方法进行生态环境敏感性评估的自适应性能较好,预测准确度较高,提高了生态环境敏感性评估的置信度水平。     

Information for authors

<正>Science China Technological Sciences(Sci China Tech Sci)is a monthly peerreviewed academic journal supervised by the Chinese Academy of Sciences,and co-sponsored by the Chinese Academy of Sciences and National Natural Science Foundation of China.Its primary mission is to encourage communication of basic and innovative research results of high quality in the fields of technological sciences.The subject areas featured include materials,mechanical engineering,engineering thermophysics,water resources,space science,astronomics,civil engineering,nuclear science and technology,electronic engineering,architecture,and engineering mechanics,etc.All papers should be intelligible for a broad scientific audience.Contributions are invited from researchers all over the world.Sci China Tech Sci is indexed by SCI,EI,Current Contents,Index to Scientific Reviews,International Aerospace Abstracts,Math Reviews,MathSciNet,Current Mathematical Publications,Z Math,etc.     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.JBIT is listed in Ei,CA,SA,AJ,CSA,MR,ZM and many other abstracting indexes.     

Genomics,metagenomics,and microbial oceanography—A sea of opportunities

Microbial oceanography is an emerging discipline resulted from the interaction,cross-fertilization and integration of life science and ocean science.Microbial oceanography integrates the principles of marine microbiology,microbial ecology and oceanography to study the role of microorganisms in the biogeochemical dynamics of natural marine ecosystems.The application of genomics tools to study marine microbes is resulting in rapid advancements in microbial oceanography that has important implications in globa...     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.JBIT is listed in Ei,CA,SA,AJ,CSA,MR,ZM and many other abstracting indexes.     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.     

电流变隔振器的理论研究

介绍了一种新型的隔振器———电流变隔振器 .通过对系统的结构进行简化 ,建立起物理模型 ,推导出运动微分方程 ,在理论分析和性能曲线模拟的基础上 ,确定出影响电流变隔振器工作特性的主要因素 .理论研究表明电流变隔振器在低、高频段均能良好隔振 ,有效降低传递力的幅值和扩大隔振的频率范围 ,并具有防系统共振的性能 .     

关于受控扩散过程的动力学

主要考虑在给定初始条件下构形变量的时间演化可由受控扩散描述的有限自由度动力系统.基于随机控制一般理论,引入受控扩散的随机作用量的两个适当形式.通过离散该随机作用量,导出系统受控扩散的广义坐标表示的动力学方程,该方程连同连续方程一起精确描述扩散运动的概率进程.