非线性优化问题的光滑化序列二次规划方法

为了获得序列二次规划方法的全局收敛性,通常需要借助一个罚函数,但常用的罚函数由于具有不可微性从而给计算带来一定的困难,拉格朗日函数虽然可以克服此困难,但其形式较为复杂,为解决该问题,给出了一类光滑化罚函数.基于一类双曲余弦型光滑化罚函数,提出了等式约束优化问题的一个光滑化序列二次规划方法.该光滑化函数具有良好的连续、可微性和凸性质,在适当条件下,获得了算法的全局收敛性,并给出数值测试说明了算法的有效性.     

基于SOSA/SSN的物联网本体建模方法

目的 创建一个物联网本体，将语义网与物联网结合，提高物联网设备的互操作性。方法 基于SOSA/SSN本体，重用多个本体概念，使用Protege开发工具和斯坦福七步本体开发法来开发本体。结果与结论对一个物联网平台进行建模，得到了物联网本体，重用了多个SSN本体中的类和对象属性，对SSN进行了扩展。增加了平台的语义性，提高了物联网设备的可互操作性。     

科学把握新课标 提高教学有效性

在数学课堂教学中教师要科学把握新课标，注重目标的全面性．转变教学观念，创设有利于学生主动建构的学习环境．努力提高课堂教学的有效性。     

几个重要不等式的概率证明

利用概率论中的Jensen不等式证明了几个重要的不等式，其证明的关键在于建立适当的概率模型。     

基于短基线差分干涉法的上海地面沉降分析

利用短基线差分干涉时序分析方法获取上海城区的地面形变信息.短基线时序分析方法选择较短的干涉对组合,利用干涉对中的高相干目标的相位和幅度信息在长时间序列中保持稳定的特性,获得高精度的地表形变信息.实验选择上海外环以内的区域,利用2007—2010年间的17景日本ALOS卫星的PALSAR数据,采用短基线时序分析方法提取了相干目标视线向的平均沉降速率.在沉降速率图中,杨浦区与虹口区交界处存在一个明显的漏斗状沉降;闵行区和浦东新区出现了一个较大范围的不规则的沉降条带.     

具有Prey-Taxis的Holling-Tanner捕食模型的分支结构

本文研究了一类具有prey-taxis的Holling-Tanner捕食模型中的斑图生成问题.运用线性化分析的方法和经典的分支理论,证明了只有当趋化排斥发生时,由正平衡点处才可以分支出非常数正平衡解.进一步在分支点附近确定了分支方向.     

钪,硅对Al-Mg-Cu合金时效初期微结构演化的作用

运用蒙特卡罗方法计算模拟了加人微合金元素Sc,Si对Al-Cu-Mg合金时效初期微结构的演化过程的影响.模拟结果表明:在温度为453 K时,加入微量Si使合金的Mg原子逐步向Si原子偏聚;单独添加微量Sc以后,则抑制了合金中Cu原子的团簇化,使得Cu原子转向Mg原子偏聚;在同时添加Sc和Si的合金中出现了Sc/Cu/Si/Mg/空位团多元复合体.研究表明空位在微结构演化过程中对形成原子偏聚团起重要作用.     

新型胆酸缩氨基硫脲衍生物的合成与抗菌活性研究

通过甾酮与取代氨基硫脲缩合,合成了一系列新型的胆酸缩氨基硫脲衍生物.其结构均经1H NMR,IR,ESI-MS及元素分析所证实.此外,所有目标化合物都进行了对金黄色葡萄球菌,枯草芽孢杆菌,绿脓杆菌,大肠杆菌的抗菌活性测试.化合物4b,4g和4h对绿脓杆菌和大肠杆菌都具有良好的抑制效果.     

如何抓好家属二道防线工作,促进安全生产

在煤矿生产过程中,各级组织为了保证安全生产,积极努力做出了大量工作,开展了有特点、有创新的思想教育活动。文章从开展家属二道防线工作重要性、存在的不足、采取的措施三个方面分析了如何抓好家属二道防线工作,促进安全生产。     

一类捕食者-食饵模型中扩散的作用

本文讨论捕食者带有交错扩散的修正的Leslie-Gower捕食者-食饵模型中各扩散系数的作用.得到的结果表明,交错扩散会导致模型唯一的正常数平衡点失稳.而食饵物种的自扩散则具有抑制失稳发生的作用.