基于增广Petri网的实时交通信号控制系统

利用带抑制弧/使能弧、自控网技术的增广Petri网设计了一种交叉路口实时交通信号控制系统,通过采集路面车流量信息实时改变每个信号灯周期内各相位时长,模型通过了正确性分析.并依据该模型开发了Java原型系统,实验表明该系统能有效缓解交叉口的交通滞留.     

YAWL到BPMN的映射研究

针对YAWL语言目前存在较多OR逻辑二义性的情况,提出将YAWL转换成BPMN语言.转换不仅可以解决YAWL在多实例、同步和取消等模式表达上存在的不足,转换后更为简洁的BPMN模型也有利于进一步性质分析.算法的最终实现已嵌入到最新的ProM5.2平台中.     

基于萤火虫算法的三维Renyi熵眼底图像血管分割

对于眼底血管网络分割精度低的问题,提出了基于萤火虫算法的三维最大Renyi熵眼底血管分割方法。该方法先提取出眼底G通道图像;然后用多尺度线性滤波器对眼底血管增强;接着引入萤火虫算法,将基于三维共生矩阵的最大熵求解问题转化为寻找最亮萤火虫的问题;最后,将最亮萤火虫所处的三维空间位置作为Renyi熵函数的阈值对眼底图像分割。实验结果表明,方法的真阳性率和ROC曲线下方区域面积都有所提高,能准确分割出眼底血管。     

3P3R型实验平台重复定位精度标定方法

为满足基于视觉的焊缝跟踪系统的实验要求,设计了3P3R实验平台的本体结构,利用工控机和运动控制卡实现实验平台的运动控制.由于实验平台主要执行焊缝跟踪过程中的重复运动,因此,重复定位精度成为评价3P3R实验平台性能的重要指标之一.对3P3R实验平台末端在x、y、z方向的重复定位精度进行了标定,为进一步提高实验平台的运动精度和优化提供了数据支持.采用基于数控机床重复定位精度的测量方法,同时考虑到3P3R实验平台重复定位精度与机床重复定位精度的相似性和差异性,最终完成3P3R实验平台重复定位精度标定方案,并进行3P3R实验平台的重复定位精度标定,得到该试验平台的重复定位精度约为±0.05mm,为后续使用3P3R实验平台进行焊缝跟踪实验奠定了坚实的基础.     

含Fe、Mn酸性矿井水水质特征及处理工程实践

含Fe、Mn酸性矿井水是采煤过程产生的一种污染及危害极大的废水。本文介绍了毕节地区典型煤矿含Fe、Mn酸性矿井水的水质特征及处理工程实践。文中介绍的处理工艺处理效果达到相关排放标准及回用标准要求、投资省,值得推广和应用。     

基于视觉的橘类水果识别系统设计

水果采摘作为水果生产过程中的一个重要环节,具有季节性强和劳动密集的特点,所占用的劳动力数量较大且整体自动化程度较低。为提高水果采摘效率,设计了一种基于视觉的橘类水果识别系统,基于水果的颜色特征、霍夫圆检测原理进行成熟橘类水果的识别,使用深度摄像头实现目标的定位。以蜜桔为研究对象,分别在正常光线无遮挡、正常光线有遮挡以及外部光源补光的情况下开展试验研究。试验结果表明,提出的基于视觉的橘类水果识别系统能够为水果识别与定位技术提供技术支撑和可靠数据,为实现水果智能化采摘样机的研制奠定基础。     

小麦染色体嗜银蛋白的生化分析

70年代后期,Laemmli等人通过对去除组蛋白和大部分非组蛋白的HeLa细胞中期染色体生化分析和电镜观察,发现在中期染色体中存在由非组蛋白构成的骨架结构。Howell等人采用银染技术和光镜,在哺乳动物和人的中期染色体中也看到一种由非组蛋白组成的类似骨架的银染轴结构。Earnshaw等人进一步证实在完整染色体中所见的轴结构相当于在去除组蛋白中看到的骨架结构,非组蛋白骨架是染色体中主要的银染对象。最近,Zhao等人用电子显微镜在蝗虫有丝分裂和减数分裂染色体中也看到了银染轴（骨架）,并对其精细结构和行为进行了研究。但这些实验虽然从细胞学的角度证实染色体中可能存在着一类能被硝酸银特异染色的非组蛋白,然而,迄今还缺乏对这些嗜银蛋白的生化分析。本文从同步化根尖细胞中分离染色体,通过SDS-PAGE技术,用考马斯亮蓝和硝酸银染色,从生物化学角度     

用菜油脚研制高硅镁低磷磷矿石特效浮选剂

以油脂加工中的废弃物－油脚为基本原料进行改性，辅以一种新型的浮选助剂进行复制得的复合表面活性剂用于高硅、镁，低品位磷矿石的浮选。磷的品位从24．84％上升到35．69％，而镁含量则从6．76％降到0．92％，优于目前国内报道的有关磷矿浮选剂，而浮选成本仅为国内报道浮选剂的50％，具有较好的开发价值。     

浅谈计算机中数据的表示方法

计算机中数据的表示与运算是一个重点,也是难点。本文对计算机中数据的表示方法进行了系统地总结、比较、分析和研究,力求给读者一个清晰的概述。     

结构活网极小标识的一个求解算法

活性(Liveness)是Petri网的基本性质.从网的关联矩阵以及所定义变迁发生序列的结构,求解结构活网的极小标识,得到了一个多项式时间算法.