分布式离散事件系统的安全可诊断性算法

采用有限状态自动机对分布式离散事件系统建模, 提出一种分布式离散事件系统的安全可诊断性算法. 首先, 获得系统的全局模型, 剪枝并确定系统是否可诊断. 若系统可诊断, 则构建该系统的安全诊断器, 在全局模型中添加安全标签, 判断系统是否安全可诊断. 实验结果表明: 该算法可判断分布式离散事件系统是否安全可诊断, 缩小了求解空间; 最好情况下实例状态数约缩减至7倍, 平均情况下实例状态数约缩减5.45倍.     

基于响应面法的泥水盾构同步注浆材料性能

泥水盾构隧道在富水高压地层掘进中,同步注浆浆液易逸散流失,为满足注浆要求,需研制出复掺外加剂的高性能注浆材料.以南昌地铁4号线过江盾构隧道工程为依托,在传统外加剂材料的基础上引入纳米材料,选用膨润土(BE)、羟乙基甲基纤维素(HEMC)与纳米二氧化硅(NS)为复合外加剂组分,采用响应面法,以外加剂掺量为配合比变量,探讨3种外加剂及其交互作用对注浆浆液性能的影响.研究表明:①在对凝结时间影响方面,NS＞ HEMC＞ BE,NS具有促凝作用,而HEMC起缓凝作用;在对抗压强度影响方面,HEMC＞ NS＞ BE,HEMC与BE不利于抗压强度发展,NS可以显著提高抗压强度;在对抗水分散性影响方面,HEMC＞ BE＞ NS,HEMC与BE有利于改善抗水分散性.②NS具有小尺寸、高活性等特点,可以加速水泥水化进程,缩短浆液初凝时间,提高浆体早期强度,对浆液性能起着积极作用.③通过响应面法建立的回归模型与响应曲面,可以很好地反映外加剂对浆液性能的影响,同时能对复掺外加剂的浆液配比进行优化,所制备的新型注浆材料能够满足在富水高压地层盾构隧道施工的注浆要求.     

功能化聚三亚甲基碳酸酯及其共聚物的合成与表征

以丝氨醇为原料,首先对丝氨醇的氨基进行保护然后与氯甲酸乙酯反应合成2-苄氧酰胺基三亚甲基碳酸酯(CAB)环状单体,研究了二乙基锌(ZnEt2)和辛酸亚锡(Sn(Oct)2)2种催化剂对CAB聚合的催化活性,然后选用Sn(Oct)2为催化剂催化CAB与丙交酯(LA)和聚乙二醇单甲醚-5000(mPEG)、己内酯、三亚甲基碳酸酯(TMC)的共聚合成了一系列具有潜在氨功能侧链基团的可生物降解共聚物如聚酯-聚碳酸酯的二元共聚物及聚酯-聚碳酸酯-聚醚三元共聚物等.     

基于C8051F500的三相半控整流电路设计

本文采用C8051F500单片机作为主控制芯片,用晶闸管作为主要开关器件,设计了三相半控整流电路。文中分别对主电路、控制电路、检测电路、驱动电路进行了设计,对输出电压采用PI闭环控制。通过模拟仿真和对22KW并励直流电机带载实验证明该设计调压精度较高,运行可靠稳定。     

关于公路安全设施建设的几点看法

公路是交通运输系统的重要组成部分,是所有交通中应用最为普及、最为广泛、运输网络最繁复全面的运输方式.因此,公路运输安全设施建设是不容忽视的问题,公路交通安全设施建设为保障交通安全的重中之重.交通安全设施包括安全护栏、隔离设施、防眩设施、标志标线等.安全设施的建设质量直接关系到公路整体质量,同时也影响着公路建成后运行的安全性、舒适性、高效性等功能的发挥状况.     

PVA/SiO2/HMDS薄膜的制备及性能研究

采用静电纺丝技术在玻璃基片表面构筑聚乙烯醇(PVA)纳米纤维网膜,以正硅酸丁酯(TEOS)为硅源,通过气相沉积法向PVA纳米纤维网膜间隙中引入SiO2纳米粒子。然后以六甲基二硅氮烷(HMDS)为修饰剂,对玻璃基片表面PVA/SiO2膜进行疏水改性,从而降低其表面能。利用扫描电镜(SEM),静态水接触角(WCA)等测试手段对在玻璃表面制备的PVA/SiO2/HMDS薄膜进行了表征。结果显示,处理过的玻璃基片具有较高的粗糙度,表面水接触角(WCA)达135.7°,表明其具有很好的疏水性能。而且制备的薄膜疏水性能稳定,耐磨性能好,能够保持较好的透明性。因此在高档室外墙体、汽车挡风玻璃、眼镜片等领域具有潜在的应用前景。     

基于多视点可见性检测的面皮三维表面重建

提出了一种面皮三维表面重建方法 SRMFM(surface reconstruction method for facial model),首先采用MC算法重建面皮三维模型,在Frankfurt坐标校正基础上建立面皮体素模型,然后采用基于广度优先遍历的多视点可见性检测算法提取表面顶点,创建面皮三维表面模型。可从断层图像自动、快速地重建出保持表面细节特征的面皮三维表面模型。     

基于改进对称变换的人眼定位

目的提出一种定位人脸图像中眼睛的方法。方法应用广义对称变换的原理,对传统的对称点对区域的计算公式进行了改进,采用基于面积系数的圆环邻域模板,取代了传统方法的对称算子圆形邻域,该法引入了更多边缘像素的梯度信息,保持了边缘像素之间的连续性。结果通过对传统算法进行改进,有效地提高了眼睛定位的精度和鲁棒性。结论实验表明算法有效,具有一定的实用性。     

基于小波模极大值的数字水印算法

目的针对传统数字水印技术的有限性,实现一种新的数字水印算法。方法新算法以小波变换为基础,对原始图像和水印图像进行小波变换,将水印信息嵌入到中频系数中。结果实现了二维彩色图像将为水印信息嵌入到二维图像数据中。结论实验证明,新算法在对彩色图像进行水印处理方面达到较好的效果,具有较好的健壮性。     

钢纤维硅粉混凝土在紫坪铺水利枢纽泄洪洞的应用

本文重点就钢纤维硅粉混凝土作为防冲抗蚀耐磨混凝土试验、洞内混凝土温度控制以及钢纤维硅粉混凝土的防裂措施作了探讨。