Obtaining shorter regular expressions from finite-state automata

We consider the use of state elimination to construct shorter regular expressions from finite-state automata (FAs). Although state elimination is an intuitive method for computing regular expressions from FAs, the resulting regular expressions are often very long and complicated. We examine the minimization of FAs to obtain shorter expressions first. Then, we introduce vertical chopping based on bridge states and horizontal chopping based on the structural properties of given FAs. We prove that we should not eliminate bridge states until we eliminate all non-bridge states to obtain shorter regular expressions. In addition, we suggest heuristics for state elimination that leads to shorter regular expressions based on vertical chopping and horizontal chopping.     

高灵敏度热释电摄象管红外电视系统

针对热释电摄象管(PEV)在传统的对称斩波模式下存在的各种问题,设计了一种新的非对称斩波模式PEV红外电视系统.通过提高PEV摄象机的温度响应率R_i和采用高去噪声信号处理系统,大大改善了PEV红外成象系统的性能.     

基于步进电机的工程车倾动装置模糊控制系统

在针对工程车上对倾动装置的高精度易操作的要求,开发出了一种基于两相混合式步进电机的高精度自调整模糊控制系统.为提高系统的定位精度,设计出了一种基于D/A转换器、集成脉宽调制控制芯片SG3525和GAL20V8等器件的步进电机斩波恒流细分驱动系统.并将模糊推理机制和常规PID控制结合起来,优化了驱动系统的控制参数及控制性能.为改善电机转动的平稳性,采用了抛物线升降频法对电机速度进行调节.整个系统定位精确,性能稳定,安全可靠.     

系统谐波对真空开关截流性能的影响

用数值模拟的方法研究了真空开关开断含谐波的电流时可能出现的截流问题。发现由于谐波的存在,含谐波的电弧电流过零点处的电流变化率可能比基波的相应值增大或减小很多,增大的电流变化率可能使截流值减小,而减小的电流变化率可能使截流值增大,因此系统含谐波时就有可能更容易导致真空开关出现截流,从而可能导致危险的过电压,对被保护的设备造成危害,影响真空开关的应用。     

基于Chopping的Web应用SQL注入漏洞检测方法

随着Web应用的不断普及,其安全问题越来越显突出,特别是SQL注入漏洞攻击,给用户的安全体验造成了巨大的威胁. 针对二阶SQL注入漏洞,本文提出了一种基于chopping技术的二阶SQL注入漏洞检测方法. 首先通过对待测应用程序进行chopping,获取到一阶SQL注入疑似路径;然后对一阶SQL注入疑似路径中的SQL语句进行分析,确定二阶SQL注入操作对,进而得到二阶SQL注入疑似路径;最后通过构造攻击向量并运行,确认二阶SQL注入疑似路径中漏洞是否实际存在. 实验结果表明,本方法能够有效地检测出二阶SQL注入漏洞.     

光伏发电并网系统孤岛检测方法的分析与改进

主动频率偏移(AFD)法是孤岛检测的主要方法之一.分析了AFD法的基本原理和优缺点,并按先检测频率变化再确定斩波率的思想对传统AFD法进行了改进.改进后的方法的运行指标以IEEE Std 929-2000为依据,适应中国电力系统要求.基于Simulink软件包的仿真结果表明,改进后的方法加快了检测速度,减小了检测盲区,还减少了对电力系统的谐波污染.     

真空斩拌和钙离子浓度对白鲢鱼糜胶凝特性的影响

本文研究了真空和钙离子对白鲢鱼糜胶凝特性的影响,以期为高品质鱼糜制品的加工提供理论依据。结果如下:随着钙离子浓度增加,常压斩拌的鱼糜凝胶的破断力呈现出先增大后减小、然后增大再减小的趋势,两个峰值对应的浓度分别为20 mmol/kg和40 mmol/kg;蛋白的交联程度逐渐从18.08%增加到30.98%,在钙离子浓度高于30 mmol/kg后逐渐降低并达到最小值14.54%;微观结构从无特征性结构转变为连续的网络结构、再转变为分散的聚集体。真空条件下,鱼糜凝胶特性值(破断力、和蛋白交联度)和微观结构随钙离子浓度变化的趋势与常压条件下相同,但是峰值或转变点所对应的钙离子浓度均低10 mmol/kg。真空和常压条件下,持水性随着钙离子浓度增加均逐渐从80.74%和82.27%分别降低到62.09%和67.23%,白度值逐渐从79.11和79.10分别增加到83.80和83.15。结果表明,真空具有降低钙离子影响鱼糜胶凝特性"效应浓度"的作用。     

斩拌速度和时间对乳化肠质构的影响

研究斩拌速度、时间与乳化型香肠质构之间的关系.采用响应曲面设计,选用斩拌速度和斩拌时间为试验因素,测定不同斩拌时间和速度下产品的硬度、弹性、内聚性、咀嚼性和回复性.结果表明,斩拌速度对乳化肠的硬度、弹性和回复性均有显著影响,斩拌时间对回复性有显著的影响,斩拌速度和斩拌时间的交互作用对硬度和回复性有显著的影响;斩拌速度为6 000 r/min,斩拌时间为9 min时,形成的乳化肠的硬度、弹性、内聚性、咀嚼性和回复性最佳,满足乳化肠质构的要求.     

一种基于电压斩波和电流软启动CCR LED电源设计

恒流调节器(CCR)常用于中小功率家用LED照明驱动电源中,但是这类常见的电路在交流电压波动时可能出现电源效率和LED电流不稳定的现象。论述了这类驱动电路的工作原理,分析了问题产生的原因,提出一种基于电压斩波和电流软启动CCR LED电源的方案,理论分析和实验数据都表明这种改进方案非常有效地解决了前述问题。     

真空断路器电磁瞬态仿真模型的研究与应用

由于真空断路器具有优良的开断和绝缘恢复性能，因此，可用来开断由于电弧不稳定而产生的高频电流。在一定的电网奈件下，在开断高频电流的过程中可能引起多次重燃和严重的过电压。本文的主要目的是用PSCAD建立真空断路器模型来展现断路器的真实特性。这个模型融合了燃弧时间、截流，介质恢复强度及断路器的熄弧能力等所有本质特性。采用开断实用的电炉用变压器来检验本文所开发的三相真空断路器的模型。并提供了检验结果。