命题逻辑中的可表性

本文给出了可表性概念．应用可表性，处理了命题逻辑符号间的关系．     

单位分数代数和的可表性

给出了单位分数代数和的可表性定理及其推论     

自然数表为平方和的充分条件

本文给出了自然数表为两整数平方和与本原可表为两数平方和的充要条件的新证明。     

结合环可表为除环之直和的充要条件

在[1]中给出了结合环可表为单Artin环之直和的充要条件,而在[2]中则完全刻划了可表为有限单代数之直和的结含代数。本文试图推广这两个定理而给出结合环(结合代数)可表为除环(有限可除代数)之直和的充要条件。设R是结合环。相应于次理想、局部次理想[1]的概念而引入下面的定义1 说R的子环B是R的次左理想,如果存在有限链(称之为次左理想链): B=B_0(?)B_1(?)…(?)B_(n-1)(?)B_n=R,     

四面体区域的讨论

给出四个平面可围成一个四面体区域的充要条件,推证出该区域的解析表达式的简单求法.     

指数函数e^x的高阶有理分式近似

构造了指数函数ｅｘ的任意高阶有理分式近似类，给出了它Ａ－可接受的准则及其误差项的精确表达式，为构造常微数值方法提供了新的有效途径．．     

Hausdorff连续集值随机过程的选择定理及表示定理

本文给出了Ｐｆｃ（Ｘ）值随机过程为Ｈａｕｓｏｄｏｒｆｆ连续的充要条件是其可表为一例Ｘ值连续过程的Ｃａｓｔａｉｎｇ表示。     

熵损失函数下巴斯卡分布参数的Bayes估计

研究在熵损失函数下,巴斯卡分布可靠度的Bayes估计及其可容许性,并且给出Bayes置信下限以及多层Bayes估计的表达式。     

局部凸空间中一类有界集的构造及其性质

在避部凸空间Ｘ中构造了有界集族，讨论了它的若干性质并给出了Ｂ∈Ｂ的一个简单的表达式，证明了当Ｘ可距离化时，Ｂ与数列空间Ｓ的一个子集是一一对应的，从而可将将有界集的研究转化为对数列的研究。     

线性二级规划的一种单纯形解法

本文讨论用单纯形表实现求解线性二级规划的高点法，给出了在单纯形表中检验当前极点的可行性的原理和方法．     

直线参数方程中参数的应用

通过求直线参数方程中的参数,利用参数的几何意义证明空间点到平面、点到直线及异面直线间的距离公式,其证法相对较为简便.     

囚禁离子内态的相干导致声子场的压缩

在非Lamb-Dicke近似下,当驱动经典激光场的频率与质心模红边带发生共振时,两个囚禁离子的内态与声子场耦合的动力学可用非线性Jaynes-Cummings模型来描述.当离子的初始内态处于无相干性混合态、振动声子场初始处于真空态时,演化后声子场无压缩性;而当离子的初始内态处于有相干性的迭加纯态、振动声子场初始处于真空态时,演化后声子场将表现出压缩性.在适当的初始条件下,声子场将表现出永久性压缩状态,并且压缩随时间作周期性变化.     

不同水稻品种在两种育秧方式下幼苗的耐寒耐旱生理鉴定

试验结果表明，3个不同水稻品种的不同育秧方式在相同低温胁迫下，经旱育浙9718水稻幼苗无论是游离脯氨酸含量，还是游离可溶性糖含量均超过同期湿润与旱育的湘早籼25号和V56水稻幼苗，其电导率明显低于同期湘早籼25号和V56水稻幼苗，说明浙9718水稻幼苗具有较强的耐寒耐旱性。     

关于某一类同余式解的注记

同余式的解的存在性以及解数的问题是初等数论中传统而又核心问题.研究同余式xk≡a(modp)解的问题,其中p=kl+2(k,l∈N)为素数,满足(a,p)=1.给出了解存在的充分必要条件以及解数.     

一类可化为变量分离微分方程的题型推广

对一类可化为变量分离方程的微分方程dy/dx=(a1x+b1y+c1)/(a2x+b2y+c2)(a1,a2,b1,b2,c1,c2均为常数)进行了次数上的推广,得到方程dy/dx=(a1xα+b1xβyγ+cxβ)/(a1yα+b1xγyβ-cyβ)(β+γ=α,β=γ-1),并给出其通用解法.     

根据反射声波相位信息识别分层介质结构

通过提取分层介质声回波的相频特征信息,对物理性质未知的分层材料实现了有效的分类识别. 分类对象为单层材料、包含两种不同声速和密度的两种双层材料、外层较硬中间较软的三层结构,硬和软是指两种材料c值的相对大小. 数值模拟表明该方法对4种分层结构能进行有效识别. 采用优化的分类流程可减小测量的工
作量.     

电流变传动器的现代双谱分析

电流变流体是一种新型的智能软物质,它是2 1世纪人们普遍关注的材料.电流变传动器在工程中有重要应用前景.首先介绍电流变传动器的工作原理.当白噪声干扰电流变传动器时,利用采样数据,建立时间序列的自回归模型.然后根据Laplace变换与Z变换的关系,可以得到系统的无阻尼自然频率和阻尼比.双谱分析是一种新的信号处理的有效技术,它可以定量描写信号间的非线性耦合,可以抑制噪声、保留了信号的相位信息.这里应用AR双谱研究电流变的传动器的动力学特性.电流变的传动器的自动检控制系统是用NI虚拟仪器构成的     

对水解平衡移动实验的研究和改进

化学实验是一项十分重要的教学环节,而选择一个现象鲜明、依据可靠、解释合理的化学实验,又是实验教学的关键。本文从盐类水解实验入手,对旧实验提出了自己的看法,并建议采用一个更合理的实验,可取得更好的效果。     

一类竞争神经网络的指数稳定性分析

研究以竞争微分方程为模型的动态系统,它总结了长期和短期记忆两个方面的动态行为特征。这种神经网络的行为以一个表征快速变化现象的神经活动方程,和一个表征神经系统的慢速变化的动态调整方程来刻画。应用M-矩阵与Lyapunov稳定性理论,分析具有不同时间尺度的生物动态神经网络的指数稳定性,给出保证此神经网络平衡点全局存在唯一且指数稳定的一个充分条件,和一定条件下的一个充要条件。