On a family of highly regular graphs by Brouwer,Ivanov, and Klin

Highly regular graphs for which not all regularities are explainable by symmetries are fascinating creatures. Some of them like, e.g., the line graph of W. Kantor’s non-classical $GQ(5^2,5)$, are stumbling stones for existing implementations of graph isomorphism tests. They appear to be extremely rare and even once constructed it is difficult to prove their high regularity. Yet some of them, like the McLaughlin graph on 275 vertices and Ivanov’s graph on 256 vertices are of profound beauty. This alone makes it an attractive goal to strive for their complete classification or, failing this, at least to get a deep understanding of them. Recently, one of the authors discovered new methods for proving high regularity of graphs. Using these techniques, in this paper we study a classical family of strongly regular graphs, originally discovered by A.E. Brouwer, A.V. Ivanov, and M.H. Klin in the late 80s. We analyse their symmetries and show that they are $(3,5)$-regular but not 2-homogeneous. Thus we promote these graphs to the distinguished club of highly regular graphs with few symmetries.     

RTCM SC-104数据格式及其应用──GNSS卫星导航定位方法之四

本文仅以DGPS所采用的RTCM SC-104数据格式为例，对它的数据格式类型、电文内容和电文解码实现进行了论述，作为读者全面了解DGNSS数据流的向导。     

基于USB2.0接口的PCM数据采集器设计与实现

为满足X型飞机飞行试验的需求,设计了基于USB2.0接口的PCM数据采集器,该采集器实现了对机载环境下振动参数的采集、记录和实时监控功能,具备对100%及部分机载环境振动参数的PCM、RS422数据流记录功能,通过USB接口实现了上位机对100%PCM数据、可选RS422数据流的加载及实时监控功能。     

基于多维有限自动机的DFA改进算法

多个正则表达式规则编译成一个DFA(deter minister finite automata)时,会产生状态爆炸、存储急剧增加的现象。针对最严重的状态爆炸问题,从信息论的角度给出了解释,并提出多维数学模型,将冗余状态分为0维状态和1维状态,通过前者按照维度压缩,后者动态构建的方法将空间复杂度降到理论下界,并在此基础上提出多维有限自动机(MFA, multi-dimensional finite automata)。实验表明,MFA构造时间比XFA略少,比DFA、STT冗余压缩算法和Hybrid-FA降低了2~3个数量级;存储空间比XFA略高,比DFA、STT冗余压缩算法、mDFA、Hybrid-FA降低了1~2个数量级;匹配时间比DFA、Hybrid-FA略多,但是比XFA略少,比STT冗余压缩算法和mDFA降低了1~2个数量级。     

Towards a Computational Comparative Neuroprimatology: Framing the language-ready brain

We make the case for developing a Computational Comparative Neuroprimatology to inform the analysis of the function and evolution of the human brain.First, we update the mirror system hypothesis on the evolution of the language-ready brain by (i) modeling action and action recognition and opportunistic scheduling of macaque brains to hypothesize the nature of the last common ancestor of macaque and human (LCA-m); and then we (ii) introduce dynamic brain modeling to show how apes could acquire gesture through ontogenetic ritualization, hypothesizing the nature of evolution from LCA-m to the last common ancestor of chimpanzee and human (LCA-c). We then (iii) hypothesize the role of imitation, pantomime, protosign and protospeech in biological and cultural evolution from LCA-c to Homo sapiens with a language-ready brain.Second, we suggest how cultural evolution in Homo sapiens led from protolanguages to full languages with grammar and compositional semantics.Third, we assess the similarities and differences between the dorsal and ventral streams in audition and vision as the basis for presenting and comparing two models of language processing in the human brain: A model of (i) the auditory dorsal and ventral streams in sentence comprehension; and (ii) the visual dorsal and ventral streams in defining “what language is about” in both production and perception of utterances related to visual scenes provide the basis for (iii) a first step towards a synthesis and a look at challenges for further research.     

基于流密码算法构造跳频序列簇

跳频序列的性能对跳频通信系统性能有着决定性的影响.本文基于密码学的流密码加密机制,提出构造一种跳频序列簇的方法.文中以蓝牙技术采用的E0流加密算法为例,对输出的二进制加密流进行多位组合构成跳频序列的频隙号.并在此基础上对产生的跳频序列从安全性,均匀性,线性复杂度,汉明相关性等各个方面进行了全面的理论分析和计算机仿真,证明基于流密码算法产生的跳频序列族有着优秀的性能,完全满足跳频序列簇的要求.     

密码理论算法综述

概要介绍了密码理论算法的发展现状,重点讨论了密码算法中的布尔函数,最后总结了各种密码体制的应用。     

基于AQIM嵌入算法实现信息隐藏技术的研究

比较目前几种信息隐藏技术,提出了一种基于自适应量化索引调制(AQIM)与信道编码实现信息隐藏通信的新方法.重点介绍了该方法在数字视频中实现指纹节点数据的自适应嵌入和检测的应用准则.最后通过实验并与一般QIM技术相比,该系统具有更强的鲁棒性和更好的图像感官质量.     

数字仿真技术在电子战装备性能评估中的应用

介绍了基于数据流处理的数字仿真技术的基本概念及特点,结合现代电子战装备性能评估的需求,阐述了基于数据流处理的仿真技术在电子战装备性能评估中的具体应用和发展前景.     

An experimental investigation into non-linear wave loading on horizontal axis tidal turbines

Tidal turbines are subject to large hydrodynamic loads from combinations of currents and waves, which contribute significantly to fatigue, extreme loading and power flow requirements. Physical model testing enables these loads and power fluctuations to be assessed and understood in a controlled and repeatable environment. In this work, a 1:15 scale tidal turbine model is utilised to further the fundamental understanding of the influence of waves on tidal turbines. A wide range of regular waves are generated in both following-current and opposing-current conditions. Wave frequencies range from 0.31 Hz to 0.55 Hz & wave heights from 0.025 m to 0.37 m in a fixed 0.81 m/s current velocity. Waves are selected and programmed specifically to facilitate frequency domain analysis, and techniques are employed to isolate the effect of non-linear waves on turbine power and thrust.Results demonstrate that wave action induces large variations in turbine power and thrust compared to current only conditions. For the range of conditions tested, peak values of thrust and power exceed current-only values by between 7%–65% and 13%–160% respectively. These wave-induced fluctuations are shown to increase with wave amplitude and decrease with wave frequency. Following wave conditions exhibit greater variations than opposing for waves with the same wave height and frequency due to the lower associated wavenumbers.A model is developed and presented to aid the understanding of the high-order harmonic response of the turbine to waves, which is further demonstrated using steady state coefficients under assumptions of pseudo-stationarity. This approach is proven to be effective at estimating wave-induced power and thrust fluctuations for the combinations of waves, currents and turbine state tested. The outcome of which shows promise as a rapid design tool that can evaluate the effect of site-specific wave–current conditions on turbine performance.