并发语言OCCAM的指称语义

在研究关于CSP并发指称语义的不同研究方法的基础之上，利用广义状态的概念和完间作为指称的方法，讨论了OCCAM的一个子集OCCAM/TOY的并发语义。针对目前交垒并发语义研究方法的问题和不足，首先在OCCAM/TOY的语法中经入了一类具体的原子语句，并从语义上考虑了原子语句的语义对整个程序语义的影响；其次，对于通常语义方法中合并处理的一对通信原语的一次通信分开处理，描述了单个通信步骤的语义及其对程序的影响。在构造语义域时，利用完备距离空间作为指称，讨论了在距离空间范畴中语义域议程的解的存在性；并且在定义域时，保证了递归定义的语义函数的存在性。给出了OCCAM/TOY的完全意义上的并发指称语义，既体现了由于并发而导致的执行过程的不确定性，又反映了并发导致的执行效果的不确定性。     

面向车身结构轻量化设计的水平集拓扑优化

提出了一种基于水平集拓扑优化的车身结构轻量化研究方法,该方法非常适合于处理车身结构设计中大量存在的多孔连续性结构体的拓扑优化.运用构造的基于水平集的数值方法,对车身近似二维的典型结构件发动机罩内板进行拓扑优化.结果表明,基于水平集的拓扑优化方法应用于车身结构轻量化研究是可行和有效的.     

基于AHP法的永泰县生态旅游资源评价体系的构建及实证研究

运用层次分析法(AHP)建立福建省永泰县生态旅游资源评价体系,确定各准则层权重并排序,得到的主要结论有:该县地文资源和水域资源的权重较大,表明地文资源和水域资源是其优势旅游资源,并对永泰县主要生态旅游景区做了定量评价,以便对该评价体系进行实证研究。结果表明:该县天门山风景区得分最高;各景区地文资源排名均为第一,水域资源位居第二。评价结果与现实情况一致,说明该评价体系正确、合理。通过资源评价找出了该县生态旅游资源的优势与劣势,并提出了相应的建议与措施,为该县生态旅游的发展和其他地区生态旅游资源的评价与开发提供参考。     

化学活化和化学-物理联合活化制备石油焦基活性炭

以石油焦为原料,采用化学活化和化学-物理联合活化2种活化工艺分别制备超级电容器用活性炭材料CA和CB。采用N2吸附法表征活性炭材料的BET比表面积及孔隙结构;通过恒电流充放电、循环伏安、交流阻抗等电化学测试方法,对2种活性炭在有机电解液中的电化学特性进行研究。研究结果表明,CA具有较高的收率、振实密度以及BET比表面积,分别可达61.28%,0.35g/cm3和2760m2/g;CB具有较高的中孔率和平均孔径,分别为24.1%和2.3nm;在充放电电流密度为1A/g时,CA的质量比电容量为137.8F/g;而CB表现出较好的功率特性,在20A/g时,质量比容量仅比1A/g时的质量比容量衰减4.7%。     

热塑性聚酰亚胺微电子薄膜的制备

以微电子业所急需的聚酰亚胺薄膜为背景,采用一种热塑性聚酰亚胺树脂（TPI）,实验测定了聚合物溶液特性、干燥工艺及热拉伸性能。在化学环化过程中聚合物溶液粘度随时间逐步增大;15 h后粘度和重均相对分子质量及分布趋于稳定。薄膜溶剂舍量在干燥初期急剧下降,干燥速率随干燥温度升高而增大。TPI树脂表现出良好的热塑拉伸性能,当温度高于其玻璃化温度时,最大拉伸比随升温速率降低而增大,而随拉伸栽荷增加呈现出先增后降。TPI薄膜经拉伸处理后其力学性能得到明显提高,综合性能与日本钟渊TP-E薄膜相当。     

二胺改性氯乙酰化聚苯乙烯树脂固载铂催化烯烃硅氢加成反应的研究

用含二胺基团化合物对氯乙酰化聚苯乙烯树脂进行改性,然后固载铂得到二胺改性的氯乙酰化聚苯乙烯树脂/铂配合物催化剂(PS-Acyl-NH-Pt),并考察了其对烯烃与含氢硅烷硅氢加成反应的催化性能.采用红外光谱仪(IR)和元素分析仪(EA)对PS-Acyl-NH-Pt进行了表征,结果表明二胺基团可成功接枝到树脂表面,Pt与二胺中的N原子形成Pt-N配位键.对辛烯与三乙氧基硅烷的硅氢加成反应,PS-Acyl-NH-Pt催化剂具有高活性和极好的区域选择性,β-加成产物的选择性高达90%以上,且具有良好的重复使用性能,可重复使用12次而活性无明显下降.     

Novel Fault Detection Optimization Algorithm for Single Event Effect system Based on Multi-information Entropy Fusion

Fault detection caused by single event effect（ SEE） in system was studied,and an improved fault detection algorithm by fusing multi-information entropy for detecting soft error was proposed based on multi-objective detection approach and classification management method. In the improved fault detection algorithm, the analysis model of posteriori information with corresponding multi-fault alternative detection points was formulated through correlation information matrix, and the maximum incremental information entropy was chosen as the classification principle for the optimal detection points. A system design example was given to prove the rationality and feasibility of this algorithm.This fault detection algorithm can achieve the purpose of fault detection and resource configuration with high efficiency.     

包载铜离子无定形磷酸钙的制备及表征

采用共沉淀法并加入有机双膦酸作为改性剂,制备出了能够包载铜离子的稳定的无定形磷酸钙.通过傅立叶红外吸收光谱分析(FTIR),X射线衍射(XRD),热重分析(TGA)对材料的化学结构和组成进行了表征.FTIR和TGA表明有机双膦酸能够稳定的接到磷酸钙上使磷酸钙的结晶度降低.XRD表明材料能够稳定的包载铜离子并具有无定形结构.     

基于微粒群算法的膜片弹簧优化设计

通过对膜片弹簧优化设计目标的分析,选用在摩擦片磨损极限范围内,弹簧压紧力变化的平均值最小及驾驶员作用在分离轴承装置上的分离操纵力的平均值最小为共同优化目标,建立数学模型,应用此模型,采用微粒群算法对某轿车离合器膜片弹簧进行优化设计.结果表明,采用微粒群算法优化后得到的膜片弹簧参数值明显优于原有2种设计方案的数值.膜片弹簧优化设计过程中,微粒群算法能够得到更好的优化结果且算法收敛速度较快.     

匀加速直线运动稳态Kerr黑洞视界的表面引力

利用新的tortoise坐标变换，我们对匀加速直线运动稳态Kerr黑洞视界表面引力与粒子能级进行了研究．由Hamilton-Jacobi方程和Klein-Gordon方程求解得到的黑洞视界表面引力是一致的．求出的Hawking温度、表面弓力和时空中粒子的能级分布都是一个与θ有关的函数．