正规语言闭包运算的Petri网构造方法

Petri网语言与Chomsky文法体系之间的关系已有了一些结论,已经证明正规语言是Petri网语言的一个子类。相关文献中给出了一种Petri网子类——恰当终结的标准Petri网,并且已经证明恰当终结的标准Petri网语言与正规语言的等价性。在此基础上,研究了正规表达式中Kleene闭包运算“*”的Petri网构造方法,分别给出了Kleene闭包运算“*”的ε-空标注和无ε-空标注Petri网模型的构造方法。该构造方法可由产生正规语言L的网模型直接得到产生正规语言L*的网模型。证明了对于恰当终结的标准Petri网,正规语言闭包运算“*”的构造是封闭的。     

咖啡果皮酵素发酵过程中代谢产物与抗氧化功能评价

以咖啡制作过程中废弃的咖啡果皮为原料,利用咖啡果皮表面微生物,在高浓度糖液环境下制备咖啡果皮酵素。研究发酵过程中代谢产物(总糖、总酸、乳酸、醋酸、乙醇、总酚含量)与抗氧化指标(DPPH自由基清除能力、ABTS+自由基清除能力)之间的相关性,利用主成分分析建立不同发酵时间咖啡果皮酵素的综合指标(comprehensive evaluation index,CEI),确定咖啡果皮酵素发酵状态。结果表明:随着发酵时间的延长,微生物利用糖类等营养物质合成乙醇、醋酸、乳酸等成分,同时使咖啡果皮中的活性物质更好地溶出,蛋白质、总酚含量显著上升,对ABTS+自由基和DPPH自由基的清除能力显著增强;发酵过程中各指标之间具有一定的相关性,其中总酚含量变化趋势与对ABTS+自由基和DPPH自由基的清除能力表现得尤为显著;适当的延长发酵时间有利于提高咖啡果皮酵素综合指标。     

城市轨道交通与牵引供电系统电气模型研究

根据上海轨道交通1号线的牵引供电系统和列车电气拓扑结构,使用计算机仿真软件(PSCAD/EMTDC)在不同工况下建立了仿真模型.其中,牵引供电系统模型包括主变电站、牵引变电站、接触网和轨道;车辆模型包括牵引电机、主逆变器及其控制系统、制动电阻、滤波单元和辅助系统.模型将车辆和牵引供电系统结合起来,实现了初步联合仿真.仿真结果表明,所建立的模型能够准确反映在不同工况下车辆和牵引供电系统的特性,为进一步研究城市轨道交通和牵引供电系统奠定了基础.     

基于MFO的车用PMSM控制策略研究

针对永磁同步电机(PMSM)弱磁控制系统的建模不精、抗干扰能力不足等问题,分析了该系统的基本结构,并对该系统的控制策略进行主要研究,但是目前常规的模糊PID控制下的系统依然存在不足之处.提出了模糊控制与飞蛾火焰优化(MFO)算法相结合的控制策略,重新构建出控制系统中的电流环和速度环,对系统的控制参数实时自整定.将传统的PID控制算法、模糊PID控制算法和本文中的模糊飞蛾火焰优化算法(MFO)法进行仿真测试,通过这3种算法得出相应的转速和转矩的仿真曲线,并对转速、转矩的波动误差和恢复时间进行数据分析,最终结果表明,本文所提出的算法控制下的系统恢复时间相比于传统PI控制算法、模糊PID控制算法分别提升了0.04 s和0.02 s,且抗干扰能力也具有明显提升.     

一种兼顾协议正确性验证和性能评估的Petri网方法

基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前研究还不够深入,协议分析的两个重点内容正确性验证和性能评估所需要的模型不同,一种模型只能解决一方面的工作。为了有效地解决这一问题,文中提出了一种用原型Petri网作为协议验证模型的思路和方法,在不改变原型Petri网结构的基础上对变迁赋予发生时延,解决了协议的性能评估问题。本文还给出了协议验证内容与Petri网分析方法的对应关系,并对0-1停止等待协议进行了详细的分析,最后把0-1停止等待协议的原型Petri网模型转化为时延Petri网,对协议的性能进行了评估。     

纱线卷绕系统恒张力先进控制策略

针对纱线卷绕系统内外部扰动较多，系统具有时变性和不确定性，纱线张力值波动较大，控制精度不高导致纱线断头等问题，提出了学习速率自适应与蚁群算法联合改进的BP神经网络PID控制策略。通过学习速率自适应提高网络学习速率，并利用蚁群算法调整网络初始参数。分别测试PID算法、BP神经网络PID算法与改进BP神经网络PID算法。结果表明：基于改进BP神经网络的无刷直流电机PID控制器鲁棒性更强，性能良好，纱线卷绕系统张力波动较小，断头率降低。