线性混合系统符号模型验证中的参数分析方法

说明了ＨＹＴＥＣＨ工具中采用的参数分析方法对系统描述能力的限制，提出了分离参数变量和系统状态变量的符号模型检查算法，并对用ＨＹＴＥＣＨ不能分析的Ｆｉｓｃｈｅｒ互斥算法的时钟偏移的界进行了分析。     

超细金属丝中电子的关联函数和关联能

对于具有库仑相互作用的超细金属丝，该文提出了一种新的准一维模型，从而得到了准-维超细金属丝体系的电子有效库仑势形式．并在相关基函数理论框架下，利用准一维电子体系的集体振荡行为，确定了具有库仑相互作用的二体关联的Jastrow-Feenberg-Slater多体变分波函数，通过对实空间关联函数的方程的自洽迭代求解以及体系能量的变分计算，得到了金属钾L=4．967细丝的关联函数、关联能．该文得到的关联函数是恒正的，并且满足归一化条件．     

产品回收过程中最优路径的确定

基于产品零部件之间的连接关系 ,建立了产品拆卸逻辑网络图表示模型 ,引入了实现最优拆卸的评价准则及相关的最大回收收益计算方法 ,提出了实现产品最大回收收益的最优拆卸路径生成算法 ,并以驱动桥为例进行了验证     

步行锻炼对江苏省公务员体质的影响

对持续进行4个月步行锻炼的296名公务员锻炼前后进行体质测试分析。结果显示:长期步行可一定程度减轻体重,降低BMI值,提高心肺功能,增加肌力,改善柔韧性、平衡能力和灵敏性。步行锻炼有利于改善公务员的体质状况,是适合公务员强身健体的运动方法。     

乙烯-乙烷分离吸附剂的研究进展

对吸附法分离乙烯的研究作了综述,分析了不同的乙烯吸附剂及其吸附性能.     

石油和汇率冲击下的中国金属价格波动行为

采用三个GARCH族中的两因素波动模型研究金、铜和铝在原油和汇率冲击下的价格波动行为。标准GARCH模型的结果表明铜和铝几乎有着一样的波动持续性且都比金的波动持续性强。CGARCH模型估计结果表明三种金属波动的短期成分收敛到0的速度由快到慢依次为:铝、金、铜。长期波动成分表明铝的长期波动持续性最弱,金的长期波动持续性最强,铜介于二者之间但与金相差很小。EGARCH结果表明只有铜存在杠杆效应而且显著。石油冲击对三种金属都有正影响,汇率的上升对金、铜和铝的波动都有减弱效应。另外,2008年金融危机加剧了金属价格的波动。研究结果可用于风险分析和金融衍生品估值。