Method to compute the reachability set of S3PR

This paper proposes a novel approach to computing the reachability set by using place invariants and strict minimal siphons for S³PR with specific resource places. First, the set of invariant markings is enumerated. Then a necessary and sufficient condition is developed to decide whether a marking is spurious by analyzing the relationship between the number of tokens in the corresponding places of any strict minimal siphon and their bounds. In addition, the spurious markings are calculated. Finally, the reachability set of the net is generated by removing all the spurious markings from the set of invariant markings. Experimental results show the efficiency of the proposed method.     

德惠断陷下白垩统碎屑岩储层特征及控制因素分析

德惠断陷下白垩统登娄库组、营城组、沙河子组储层物性差,勘探风险大.利用岩心观察、铸体薄片鉴定、扫描电镜分析、黏土X线衍射分析等方法,分析储层基本特征、储层成岩作用和控制因素.结果表明:德惠断陷下白垩统碎屑岩储层成分成熟度和结构成熟度较低,储层孔隙类型主要有残余原生孔、次生孔和混合孔,储层物性和孔隙结构较差;压实作用是导致储层物性变差的主要原因,溶蚀作用改善储层物性;纵向上发育2个次生孔隙带,主要形成于中成岩期,次生孔隙带的形成与有机质生烃排酸和断裂有关.研究结果为德惠断陷下白垩统进一步油田勘探提供地质依据,对其他地区类似储层研究有一定借鉴意义.     

基于神经网络与模糊算法图像边缘检测方法*

针对传统图像边缘检测方法中出现毛边、噪边、边缘定位不精确等缺点,提出一种神经网络与模糊算法相结合的检测方法。根据图像特征,将图像分为高频和低频部分分别处理,高频部分适宜用双层网络结构,可以很好地减弱噪声;对于图像低频部分,将模糊理论引入到边缘检测中,能够检测出弱边。最后对检测出的两个图像边缘进行融合,实验结果证明得出的检测效果较好,比传统边缘检测算子所获结果有很大改善。     

枝向量矩阵反馈环算法的MATLAB实现*

找到系统中的全部反馈环是系统动力学模型分析的基础。针对这一问题,比较了几种常见的反馈环计算方法,得出在时间复杂度上矩阵算法优于行列式算法。在计算机上用MATLAB实现了基于流率基本入树和强简化流率基本入树枝向量矩阵计算所有反馈环的矩阵算法,分析了算法的复杂性,并给出了相应的算例。     

非平稳时序循环平稳趋势提取与机械故障诊断

在简单介绍非平稳时序模型周期趋势项提取方法的基础上，提出了机械故障诊断和分析方法，该方法利用旋转机械出现故障以后所呈现的循环平稳特性，使用循环平稳分析方法剔除非平稳时间序列模型中的趋势项，然后建立平稳时序模型，用该模型进行机械故障诊断分析。并运用仿真和实例对方法的正确性进行了验证。     

安哥拉南部社会住房项目设计优化探讨

安哥拉南部社会住房项目具有平面空间及纵向海拔跨度大,气候、地形、地貌以及地质状况存在巨大差异且复杂多变的特点。施工图阶段如何合理的利用现状地形、当地材料及施工技术水平进行设计方案优化,达到降低工程造价、削弱施工难度、缩短工期、推进项目的顺利实施是该项目中的重要问题。通过对该项目设计优化的分析和研究,探讨出适合海外EPC项目的设计优化原则和方法,并总结了安哥拉南部社会住房项目设计优化经验,可为其他海外EPC项目的设计工作提供重要的借鉴。     

基于FNN的轮式机器人路径跟踪研究

针对目前轮式机器人在路径跟踪时容易出现的偏离期望路径甚至打滑、侧翻失去控制等问题,对轮式机器人结构及其路径跟踪特点进行了分析,构建了轮式机器人运动学模型,设计了一种基于模糊神经网络(FNN)的行进路线和行驶速度分级控制的路径跟踪方法.第一级中模糊神经网络利用机器人位姿信息确定行进路线即转弯半径,第二级根据前方路径情况和转弯半径调节机器人行驶的角速度和线速度.仿真实验表明,所设计的模糊神经网络能够对所期望的路径进行快速准确地拟合,且鲁棒性强;轮式机器人路径跟踪过程稳定,不会出现失控现象.     

低轨卫星通信终端微带天线设计与实现

针对低轨卫星通信系统中微带天线的特性要求,首先利用高频结构仿真软件HFSS建立微带天线模型,并对该模型运用电磁理论和优化理论进行仿真优化,得到了最佳的微带天线结构和电参数.然后根据设计参数研制了符合要求的中心频率为398 MHz的微带天线,并且缩减尺寸至可以植入卫星通信中的便携式终端设备.利用矢量网络分析仪对该天线各参数实测结果表明,研制的微带天线的性能与实际要求的指标吻合,证明了设计的有效性.     

基于多传感器的四旋翼飞行器硬件系统设计

四旋翼飞行器由于其简单的机体结构与较为复杂的姿态控制,近年来在军用和民用领域广泛应用。旨在通过四旋翼飞行器飞控平台的搭建,实现对飞行器姿态的稳定控制。首先论述了四旋翼飞行器的飞行原理与机械结构,给出了硬件系统总体结构。在对各功能模块整合的基础上,实现基于多传感器的控制系统硬件电路设计。仿真与实验证明：多传感器使用过程中,通过卡尔曼滤波进行姿态数据的融合,有效地解决了加速度计、陀螺仪易受外界干扰问题,所设计硬件系统在飞行实验中性能稳定,为四旋翼的稳定控制提供了参考。