基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

激光标刻的复杂区域填充算法

为减少填充线段和提高激光加工效率,对复杂区域的填充算法进行了研究．采用延长某些岛屿边界将包含岛屿的区域变为单连通域;然后用最长边延长法和最长边平行截取法将单连通域分解为简单凸多边形,简单凸多边形填充方法是先找到凸多边形所有边对应的高最小的那条边,平行该边进行填充,最后对填充线段的连接顺序进行优化处理．与传统的固定方向扫描填充相比,采用本算法可使复杂区域和实心文字的激光标刻效率提高20％～40％．     

浅谈高速公路的交通噪声防治措施

通过对高速公路过升金湖裕丰圩保护区域现场调查和研究,针对保护区的核心区的交通噪声采取了一些科学合理的措施来降低噪声的影响,使保护区的鸟类免受交通噪声的影响。     

长江上游卫星反演与再分析降水数据的适用性评估

为评估不同降水数据在长江上游的适用性,基于气象站点观测数据,采用多种评价指标,定量评估了卫星反演降水数据(IMERG-Final、GSMaP-Gauge)及再分析降水数据(ERA5-Land)在长江上游的应用精度,并分析了各降水数据在不同等级降水的误差结构。结果表明:3套降水数据均能准确捕捉流域降水东高西低的空间格局,与观测降水有着良好的相关性,且2015—2019年表现平稳,有可长期应用的潜力;各降水数据时间分辨率越高,误差相对越大,在流域地形变化剧烈的中部误差更大;对弱降水易错报高估,对强降水的低估随降水强度上升而加剧;两套卫星反演降水数据总体误差较小,适用性良好,IMERG-Final有更好的误差控制能力,GSMaP-Gauge对降水发生的识别更为准确;ERA5-Land明显高估流域降水,尤其在西南部地区。     

射频溅射法和电弧离子镀法制备的纳米TiO2薄膜性能比较

采用射频磁控溅射法和电弧离子镀法制备了纳米TiO2薄膜,并利用XRD、UV-VIS、AFM及通过亲水性和光催化实验对两种方法制备的TiO2薄膜进行了对比表征.结果表明,磁控溅射法的薄膜生长速率只有电弧离子镀法的1/30;前者仅需较低的退火温度就能形成完善的锐钛矿结构;虽然两者有相近的紫外吸收边,但是前者有较大的紫外吸收;磁控溅射法制备的TiO2薄膜表面呈现针状晶结构和具有较大的比表面积;在暗室中保存5 h后,磁控溅射法制备的TiO2膜水的接触角恢复到1°,而后者达到20°;对于光催化降解苯酚,前者有较大的降解率.     

非线性离散广义系统的H∞控制

针对非线性离散广义系统研究了状态反馈H∞控制器的设计问题,利用广义Lyapunov函数和线性矩阵不等式(LMI),首先对系统的零解渐近稳定问题进行了研究,并在此基础上给出了系统的零解渐近稳定且具有H∞范数约束的充分条件,之后设计了状态反馈H∞控制器,使闭环系统具有同样的性能,最后给出了数值算例说明本文结论的有效性和可行性.     

出租车合乘模式的探讨

文章针对城市交通拥挤以及出租车所占交通量大而载客量却很小的现状,提出了出租车合乘运营模式,在考虑了司机和乘客双方利益的基础上建立相应的数学模型,建立乘客合乘查询系统,求出最佳行驶路线,确定各个乘客的费率,计算合理费用。     

一种解决混联系统组合爆炸问题的贝叶斯网络

针对传统三层节点贝叶斯网络(Bayesian network,BN)在系统可靠性分析中的组合爆炸问题,提出了一种适用于复杂混联系统的级联BN建模方法.首先,在引入s类(f类)节点基础上建立了描述并联(串联)逻辑的信息通路模型,进而通过为通路模型各节点赋予同逻辑的条件概率参数,提出了构建并联(串联)系统等价级联BN的方法;其次,结合"超级方框"的概念分析了将典型串并联、并串联系统转化为等价级联BN的方法,并基于系统可靠性框图(RBD)相关矩阵,设计了将复杂混联系统转化为等价级联BN的算法-Generate-Chain-BN;最后,分别建立了某混联系统RBD的等价三层节点BN和级联BN模型,对两种BN进行了对比计算.理论和实例分析均表明,本文建立的级联BN可将原三层节点BN的空间和时间复杂性由指数级降到线性级,解决了三层节点BN固有的组合爆炸问题,可成为复杂混联系统可靠性分析的有效手段.     

盘式制动器制动时的热应力分析

制动器摩擦副的温度/应力场耦合分析计算是制动器设计的重要内容和选择摩擦副材料的重要理论依据。文章以制动中的盘式制动器为研究对象,建立了盘式制动器的有限元模型;模型考虑了制动盘和摩擦衬片间的滑动,利用非线性有限元多物理场方法,模拟了制动过程中的温度应力分布情况。     

空间图有纽结的正则投射

Taniyam在文[5]中构造了一个平面图有Tn的正则投射,其中平面图是由正五边形所构造的。推广了Taniyam的结果,证明了由任意奇数边(≥5)正多边形所构造的平面图都会有一个有Tn的正则投射,另外,对于这些平面图,还构造了一种新的有Tn的正则投射。