一些组合三角的生成递推式

本文通过对递推式 R(λ,μ)=R(λ-1,μ)+R(λ,μ-1)的研究重新得到杨辉三角、双进组合三角;发现了又一种新的组合三角——非对称双进组合三角;利用非对称双进组合三角,简化了不定积分dx/sln~mxcos~nx(m,n 是奇正整数)的计算并初等地推导出二项式级数1,2,……)。     

有界模型检测的优化

G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-time temporal logic,简称LTL)的语义特征.在现有的编码公式的基础上,给出了简洁、高效的递推公式,该公式有利于高效编码成SAT(satisfiability)实例;证明了递推公式和原转换公式的逻辑关系.通过实验比较分析,在生成SAT实例规模和易求解方面都优于BMC中求解这些模态算子的现有的两种重要方法AA_BMC和Timo_BMC.所给出的方法和思想对于BMC中验证其他模态算子时的编码优化也有参考价值.     

Structural Recursion as a Query Language on Lists and Ordered Trees

XML query languages need to provide some mechanism to inspect and manipulate nodes at all levels of an input tree. We investigate the expressive power provided in this regard by structural recursion. In particular, we show that the combination of vertical recursion down a tree combined with horizontal recursion across a list of trees gives rise to a robust class of transformations: it captures the class of all primitive recursive queries. Since queries are expected to be computable in at most polynomial time for all practical purposes, we next identify a restriction of structural recursion that captures the polynomial time queries. We also give corresponding results for list-based complex objects. S. Vansummeren is a postdoctoral Fellow of the Research Foundation—Flanders (FWO).     

采矿方法模糊优选的神经网络模型构造及其应用

应用神经网络模式识别原理，构建一种人工神经网络(ANN)——弹性神经网络，能较好地解决常用BP神经网络梯度算法中可能出现的收敛缓慢和局部最小问题，将模型应用于大红山铜矿缓倾斜中厚矿体采矿方法模糊优选，与用模糊数学法得出的结论基本一致。终选出的采矿方法工业试验后取得了显著成效，证明该决策方法切实可行。     

突发通信载波同步解调算法研究与实现

针对突发通信,提出一种初始频偏估计结合相位递推联合估计的结构,实现PSK调试信号的频偏去除与解调.该结构是一种数据辅助的形式,采用相位递推方法,依靠接收到的每个符号信息进行的相位估计,提高了系统误码性能.同时,相位递推结构还降低了系统对于频偏估计器性能的依赖,故采用前向叉积鉴频器进行初始频偏估计,结构简单,易于数字实现.文章最后给出了该结构的实现结构和FPGA资源消耗情况及计算机仿真结果.