Completely Positive Definite Maps Over Topological^＊—algebras

ＣｏｍｐｌｅｔｅｌｙＰｏｓｉｔｉｖｅＤｅｆｉｎｉｔｅＭａｐｓＯｖｅｒＴｏｐｏｌｏｇｉｃａｌ－ａｌｇｅｂｒａｓＸｕＴｉａｎｚｈｏｕ（ＤｅｐａｒｔｍｅｎｔｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓ，ＢｅｉｊｉｎｇＩｎｓｔｉｔｕｔｅｏｆＴｅｃｈｎｏｆｏｇｙ，...     

泛函中的两个对偶定理

本文利用＊隔离定理,证明了Ｍａｚｕｒ定理和凸集的最佳逼近元存在性定理的对偶定理．     

带有无限到达源的Re-entrant Line的稳定性

用Foster判别准则,Weiss[13]给出了带有无限到达源的两站三步re-entrant line的稳定性的充分条件．本文用两种不同的方法得到了其稳定性的充分必要条件,即: 二维随机游动方法和Foster判别准则．同时,我们又用流体模型方法得到了系统稳定的充分条件,大大地简化了Weiss[13]的证明．     

极小正则 LF 拓扑空间

本文引入极小正则LF拓扑空间的概念,给出了构造弱于已知正则LF拓扑的正则LF拓扑的一般方法.此外,得出了正则LF拓扑成为极小正则LF拓扑的条件.     

半Heusler型拓扑绝缘体LaPtBi能带调控的研究

采用基于密度泛函理论的全势能线性缀加平面波的方法, 研究了化学替代和施加等体积单轴(拉、压)应力两种方式对半Heusler型拓扑绝缘体LaPtBi能带的影响. 计算结果表明, 通过在LaPtBi合金中用Sc元素替换La, 或者用Pd替换Pt, 都可以使得原本受立方对称性保护的Γ₈能带在费米能级附近打开一带隙; 而对于施加等体积单轴应力来扭曲立方晶格的方式, 在使得Γ₈ 能带打开的同时, 还可以实现对费米能级位置有规律地调控, 使 LaPtBi合金最终成为真正意义上的体材料是绝缘性而表面是金属性的拓扑绝缘体.     

同时满足刚度和强度约束的框架拓扑优化

基于ICM（Independent Continuous Mapping,即独立、连续、映射）方法．对单元重量、单元许用应力和单元刚度分别引入不同的过滤函数,把0-1型离散拓扑变量转化为[0．1]区间上的连续变量．建立了拓扑变量连续的优化模型。借助满应力准则将应力约束转化为拓扑变量的动态下限．用单位虚载荷法将位移约束显式化．得到拓扑优化的近似显式模型。为了提高模型的求解效率,根据对偶理论求解原问题的对偶模型,通过在对偶空间迭代求解对偶模型得到原模型的解。引入结构非奇异、结构响应不被违背和结构重量不改变三个准则判断迭代收敛。并根据这三个准则自适应的调整折减系数来搜索最佳阁值。然后根据闻值将连续拓扑变量回归为0-1型离散拓扑变量。利用MSC／Nastran的开放性,借助MSC／Patran提供的PCL（Patran Command Language）开发环境．完成了满足刚度和强度的多变量的框架拓扑优化程序。算例结果表明．用ICM方法解决多变量框架拓扑优化问题是快速、有效的。     

I-Fuzzy拓扑空间中的θ-连续函数

利用R-邻域系在I-fuzzy拓扑空间中定义θ-闭包、θ-内部、Rθ-邻域系和θ-连续函数,并且研究它们的一些性质。     

基于拓扑优化的新型蜂窝结构设计

可变体飞行器若要实现机翼后掠角、面积和前后缘弯度等参数的大幅度变化,机翼蒙皮需要具有光滑的气动外形、大变形、高承载以及驱动力小的特点。针对柔性蒙皮的需求,本文利用拓扑优化方法设计了一种新型零泊松比蜂窝结构,通过有限元仿真与U形蜂窝结构和余弦形蜂窝结构进行对比,验证其变形和承载等性能。以最大应变2%为基准,比较了三种蜂窝结构的变形能力。结果表明,新型蜂窝结构的拉伸变形量高达75%,分别是U形蜂窝结构和余弦形蜂窝结构的1.7倍和2.1倍。在最大位移量相同时,所需驱动力分别是U形蜂窝结构和余弦形蜂窝结构的0.51倍和0.28倍,表明新型蜂窝结构具有很大的易变形能力。当蜂窝结构的橡胶蒙皮受到相同压强载荷且处于初始未拉伸状态/拉伸状态时,新型蜂窝结构橡胶蒙皮的最大法向位移量分别是U形蜂窝橡胶蒙皮和余弦形蜂窝橡胶蒙皮的0.4倍/0.56倍和0.29倍/0.42倍,表明新型蜂窝结构具有良好的面外承载能力。另外,通过适当增加壁厚,可以提高新型蜂窝结构本身的抗弯曲能力。分析结果表明,本文设计的新型蜂窝结构具备大变形、高承载以及驱动力小的优点。     

Fuzzy-PID分级控制变水量空调系统温度的研究

针对变水量空调系统温度控制的时变、大滞后、非线性特点,结合模糊控制和PID控制,设计了基于模糊规则切换的Fuzzy-PID分级控制器,并在Matlab/Simulink软件上进行了仿真。仿真结果表明,控制器同时具有模糊控制超调量小、鲁棒性好和PID控制精度高、响应速度快的优点。     

基于语言真值格值一阶逻辑系统Lv(n×2)F(X)中两种模型的不确定性推理

在语言真值格值一阶逻辑系统的框架下,讨论了两种推理模型中的不确定性推理理论与方法,并针对不同的推理规则得到了推理算法,其推理算法既有合理的语义解释又有严密的语法论证.