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

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

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

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

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

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

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

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

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

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

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

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

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

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

干式机体有限元分析中的前处理过程

在求解计算过程越来越自动化的前提下，有限元计算结果的准确与否主要依赖于前处理过程处理是否得当，前处理过程已成为直接决定有限元计算结果成败的重要因素。本文详细阐述了I-DEAS9软件在采用薄壁干式气缸套的XN2105型柴油机机体的有限元分析前处理过程中，实体造型、单元选择、网格划分、单元质量的检查与修理、计算工况的选择及边界条件的确定与施加等方面的具体应用。通过采取整体分块、手动局部加密和自动划分网格相结合的方法建立了该机体的有限元模型。经验表明，文中所采用的思路和方法具有实用、高效、适应性强的特点，对类似的处理与分析具有借鉴意义。     

大学自主型风险投资项目的技术准入性

高技术成果商业化项目的技术准入性，由技术上的可发展性、可实现性和可操作性构成.大学从事高技术创业投资必须具备2个条件：对技术成果拥有自主知识产权；项目投资与学科建设相容.大学自主型风险投资项目的技术准入性，应当从技术性指标、权利性指标和协调性指标3个方面进行考察.     

左云县氧化沟污水处理厂的设计

介绍了左云县污水处理厂采用国产曝气转盘氧化沟的设计参数、工艺流程以及设备选型情况，并指出了氧化沟系统在运行中应注意的问题。