二维变系数离散线性系统的稳定性

用与常系数线性系统李雅普洛夫函数构造的类比方法,得到几类二维变系数离散线性系统的精确的全局渐近稳定性准则。     

Banach代数上双Jordan导子的稳定性

主要讨论了双Jordan导子的稳定性．证明了Banach代数上双Jordan导子具有Hyers—Ulam—Rassias稳定性．     

SOA服务系统中基于虚拟机的QoS保证机制

利用虚拟机的隔离性、封装性、透明性等特点,提出了在服务系统上利用虚拟机中间件来实现服务系统的性能QoS和安全QoS,通过定义计算域、可信程序和节点负载来实现任务运行环境的选择,运行环境的隔离;通过形式化的方法证明了基于虚拟机运行环境的高安全性;通过虚拟机迁移技术实现计算域群内虚拟机的整体迁移以达其高效性。最后利用仿真实验验证了基于虚拟机中间件服务系统的高安全性和高效性。     

半稳定环的不存在性

本文将半稳定环存在的必要条件加以变形,使之含有一个可供选择的任意常数。利用这个新的必要条件得到若干半稳定环不存在的判别法,其中包括在单个奇点外围不存在半稳定环的条件,在两个奇点外围不同时存在半稳定环的条件,以及在两个奇点外围均不存在半稳定环的条件。     

不同库区水位下坝基地震液化的有效应力分析

采用基于有效应力的完全耦合动力分析方法和Cyclic mobility动力本构模型,以某水库大坝作为工程实例进行分析,讨论在设计水位和死水位情况下坝基的地震液化可能性.计算结果表明,Cyclic mobility本构模型可以很好地模拟饱和砂土的液化.通过分析可以得出如下结论:在死水位情况下坝基的液化区域较设计水位情况下减少,但由液化所引起的上游变形明显增大,因此设计时需要对此引起注意.     

分阶段研发项目价值实物期权评估的模糊优化

为了改善研发项目价值评估的刚性化,以最大限度地挖掘项目价值,可以将模糊理论的柔性特征结合实物期权评估方法.对于风险高、耗时长的项目,首先寻找一个分阶段的组合期权,然后将其中的各参数根据梯形模糊数原理作模糊化处理,并用模糊算法修正该组合期权模型.数值算例的结果表明,净现值法评估和不分阶段的模糊期权定价都显然低估了风险价值,而分阶段模糊组合期权定价能够最大限度地发现项目潜在价值.参数模糊化和分阶段组合期权的模糊算法是关键点和创新点.     

青藏高原东北部西宁盆地中始新世-渐新世沉积物颜色与气候变化

始新世-渐新世是古近纪气候变化中最显著的时期.通过对西宁盆地42.5～26.0 Ma沉积物颜色指标的详细分析,发现颜色参数L*,a*,b*曲线明显以32.8 Ma为界分为上下两段.其中:L*值在下段(42.5～32.8 Ma)波动剧烈并呈缓慢降低趋势,至32.8 Ma左右大幅度降低,此后(32.8～26.0 Ma)波动变小、稍有回升;a*,b*值则与L*值的变化趋势相反,在下段(42.5～32.8 Ma)呈逐渐增大趋势,剧烈波动,在32.8 Ma左右时突然大幅度升高.至上段波动变小.结合西宁盆地孢粉、有机质及CaCO3质量分数变化的特征分析,该区域在32.8 Ma时可能发生大幅度的降温事件(对应于海洋记录所揭示的Oi-1事件),此事件之前气候干旱程度相对较弱、氧化作用逐渐增强、气候波动剧烈.在Oi-1事件之后大陆性干旱程度增强、氧化强烈、气候波动幅度较小.这是在该区高分辨率获得Oi-1事件前后气候变化的记录.它对始新世-渐新世全球气候变冷背景下陆地系统响应研究具有重要意义.     

培尔顿式膨胀机的实验研究

对在小型氟里昂制冷系统中采用培尔顿式两相膨胀机取代节流阀进行了实验研究.基于热力学和几何分析,设计了具有紧凑、简单结构的双弧面切击式叶轮,制作了膨胀-发电机组,对膨胀机的工作性能进行了分析.在以R410A为制冷剂的小型制冷实验系统中,样机运行平稳可靠.在实验工况下膨胀机的最大单位回收功及等熵效率分别达到了2447 J/kg和32.8%.实验确定了样机运转的最佳速度区间为13100～15310r/min.在此转速下,膨胀机有最大的等熵效率并产生最大的回收功.实验样机具有结构紧凑、易加工的特点,在小型制冷系统中的应用具有很好的可行性.     

钢杆小裂纹最佳涡流检测参数的实验研究

为了提高棒料钢杆小裂纹涡流检测的精度,减小由于检测参数的不恰当选取带来的非线性误差,基于实验模型,采用涡流检测仪和外置式探头,对25#钢3种不同直径0.1 mm深的裂纹在不同工作频率和不同提离值下进行涡流检测,得到检测的相位信息.通过研究不同工作频率和不同提离值对相位信号的影响,根据线性拟合平均标准差为最小原则,得到了棒料小裂纹涡流检测参数与相位信号呈线性关系的最佳检测参数区段,这对提高棒料小裂纹检测精度和外置式钢棒涡流检测参数的选择具有重要的指导作用.     

移动式学习平台的构建方案

移动计算模式改变了人们的学习和生活方式,高校的教育教学过程也可以引入移动式学习,让学习环境、学习资源随时随地,无处不在.针对高校传统教育方式存在的问题,提出应用移动计算进行辅助的教育教学模式.给出移动式学习平台系统结构和功能模块的设计方案,并简述了应用开发使用的工具.