分段式话语表现理论

分段式话语表现理论(Segmented Discourse Representation Theory,简称SDRT)把动态语义学和人工智能关于话语解释的研究结合起来,并把修辞结构引入动态语义学。SDRT包含了两种逻辑:信息内容的逻辑和粘着逻辑。SDRT使用语义未具体化陈述的语言L ulf来描述话语的逻辑形式,表达关于语义未具体化陈述的信息,L ulf的推论关系抓住了未具体化逻辑形式和所有可能的解释之间的关系。通过粘着逻辑和最大化话语融贯性原则,话语更新定义了未具体化逻辑形式和语用上更可取的解释之间的关系。

欧盟普惠制中的分段计算理论

如何应用欧盟普惠制中的分段计算理论 。

多小波融合策略的分段式指纹匹配算法

针对现有指纹匹配算法准确率低、易受指纹复杂形变影响等缺陷,将多小波理论融合策略与分段式理论相结合,提出多小波融合策略的分段式指纹匹配算法。算法将指纹进行多小波基分解提取特征向量,依据DS证据理论融合得到总特征向量。提出采用归一化局部能量加权互信息匹配度,并以此完成局部初匹配。在此基础上,采用可变大小界限盒法进行全局再匹配。实验结果表明:提出的算法有效提高了算法的准确率,同时也有效避免了指纹复杂形变等因素对指纹匹配算法精度的影响。

反向分段加工变形控制方法在叶片加工中的应用

发动机叶片多为薄壁复杂结构,铣削加工时极易产生颤振和变形等缺陷,导致叶片加工困难。将反向分段加工理论应用到某型号叶片铣削加工试验的结果表明:该方法降低了叶片加工过程中的偏转和弯曲变形,误差缩小到0.02~0.03mm,获得了较好的加工精度,从而验证了该理论在叶片类薄板件加工中的优越性。该方法可为叶片加工过程中的颤振抑制提供参考。

基于条件数理论的高维组合导航系统可观测性分析

为了更好地完善惯导系统误差补偿和抑制技术,对SINS/GPS组合导航系统进行可观测性分析,从而对系统误差进行补偿,提高导航精度。利用分段线性定常理论得到系统的提取可观测性矩阵,再计算该矩阵的条件数,根据条件数分析在不同量测及不同机动方式下系统的可观测性。针对SINS/GPS组合导航系统,建立高维数学模型,设置复杂运动轨迹,比较不同量测下误差源的可观测性。仿真结果表明:与机动方式的激励作用相比,增加量测能更有效地提高系统的可观测性。

分段折线模型有效性分析

该文就非线性电路中普遍采用的分段折线模型的有效性问题进行了深入的讨论,利用微分方程稳定性理论得出该模型失效的条件,对正确使用分段折线模型具有重要的参考价值.

Lidar点云三维模型于Morse理论下特征提取及应用

针对传统的特征提取技术特征提取粗略,拓扑信息大量丢失,拓扑关系难以简化等问题,本文实现了基于分段线性Morse理论的特征提取算法,确定了一种新特征线度量指标。首先以三角网格顶点曲率计算为基础,构建了三维表面模型的Morse理论指标函数;采用最大(小)邻点算法连接指标函数所提取特征点,完成特征线构建;针对Morse-Smale复形在三维表面模型中冗余或错误特征过多,采用单复形拓扑模型进行特征提取;以三维表面模型Morse单复形“持续值法”思想为参照,确定了一种点线结合特征线提取度量指标,并基于该指标完成特征线额拓扑简化。实验结果表明,对棱角线完整性和存在性存在关键作用,在零件模型点云压缩率为26.02%,在苹果模型点云压缩率为39.33%,提高了拓扑特征提取效率,为点云后续处理奠定良好基础。

利用二维分段线性插值计算粮食平衡点湿度

介绍了利用分段线性插值的理论在二维数据场进行插值算法的设计方法,并举例说明了用C语言实现的过程。

