扩孔工艺对复合材料气瓶强度的影响

扩孔工艺可以改善复合材料气瓶瓶肩堆积并影响气瓶强度。为了研究该影响规律,首先,通过对比多个气瓶封头厚度的计算方法,组合推出双公式法,该方法能够较准确地模拟气瓶封头纤维层厚度的变化;然后,利用有限元方法建立气瓶渐进损伤模型预测爆破压力,并利用爆破试验验证了模型的准确性。结果表明,适当的扩孔工艺能使封头上纤维厚度极值降低31.53%,且过渡更加均匀;爆破压力下,封头内胆上的Mises应力整体下降且在瓶口下降更为显著,Mises应力曲线更加平滑;气瓶整体极限承载能力提高2.68%。

多元醇酯LC-MS组成结构解析

通过液相色谱-质谱联用(LC-MS)分析,阐述了多元醇酯结构判断的质谱分析方法。将多元醇酯进行LC分离,对质谱峰解析,判断多元醇酯结构中酸的单体组成;通过LC-MS分析,关联每个色谱峰的质谱解析结果和积分面积,推算出多元醇酯结构中不同碳数酸的含量。举例说明并分析了三羟甲基丙烷酯、季戊四醇酯类合成基础油的组成。运用该方法跟踪分析多元醇酯组成,可找出多元醇酯黏度及倾点变化的原因,指导合成反应加料比变化。

SpaceOS中若干全局性质的形式化描述和验证

SpaceOS是北京控制工程研究所自主研发的嵌入式实时操作系统,已被应用于探月工程、空间站等重大航天项目.SpaceOS作为底层系统软件,是影响航天任务成败的关键因素. SpaceOS在设计中提出了一些多个内核模块(如任务管理、调度、通信和时间管理等)相互协同过程中所需要满足的全局性质.本文扩展已有的操作系统验证框架支持全局性质的推理,为SpaceOS内核建立抽象模型,给出主要系统调用的抽象规范,并基于设计需求给出形式化定义描述若干全局性质,通过严格的数学证明保证SpaceOS在抽象设计层面上满足这些全局性质.所有工作都在证明助手Coq中完成.

Concentration of α-Linoleic Acid of Perilla Oil by Gradient Cooling Urea Inclusion

In this study, production of ct-linoleic acid concentrated from crude perilla oil by gradient cooling urea inclusion was optimized. The fatty acid composition was determined after ethyl esterification by gas chromatography （GC）. In this process, orthogonal experiment was carried out. Under optimum conditions, the maximum amount of α-linoleic acid （91.5%） was obtained at a urea to fatty acid ratio of 3, a solvent to fatty acids ratio of 7, a reaction temperature of 348 K and a crystallization time of 690 min. A simple method of gradient cooling urea inclusion was used to purify α-linolenic acid by using urea to form inclusion complexes with the saturated and the less unsaturated fatty acids, which enhanced the purity of α-linoleic acid ethyl ester by above 90%.

具有测度积分边界条件的分数阶微分方程

文章主要研究了Riemann-Liouvilles类型的分数阶微分方程具有测度积分的边值问题。通过使用单调迭代非线性泛函分析方法和上下解,得到了具有测度积分边界条件的分数阶微分方程极值解的存在性,并且建立了新的比较原理。最后以案例来验证所获得理论结果的有效性和正确性。

集群系统协同控制:机遇与挑战

集群系统的协同是一类重要的集群智能,是新一代人工智能的核心研究领域.集群系统可通过牵制控制、PID控制、分布式观测器设计等方法进行调节与控制,进而涌现出集群智能.首先介绍集群系统协同控制的研究背景及意义,然后阐述集群系统协同控制中3种典型控制方法的研究进展,最后提出集群系统协同控制技术的未来发展趋势及下一步的工作方向.

Katugampola分数阶微分方程解的吸引性

研究了一类Katugampola分数阶微分方程解的吸引性,利用Schauder不动点定理及非紧性测度的方法,得到了Katugampola分数阶微分方程的解,建立了解全局吸引的充分判据,得到了解的吸引性结果。所得结果充分揭示了Katugampola分数阶微分方程解的特性。

具有非局部条件的测度发展方程适度解的存在性

对具有非局部条件的测度发展方程适度解的存在性进行了研究.通过构造近似解。

一类带有Katugampola分数阶积分边值条件的Hadamard型分数阶微分方程的边值问题

文章对一类带有Katugampola分数阶积分边值条件的Hadamard型分数阶微分方程边值问题进行了研究。与前人研究的不同之处在于针对Hadamard型分数阶微分方程给出了Katugampola分数阶积分边值条件,而Katugampola分数阶积分是近年来提出的新型积分,故所获得结果也比较新颖。文章通过使用Krasnoelkii不动点定理和Banach压缩映射原理得到边值问题解的存在性和唯一性结果。最后给出了一个例子,验证了所获得的理论结果的有效性。

