Matrix expression and reachability analysis of finite automata

In this paper,we propose a matrix-based approach for finite automata and then study the reachability conditions.Both the deterministic and nordeterministic automata are expressed in matrix forms,and th...     

基于进化计算的兴趣建模

为实现对个体的兴趣建模,提出基于进化计算的建模(Evolutionary Computation Based Modeling,ECBM)方法。该方法采用定性和定量相结合的方式对个体的兴趣系统进行建模,首先通过定性分析构建个体的兴趣模型框架,然后通过进化计算(Evolutionary Computation)方法对模型参数自动进化。实验结果表明,ECBM能够通过数据驱动模式优化模型参数,并利用更新信息进化模型,使其不断逼近真实系统。     

Multi-channel SAR imaging based on distributed compressive sensing

The rapid development of compressive sensing(CS)shows that it is possible to recover a sparse signal from very limited measurements.Synthetic aperture radar(SAR)imaging based on CS can reconstruct the target scene with a reduced number of collected samples by solving an optimization problem.For multi-channel SAR imaging based on CS,each channel requires sufficient samples for separate imaging and the total number of samples could still be large.We propose an imaging algorithm based on distributed compressive sensing(DCS)that reconstructs scenes jointly under multiple channels.Multi-channel SAR imaging based on DCS not only exploits the sparsity of the target scene,but also exploits the correlation among channels.It requires significantly fewer samples than multi-channel SAR imaging based on CS.If multiple channels offer different sampling rates,DCS joint processing can reconstruct target scenes with a much more flexible allocation of the number of measurements offered by each channel than that used in separate CS processing.     

A data access framework for service-oriented rich clients

Facilitated by the SOA and new Web technologies, Service-Oriented Rich Clients (SORCs) compose various Web-delivered services in Web browser to create new applications. The SORCs support client-side data storage and manipulation and provide more features than traditional thin clients. However, the SORCs might suffer from data access issues, mainly due to both client-side incompatible data sources and server-side improper or even undesirable cache strategies. Addressing the data access issues, this paper proposes a data access framework for SORCs. The main contributions of this paper are as follows. First, the framework makes the SORCs accommodate heterogeneous local storage solutions and diverse Web browsers properly. The framework abstracts the underlying details of different local storages and selects the most proper data sources for current SORC in use. Secondly, the framework provides a cache mechanism, which supports client-side customized cache strategies. An adaptive technique for the strategies is also proposed to adjust cache strategies based on users?? historical actions to achieve better performance.     

P2P网络中的超级节点选取算法研究

P2P系统在构建覆盖网络时未考虑到与物理网络的结合,导致逻辑拓扑结构与物理拓扑结构严重不匹配问题,增加P2P相邻节点间的延迟。本文提出一种基于区域划分的超级节点选取机制,将P2P网络中的节点按照物理位置划分成若干区域,保证区域内节点在物理位置上是相近的。利用MATLAB进行仿真实验,仿真实验表明使用这种机制能降低半分布式P2P网络的信息检索延迟,有效地提高检索的效率,并且具有较好的可扩展性。     

基于Copula函数的洪水峰量联合设计方法研究

为明晰洪水峰量联合设计的特点,以岗南水库洪水为例,基于Gumbel Copula函数,分析了AND、OR、Kendall、生存Kendall 4种重现期的优缺点,采用极大似然法、同频率法、条件最可能组合法3种方法计算了联合设计值。结果表明: ①AND和OR重现期在危险域和安全域的识别上存在局限性;相对而言,Kendall重现期更合理,但其安全域是无界的,这与实际不符;生存Kendall重现期则界定了有界的安全域,使得重现期的概念在逻辑上更科学合理。② 3种设计值计算方法的差别不大,但从简单实用角度出发,推荐采用同频率法计算设计值。③不同重现期标准的设计值差别比较明显,基于OR重现期计算的设计值总是最大的,生存Kendall、Kendall重现期设计值次之,AND重现期设计值最小。④推荐采用生存Kendall重现期进行两变量洪水设计,因其有比较严谨的理论基础,且设计结果兼顾了安全性与经济性。⑤两变量联合设计值与单变量设计值的差异受变量间相关性的影响较大,且变量相关性越弱,差异越大。研究显示,基于生存Kendall重现期、采用同频率法计算设计值是目前较为科学合理的洪水峰量联合设计途径。     

沙河水库水禽分布及其栖息环境特征分析

2020年3-11月期间对沙河水库开展了水禽多样性监测,并对水禽栖息环境进行了对比分析,监测分析表明:沙河水库低水位运行有效拓展了水禽栖息空间,提升了栖息环境质量,项目区共调查记录到36种水鸟,隶属6目10科,普通鸬鹚、苍鹭、小白鹭和赤麻鸭为优势种,并观测到国家一级重点保护鸟类遗鸥,国家二级重点保护鸟类有白琵鹭、小天鹅、鸿雁和斑头秋沙鸭等;迁徙季单次观测到水禽种类最大达19种,数量达1154只,Shannon-Wiener多样性指数也达到2.17高值,说明沙河水库及周边河段是迁徙水禽如雁鸭类和鹭类的理想停歇地;对比分析提出了适宜水禽栖息的环境特征参数,可作为水禽栖息地营造的参考.     

强力输送带接头识别算法

针对现有的强力输送带故障实时检测方法存在故障定位困难的问题,以接头为基准参考点,提出了一种基于图像处理技术的强力输送带接头识别算法。该算法根据接头点的特征,把接头点用一个数值表示出来,并根据这个数值,以一种简单的方式区分出上、下接头点;然后根据接头的特征,并通过修改最长公共子序列算法的匹配方式,对接头进行识别。实际应用表明,该算法精度高、速度快,可有效识别强力输送带的接头,满足了强力输送带故障检测中接头定位的要求。     

基于FPGA的开关量输入模块设计

在测控系统中,经常需要对各种现场信号进行采集;该模块主要实现对开关量状态信号进行实时监控,记录状态信息,为故障诊断提供依据;在设计中,采用了光耦隔离器件对输入信号进行了隔离和抗干扰处理,使用了FPGA实现了数据实时采集和中断处理,最后经PCI总线与主机进行数据交互;在故障诊断系统中,该信号采集板工作稳定、可靠,能够满足系统的实时性要求。