不饱和聚酯型人造石英石的紫外老化研究

对不饱和聚酯树脂粘合的人造石英石板材进行了人工紫外加速老化试验,通过显微观察其表面形态,比较色差值,并采用红外谱图分析,研究石英石板材的紫外老化情况。试验结果表明,四种类型的不饱和聚酯树脂石英石在经过500h紫外照射后,表层都会出现不同程度的粉化现象。而FTIR谱图显示,树脂并没有出现明显的链降解,石英石板面的粉化应是石英粉与树脂的接合面在老化试验中发生分离,导致石英粉脱落。     

以面向对象与工作流技术相结合实现企业M1S系统

以电缆系统的设计和实现为例,介绍了彩面向对象与工作流技术相结合,实现企业MIS系统内任务间的协调.     

一个MIS系统的重建

企业的发展、变化会导致MIS系统的重建。重建是对企业信息系统进行分析,更新和集成的过程。文章介绍了一个电缆信息系统的重建,分析了MIS重建的主要原因,并给出了具体的解决方案。     

基于约束的主动规则终止性分析

终止性是主动规则所需的最重要的一个性质,但规则的终止性检查通常是不可判定的.已有的静态分析方法非常保守,SQL3标准也没有提供保证终止的机制,所以商业数据库限制规则级联触发的最大次数确保终止.由于规则可看成数据库状态转换器,而约束能够表示所有可能的数据库状态,基于约束表示的数据库状态及约束求解,模拟规则处理,可得到更精确的终止性结论.     

区间约束数据库查询语言:ISQL

区间约束数据库可以统一处理空间和非空间数据,它基于关系数据库,增加了对区间约束数据的支持。为了管理区间约束数据,在这个模型基础上,提出一个区间约束数据语言ＩＳＱＬ．ＩＳＱＬ完全保留了数据库中非空间数据的ＳＱＬ查询能力,同时集成了对空间数据的管理。     

以面向对象与工作流技术相结合实现企业MIS系统

以电缆系统的设计和实现为例,介绍了采用面向对象与工作流技术相结合,实现企业ＭＩＳ系统,达到ＭＩＳ系统内任务间的协调。     

UV固化不饱和聚酯树脂在涂料中的应用研究

以不饱和聚酯为光敏预聚物,加入光引发剂制得天然大理石表面紫外光固涂层(流水线作业)。研究了光引发剂用量对涂层性能的影响,并将UV固化与化学固化浇注体的力学性能和耐热性进行了对比。结果表明,紫外光固化不饱和聚酯树脂涂层的固化效果,硬度和亮度都达到化学固化的效果,且生产效率大大提高。     

血清中IL-8对大鼠心肌缺血再灌注组织中p53、Bcl-2基因的影响及意义

目的：探讨血清中IL-8对心肌缺血再灌注（MlR）组织中p53、Bcl-2基因的影响。方法建立大鼠心肌缺血再灌注模型,分为对照组和实验组,缺血30min后,再灌注2、4、8、12、24、48h．各时间点分别处死动物,取血备用。采用双抗体夹心酶联免疫吸附（ELISAj法,原位杂交法,原位末端标记染色等,检测IL-8,p53mRNA,bcl-2mRNA,和细胞凋亡。结果：血清中IL-8在IR2h即开始升高,12h达高峰。组织中p53在4h开始升高,24h达高峰。BU-2在8h开始升高-直持续到48h达高峰。血清JL-8早于组织p53表达,Bcl-2晚于p53表达,心肌细胞凋亡和p53mRNA表达时间相-致。结论：血清中IL-8增高介导了组织中p53的高表达,抑制了Bcr-2的作用,在MIR损伤中扮演了-个重要角色。     

语义网的一阶逻辑推理技术支持

研究了一阶逻辑推理工具对语义网的推理支持.语义网的关键推理问题可以化为公式的可满足性判定问题.一阶逻辑的自动定理证明器可以证明不可满足性,而有限模型查找器为可满足的公式在有限域内构造模型.提出在语义网的推理中,同时使用定理证明器和有限模型查找器.实验结果表明,这样可以解决描述逻辑工具的不足,并可以弥补定理证明器对可满足的公式推理的不完备性.