带有Caputo-Hadamard型导数的分数阶微分方程边值问题

研究了一类带有Caputo-Hadamard型导数的分数阶微分方程边值问题,通过应用不动点定理,得到了方程解的存在唯一性结果.最后通过一个实例验证了所获得结果的有效性.

分数阶边值问题的区间估计

文章讨论了三点边值分数阶微分方程:{~CD_(0+)~αu(t)=-f (t,u(t)), t∈[a,b],2 <α<3 u(a)=σ_1,u(b)=σ_2,u′(a)=σ_3,σ_i∈R,i=1,2,3解的存在唯一性。首先,给出了方程的解的具体形式并给出了相应的证明;其次,通过使用Schauder不动点定理得到了方程的解唯一存在的充分条件;最后,对解的存在区间进行了估计。

Hilfer分数阶微分方程解的延拓性

文章研究了一类带有初值的Hilfer分数阶微分方程。首先应用Schauder不动点定理,证明了解的局部存在性。然后,在经典微分方程连续性定理的研究思想和方法的基础上,进一步讨论Hilfer分数阶微分方程初值问题延拓定理及分数阶微分方程解的全局存在性。

二阶脉冲随机微分方程积分边值问题解的存在性

研究了二阶脉冲随机微分方程积分边值问题解的存在性,将以往所研究的方程的脉冲项和边值条件做了推广,对其限制条件进行了修改。在脉冲项都含有一阶导数以及积分边值条件的情形下,运用CauchySchwarz不等式、Lipschitz条件、鞅不等式和一些随机分析方法给出了解的存在性条件,并通过Lerayschauder定理证明了该类问题解的存在性。最后给出一个实例说明结论的正确性。

高校英语教师科研情感调节策略案例研究

情感调节是外语教师发展研究中的新兴课题。本文采用质性案例研究方法,通过叙事问卷和访谈收集数据,探讨一组高校英语教师的科研情感调节策略。数据分析发现,这些教师主要使用了反应关注调节和先行关注调节两类策略,前者包括适应、采取行动、交流、抑制和放松等,后者包括认知重构、降低期望、转移关注和隔离等;反应关注调节策略的使用频率高于先行关注调节策略。上述发现丰富了教师科研情感调节策略研究,揭示出教师主观能动性和社会文化环境对教师情感调节策略的影响。

沉默FMOD对H322细胞的增殖和迁移的影响及其作用机制探讨

目的研究纤调蛋白(fibromodulin,FMOD)对非小细胞肺癌H322细胞增殖、黏附和迁移的影响,并探讨其作用机制。方法 H322细胞随机分为对照组、小干扰RNA(siRNA)沉默FMOD(FMOD siRNA)组和对照siRNA(Con siRNA)组。FMOD siRNA和Con siRNA转染H322细胞,CCK-8法检测各组细胞的细胞活性,荧光素双醋酸酯(FDA)荧光染色检测细胞的黏附能力,Transwell法检测细胞的迁移能力;Real time-PCR法检测Con siRNA组和FMOD siRNA组细胞中Cyclin D1、细胞间黏附分子-1(ICAM-1)、钙黏附蛋白-E(E-cadherin)、FMOD、转化生长因子-β1(TGF-β1)、Smad2、Smad3、Smad4及Smad7的mRNA表达,蛋白印迹法检测细胞中Cyclin D1、ICAM-1、E-cadherin、FMOD、TGF-β1、Smad2/3、p-Smad2/3、Smad4及Smad7的蛋白表达。结果与Con siRNA组相比,FMOD siRNA组细胞的细胞活性降低,细胞黏附及迁移能力减弱,差异均有统计学意义(P<0.01),对照组和Con siRNA组差异无统计学意义。Real time-PCR和蛋白印迹法检测结果显示:与Con siRNA组相比,FMOD siRNA组细胞Cyclin D1、ICAM-1、TGF-β1、Smad2、Smad3及Smad4的mRNA和蛋白表达水平降低,E-cadherin及Smad7的mRNA和蛋白表达水平升高。结论沉默FMOD基因,可抑制H322细胞的增殖、黏附和迁移,其作用可能通过抑制TGF-β/Smad信号通路实现。

星图上的一类非线性Caputo序列分数阶微分方程边值问题解的存在性

研究了一类定义在由3个节点和两条边构成的星图上的非线性Caputo类型的序列分数阶微分方程边值问题(boundary value problem,BVP)解的存在性。通过变量变换,将所研究的带混合边界条件具有不同定义域的分数阶微分方程组转化为等价的具有相同定义域的带同等边界条件的微分方程组。然后借助Schaefer和Schauder不动点定理得到了边值问题解存在的充分条件,借助Banach不动点定理得到了边值问题解存在且唯一的充分条件。