基于普通Petri网的梯形图中接通延时定时器的建模方法

针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。     

复杂光照下的缩微道路车道线检测方法

为了解决复杂光照下的缩微道路车道线检测问题,提出了一种适用于复杂光照下的缩微道路车道线检测方法。首先运用朴素贝叶斯对不同光照下的车道图像进行分类,然后对分类后的车道图像采取相应的图像处理方法,最后运用改进的大津法和改进概率霍夫变换来检测车道线。对多段不同光照模式下的车道图像进行的仿真实验表明,该方法对缩微道路车道线检测的成功率达到95.5%,具有很强的鲁棒性和抗干扰能力。     

Web交互模型的形式化验证研究

Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。     

低品质因数谐振筒的谐振频率测量系统

谐振筒式密度计的测量原理为谐振筒的谐振频率会随筒内液体密度的变化而变化,从而通过测量其谐振频率来达到测量其密度的目的。但由于低品质因数谐振筒在谐振频率附近的幅度与其他频率的幅度区分度太小,导致谐振难以实现。因此如何使低品质因数谐振筒达到谐振状态并测得其谐振频率,是谐振筒式燃油密度传感器激励系统的关键问题。激励系统以DSP为主控芯片,运用椭圆拟合的方法解决了低品质因数谐振筒式密度计激励系统的关键技术问题-增益测量和相位测量,运用原位计算节省了DSP大量的内存空间,同时运算量又较小。仿真结果表明,增益测量精度优于0.05%,相位测量精度优于0.05%,高于实际需要。系统在测量并记录了增益、相位差之后,利用相关算法实现了自动增益调节和自动相位调节,并实现了谐振筒的谐振,测得了其谐振频率。     

基于PTS的视频流集群同步显示技术

针对集群大屏拼接显示系统各节点机独立解码、视频流显示不同步的问题,本文分析了集群拼接显示系统的特点,提出了利用PTS信息实现集群内各节点机同步显示视频流的机制,研究了组播接收模块、Ts流拆包模块、视频解码模块和同步控制模块和拼接屏显示模块等视频流同步显示实现技术．研究试验结果证明了基于PTS的视频流集群同步显示技术的有效性．     

网络考试系统设计

文章研究了网络考试系统的需求,设计了试卷生成算法。     

随机网络编码数据传输的仿真实现

基于随机网络编码方法,构造了在实验室内实现单源组播网络数据传输的仿真模型:用局域网内的网络终端代表单源组播网络的节点,以IP地址和端口号代表有向信道,采用UDP网络通信实现数据传输,从而对单源组播网络进行了仿真。运用Java编程实现了有限域的算术运算,根据随机网络编码的编码规则,分别编写了单源组播网络的源节点、中间节点和宿点的工作程序,形成了一个完整的软件系统,该仿真模型可以适合于任意单源组播网络。     

基于S3C2440嵌入式视频传输系统的研究与设计

如今嵌入式和视频行业发展的如火如荼,视频传输也得到了很好的发展,而很多视频传输设备都比较昂贵且移动不灵活.鉴于此,设计出了以S3C2440为核心芯片,并在此基础上结合linux环境下的GStreamer流媒体框架的视频传输系统,系统采用无线的传输方式.经过对系统测试,此系统能流畅的播放传输的视频并且移动灵活,达到预期目标,并且该系统简洁、成本低具备实际的应用前景.     

微博观点句识别的话题影响研究

为了从海量的网络信息中迅速准确地获取评价信息,观点句识别已经成了自然语言处理的一个研究热点。现在观点句识别系统大都是基于机器学习的方法,一般使用机器学习的方法来进行分类会受到领域差异性影响。针对这个问题,该文对微博观点句识别系统是否会受到微博话题影响做了经验性研究,同时为了弥补训练数据的不足,该文通过规则方法自动标注网络数据进行了训练集的扩充。实验结果表明,微博话题间存在差异,进行分话题模型训练可以提升微博观点句识别系统的性能。     

A novel shaft-less double suction mini pump

A novel double suction shaft-less mini pump was developed for heat control of small energy systems in this study.The mini pump impeller with an exit diameter of 40 mm was combined with the motor rotor supported by the hybrid dynamic bearing.The specific speed of the pump was 125 min-1 m3 min-1 m.The hydraulic performance of the pump was investigated experimen-tally under four rotational speeds.From the test results,it was recognized that the pump could provide a flow discharge of 5 L/min and head of 1.5 m,w...