Research on Inner Mechanism and KDTIM Theory of Knowledge Discovery

TheresearchonKDismainlytotakeonitstaskdescrib ing ,knowledgeevaluationandknowledgerepresentationasthethread ,andtheeffectiveKDalgorithmswereregardedasthecenterintheworldatpresent[1],whichisthemainstreamandfundamentalkeywithinquitealongtime.However,thelimitationofdataminingtobothstructureddataandcomplex typedataisexactlycomingfrompeople’sscarceunderstand ingandresearchoftheinherentlawinKDsystem .IfKDisconfinedtoasealedpattern ,aseriesofunavoidablequestionswillbecaused ;andifKDandsomereleva…     

知识发现系统内在机理

介绍了杨炳儒教授独立提出的知识发现系统内在机理中的3个机制--双库协同机制、双基融合机制、信息扩张机制,及在其上构建的KDD*,KDK*,KD(D&K),EsKD结构模型.并介绍了在知识表示方法、发现算法与自动评价方法等方面的创新性成果.     

(2+1)维KD方程的扰动非行波双孤子和周期解

应用退耦变换和Lie对称群方法,将(2+1)维KD方程的约化成了(1+1)维非线性PDE。通过广义同宿测试法获得了该方程新的扰动非行波双孤子解及其动力学临界点和参数极限情况下的非行波有理函数奇解。运用二维平面动力系统的Hamilton函数讨论了对称约化方程在波变换下的周期解存在性,并用正切函数拟设法得到了该周期解的显式精确表达,相应获得了KD方程的扰动非行波周期解析解。     

重型汽车转向双摇臂机构的优化设计

转向双摇臂机构的运动协调性直接影响双前桥重型汽车的行驶性能,因此对其转向双摇臂机构的优化设计具有重要意义。文章介绍了重型汽车转向双摇臂机构的转向原理,用空间几何方法建立了双摇臂机构优化设计的数学模型,并用MATLAB软件优化工具箱中的优化计算函数来编制程序,对双摇臂机构参数进行了优化,使转向双摇臂机构的性能得到显著提高。     

Double cones as a basis for a new type of polarization vision in vertebrates

Many invertebrates and vertebrates are sensitive to the polarization of light. The biophysical basis of invertebrate polarization sensitivity is an intrinsic dichroism, the alignment of chromophores along the photoreceptor microvilli. But such dichroism to axially propagating light is not present in vertebrate photoreceptors, whose chromophores are free to rotate in the plane of the outer-segment disc membranes, and a biophysical mechanism responsible for vertebrate polarization sensitivity has not been established. We hypothesize that the roughly elliptical cross-sectioned double-cone inner segment acts as a birefringent, polarization-sensitive dielectric waveguide, and that the double cone mosaic generates a 'polarization contrast' neural image. Here we confirm three predictions derived from these hypotheses: (1) 90 degrees periodicity for polarization sensitivity; (2) polarization sensitivity maxima corresponding to the absolute orientation of the axes of the double-cone inner-segment cross-sections; and (3) action spectrum for polarization sensitivity corresponding to the absorption spectrum of the double cones. We also present evidence for a polarization-opponent neural encoding in vertebrates.     

基于有向图的工作流建模及其运行

文章通过定义活动节点、有向边及活动的启动方式构建了基于有向图的工作流模型,利用此模型可以直观地、清晰地表达各种业务工作过程,以解决传统工作流模型在过程表达方面的不足;在此模型的基础上,构建了活动的状态集、状态函数、动作模型和条件模型,给出了活动的执行规则且详细描述了基于该规则的活动内部运行机制;在活动内部运行机制的基础上定义了工作流模型的运行算法。     

分组法进行二重组织计算机辅助设计的数学模型

介绍了用经纬纱“分组”进行二重组织CAD设计的原理和方法.由二重组织的构成条件导出判别表、里组织是否合适的判别条件,提出了适于CAD设计的经纬纱“分组”的新方法,并由此导出了二重组织CAD设计的数学模型.     

基于区块链和混合连续双向拍卖的分布式电力交易机制

针对分布式电力交易中缺乏有效可靠的交易机制来规范用户信用行为的问题,提出基于区块链和混合连续双向拍卖的电力交易匹配机制。混合连续双向拍卖把信用值引入到用户报价调整中,通过信用值和报价的加权平均值进行连续双向拍卖交易匹配。这种匹配机制能有效减少恶意节点对电力资源分配的影响,从而提高总体收益和用户交易积极性。同时,为了使总体利益最大化,提出基于均衡值的报价策略。然后,借助区块链实现用户间电能数字证明和费用之间的交换。最后,通过分布式电力交易模拟实验证明该交易机制的有效性。     

BL△*系统中理论的△-根及广义△-MP问题

