基于动态模糊逻辑的数值化推理方法研究

基于动态模糊逻辑,提出了数值化推理方法。     

涌潮CFD数值模拟若干问题探讨

为了探究现有不同方法生成涌潮的区别,研究涌潮模拟过程中网格划分及湍流模型选择等求解策略问题,应用CFD数值模拟方法对流量生潮法和边界生潮法生成的涌潮水动力特性进行对比,同时分析了网格尺度、湍流模型选择对涌潮模拟精度的影响。研究结果表明：在边界单宽流量一致的条件下,流量生潮法和边界生潮法可模拟得到水位变化、流速分布及传播速度均比较接近的涌潮水流;当网格尺寸不大于0.100倍涌潮高度时,网格尺度对计算结果的影响基本较小;相比标准k-ε湍流模型,RNG k-ε模型更适合于涌潮的模拟。     

关于逻辑可修正性及相关问题的若干思考

逻辑真理是可错的吗?逻辑是可修正的吗?这些问题因为奎因的系统论述而备受关注,引发了国内外学者的热烈讨论和长期的争议。由于逻辑本被公认的普遍适用性和逻辑真理在逻辑系统中所居的特殊地位,对这些问题的不同回答对逻辑学甚至其他亲缘学科会带来不同的影响。通过梳理评判各家之言后认为,逻辑是可修正的,但逻辑真理是不可错的。     

Lambek逻辑的名词化扩充

出于语言学的动机,给出著名的 Lambek 逻辑 L 的一个扩充 Lnom.在Lnom中,引入名词化的公理与规则.系统Lnom关于修正幂集剩余半群语义是可靠和完全的.     

《数字逻辑》中一个逻辑问题的讨论

本文主要是对四位二进制数比较器7485逻辑器件,在中国版本图书馆CIP数据核字(2000)第29015号<数字逻辑>一书的逻辑图中若干逻辑问题进行了分析,并提出自己的个人观点.     

关于ABEL软件若干应用技术问题的探讨

ABEL软件是新一代高效可编程逻辑器件(PLD)设计工具。本文对ABEL开发软件的GAL器件库定义、逻辑功能描述方法、测试向量的确定以及源文件的处理等关键应用技术问题进行了深入探讨。正确运用这些技术对于提高可编程器件的逻辑设计效率和可靠性具有实际意义。     

UNITY逻辑中关于unless的若干结果

本文的工作主要分为两部分．首先,我们把验证ｐｕｎｌｅｓｓｑ是否是ＵＮＩＴＹ逻辑的定理转化为一阶定理的验证．其次,设ｐ１ｕｎｌｅｓｓｑ１,…,ｐｎｕｎｌｅｓｓｑｎ在一ＵＮＩＴＹ程序Ｆ中成立．我们把验证ｐｕｎｌｅｓｑ在Ｆ中成立是否可由以上ｎ个性质得出转化为强推出的验证,其中强推出是本文引进的新概念．     

分析测试中心若干问题的探讨

实验室、特别是校中心实验室,是培养创新高素质人才的重要场所.从某种意义上讲,它反映了一个学校的科技实力和学术水平.本文根据我校测试中心的实际情况,指出了其存在的一些问题,并提出了今后的努力方向.     

关于积分第一中值定理的一些探讨

本文把中值定理中,函数在闭区间[a,b]上连续的条件减弱为在闭区间[a,b]上可积,在开区间(a,b)有介值性,证明定理同样成立.     

当前我国体育学术期刊英文摘要写作问题的计量分析

采用文献资料法、数理统计法、逻辑分析法等研究方法,选取2003—2009年我国15种体育学术期刊的406篇论文英文摘要进行了统计,并对相关实例进行了分析。研究表明:体育学术期刊英文摘要写作要素基本齐备,但写作中存在大量语言应用不当的问题,如词汇使用不当、句子结构不合理、语篇衔接不到位等,其中词汇层面的问题最多;在写作过程中存在错译、死译、漏译、多译、乱译等问题;从总体上看,英文摘要的写作质量不高,句子、语篇、时态的问题应特别注意,亟需相应的写作指导和培训。     

略论物质与宇宙基本问题的物理“终极探索”

当基本理论物理的研究正在指向所谓物质与宇宙本原的“终极问题”,是否意味着物理学已走到最后的认知“疆界”。本文拟从一个科学理论体系的不可能假定出发,阐述对这一基本命题的看法。     

四元数分析中的某些边值问题

运用多复变函数中有关边值问题的处理方法和结论，讨论了四元数空间中超球上的Schwarz问题和Riemann-Hilbert问题及其变形问题，给出了该问题的可解条件和通解的积分表达式．     

拟四元数空间中的一些边值问题

分别考察了三维空间R3中一阶椭圆型方程与四维空间R4中一阶双曲型方程的Dirichlet和Neumann两类边值问题.通过将其转化成方程组,利用函数论的方法来研究.在两种不同的边值条件下,获得了可解条件及解的表达式.     

基于物理实验教学体系中的几个问题的探讨

针对物理实验教学体系中的几个问题，将力、热、光、电磁等传统实验内容进行有机结合、对实验内容、教学方法进行了改革，调动了学生主动学习的积极性，使学生的实践能力、创新能力等综合素质得到了提高。     

一些困难问题的数值求解

基于微分方程系数的局部结构来构造微分方程的局部精确差分格式,新方法解决了一些用现有方法无法满意计算的困难问题。     

对木地板几个常见质量问题的探讨

结合工程实践,提出了木地板中几个常见质量问题,并介绍了其主要处理方法和防治措施.     

应用Excel进行数学实验的探索

讨论Excel在数学专业的数值计算方法、微积分学、概率论等课程实验教学的应用。