一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化,从而可实现确认控制自动化     

采煤机故障诊断专家系统的知识表示与知识获取

以 Ａ Ｍ５００ 采煤机故障推理网络为对象,讨论采煤机故障诊断专家系统中“规则架＋ 规则体”的知识表示方法及其知识库内部结构,以及专家系统的知识获取设计。     

对辊窝眼式核桃开口机设计

为了便于核桃食品加工时的核桃人味、取仁或使核桃易剥食,设计了一种对辊窝眼式核桃开口机。该机采用锥辊式分级装置,可按核桃的粒径大小自动分级。采用对辊窝眼式开口装置,可实现核桃的挤压开口。窝眼的大小与分级装置相对应,使不同大小的核桃受到相同的挤压力。生产实验表明,用窝眼抓取核桃进行挤压开口是可靠的,开口率＞９５％,破碎率＜２％,生产能力＞１５０ｋｇ／ｈ。     

基于逻辑分析仪的存储器内容剖析

用逻辑分析仪可以准确揭示存储器的内容,进而对存储器中的数据进行正确的分析判断。对存储器的剖析,将有利于仪器的开发和维护,并根据具体的硬件情况,编制更加合理的软件程序。     

基于HSI的彩色图像二值化技术研究

当今的工业应用中存在着大量没有输出接口的数字仪表。要想自动读取仪表中的数据,只能通过识别技术。数字仪表识别的关键在于图像的二值化处理。在工业环境中实时采集的图像多为彩色图像,由于现场光线以及仪表位置等因素,应用传统的二值化技术存在处理速度慢、清晰度不高等缺点。给出一种基于HSI空间上彩色图像二值化方法。这种方法不需要对图像进行灰度处理而是直接对彩色图像进行处理,不仅能够提高处理速度,而且对较模糊的图像也能获得较好的处理效果。     

核密度估计在大口径机枪加速寿命研究中的应用

以大口径机枪为研究对象,采用核密度估计法对影响机枪寿命的加速应力进行了分析。选取换箱间隔为加速应力,对实验数据进行分析,得出了换箱间隔对机枪寿命有较大影响的结论,并进行了分析,为进一步建立加速模型奠定了基础。     

nRF905的LED屏无线通信设计与实现

针对采用芯片nRF905的LED屏无线通信,分别给出了上位机和下位机的系统框图,分析了系统的功耗,比较了无线模块和串口通信的通信速率,验证了系统的可行性,设计了串口通信协议,为保证数据质量,设计了数据通信协议,针对串口数据的nRF905分包转发,设计了无线芯片通信协议,例举了状态机的五种状态,介绍了状态间的转换条件,巧妙地编程设计了通信数据的定时器检查,论述了基于状态机的嵌入式单片机软件编程。     

实时调度问题的形式化描述及分析

使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。通过分析单个任务的状态变化过程来构造实时系统的自动机。对自动机的状态进行化简和归并,大大降低了讨论实时调度问题的复杂度。以优先级上限协议为例构造了确定有穷自动机并使用该自动机证明了优先级上限协议的性质。     

淬硬模具钢高速铣削切屑显微特征与变形规律研究

不同的切削介质条件下,氮铝钛(TiAlN)涂层刀具高速铣削淬硬模具钢时切屑的显微特征和变形是不同的,通过在干铣削、水溶性切削液、空气油雾、氮气油雾介质下高速铣削淬硬模具钢切屑显微特征的研究,得出TiAlN涂层刀具高速铣削淬硬模具钢时切屑变形规律,为高速铣削工艺过程的选定提供帮助.     

Bayes网络在机械故障概率估计中的应用

提出了将bayes网络应用于机械故障诊断。主要是为了解决如何从机组运行状态数据中来推断出机组发生某种故障的可能性,从而为进一步的诊断维护提供依据。Bayes网络是一个具有一系列条件概率的有向无循环图。本文采用两层结构的网络模型,上层为旋转机械的故障样本集,下层为症状属性样本集。根据给出的各故障发生先验概率以及各症状节点的条件概率和泄漏概率,利用网络的推理计算,求出机组发生各种故障的后验概率大小。从而达到预测发生某种故障可能性的目的。实例验证了该方法的可行性和正确性。