生物学中一个反应扩散方程的大时间问题

研究了生物学中描述形态形成的一个反应扩散方程组的初边值问题，考虑了它的大时间问题，用Ｇａｌ；ｅｒｋｉｎ方法和Ｇｒｏｎｗａｌｌ不等式对方程组的近似解作一致的先验估计，进而用紧致性原理得到了大时间上整体解的存在性，并用积分估计法证明了整体解的唯一性。     

Trudinger-Moser不等式的两种证明方法

Trudinger-Moser不等式在研究带有临界指数增长非线性项偏微分方程解的存在性问题上有着重要的应用.在径向空间中利用施瓦兹对称重排,基于单位分解的技巧取截断函数是证明Trudinger-Moser不等式的两种主要方法.     

Gronwall不等式的推广及其在分数阶微分方程中的应用

给出Gronwall不等式的一个推广定理,通过该定理来分析一类分数阶微分方程解对初始条件和阶数的依赖性.     

Hoder不等式与Cauchy不等式的等价性

本文证明了Ｈｏｄｅｒ不等式与Ｃａｕｃｈｙ不等式是等价的。     

Sylvester矩阵秩等方程的解

利用矩阵的秩分解,得到Sylvester矩阵秩等方程在秩约束条件下有解的充分必要条件,并由此得到了Sylvester矩阵秩等方程的通解。     

关于Steffensen不等式的一个推广及其证明

本文推广了ｓｔｅｆｆｅｎｓｅｎ不等式和Ｂｃｌｌｍａｎ不等式，并给出了证明。     

两类带权不等式的推广及其证明

Holder不等式和Minkowski不等式是数学里常用的两类不等式,文章证明了这两类带权函数的不等式及其推广的带权不等式,并且给出了带权的Itolder逆不等式的证明。     

一类含CFC - 分数阶导数微分方程的Lyapunov不等式及其解的存在唯一性

研究了一类含CFC - 分数阶导数的微分方程:{(^CFC₀D^px)(t)+u(t)x(t)= 0, 20, b>0, 0CFC₀D^px)(t)+f(t,x(t))=0, 2相似文献   

永磁直线伺服系统H∞鲁棒控制

针对永磁直线伺服系统设计提出H∞鲁棒控制的有效方法．在建立系统状态空间模型的基础上。将直线伺服系统设计归结为标准的H∞控制问题；基于Riccati不等式的处理方法，通过求Riccati不等式的对称正定解得到H∞控制器，以保证系统的鲁棒性．仿真实验结果表明，用该方法设计的控制系统具有良好的抑制扰动和跟踪给定的效果，满足对高性能永磁直线伺服系统控制的要求．     

二阶半线性滞后型方程振动的Riccati方法

利用Riccati不等式方法和Young不等式技巧，研究二阶半线性滞后型方程解的振动性质，得到了一些保证此方程一切解振动的充分条件．     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,BeijingScience is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by human beings,the tremendous productivity brought about by science,and the spirit,methodologies and norms formulated in scientific practice since the 17~(th)Century have long become essential elements of     

SCIENCE CHINA Technological Sciences SUBJECT INDEX TO VOLUME 57(2014)

<正>~~     

单面约束系统的微分变分原理与运动方程

研究单面约束力学系统的微分变分原理和运动方程。方法利用Ｄ＇Ａｌｅｍｂｅｒｔ原理建立Ｄ＇Ａｌｅｍｂｅｒｔ－Ｌａｇｒａｎｇｅ原理．Ｊｏｕｒｄａｉｎ原理和Ｇａｕｓｓ原理,结果与结论得到系统的微分变分原理和带乘子的Ｅｕｌｅｒ－Ｌａｇｒａｎｇｅ形式,Ｎｉｅｌｓｅｎ形式和Ａｐｐｅｌｌ形式的运动方程。     

q-树的重构性

q 是一个正整数,所谓 q-树的图是递归定义的:最小的 q-树是完全图 K_q,一个 n+1阶的 q-树是通过在 n 阶 q-树上加上一个新点并连接这点与 n 阶 q-树中任意 q 个互相邻接的点而获得,其中 n≥q.1-树我们通常称为树.在本文中,证明了对任意正整数 q,q-树是可重构的.     

β-环糊精-毛细管区带电泳分离扑尔敏对映体

采用毛细管区带电泳模式,以β-环糊精为手性选择剂分离了药物扑尔敏的光学对映体.考察了在不同背景电解质 pH 值尤其是较低 pH 值下环糊精浓度对对映体表观淌度差的影响,并研究了有机改性剂尿素在分离中的作用.     

层状球形夹杂复合材料的弹性模量

利用层状球形夹杂在无限大基体中的局部化关系及平均应力场理论,给出了一种方法来分析含 n 种层状球形夹杂所构成复合材料的弹性模量.对于文献给出的空心玻璃球和高分子基构成的复合材料,该理论的预测与实验吻合很好.当表层稍失时,该理论退化为传统的 Mori-Tanaka平均应力场理论.     

CVD涂层硬质合金刀具的失效机理

通过系统的实验研究和理论分析,揭示了 CVD(化学气相沉积)涂层硬质合金刀具在磨损和破损状态下的不同的失效机理,并在机理分析的基础上,阐明了涂层硬质合金刀具对于切削条件的特殊适应性.     

特征关系与工艺决策

从并行工程的原理出发,提出了一个基于特征的并行 CAPP 系统.在特征建模的基础上,系统能够推理特征之间的关系,产生零件的特征向量图;利用加工知识库,通过动态规则匹配,系统可以确定特征的加工方法、加工参数及其加工顺序;通过优化确定最佳的工艺计划.