基于分段退化理论的装备维修器材消耗预测模型

针对装备维修器材消耗规律难预测、装备备件申领不准确、存储方面存在短缺和积压并存等问题,依据装备单元分段退化理论,运用可靠性及概率论方法,结合部队装备单元维修实际,采取基于时间和状态的维修策略,建立基于分段退化理论的装备维修器材消耗规律数学模型,并举例说明了模型的实用性,可为装备部门申领存储维修器材提供借鉴。

中国活动构造研究的进展与展望

本文试图在世界活动构造研究背景下概括中国活动构造研究的进展,并对最近20年来中国的活动构造研究,包括几何学、滑动速率、古地震和大震重复间隔、分段理论和应用、活动褶皱、深浅构造耦合关系、城市和海域活动构造探测、块体划分和块体运动、地震危险性和未来断裂滑动量评价及中国现代构造活动动力学等进行简要评述,对今后在这些方面的发展进行概略的讨论。

诱惑侦查研究

诱惑侦查虽然对一些特殊案件的侦破有很大价值 ,但是也可能带来一些不利后果。笔者讨论了侦查机关在哪些情况下可以进行诱惑侦查行为 ,哪些情况下不能进行 ,并指出在某些情况下 ,侦查人员违反法律规定进行诱惑侦查行为可能构成滥用职权罪。对于被诱惑者的刑事责任问题 ,笔者提出了“分段理论”和“社会政策理论” ,认为只有在被诱惑者被诱惑之前已经进行了部分犯罪行为 ,并且侦查人员的诱惑行为没有突破社会道德底线的情况下 ,被诱惑者才负犯罪预备或者犯罪未遂的刑事责任。

捷联惯导系统误差状态可观性分析

捷联惯导系统误差状态可观性分析是为了确定卡尔曼滤波器对系统误差状态的估值效果。本文根据分段常值理论分析了捷联惯导系统误差状态的可观性 ,得到相应的可观性结论 ,并且分析了水平通道的误差状态可观性。所得到的分析结论对设计滤波器时的运动路径设置提供了参考依据。

SBF3-2波浪浮标锚泊系统设计

SBF3-2型波浪浮标的横向锚泊系统由锚、锚链、尼龙绳和一个漂浮水面的浮筒组成,连接波浪浮标的系泊线始终处于横向水平状态。采用分段悬链线理论对系泊系统进行了静力分析,计算了锚泊线的受力情况和悬链线形状。该系泊系统适用于流速较大的海域,可提高浮标的随波性、抗倾覆能力以及波浪参数测量的准确度。

悬索桥成桥主缆线形计算研究

基于分段悬链线理论,推导了成桥线形计算方法和迭代格式.以此编制程序并围绕解析法中成桥线形分析中吊索力的确定,结合施工中加劲梁的架设特点,采用三种不同的近似方法来计算吊索力.对各种不同方法下得到的成桥线形进行了研究和比较.研究结果表明,基于解析的悬链线理论,吊索力虽然近似计算所得,但计算精度远比参数方程法和抛物线法高,在方法上也比有限元法简便.为以后采用类似方法计算偏差状况提供了参考.

自锚式吊拉组合体系桥主缆线形计算方法

基于分段悬链线理论，考虑自锚式吊拉组合体系桥主缆锚固点位置及桥塔高度的变化，分别介绍了其成桥和空缆状态主缆线形及主缆无应力长度的计算原理和步骤．考虑索鞍的影响，编制了主缆线形计算程序．算例验证结果表明该方法是正确可行的，所编程序具有收敛速度快、计算精度高、便于工程应用等特点，对自锚式吊拉组合体系桥的设计和施工都具有很好的指导作用．

试论黑格尔关于认识发展阶段的划分

最近,我国哲学界关于认识发展阶段问题讨论得比较热烈。细究之,其中有不少提法源出于德国古典哲学。随着讨论的逐步深入,就这些提法作追本溯源的考察,借以寻求某种启迪,已在所难免。本文对黑氏认识分段理论的探讨,便属这方面的尝试。

