基于约束组合CTPN的带式输送机系统建模

带式输送机控制系统是复杂实时系统,基本Petri网在描述该类系统时会出现＂节点爆炸＂问题。提出采用约束组合弧来克服该问题。约束组合弧不仅可以描述库所组合触发变迁的效果,而且可以描述变迁发生时部分输入库所托肯不变的情况。在为带式输送机控制系统建模中,提出了基于时间Petri网的带式输送机联锁控制系统模型,并将时间Petri网模型折叠成约束组合有色时间Petri网模型,提高了模型的抽象能力,降低了模型复杂性。     

中职市场营销课程一体化教学思考

在职业教育得到极大发展的过程中,如何有效地对专业教学模式进行科学化的改革,而使得中职学生的专业技能和职业素养的提高,这是一个亟待解决的问题。不同的中职学校都有各自各具特色的方法,该文结合我校市场营销专业实践性教学的经验与问题,借此探讨中职市场营销专业理实一体化教学改革的路径。     

浅谈GRIS的工作原理及一般故障分析处理

GPRS接口服务器是铁路信息化的重要组成设备之一,是连接GSM-R/GPRS网络与外部分组数据网的核心设备。实现了车地之间各种分组数据信息的高效、可靠传输。为了对GRIS的工作机制有更进一步的了解,也为了在今后的使用中能够更加得心应手,我们通过对相关GRIS的原理方面的书籍的研究,并结合实际使用中的问题,对GRIS的工作机制和一般的故障处理进行简单的阐述和分析。     

工程机械创新集群创新能力评价指标体系研究

工程机械创新集群创新能力评价是考核工程机械创新集群发展水平的重要依据,论文从创新网络支撑能力、技术创新能力、创新环境支撑能力、创新管理能力和集群产出能力5个方面构建了工程机械创新集群创新能力评价指标体系,为进一步的实证分析和政府企业的决策奠定了基础。     

基于条件PDF的宽带ISF参数分裂矢量量化方法

宽带ISF参数的矢量量化是语音编码中的重要环节,其量化性能的高低对于解码端语音的质量有重要影响.针对宽带语音ISF参数矢量量化问题,提出了一种新的量化方法.该方法利用ISF参数帧间相关性,将相邻2帧ISF参数的条件PDF用高斯概率模型表示.与传统分裂矢量量化不同,该方法首先根据前一帧的量化结果对当前帧分类、选择合适的码书,然后对该帧在选定的码书中进行分裂矢量量化.实验表明,该算法在每帧编码比特数44时达到透明量化,且平均谱失真比利用传统分裂矢量量化时的谱失真小.     

PA6及PA6/MRP复合材料的氧化降解及动力学过程分析

分别用K inssinger、Ozawa以及Friedman法求解PA6动力学参数,并用Friedman法对PA6/MRP复合材料的氧化降解及动力学过程进行了比较研究,结果表明：微胶囊化红磷（MRP）的加入,可降低PA6相应各阶段最大失重温度,促进PA6分解,降低活化能,使PA6热降解更倾向于互变异构,产生大量的碳化二酰亚胺,有利于提高PA6阻燃性能。     

非英语专业学生英语学习的自我效能感培养策略研究

从学生自身影响因素和外部环境因素两方面着眼,系统分析研究了非英语专业学生英语学习自我效能感的影响因素,在此基础上,以班杜拉的自我效能感理论为依据,从学生、教师和学校三个角度出发,提出了非英语专业学生英语学习的自我效能感培养策略。     

基于尾流效应的低风速地区风电场布局优化方法

为了减少低风速地区风电场尾流效应对其发电能力的影响,提出一种通过改变风机塔筒高度以提高风电场收益的布局优化方法。首先分析了塔筒高度与风电场年发电量的关系,进而优化风电场主风向上机组塔筒高度,以使轮毂海拔高度呈渐进式增加,实现风电场年发电量提升的同时尾流损失下降的优化目标。最后,使用Wasp10.0风资源评估软件建立风电场模型,与未使用优化方法的风电场进行仿真对比。仿真结果表明,随着主风向上前后排机组轮毂海拔高度差值的不断增加,风电场年发电量不断增加,验证了所提方法的有效性。     

利用延时相关预处理的信源数估计

为了解决信息论准则估计信源数在有色噪声背景下失效以及盖氏圆方法在低信噪比下性能下降的问题,提出了利用延时相关预处理的信源数估计方法. 首先构造接收数据之间的延时相关矩阵,抑制噪声影响. 再将特征向量按划分规则分组,得到两类不同的特征空间,其中一类只含噪声特征矢量,另一类同时含有噪声和信号的特征矢量. 最后将延时相关矩阵投影到特征空间,通过对投影数据进行处理实现信源数估计. 仿真实验和实测结果表明了该算法的正确性和有效性.     

基于丹顶鹤营巢生境保护的水量调配研究

以吉林省的向海湿地为研究区,根据多年调查的濒危物种丹顶鹤的营巢信息,通过多时相的遥感影像分析,研究了丹顶鹤营巢特征与水文条件的关系.在此基础上,建立了丹顶鹤适宜营巢的临界水文条件经验模型,依据向海湿地与霍林河多年的水文与气候数据,提出了基于丹顶鹤营巢生境保护的水量调配标准.结果表明:丹顶鹤营巢的适宜生境为"水生芦苇群落",丹顶鹤营巢数量与水生芦苇群落的面积呈正相关,而集水区域面积与水生芦苇群落面积亦呈显著正相关.集水面积的长期动态分析表明:向海湿地水文状况近年极不稳定,与霍林河的流量、向海湿地降水量、蒸发量等因素密切相关.通过多元回归分析建立了集水面积的预测经验模型.基于这些经验模型和野外调查资料,讨论了通过调配河流流量来保证丹顶鹤适宜营巢生境所需要的临界水文条件,结果为:每年的4-9月间,如果霍林河上游水文站河流的月平均流量控制在13 m3/s,第二年春季向海湿地就能够满足丹顶鹤营巢所需的水文条件.研究结果将为基于丹顶鹤营巢生境保护的水量调控提供科学依据.