张小红
- 作品数：71 被引量：158H指数：8
- 供职机构：宁波大学更多>>
- 发文基金：国家自然科学基金浙江省自然科学基金宁波市自然科学基金更多>>
- 相关领域：理学自动化与计算机技术文化科学经济管理更多>>
- 零对称BZ-代数的充要条件
- 2003年
- 重新证明文[10]中几个重要结论并修正文[10]中的定理1(11)和定理2.在此基础上,利用这些重新证明过的结论及修正过的定理可以按照文[10]中引理3,定理4,定理6,定理7,定理10的证明过程原样证明文[10]中的相应结果.因而在文[10]中,除性质11是结合BZ-代数的等价性质(见文[15]),定理1(11)及定理2需要进行修正外,其余结论及证明过程均成立.
- 张小红王永全
- 关键词：零对称BZ-代数充要条件
- 弱结合BZ-代数及其特征性质被引量：2
- 2002年
- 引入弱结合BZ 代数 ,并揭示其特征性质 ;讨论了BZ 代数类中各子类间的关系。
- 王永全张小红陶跃
- 关键词：蕴涵零对称BZ-代数子类
- 5阶BZ-代数
- 2003年
- 应用美国Wolfram公司的软件Mathematica4.0,通过编写计算机程序给出22个5阶真BZ-代数并进行了适当分类。这不仅对BZ-代数的进一步研究具有重要参考价值,而且将对相关代数系统的研究产生积极影响。
- 张小红王永全沈百英
- 关键词：BZ-代数BCI-代数MATHEMATICA代数系统计算机程序商代数
- 预线性与对合非结合剩余格被引量：5
- 2012年
- 非结合剩余格是非结合格值逻辑系统的代数抽象,本文研究几类特殊非结合剩余格的代数性质。证明了满足预线性条件的非结合剩余格必是分配格,并给出预线性非结合剩余格的充分必要条件。同时,引入对合和强对合非结合剩余格的概念,研究了它们的基本性质,并分别给出对合和强对合非结合剩余格的等价条件。最后,通过反例说明强对合预线性非结合剩余格不一定是蕴涵格。
- 梁聪张小红
- 关键词：模糊逻辑蕴涵格
- 关于形式系统L~*及R_0代数的若干结果被引量：6
- 2003年
- 研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的.
- 王保社张小红
- 关键词：数理逻辑模糊逻辑形式演绎系统R0-代数BCK-代数
- 数学软件Mathematica的应用——数学实验一例被引量：4
- 2003年
- 本文介绍作者编写的几个用于研究有限代数系统的 Mathem atica程序 ,它是数学实验的极好素材 .
- 张小红
- 关键词：数学软件MATHEMATICA数学实验
- 低阶半单Nelson代数
- 2009年
- 给出半单Nelson代数的一些新性质,证明了全序半单Nelson代数只存在二阶和三阶的,四阶及以上的有限全序半单Nelson代数不存在.同时,借助数学软件Mathematica得到阶数不超过9的全部(同构意义下)半单Nelson代数.
- 李鹏张小红
- 关键词：阶数
- 基于Schweizer-Sklar T-范数的模糊逻辑系统被引量：21
- 2005年
- 基于Schweizer-Sklar T-范数,提出了一个新的模糊逻辑形式系统UL*,证明了系统UL*的可靠性和完备性,并指出著名的SBL～系统是UL*的语义扩张,而IMTL△系统是UL*当两个'非'运算重合时的特例.最后分析了UL*系统与其他模糊逻辑形式系统的关系,并从Yager的'与度'、Whalen的'模糊规则交互作用的强度'概念出发,说明了系统UL*中参数p的含义及其在近似推理中的应用.
- 张小红何华灿徐扬
- 关键词：T-范数
- 球面神经网络逼近及其应用
- 周观珍盛宝怀张小红罗世华俞国华
- 神经网络逼近是研究人工神经网络对信号的近似表示程度的一门新兴的边缘交叉性学科，它为现代信号处理、计算机网络等学科的发展奠定必备的理论基础。神经网络逼近在数学中属于非线性逼近范畴，球面上神经网络逼近问题的研究在国内外尚属起...
- 关键词：
- 关键词：球面
- 基于时间序列分析的上海地铁16号线客流预测—以临港大道站为例被引量：3
- 2016年
- 随着不断发展城市轨道交通建设也不断涌现诸多问题,如何以科学手段来预测客流,从而提高轨道交通运营的效率引起广泛关注。时间序列分析是主流的预测方法,其中ARIMA模型适用于各类的序列,是迄今最通用的时间序列预测法。本文将以上海地铁16号线临港大道站为例,对其日客流通过时间序列分析方法,建立差分自回归移动平均模型(ARIMA模型),利用自相关函数和偏自相关函数来初步判断和识别ARIMA模型各个参数,并根据所建立的模型来预测16号线临港大道站后两周客流数据,以此为提高临港地区城市轨交运营效率,改善临港地区地铁与公交高效衔接建立基础。
- 陈彦莉沙玉五朱小林张小红
- 关键词：时间序列ARIMA模型
