基于Petri网的模型检测研究

模型检测是关于系统属性验证的算法和方法.它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性.系统模型的状态空间的爆炸问题是模型检测所面临的主要问题,其主要原因是系统自身的并发特性和状态变迁的语义交织对基于Petri网的模型检测理论和验证技术进行了较为详细的研究,着重探讨了基于Petri网状态可达图的偏序简化和偏序语义技术、基于自动机的模型检测算法、基于Petri网的状态聚合法以及基于系统对称性的参数化和符号模型检测技术，并给出了研究思路以及未来所要进行的重点研究工作.模型检测技术已在通信协议和硬件系统的验证等领域得到成功应用，并且随着各种状态空间简化技术和模型检测算法的不断优化，其在其他应用领域也展示出广泛的应用前景.     

不锈钢电弧增材制造成形

采用316L不锈钢在Q235A基板上进行TIG填丝增材制造成形试验,研究不锈钢增材制造成形工艺,分析不锈钢增材制造成形件的显微组织。结果表明:通过调整焊接电流、打印速度、送丝速度等工艺参数,可以实现不锈钢电弧增材制造成形,成形件具有致密度高、尺寸精度和表面质量较好等优点,其显微组织为柱状枝晶形态的奥氏体,顶部枝晶尺寸相对较小。     

黑曲霉发酵牛蒡根的化学成分及对α-葡萄糖苷酶和α-淀粉酶抑制作用

为明确黑曲霉(Aspergillus niger)发酵对牛蒡(Arctium lappa)根的化学成分及其降糖活性的影响,本文采用黑曲霉发酵牛蒡根,分析不同发酵时间不同的发酵品对α-葡萄糖苷酶和α-淀粉酶抑制作用和化学成分的变化.酶抑制实验结果表明,牛蒡根对α-葡萄糖苷酶和α-淀粉酶的抑制作用随发酵时间延长而增强,牛蒡...     

阳蓄电站水泵水轮机调试问题分析及解决方案

通过对阳蓄电站机组调试过程在水泵水轮机中出现的问题进行分析研究,提出相应的解决方案,为高水头大容量抽水蓄能机组的设计、制造、调试及运行等方面提供了现场安装经验和试验依据。     

大型体育场馆健康监测数据处理与模型修正研究

亚洲杯昆山足球场环形屋盖支座刚度变化大、传力路径复杂,给施工带来了相当大的困难。为此,在对结构整体施工过程进行模拟分析的基础上,对环形屋盖关键力学参数进行健康监测和评估。基于EMD方法,对监测数据原始值进行解耦处理,得到滤除随机因素影响、反映施工加载变化的趋势项。结合解耦处理的监测结果,对结构整体的理论模型进行修正,最终得到与实际情况更接近的有限元模型,并以此指导后续施工,取得了良好的效果。在此基础上,总结了大型体育场馆健康监测数据处理与模型修改的方法,以期为类似工程提供参考。     

基于随机Petri网的网络可信赖性分析方法研究

随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网络系统可信赖性建模分析的方法和步骤,着重研究了随机Petri网描述系统的服务失效模型和容错模型,并给出了网络系统可信赖性分析中主要指标的计算方法.最后对于应用随机Petri方法分析网络系统可信赖性时存在的问题以及研究现状作了分析和总结,并对今后研究的方向进行了展望.     

屋面后置式设备基础与整体式复合防水施工技术

为解决西交利物浦大学太仓校区教学区项目屋面工程施工中存在的设备基础众多、防水层施工难度大、渗漏隐患多等难题,通过采用后置式的设备基础做法,为防水层施工提供了大面积整体式的铺贴作业面,大幅减少了屋面的防水薄弱点;通过采用高分子膜基防水卷材和非固化蠕变型橡胶沥青防水涂料组成复合防水层,有效提高了屋面防水层的防渗性和耐久性。经实践,所述技术措施取得了良好的屋面防水效果,社会与经济效益显著。     

柿叶提取物体外抑瘤作用初步研究

目的:研究柿叶提取物在体外对肿瘤细胞的抑制作用。方法:采用不同方法提取柿子叶有效部位,用MTT法检测其对Hela(人宫颈癌细胞)和H22(鼠肝癌细胞)两种细胞的生长抑制率,并用SPSS进行统计分析。结果:柿叶水、醇提取物作用于Hela细胞,具有明显的抑瘤效应;柿叶水、醇提取物作用于H22细胞,有明显的抑瘤效应。加药后肿瘤细胞在形态以及生长方式上面发生明显改变。结论:柿叶不同提取物在一定浓度下对Hela细胞和H22细胞均有明显的抑制增殖作用。     

不同积温带甜菜产量形成与糖分积累规律的研究

不同积温带间，甜菜LAI最大值表现为：一积温带＞二积温带＞三积温带＞四积温带＞五积温带。相邻积温带间，表现出高积温带块根增长速度快于低积温带和低积温带糖分积累速度快于高积温带的规律性。相邻积温带间甜菜产量差异未达显著标准，相间积温带间产量差异均达到1％显著水准。相邻积温带间含糖率差异均达到1％显著水准。由南向北，≥10℃积温每减少100℃，含糖率增加0．32°S。     

不同浸种处理对甜菜种子发芽率的影响

甜菜种子发芽试验或播前浸种处理，浸种时间均以24h为宜。甜菜种子漫种24h，种子发芽快，发芽率高达94．3％。浸种24h的种子经35d的裸露风干和袋装风干过程，由于种子生理过程逆转，影响种子生活力，使发芽率降低8．0-11．6个百分点。甜菜种子发芽试验，温度以25％为宜，以浸种24h后第3d累计的发芽数计算发芽势为宜，以第8d内累计的发芽数计算发芽率为宜。