基于Petri 网软件过程执行机制的研究

在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。     

车辆电容称重传感器静态标定

针对传统车辆称重装置存在的不足,开发了一种车辆电容称重传感器.文章中从结构设计、称重原理对车辆电容称重传感器作了介绍,重点讨论了静态标定过程,根据试验数据,从非线性、重复性、迟滞性等方面进行了误差分析,给出了补偿办法.     

群决策的交互式TOPSIS方法及其应用

建立了一种多轮交互逐步逼近满意解的多属性群体决策的综合方法,对决策方案采用扩展的 TOPSIS(technique for order preference by similarity to ideal solution)法进行定性评价排序,以克服一类难以建立解析模型,分析求解困难的多属性群决策问题;设计了群体满意度等软指标来分析计算,判断群体一致性的达成,最终得出群体满意的方案排序.通过应用实例,说明了该方法的有效性和可行性,初步提出了可作为建立一类实际的群决策支持系统的方法和技术框架.     

Petri网建模工具的面向对象设计

Petri网建模环境的开发有利于Petri网应用理论的验证和实现。介绍一个Petri网建模工具的面向对象设计方法 ,并且主要给出了该建模工具的结构组成、建模工具条、Petri网图形元素的构造方法以及Petri网点火机制的计算机实现方法。成果为基于Petri网的系统分析方法的研究提供了一个灵活可用的辅助工具。     

钻柱、钻头与岩石系统计算机仿真

国内外在研究钻柱振动时都把钻柱下端当作铰支,假设激振源为周期性的,偏离实际。本文从建立符合实际的下端边界条件入手,着重研究了钻柱的纵向振动。用有限单元法,求出整体质量、整体刚度,整体阻尼矩阵采用的是比例阻尼矩阵,利用牛顿法得到钻柱的振动方程,另外通过钻头与岩石的相互作用模型得到了真实的钻柱下端边界条件,并利用Ｈｏｕｂｏｌｔ软件,并进行了大量仿真实验,通过对实验结果分析得到了有意义的结论。     

电容式车辆称重装置静态性能测试与分析

针对目前车辆称重方法的不足,开发了基于电容传感器的车载式车辆称重装置。文章从结构设计、测量原理对称重装置作了介绍,重点讨论了其静态特性测试过程,提供了相应的试验数据,根据试验数据,从非线性、重复性、迟滞性等方面进行了误差分析,给出了迟滞补偿办法,显示了该电容称重装置的突出优点;电容式车辆称重装置具有一定的实用价值。     

预应力水冲桩抗裂性能研究分析

某码头工程下部结构采用预应力水冲锤击桩,试桩过程中发现,在贯入度较大的情况下桩身多处产生横向裂缝,使桩尖无法达到设计标高。为分析产生裂缝原因,通过静荷载试验的方法检验桩身的抗裂性能;结果表明张拉控制应力未达到设计值,是导致桩身产生环向裂缝的主要原因;提出适当调整预应力,能够有效地解决预应力水冲桩桩身裂缝的问题。     

木栅栏砾石笼生态护岸技术及其应用

结合林庄港的生态修复工程建设,系统地研究了木栅栏砾石笼生态护岸的技术要求和生态效果.现场监测结果表明:试验河段内河道水体中CODMn,TN,TP的去除率分别达到20.7%,13.9%,21.1%,同时生态护岸建设前后河段内底栖动物结构、种类和优势物种均出现明显变化,底栖动物的类群发生了由耐污类群为主向中间类群为主的转化,说明木栅栏砾石笼护岸对林庄港河流生态系统的改善和修复有良好的效果.     

液态金属电阻仪数据采集处理系统的开发与应用

液态金属电阻仪数据采集处理系统采用2182纳伏表并配用K型热电偶进行电压测量和温度测量,用PF66M型数字多用表加装电流换向器供给直流恒定电流,并基于VB语言开发了一套测量液态金属电阻率随温度变化的实时数据采集和数据分析处理软件,实现了计算机与测量仪表的通讯和测量数据的自动采集记录。通过对PbSn61.9合金的实测应用分析,该数据采集系统工作可靠,显著提高了液态金属电阻测量的精度和效率。     

Halin图的一个点强全染色法

针对Halin图的点强全染色问题,提出一个有效的染色法———逐圈着色法,而且方法给出的方案也是最优的,即用最少的颜色完成Halin图的点强全染色.同时还确定了最大顶点度是3的Halin图的点强全色数的上下界,即上界为6,下界为5.