检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

计量逻辑学的基本思想和研究综述

模糊系统与数学 2012年第4期26卷 1-11页

作者：王国俊陕西师范大学数学研究所陕西西安710062

介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论,针对不同的系统论述了真度理论和相似度理论,特别是介绍了作者提出的命题逻辑系统L*以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间... 详细信息

介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论,针对不同的系统论述了真度理论和相似度理论,特别是介绍了作者提出的命题逻辑系统L*以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间中的发散度和相容的理论以及三种近似推理模式。回顾了谓词逻辑计量化的进程和有待解决的问题。提出了模态逻辑和模型检验的计量化问题以及有待进一步探讨的几个研究课题。

关键词：计量逻辑学真度相似度逻辑度量空间相容度谓词逻辑

在线全文

学校读者我要写书评

暂无评论

广义MP规则

陕西师大学报（自然科学版） 2000年第3期28卷 1-9页

作者：王国俊陕西师范大学数学研究所陕西西安710062

提出了广义MP规则与集体广义MP规则 ,并在二值逻辑系统中通过引入根的概念给出与上述规则在语构意义下的解 .以三I方法为基础 ,在连续值逻辑系统L 中讨论了广义MP规则与集体MP规则的语构意义下的解 .又分别在二值与Lukasiewicz三值系统... 详细信息

提出了广义MP规则与集体广义MP规则 ,并在二值逻辑系统中通过引入根的概念给出与上述规则在语构意义下的解 .以三I方法为基础 ,在连续值逻辑系统L 中讨论了广义MP规则与集体MP规则的语构意义下的解 .又分别在二值与Lukasiewicz三值系统中给出了上述问题在语义意义下的解 .

关键词：广义MP规则集体文义MP规则模糊逻辑

在线全文

学校读者我要写书评

暂无评论

命题逻辑中的程度化方法

电子学报 2006年第2期34卷 252-257页

作者：王国俊宋建社陕西师范大学数学研究所西安高技术研究所陕西西安710025

在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最... 详细信息

在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最后,提出了有限逻辑理论的相容度理论.

关键词：命题逻辑诱导函数真度近似推理相容度

经典逻辑度量空间中的模2次范整线性空间结构

在线全文

学校读者我要写书评

暂无评论

电子学报 2011年第4期39卷 899-905页

作者：胡明娣王国俊陕西师范大学数学研究所陕西西安710062 安康学院数数学系陕西安康725000

将次范整线性空间理论用于研究经典逻辑度量空间([F(S)],ρ).构造出了([F(S)],ρ)中的一类等距变换,证明了这类等距变换之集构成一个群;进而证明了经典逻辑度量空间([F(S)],ρ)相对于此结构构成带有模2加法性质的次范整线性空间,且此空... 详细信息

将次范整线性空间理论用于研究经典逻辑度量空间([F(S)],ρ).构造出了([F(S)],ρ)中的一类等距变换,证明了这类等距变换之集构成一个群;进而证明了经典逻辑度量空间([F(S)],ρ)相对于此结构构成带有模2加法性质的次范整线性空间,且此空间同构于有限域F(2)上的线性赋范空间;建立了范数与逻辑公式的真度以及范数与逻辑度量空间中的度量ρ之间的关系.

关键词：逻辑度量空间平移群次范整线性空间真度有限域F(2)上的线性赋范空间

大数据中一种基于语义特征阈值的层次聚类方法

在线全文

学校读者我要写书评

暂无评论

电子与信息学报 2015年第12期37卷 2795-2801页

作者：罗恩韬王国军中南大学信息科学与工程学院长沙410083 湖南科技学院电子与信息学院永州425006

云计算、健康医疗、街景地图服务、推荐系统等新兴服务促使数据的种类和规模以前所未有的速度增长,数据量的激增会导致很多共性问题。例如数据的可表示,可处理和可靠性问题。如何有效处理和分析数据之间的关系,提高数据的划分效率,建立... 详细信息

云计算、健康医疗、街景地图服务、推荐系统等新兴服务促使数据的种类和规模以前所未有的速度增长,数据量的激增会导致很多共性问题。例如数据的可表示,可处理和可靠性问题。如何有效处理和分析数据之间的关系,提高数据的划分效率,建立数据的聚类分析模型,已经成为学术界和企业界共同亟待解决的问题。该文提出一种基于语义特征的层次聚类方法,首先根据数据的语义特征进行训练,然后在每个子集上利用训练结果进行层次聚类,最终产生整体数据的密度中心点,提高了数据聚类效率和准确性。此方法采样复杂度低,数据分析准确,易于实现,具有良好的判定性。

关键词：大数据数据抽取层次聚类聚类分析

在线全文

学校读者我要写书评

暂无评论

正则蕴涵算子所对应的逻辑伪度量空间

电子学报 2010年第3期38卷 497-502页

作者：李璧镜王国俊陕西师范大学数学与信息科学学院陕西西安710062 宝鸡文理学院数学系陕西宝鸡721007 华东师范大学上海高可信计算重点实验室上海200062