空间异形索面悬索桥主缆成桥线形计算方法

空间异形索面悬索桥的主缆受到吊索三个方向的作用力,由于空间吊索与空间主缆相互耦合作用,主缆成桥线形计算尤为复杂。鉴于此,基于分段悬链线理论,提出一种"空间问题正向平面化,平面问题逆向空间化"的新思路,推导出可同时考虑空间主缆与空间吊索相互耦合作用的空间异形索面悬索桥主缆成桥线形解析表达式。结合MATLAB软件编制空间异形索面悬索桥主缆成桥线形迭代分析主程序,并基于APDL参数化语言开发主缆平衡态分析验证子程序。以空间索面悬索桥——韩国永宗大桥、空间异形索面悬索桥——河南省宜阳县骏马大道跨洛河大桥为例,采用所提出的方法分别开展主缆成桥线形分析。结果表明:所提出的方法计算精度高、收敛速度快,可适用于各种索面悬索桥主缆成桥线形分析。

分段线性Morse理论下的地表拓扑特征提取与简化

针对传统地表特征提取算法存在特征识别不完整,拓扑关系构建复杂,难以进行拓扑简化的问题,本文实现了基于分段线性Morse理论的特征提取,并提出一种新的特征重要性度量指标进行拓扑简化。首先识别关键点构成关键线,生成Morse-Smale复形完成地表拓扑特征构建;然后提出一种新的特征重要性度量指标,利用Morse-Smale复形的平均特征值反算关键点的特征值,使其对Morse-Smale复形的特征重要性进行双重评估;最后基于该度量指标实现了地表拓扑特征的简化与表达。实验结果表明,地表特征被清晰提取并构建了良好的拓扑结构,特征提取点云压缩率达36.29%,拓扑简化的点云压缩率达70.73%,大大缩减了点云数据量,并将冗余拓扑结构剔除,为后续地表点云的表达与应用奠定良好的数据基础。

GNSS/SINS松组合系统的可观测性分析

针对GNSS/SINS松组合系统中误差状态量不可观测,因而无法被准确估计的问题,提出对当地水平坐标系下的GNSS/SINS组合导航系统进行可观测性分析,从而揭示系统参数与状态量估计之间的内在联系,为工程实践中快速实现高精度定位定姿提供参考:以18维状态量的松组合滤波模型为对象,研究当地水平坐标系下载体运动状态与杆臂误差、姿态误差以及加计零偏可观测性的关系;最后通过仿真数据对可观测性理论分析的结论进行验证。结果表明:杆臂误差的可观测性与载体的直线运动无关,而载体的角运动将提高杆臂误差的估计;载体直线运动时,姿态误差与水平向加计零偏耦合,与天向加计零偏解耦。

分段线性Morse理论支持下的三维点云拓扑特征提取与简化

针对目前基于Morse理论的三维点云拓扑特征提取算法难以删除“伪特征”点,简化后存在噪声特征线的问题,提出了一种基于分段线性Morse理论的三维点云特征提取与简化算法。首先计算函数指标,对特征点进行提取,以各特征点为顶点所包含的三角形为一个集合,计算该集合中两两相邻的三角形法向量的点积,将其最大值作为该点权重,并设置合适的阈值去除“伪特征”点;其次通过特征点生成特征线,完成下降Morse复形的构建;最后选择特征线上不同点的函数指标值,分别计算持续值和考虑特征线实际留存价值的保留系数,两者结合对原有“持续值”法进行改进,得到新的特征线重要性度量指标,并基于该指标实现对三维点云拓扑特征的简化与表达。结果表明,相较其他算法,所提特征提取算法显著减少了“伪特征”点提取,使下降Morse复形构建的时间效率提高了70.37%,点云压缩率提高了22.48%。新的特征线重要性度量方法能获取更简洁、连续且结构完整的特征线,且特征提取与简化过程表现出较强的抗噪性。