论文部分内容阅读
该文给出了R0-代数的一些简化公理系统,并证明了R0-代数等价于满足某些条件的BCK-代数.
关于R0-代数的公理系统
【摘 要】
：
该文给出了R0-代数的一些简化公理系统,并证明了R0-代数等价于满足某些条件的BCK-代数.
【机 构】
：
三明学院数学系
【出 处】
：
数学物理学报：A辑
【发表日期】
：
2008年5期
【基金项目】
：
福建省自然科学基金（Z0511050）资助
其他文献
该文研究Hilbert空间H上正则射影对（P,Q）的性质和结构,给出H上有界线性算子A表示为两个正交射影乘积的充分必要条件.
内部控制有效性，是衡量一个企业现代管理的重要标志。安然事件爆发后，美国颁布了萨班斯法案，通过立法强制公司建立有效透明的监督体制，以杜绝诸如安然、世通事件再次发生。之后受
基于一个含有控制参数的修正Lagrangian函数，该文建立了一个求解非线性约束优化问题的修正Lagrangian算法．在一些适当的条件下，证明了控制参数存在一个阀值，当控制参数小于这一阀
给出了R^n上的线性同构和线性流具有极限跟踪性的特征：线性同构具有极限跟踪性当且仅当其对应的矩阵为双曲的；线性流具有极限跟踪性当且仅当其对应矩阵的所有特征根均具有非零
唐人选唐诗今存13种,其中有四种选录孟浩然诗作,特点各异。盛唐选本收录孟诗数量较多、篇幅比重较大,至于中晚唐渐趋冷落,但体裁上较一致地偏好于近体诗。而内容风格方面,盛
该文给出了一个求解非线性系统的信赖域方法．主要思想是通过引入松弛变量，将问题等价地转化为带非负约束的最优化问题．作者利用有效集策略，在每次迭代中只需求解一个低维的信赖域
设H是一个Hilbert空间.B（H）表示所有H到H的有界线性算子构成的Banach空间.设T={f（z）：f（z）=zI-∞∑ n=2z^n An在单位圆盘｜z｜〈1上解析,其中系数An是H到H的紧正Hermitian算子,I表示H上的
基于被积函数在n次第一类和第二类Chebyshev多项式的零点处的差商，该本构造了两种Gauss型求积公式，这些求积公式包含了某些已知结果作为特例。更重要的是这些新结果与Gauss-Tur
编辑同志： 我是甘肃省静宁县的一名农村青年。我们县是一个国家级的贫困县，农村剩余劳动力很多，而田地相对较少。最近，我们村子及邻村突然兴起养獭兔热，有的已经买回了兔种。这
期刊