逻辑系统H_α中广义语义HS规则证明的改进

将修正的Kleene逻辑系统中语义HS规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义[α]-HS、[α+]-HS等规则,使得对Hα系统中的广义语义HS规则有了更进一步的认识.     

不排水条件下深基坑开挖变形对比分析

随时城市的快速发展,基坑工程受到人们越来越多的关注,其中如何预测基坑开挖对周围环境的影响显得最为突出。摩尔库仑模型和土体硬化模型是分析岩土工程问题的两种常用模型,均可以用于预测基坑开挖过程中周围土体的位移情况。通过建模分析与工程实测数据的对比,发现不排水条件下摩尔库仑模型和土体硬化模型[1]能在一定程度上反应基坑开挖阶段的土体变形情况,但并不是十分准确。在实际运用中,这两种模型的分析结果只能作为预测基坑整体变形的参考数据。     

基于沪深300股指期货的ETF套期保值

基于最小方差准则下,运用OLS、B-VAR、VECM和GARCH 4种套期保值模型对沪深300股指期货的ETF套期保值比率进行分析,并利用了绩效衡量指标对套期保值效果进行实证分析。研究结果表明,OLS、B-VAR、VECM和GARCH4种套期保值模型计算得到的最优套期保值比率及绩效相差不大,都达到很好的套期保值效果,发挥到规避风险的功效。其中,利用OLS模型计算得到的最优套期保值比率达到的套期保值效果最佳。     

闽台农产品产业内贸易水平及特征研究

做到"你中有我,我中有你"方能达到真正意义上的两岸经贸交流,产业内贸易就能体现这种经贸交流关系。利用HS分类方法将农产品分成4大类和24章,分别计算1996—2009年闽台每类农产品和农产品整体的边际产业内贸易指数,结果表明闽台农产品水平产业内贸易水平较低,而垂直产业内贸易水平较高,其产业内贸易的增量主要是由垂直型产业内贸易带来的。应进一步发挥闽台间的"小额贸易"优势,降低闽台农产品质量差异;福建则应提高农产品质量,有针对地满足台湾消费者的需求,也要发挥传统优势,并积极学习台湾农业生产的管理模式。