一组积分方程的准确解

本文求出了其核含有参数及任意函数的一组积分方程的准确解,并初步讨论了解的性质。     

93型精密控温煮解电炉介绍

93型精密控温煮解电炉,采用了大型集成化电路设计方法,对化学分析加热控温煮解过程进行数字直观显示。它集于国内外化学分析不同加热煮解类设备功能于一体,填补了化学分析由室温～600℃加热连续自动精密控温煮解技术一项空白。和分析方法密切配合,为实现化学分析质量登上准、稳、快、省全新台阶和分析技术工作效率长足发展提供了一个理想的工具。     

一类解三角形问题的又一解法

已知三角形的两边和其中一边的对角,判断三角形解的个数问题是学生学习的一个难点.对此问题,课本高一(下)P129给出了一个较难掌握的图解法,尽管文[1]也给予了详尽的归纳、指导,但依条件的不同,分类较多,判断准则各异,不太具有可操作性.于是,文[2]作者覃埋基老师独辟蹊径,借助余弦定理及二次方程知识给出了另一解法.笔者本着"三角问题三角解决"的想法,给出该类问题的再一种解法,仅供参考.     

Erds方程的全等解

本文运用初等方法给出了Erds方程的所有全等解.     

二阶强次线性常微分方程解的振动性

本文讨论二阶非线性常微分方程 (a(t)ψ(x(t))x’(t))’+q(t)f(x(t))g(x’(t))=0 (1)的解的振动性质。在方程(1)中,α∈C[[t_0,∞),(0,∞)],ψ∈C[R,(0,∞)](R=(-∞,+∞)),q∈C[[t_0,∞),[0,∞)]且在任意的区间(t,∞)(t≥t_0)上不恒等于0,f∈C’[R,R],g∈C[R,R]。关于微分方程振动性的定义,如通常定义,不再详述。在下面的定理中,以下条件将要用到:     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

关于一类常微分方程亚纯解的个数的注记

本文讨论微分方程u′=sum from k=0 P_k(z)u~k (1)在某些条件下亚纯解的个数问题。得到定理1、2,它们分别是[1]定理1、2的推广。     

液体导热机理与液体导热率方程

本文提出了气体不平衡状态方程,将其移植应用于液体,并导出正常液体导热率方程.经过不同结构类型的110种无机与有机纯质的608个实验值的验证,平均误差为1.75％.显著优于已有方程.     

半线性抛物型方程初边值问题解的性态

1.引言对于半线性抛物型议程的初边值问题■解的性质有许多作者进行了讨论,设λ_0是-T(D(x)T)所对应的最小特征值,φ(x)为对应的特征函数,则λ_0>0,且可取φ(x)>0,x∈Ω它们是如下问题的解     

利用副反应系数和条件稳定常数计算一元弱酸或弱碱溶液的PH值

目前国内外教科书有关弱酸或弱碱性溶液中 pH 值的计算公式,一般是从“物料平衡、电荷平衡、质子平衡”这三大平衡方程式推导而来的(即“代数法”),其优点是推导过程严谨,人们易于接受,但其精确计算公式复杂,在具体计算时往往需要进行一系列的简化,且这些简化过程对于初学者来说,难于掌握。A.林邦指出“酸和碱可视为络合物”。因为许多能与金属离子结合的配位体,也能与氨离子相结合,那么可以把酸类物质认为是氢络合物;而水