应用信号变化度的线性混合信号盲分离算法

论文首先给出了信号变化度的概念,并证明了信号变化度的一个性质:互相独立的一组源信号的线性混合信号的变化度介于源信号中的最小变化度和最大变化度之间。然后,利用矩阵广义特征值理论,给出了一种基于线性混合信号盲分离算法。该算法计算简单,具有闭解形式;并能分离源信号中既有亚高斯信号又有超高斯信号的情况。仿真结果表明该算法是有效的,并具有很好的分离性能。     

半边图模型之多层次认知系统

针对具有多层次性和复杂性的认知问题提出一个动态可增殖的多层次自组织认知系统,每个层次具有形式上一致的知识表示方法,各层的自组关联、自组聚合、归约和样本表达四个知识处理模型是实现系统自组织层次增殖的核心模型。提出信息粒和容器的概念,信息粒演进流程模拟认知过程的静态归约,容器演进流程对应于认知的动态模拟,这两个流程在每个系统层次上对每个输入样本完成一个完整的模拟认知与归约表达。以自组图演算为理论模型,给出了每个层次内以及相邻层次之间的信息处理与传递的详细设计规范。     

并行改进回溯算法实现N皇后问题的快速计数

通过对N皇后问题棋盘矩阵的旋转,改进了回溯算法,并通过计算机集群并行实现了N皇后的计数问题。考虑了棋盘矩阵顺时针旋转90°、180°和270°部分解存在重复的特性,改进了回溯方法,单机能够在15s内对16皇后问题进行计数。改进回溯算法的运算效率是顺序回溯法的4.69倍。然后通过固定前三行皇后的位置,可以把N皇后问题分成多个任务,实现了并行计算。在7个节点28个CPU的计算机集群上进行了实验,能够在8min内实现对20皇后的计数,能够在1小时零8分钟内实现21皇后的计数。N皇后计数这个经典问题,通过实现程序的标准化,可以成为检验计算机集群运算性能的基准。     

面向Java语言的进化测试中分支依赖图的构建

在面向对象程序的进化测试中,面向对象程序本身的状态特性使得一个分支的到达需要一定长度方法调用序列的执行,而封装特性则使得在一个对象外部无法直接调用其private方法或者protected方法。针对这两个问题,采用基于蚁群算法和遗传算法的动态搜索与静态分析相结合的方式提供了一种有效的思路。本文针对这种思路中的静态分析过程提出分支依赖图的概念,并设计、实现了针对Java语言的方法内分支依赖图以及类的分支依赖图的构建算法。     

划分归并算法在MPLS VPN流量工程中的应用

介绍了基于MPLS虚拟专用网实施流量工程的优势所在。针对VPN用户业务流到多条标记交换路径的映射过程中产生的“带宽碎片”问题,提出了一种基于划分归并算法的流量分配方案。详细描述了该算法,并对该算法进行了仿真,把算法在不同条件下的计算结果同贪婪算法进行了比较。     

Revisiting the Meaning of Requirements

Understanding the meaning of requirements can help elicit the real world requirements and refine their specifications. But what do the requirements of a desired software mean is not a well-explained question yet though there are many software development methods available. This paper suggests that the meaning of requirements could be depicted by the will-to-be environments of the desired software, and the optative interactions of the software with its environments as well as the causal relationships among these interactions. This paper also emphasizes the necessitv of distinguishing the external manifestation from the internal structure of each system component during the process of requirements decomposition and refinement. Several decomposition strategies have been given to support the continuous decomposition. The external manifestation and the internal structure of the system component have been defined. The roles of the knowledge about the environments have been explicitly described. A simple but meaningful example embedded in the paper illustrates the main ideas as well as how to conduct the requirements decomposition and refinement by using these proposed strategies.     

BIM技术在地下工程中的应用分析及展望

BIM技术以三维设计为基础,以数字信息为载体,将建筑信息贯穿于建筑的全生命周期中。然而由于地下工程的内部结构较为复杂,受地质条件影响较大,BIM技术在地下工程中的应用并不多见。叙述了BIM技术在隧道、地铁和矿井建设几种地下工程中应用的现状,并对几个典型案例进行分析,指出了BIM技术在地上工程和地下工程中应用的异同。最后,提出了目前BIM技术在地下工程中应用的问题以及对未来发展的建议。为推动BIM在我国地下工程中更广泛深入的应用提供重要参考价值。     

我国煤矿生产事故统计及安全生产措施

我国煤矿生产事故频发,顶板垮落、瓦斯爆炸、机电事故、突水、矿井火灾、放炮等隐患时刻影响着煤矿安全生产,当前矿井开采以井下开采为主,井下开采存在技术要求高、开采难度大的问题,导致煤矿事故发生数和死亡人数相对其他行业居于首位。因此,为了深入研究煤矿事故发生原因和规律,统计了近10 a我国煤矿事故数据,找出当前矿山开采存在的各种安全问题,针对存在的问题提出解决措施,对预防及应对煤矿安全问题具有重要意义。     

水煤浆加压气化技术的国产化与问题探讨

论述了国内第1套国产化水煤浆加压气化装置在基本流程、气化压力等级、煤种等方面的工艺技术比较和选择,介绍了装置压力容器、烧嘴、机泵、阀门、耐火材料等设备材料国产化的情况;探讨了装置生产运行中出现的问题及解决办法。     

基于Floyd算法的扇形中深孔爆破布孔优化设计

地下矿中深孔爆破炮孔布置设计直接影响爆破效果和生产成本,前期研究提出的基于单源最短路径的优化算法极大提升了布孔优化设计的效率,但不能完全满足生产实际的应用.分析了炮孔布置与中深孔爆破参数的关联性,将炮孔孔底距作为主要控制调节参数,应用多源点最短路径的动态规划思想,基于Floyd算法建立中深孔爆破扇形炮孔排面优化设计算法...