基于微分包含的绳系卫星时间最优释放控制

考虑系绳弹性的影响,建立了绳系卫星系统三维动力学模型,研究了在状态和控制约束下的绳系卫星非线性时间最优控制问题. 为缩减系统变量,控制律设计没有采用通常的状态空间模型,而是基于二阶微分包含,将连续时间最优控制问题离散为大规模动态规化问题,最后通过数值模拟验证了该方法的有效性.      

Web服务语言BPEL到接口自动机的转换

在目前对于服务组合的研究中,对于用业务流程执行语言(BPEL)和WSCL等标准语言来描述的服务来说,语言本身缺乏对组合正确性进行检验的支持,必须借助相关的形式化工具来完成对服务组合的检验.为了解决BPEL对检验支持的不足,基于接口自动机这一形式化工具,对BPEL中主要语言元素到接口自动机进行转换,转换的目的是为了下一步应用基于接口自动机的行为获取方法来对服务的组合进行验证,最后通过一个实例证明了转换方法的有效性.     

对理论力学课程改革的期盼

本文根据培养工程科学家和研究工程师的需求,对理论力学课程提出若干改革建议。主要内容包括：如何面向工程需求改善教学内容,如何适应时代发展更新教材,如何引导学生提升学术品位,如何帮助学生拓展学术视野。在每个建议中,均给出了具体措施。

     

国内外大学工科专业力学课程设置情况对比

调查了国内外若干大学机械、土木与航空宇航专业力学基础课程的设置情况,通过对统计数据的对比、分析,揭示了力学作为基础和专业基础在航空、机械、土木等专业培养计划中的重要性,指出了国际工程教育中“大力学”的趋势以及相应的在教学内容上所出现的整合与优化. 同时,文中还对国内有关专业力学基础课程的设置与教学提出了建议.     

结构碰撞振动的建模与模态截断

根据弹性体碰撞理论和结构模态分析,提出一种简便方法识别两弹性结构的碰撞恢复系数和碰撞速度,进而可确定碰撞阻尼.该方法及后继的碰撞振动分析涉及到结构模态截断.为此,文中分析了模态截断对碰撞参数识别精度的影响,讨论了不同模态截断对研究碰撞系统动力学行为的作用.     

高临界温度超导体的探索

本文将在［１］,［２］的基础上进一步介绍探索高温超导体的有关问题．第一节介绍电子－声子机构的有关问题．第二节介绍界面超导性、非晶态材料超导性和颗粒超导性等一些目前感兴趣的问题．第三节介绍激予超导性．弟四节介绍其它新机构．一、电子－声子机构超导性关于超导电性的理论是基于如下认识：金属中处于费密面附近具有相反动量和自旋的两个电子,由于和晶格之间相互作用而互相吸引,形成电子对,结果在临界温度Ｔｃ之?...     

施加生物炭对三七连作土壤铅有效态含量的影响

以连作5 a三七种植土壤为对象,研究了施加生物炭对土壤重金属Pb有效态含量的影响.结果表明,施加生物炭后,土壤pH值显著提高,Pb有效态含量显著降低,全量含量无显著变化.土壤pH提高了1.23,有效Pb含量降低了0.62 mg/kg.土壤pH与有效态Pb含量呈显著负相关(r=0.626,P0.001),因此施加生物炭后土壤pH值升高可能是土壤Pb有效态含量降低的重要原因.     

地铁安检服务时间及其影响因素分析

将乘客通过地铁站安检机的过程细分为放包、走行和取包3个阶段,采集了北京地铁站安检过程的视频数据并进行统计分析,提取可能影响安检服务时间的6个乘客因素和4个环境因素,利用逐步回归的方法提取显著性影响因素.研究发现:行李和安检机类型是影响安检服务时间的最主要因素;年龄、性别、前方乘客类型和数量、结伴、使用手机、运动方式也影响安检过程.通过相对误差对模型进行验证,结果表明:建立的回归模型具有较好的适应性,平均相对误差约为10%.     

鸡犬相闻,跨境旅游还应办得更好

正我简单介绍一下丹东和朝鲜开展旅游合作的一些情况。丹东处于鸭绿江下游,是我国以及中朝之间的重要口岸城市,每年的中朝贸易额中大约有80%的是从丹东出入境的。而在中朝旅游合作中,有80%的游客是从丹东口岸出境到朝鲜的。丹东赴朝旅游是从1987年开始的,那时开设了新义州一日游的旅游项目,因为丹东和新义州是中朝两国隔鸭绿江紧邻的两个城市。这30多年中,发展的高峰时期是在2002年,那一年从     

基于阶段演化特征的稠油氧化动力学

原油氧化阶段可分为低温氧化前段、低温氧化后段、燃料沉积和高温氧化4个阶段,在对各阶段氧化动力学参数的求取时,一些文献中依然应用同一反应机制函数进行计算。采用Coats-Redfern积分法对原油氧化过程中动力学参数进行计算,在假设简单反应机制函数情况下分别取反应级数为0、0.5、1进行计算,得到反应级数对氧化动力学参数的影响。通过对已有的30种反应机制函数计算得到不同原油氧化反应阶段逻辑上合理的反应机制方程及动力学参数。结果表明:在低温氧化阶段以相边界反应为主,在高温氧化阶段以三维扩散反应为主,Coats-Redfern积分法适用于计算原油氧化的动力学参数,所得到的曲线线性度较高。