基于类型系统的完整性信息流控制

构造了一种实现完整性信息流控制的安全类型系统.首先,为π-演算建立具有完整性安全等级的安全类型.然后,建立该安全类型的子类规则和类型规则,这些规则实现了系统的完整性策略及对系统行为的限制.最后,证明该类型系统的类型合理性,表明满足初始安全策略的系统经过不断的演进、交互,系统的安全属性依然可被满足.所建立的完整性信息流控制机制可通过静态类型检验高效实现.     

具连续分布滞量的高阶非线性中立型偏微分方程的振动准则

研究了一类具有连续分布滞量的高阶非线性中立型偏微分方程解的振动性,给出了这类方程在两类边值条件下解的振动准则.     

Eguchi-Hanson型度量的数量曲率方程的解

研究了引力场的Eguchi-Hanson型度量的数量曲率方程的解.这些解可用来构造带宇宙常数的引力瞬子.     

外加剂对混凝土耐久性的影响

就传统萘系减水剂(polynaphthaene sulphonate type water-reducer,PSWR)和新型聚羧酸系减水剂(polycarboxylic acid type water-reducer,PAWR)对混凝土内部孔结构、内部缺陷及抵抗外部环境作用力的影响等进行了较全面的对比分析研究,揭示了PAWR对提高混凝土耐久性的作用.试验结果表明:与PSWR相比,PAWR能改善混凝土浆体内部孔结构及孔径分布,提高混凝土的密实性;能降低混凝土的绝热温升,优化水泥水化放热曲线,减少混凝土收缩变形,提高混凝土抗裂性能和体积稳定性,减少混凝土内部缺陷;同时,还可不同程度地提高混凝土抗碳化、抗冻性能、抗氯离子侵蚀能力和钢筋保护能力,增强混凝土对外部环境的抵抗力,从而极大地提高混凝土的耐久性.     

明代复古主义诗学诸理论及发展

明代复古主义由祈向诗歌美学高境，而推崇汉唐，讲求格调，在展示独特理论魅力的同时，何景明重视才情，已对其先天弱点有所修正；而面对明中叶新思潮的挑战，王世贞吸收作家才思真情自我个性等方面的内涵，突破固有的理论局限；胡应麟发掘兴象风神等汉唐诗歌品质，补充体格声调理论之不足；许学夷突出从“体”的中偏正变的历史考察、尤其各种“变”的环节与样态中，探求和分辨诗歌本乎天成、形迹俱融、风神超迈的根本性质。从而使复古主义成为一种突出诗歌内在特性研究而又比较圆融的诗学理论。     

一个具有对偶适应度函数的遗传算法

提出一个具有对偶适应度函数的遗传算法.该法提供了一个阈值,利用对偶适应度函数值辨别全局最优盆和局部最优盆.根据辨识结果,自适应地设置变异概率.对几种典型函数的测试结果表明,该法的全局收敛性能及收敛速度优于标准遗传算法.     

华县老官台全新世黄土剖面pH值及其古气候意义研究

对华县老官台剖面190个样品的土壤pH值测定表明：pH值的变化从总体上与其他代用指标对应良好，可用于古气候环境的研究、当气候变得湿润时，植被生长茂盛，生物化学风化强烈，土壤pH值低；当气候变干冷时，植被稀疏，生物化学风化微弱，土壤pH值高．但就局部层位的对比情况看其pH值存在差异，主要表现在气候转型期的突变方面(不像其它指标的渐变)，其两个低谷均突然出现在古土壤层S^20和S^10的中部，这两个古土壤层上部和下部又突然转为峰值．pH值的上述变化特点似乎说明其对降水的变化更加敏感，从这个意义上讲，pH值的变化是一个很好地反映降水情况非常敏感的气候代用指标，其可以用来定量恢复古气候中的降水量的多少，具体的实施方案还有待于进一步研究。     

一种具有超强表示能力的数据类型

通过对数制和数码表示的分析，结合Visual C 模板类的特点，提出一种使用可自动伸缩队列实现具有不限长度的超强表示能力的数据类模型，分析其基本运算方法和性能。该数据类可以作为高级语言的一个强有力的补充数据类型。     

运用惰性点方法反算沥青路面结构地基模量

在水泥混凝土路面中存在的路面弯沉盆惰性点,可以用于反算水泥混凝土路面结构模量.为此论证了惰性点在沥青路面弯沉盆中的存在性,并利用惰性点方法开发出一套反算沥青路面结构地基模量的程序.首先论证典型的沥青路面3层体系可以简化为2层体系,在此2层体系中存在惰性点.然后,通过回归分析方法得出了路面结构信息与惰性点参数的相关关系.最后通过此关系,可以在实测弯沉盆中找到惰性点,并求解地基模量.     

中国东部中新生代含油气盆地的反转构造

自西向东,中国中、东部发育有3期反转构造带,即分别形成于侏罗纪-早白垩世末期、晚白垩世-新生代早期和渐新世-中新世末期反转构造带,表明中国中、东部在这3个时期分别经历了3次不同程度的挤压,反转构造的变形幅度由强变弱,构造的保存从差变好.反转构造主要为挤压倾滑型,其次为压扭型.反转构造的发育具有高度的选择性,仅部分先存构造发生了反转,主控因素是砂泥岩组合、断层倾角、断裂带内低摩擦断层泥和异常压力的发育程度等.反转构造的发育期与盆地内主生油期基本一致,因而反转构造为中、东部油气盆地形成大中型油气田提供了有利条件.