基于规则分组的DFA正则表达式匹配算法

模式匹配因误报率低和漏报率低被入侵检测所采用.在使用正则表达式构造DFA时,因状态爆炸导致匹配算法需要较多的存储空间和运行时间,算法效率低下,采用规则分组后,可以在一定程度上抑制状态爆炸问题.根据缓存中的历史记录对正则表达式进行分组,既能利用规则分组减少状态总数,抑制状态爆炸,又能减少因每次重新构建DFA所带来的开销,提高了匹配效率,有利于提高入侵检测的实时性、准确性和高效性.     

目标电磁散射的面中心立方体网格FDTD方法

基于面中心立方体(face-centered cube, FCC)网格的空间结构, 由麦克斯韦方程出发, 推导了基于FCC网格的单轴各向异性介质完全匹配层(uniaxial anisotropic media perfectly matched layer, UPML)吸收边界条件以及近-远场外推边界条件的三维迭代式。通过典型算例, 先后验证了基于面中心立方体网格的时域有限差分(FCC-finite difference time domain, FCC-FDTD)方法的UPML吸收边界条件和近远场外推边界条件的正确性。最后通过计算金属球的后向雷达散射截面(radar cross section, RCS)比较了FCC-FDTD方法与传统FDTD方法的计算精度, 结果显示FCC-FDTD方法具有更高的计算精度。     

多无人机协同探测快速目标的控制方法设计

针对无人机(unmannd aerial vehicle, UAV)对快速运动目标的协同探测问题, 设计了一种多UAV协同探测控制算法。首先假设每架UAV都携带相同的探测载荷, 根据载荷特性设计了针对快速运动目标的UAV协同探测队形。然后引入固定时间控制一致性协议到UAV载荷角度控制中, 控制载荷持续照射目标; 引入有限时间一致性协议到UAV编队控制中, 用以形成协同探测队形, 并通过二跳网络加快队形的收敛。通过将UAV队形控制与UAV载荷的角度控制相结合, 从而实现UAV对快速运动目标探测时间的最大化, 极大的延长了高速运动目标被发现的时间。最终通过理论分析和仿真实验证明了该控制算法的有效性。     

基于有限差分方法的橡胶坝挡水性能分析及简化设计

橡胶坝常用于低水头、大跨度的闸坝工程,如防洪、储水、发电、供水、挡潮及城市园林美化等工程,不仅起到闸门、滚水坝和活动坝等作用,而且具有瀑布景观效果.本文建立了橡胶坝有限差分计算模型,系统分析了充水压力、上游水位及坝袋几何尺寸等参数对橡胶坝断面形状的影响.开展了室内模型试验,验证了计算模型的准确性.讨论了上游挡水水位与坝袋高度、断面面积、宽度、接地宽度和顶部位置等参数间的关系.研究发现,坝高H/L和横断面面积A/L2随上游水位Hr/L的增大呈非线性减小趋势,而坝宽B/L、接触宽度b/L和坝顶距锚固点水平距离D/L随上游水位Hr/L的增大而非线性增大.基于Chapman-Richard曲线模型对本文得到的橡胶坝几何形状尺寸进行拟合,提出了简化的橡胶坝设计计算公式,可为实际工程设计评估提供参考.     

关于有限群幂图的强彩虹连通数

图的强彩虹连通数在网络信息安全传输中有重要的应用,由于决定图的强彩虹连通数问题是NP-困难的,因此需要给出一些特殊图的强彩虹连通数的计算方法.该文首先运用图论与群论的相关知识,给出了幂图强彩虹连通数的一些上下界,并且研究了达到界的一些幂图.其次利用这些界给出了循环群、初等交换p-群、二面体群和半二面体群的幂图的强彩虹连通数的计算公式.结果表明,幂图的强彩虹连通数依赖于群的极大对合数及群的极大循环子群数.     

俄印关系:特殊特惠伙伴间的有限合作

近期,有关俄罗斯与印度年度峰会取消的消息引发广泛关注。2020年是俄印战略合作伙伴关系建立20周年,但在这个关键的节点年份,已连续举行了20年的俄印峰会首次未能如期举行。尽管俄印官方皆表示取消峰会是由于新冠疫情影响,但还是引起了外界关于两国关系是否生变的猜测。巧合的是,在2020年度大型记者招待会和瓦尔代年会上,俄罗斯总统普京对印度只字未提,似乎暗示着一直高调的俄印关系出现了一些问题。     

基于多目标函数的热声制冷机性能优化

在考虑热漏、热阻及不可逆因子等因素的情况下,建立复指数传热规律的不可逆热声制冷机循环模型.以热声制冷机输入功率P,系统输出率A,系统不可逆损失率Q,制冷率R构建多目标函数,采用线性加权评价函数法求解,分析多目标函数与各参数的优化关系,得出多目标优化可以较好地协调各性能指标间关系的结论.     

基于有限状态机的售卖机控制器的设计与仿真

自动售卖机是商业模式下自动化实现的典型应用之一,随着嵌入式系统和自动化技术的不断发展,其应用也越来越广泛。有限状态机作为一种反映状态间转移的数学模型,可以被用在嵌入式系统控制器的设计开发中。利用有限状态机技术对自动售卖机的控制器进行设计,利用Verilog HDL语言将控制器编程实现,并在Model Sim中进行了仿真,实验结果证明了该方法的可行性。     

强嵌入在群作用下的遗传性质

有限生成群G粗拟作用在一个度量空间X上,如果X具有有限渐近维,且拟稳定子是可强嵌入的,则群G是可强嵌入的.