本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类逻辑系统的全体公式集上建立由公式间的积分相似度决定的伪度量空间.但凡可以建立如此伪度量空间的逻辑系... 详细信息

本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类逻辑系统的全体公式集上建立由公式间的积分相似度决定的伪度量空间.但凡可以建立如此伪度量空间的逻辑系统,都有个共同的性质,即系统中所有的逻辑运算都是连续的,从而就为在此类逻辑系统中建立统一形式的近似推理提供了可行的框架.

关键词：正则蕴含算子可测的积分真度逻辑伪度量空间算子的连续性

在线全文

学校读者我要写书评

暂无评论

双半挂汽车列车转弯运动轨迹仿真分析

吉林大学学报（工学版） 2018年第2期48卷 415-422页

作者：王郭俊许洪国刘宏飞吉林大学交通学院长春130022

建立了双半挂汽车列车的运动学模型,给出了其转弯运动轨迹的一种求解方法,并用MATLAB软件仿真得到各个车辆单元,包括牵引车前轴和后轴、第一节半挂车后轴和第二节半挂车后轴转弯运动的轨迹。最后通过不同结构参数包括半挂车轴距和铰接... 详细信息

建立了双半挂汽车列车的运动学模型,给出了其转弯运动轨迹的一种求解方法,并用MATLAB软件仿真得到各个车辆单元,包括牵引车前轴和后轴、第一节半挂车后轴和第二节半挂车后轴转弯运动的轨迹。最后通过不同结构参数包括半挂车轴距和铰接点位置的设定,对比分析了各轴中点运动轨迹的变化;研究结果表明,对半挂车后轴进行主动转向控制,能有效改善双半挂汽车列车的转向灵活性和运行稳定性。

关键词：车辆工程双半挂汽车列车转弯轨迹主动转向

在线全文

学校读者我要写书评

暂无评论

双半挂汽车列车操纵稳定性分析

浙江大学学报（工学版） 2019年第2期53卷 299-306页

作者：王郭俊许洪国刘宏飞吉林大学交通学院吉林长春130022

分析车辆参数变化对双半挂汽车列车操纵稳定性的影响.提出新的建模分析方法,建立双半挂汽车列车三质心四自由度线性单轨模型.在牵引车前轮角阶跃输入下,运用Matlab软件求解动力学状态方程,得到稳态响应评价中3个车辆单元的稳态横摆角速... 详细信息

分析车辆参数变化对双半挂汽车列车操纵稳定性的影响.提出新的建模分析方法,建立双半挂汽车列车三质心四自由度线性单轨模型.在牵引车前轮角阶跃输入下,运用Matlab软件求解动力学状态方程,得到稳态响应评价中3个车辆单元的稳态横摆角速度增益表达式和不足转向梯度表达式,以及3个车辆单元两两之间的稳态相对增益表达式.分析载荷量和鞍座位置等车辆结构参数对3个车辆单元不足转向梯度的影响,分析不足转向梯度、质心位置和鞍座位置变化对3个稳态相对增益表达式的影响.结果表明,当载荷增加时,须恰当调整2个鞍座的位置,确保3个车辆单元处于不足转向的状态,使汽车列车行驶状态良好.研究结果为双半挂汽车列车的结构参数设计和操纵稳定性改善提供了理论基础.

关键词：车辆工程双半挂汽车列车操纵稳定性稳态横摆角速度增益不足转向梯度

Turbulent Agglomeration of Microparticles in a Cylinder Wake Flow Using LES-DEM:Focusing on the Effect of the Reynolds Number

在线全文

学校读者我要写书评

暂无评论

Journal of Thermal Science 2025年第1期34卷 34-49页

作者： wang Shuang MU Lin LI Xue XIE jun DONG Ming School of Energy and Power Engineering Dalian University of Technology School of Optical Information and Energy Engineering Wuhan Institute of Technology School of Energy and Environment Shenyang Aerospace University

Turbulent agglomeration is viewed as a promising technology for enhancing fine particle removal *** better understand particle transport,agglomeration behaviors,and fluid-particle interactions,we numerically explored these phenomena under cylindrical vortex wake influence using a coupled large eddy simulation and discrete element method（LES-DEM） *** validity of the LES approach was verified by comparison with available direct numerical simulation（DNS） *** adopted the Johnson-Kendall-Roberts（JKR） contact model for particle-particle *** particle dispersion and agglomeration characteristics of particles with different diameters（dp=2-20 μm） in the laminar and transition of shear layer（TrSL） flow regimes were *** particles were concentrated at the vortex centers,while larger particles accumulated around the *** agglomeration efficiency exhibited an M-shaped profile spanwise（y-direction）.With increasing Reynolds number,the agglomeration efficiency and turbulence intensity *** particle agglomeration efficiency peaks at a certain Reynolds ***,at higher Reynolds numbers,reducing the residence time of particles in the flow field decreases the agglomeration efficiency.

关键词： discrete element method large eddy simulation microparticle particle agglomeration