一类具有偏差变元的积分—微分方程解的渐近性质

~~     

惯性原理及其宇宙起源(上)

 常言说得好,没有规矩,不成方圆。没有基准,也就失去依据。什么是引进物理量和描述物理规律的规矩和基准呢?在力学和物理学中,惯性原理即对于惯性观测者以惯性运动和惯性系为基础的相对性原理,对于力学量和物理量的引进、力学和物理规律的描述,起着十分重要的基准作用。对于与空间、时间,其中物质和运动直接相关的力学量和物理量,以及相应的力学和物理规律而言,至少在引力相互作用可以不考虑的情形中是这样。事实上,惯性原理的这一基准作用,在牛顿力学和狭义相对论中都非常突出。早在我国汉代就有记载:“地恒动而人不知,譬如闭舟而行不觉舟之运也。”     

变加速动力学与舒适性问题

用变加速动力学的急动度(加加速度)概念,分析了车辆、电梯的乘座舒适性与高层钢结构建筑的风振舒适性问题.     

新型密度秤

学习了密度知识，我们知道密度等于质量与体积的比值．根据这一原理，我们制作了液体密度秤，它与实验室的密度计相比，有许多优点：不分轻重表，刻度均匀，可测少量（100ml）液体的密度．下面介绍这种密度秤的原理、制作及使用方法．     

多目标分数变分问题的对偶性

本文利用参数逼近在函数广义（F，ρ）－凸的条件下，建立了一类多目标式变分问题关于有效解的对偶理论。     

论优化问题的公理方法（Ⅲ）

在建立了可交换半群｛Ω，｝上的簇Ｆ及其上的第一类优化算子＊概念之后，得到本文主要结果定理４和定理５。然后证明了首Ｎ阶优化算子，非劣算子以及摹多项式簇上的算子［１，２］都是第一类优化算子，与它们相关的优化集合簇Ｎ－ＴＨ，ＰＡＲＥＴＯ及ＥＳＳＥＮＣＥ都是广义优选半域。让它们赋值于多阶段有向图上，它们都服从于嘉量原理     

一类广义非线性混合拟变分包含组

本文引入了一类新的带松弛单调映射和松弛Lipschitz映射的广义非线性混合拟变分包含组 ,构造了求解该类变分包含组的迭代算法 ,证明了该类变分包含组解的存在性以及由本文构造的迭代算法产生的迭代序列的强收敛性 .所得结果推广和改进了大量文献中的最新结果[1 5 ] .     

基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.