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

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

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

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

菌根技术在干热河谷地区植被恢复中的应用前景

论述了以攀枝花为典型的干热河谷地区目前的植被退化状况,以及植被恢复的进展与难点,而菌根技术对干热河谷地区植被恢复过程中的难点(气候干旱、土质差)有较强的针对性,具有较好的应用前景。     

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

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

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

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

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

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

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

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

亚热带岩溶山区植被演替和夏季土壤CO2浓度动态关系

对南川市金佛山西坡相近的环境条件下不同植被类型土壤CO2 浓度及其主要环境因子进行连续观测的基础上 ,采用空间换时间的方法对植被演替对夏季土壤CO2 浓度的动态影响作了详细的研究 ,认为 :土壤CO2 随气温的变化有明显的日变化 ,降水对其浓度也有较大的影响 ,其变化过程及CO2 浓度剖面动态与植被类型有关 ;不同植被条件下土壤CO2 浓度月动态受环境因素影响显示出的差异不大 ,但浓度值水平有很大差别 ;植被演替是岩溶和土壤吸收CO2 作用的重要促进因素 .     

基于人工神经网络的城市航空遥感图像植被分类研究

研究了一种基于模糊量化与多层前馈神经网络相结合进行多类别遥感图像植被分类的新方法.对分类指标 进行π隶属函数模糊量化之后,进行多层前馈神经网络(MLP)训练,再用训练后的MLP网络构成监督分类器,并 以宁波市彩红外航空遥感图像资料为数据源,选取园林区为试验区,对植被进行监督分类,分类精度达78%.研究 成果表明,该方法适用于多类别的遥感图像植被分类,其分类效果也较好.     

论建设现代汽车工程本科特色专业

针对我国汽车工业的发展现状，指出江苏省高校汽车类本科教育应从应用型人才的培养目标出发，加强汽车电子控制技术能力的培养；并着重对设立、建设和发展现代汽车工程本科特色专业的必要性、可行性及专业特色问题进行探讨和论述。