对BL*系统进行了研究.结合Petr Hajek的观点,在BL*系统中添加了一元逻辑连接词△,得到BL*系统的一种扩张BL△*系统.随后在BL△*系统中提出了理论的△-根的概念,并对其基本性质进行了研究.最后提出了广义与集体广义△-MP问题,定义了上述问题在语构意义下的解,并对解的存在性进行了讨论.     

BL_Δ~*系统的完备性

研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.     

BL*Δ系统的完备性

研究了BL^*系统和BR0-代数.首先在BL^*系统的基础上添加了一元逻辑连接词Δ,得到BL^*系统的一种模式扩张BL^*_Δ系统,随后提出了Δ BR0-代数的概念,其次研究了Δ BR0-代数中的Δ-滤子及其性质,最后证明了BL^*_Δ系统的完备性,给出了BL^*_Δ系统的广义演绎定理.     

双层基于案例推理机制的设计

研究了双层基于案例推理机制的设计,讨论了基于案例推理的基本原理与方法,研究了基于案例修改的数学模型、修改原则、修改模型的构建、修改的匹配算法,介绍了基于案例推理和基于案例修改的学习与维护过程。     

BLΔ*系统中理论的Δ-根及广义Δ-MP问题

对BL*系统进行了研究。结合Petr Hájek的观点,在BL*系统中添加了一元逻辑连接词Δ,得到BL*系统的一种扩张BL_Δ*系统。随后在BL_Δ*系统中提出了理论的Δ-根的概念,并对其基本性质进行了研究。最后提出了广义与集体广义Δ-MP问题,定义了上述问题在语构意义下的解,并对解的存在性进行了讨论。     

关于亚正规算子的Hilbert-Schmidt范数不等式

设H为可分无限维Hilbert空间,(T_1,T_2)和(S_1~*,S_2~*)分别为H上重交换的亚正规算子对及次正规算子对,则对任X∈B(H),不等式‖T_1XS_1+T_2XS_2‖_2≥‖T_1~*XS_1~*+T_2~*XS_2~*‖_2都成立;若T,S~*为亚正规算子且‖T‖~2-T~*T为迹类算子,则不等式‖TX-XS‖_2≥‖T~*-XS~*‖_2对任意X∈B(H)都成立。     

介绍一种高功率光纤激光器

近年来，为了提高激光器的输出功率，减少体积，增强工作稳定必画际上发展了一种以双包层光纤为工作介质的激光器，这种双包层光纤激光器采用包层泵浦原理，使注入内包层的泵浦光在内包层中传播，反复穿越纤芯被纤芯掺杂介质吸收，从而使纤芯中传播的光的比例增加，大大提高了输出功率，如此优越的性能使双包层光纤激光器在激光器领域中占有重要的地位，在比较了激光器的常用类型后，阐述了双包层光纤激光器的结构及工作原理，并对其国内，外的发展现状及应用前景作了介绍。     

结核分枝杆菌和卡介苗抗原蛋白的比较研究

利用Ｗｅｓｔｅｒｎ－Ｂｌｏｔ技术,对结核分枝杆菌和卡介苗抗原蛋白进行研究,发现两个菌种的３１ＫＤ和３０ＫＤ蛋白均能单克隆抗体识别,且两蛋白均存在于培养基滤液中,并对卡介苗诱发抗结核反应的机制进行了探讨。     

基于实例推理机制(CBR)综述

从比较几种推理机制入手,介绍了基于实例推理机制(CBR)的由来和现状,阐述了其基本概念和工作原理,详细介绍了几种CBR的实现技术,比较了几种开发工具,指出目前CBR研究中存在的问题并介绍了CBR的发展趋势。     

GA－Simplex与区域收缩的研究

在实现标准基因算法的基础上，用ＧＡ－Ｓｉｍｐｌｅｘ代替ＧＡｓ中的交叉和变异构成一种新算法，详细探讨了以何种方式在群体中选取个体进行ＧＡ－Ｓｉｍｐｌｅｘ操作，找到了一种较理想的方式，并从基因操作的内在机制进行了分析．进而构造了一种混合式方法，使计算速度和效果大为改善．然后详细研究了在ＧＡｓ的迭代循环中如何适时进行区域收缩．最后引入适值调整，找到了一种循环次数少、计算时间短、求解结果令人满意的ＧＡｓ算法     

多自由度平面机构的运动方程

研究多自由度平面机构运动微分方程的建立方法。以拉格朗日方程为基础，引入等于机构自由度数目的广义坐标；根据机构的动能与瞬时功率的变化特点，建立等效转化惯量、等效力的显表达式，从而推导出多自由度平面机构的运动微分方程；最后以实例说明了运动微分方程的建立过程。     

离心流化床中多孔介质干燥的传热传质研究

通过对典型的多孔湿物料在离心流化床中干燥过程的理论分析,将含湿多孔介质传热传质过程和物料与气流之间的外部传递过程相耦合,导出了离心流化床的控制方程组,在此基础上,可以对离心流化床中湿物料的干燥过程进行数值模拟。