并行系统的一种组合式软硬件划分技术

研究并行系统的软硬件划分方法，建立了一种基于并行语言PL的代数语义的形式化软硬件体系结构，提出了一种基于基本调度块（BSB）的并行系统优化划分方法，该方法首先将PL程序分解为BSB，然后考察BSB的软硬件度量，最后利用启发式方法求出优化的软硬件划分方案，语法制导的划分规则可以用于系统的划分和软硬件成分的组合，本文提出的软硬件划分方法将系统的结构划分和功能划分有机地结合，具有实用价值。     

并行数据库系统PAROⅡ连接算法

提出了并行数据库系统的哈希轮转（Hash-Round-Robin）数据划分方法以及其于该划分方法的并行记录分布B^n树，给出了基于该树的并行连接算法，分析了该算法的效率，这种连接算法充分利用了数据的已有分布及B^n树的特性，还利用了哈希轮转划分的特性，提高了并行连接的效率，该算法已经在自主研制的并行数据库管理系统PAROⅡ中得到实现。     

半黎曼空间形式的极大类空叶状结构

设Ｆ是半黎曼空间形式Ｎｎ＋ｐｐ（ｃ）上的余维ｐ的极大类空叶状结构，如果标准度量是类丛的，则ｃ≥０，如果Ｆ的叶子还是完备的，则Ｆ是全测地叶状结构     

重积分计算的分层抽样原理

Ｋ重积分的计算中，我们对联合概率密度函数ｆ（ｘ１，ｘ２，…，ｘｋ）实施有限加权展开然后，按照各联合概率密度ｆｉ（ｘ１，ｘ２，…，ｘｋ）摸拟抽样值｛ｇ（ξ（ｉ，ｔ）），ｔ＝１，２，…，Ｎｉ，ｉ＝１，２，…，Ｌ｝，由下式建立Ｊ的估计量证明了这种分层抽样方法降低方差，同时给出最小方差的一般原理．     

空间权法律问题浅析

随着城市人口的快速增长和土地资源的日趋稀缺,以立体方式利用土地,已成为世界范围的普遍趋势。空间权是人类对土地利用由平面向立体形态发展的一种新型权利形式。与西方各国比较而言,我国无论在土地立体利用的实践层面,还是在立法层面,都处于相对落后状态。鉴于“立体的土地立法”已成为土地立法的基本趋势,我国应借鉴西方各国及其他地区的立法经验,在我国的物权法中确立空间权制度。     

卸载Linux系统的解决方案

本文通过实例介绍用FDISK、DEBUG等实用而又古老的工具卸载Linux操作系统的方法。     

一种循环消除顶点的平面多边形三角剖分算法

概述了平面多边形三角形剖分的各种算法,提出了一种不考虑多边形的凸凹性、顶点顺时针或逆时针走向循环消除顶点的平面多边形三角剖分算法,并给出了实例.     

作战单元战场空间感知建模研究

依托仿真进行军事作战过程研究所要解决的建模问题之一就是对作战单元战场空间感知过程进行合理建模,而其有效性需求决定了模型必须要能够正确地表达实际作战过程中作战单元战场空间感知所具有的、面向区域的特性。根据作战单元战场空间感知的区域特性,阐述了基于空间划分的作战单元空间感知建模实现思想,并就基于空间划分的战场空间感知模型实现进行了详细的形式化描述。就基于空间划分的作战单元空间感知模型的运行效率,进行了实例对比分析。     

组播最优QoS划分问题及其混合遗传算法

最优QoS划分研究基于性能的价格体系下的资源分配问题，组播最优QoS划分（MOPQ）是将组播树上端到端QoS要求划分到本地链路，使得总代价最小。研究了求解MOPQ问题的遗传算法，设计了由树代价与叶结点缮罚因子构成的适应度函数，提出了双子群混合遣传算法。该算法充分利用了遗传算法的全局搜索优势，模拟退火算法的局部搜索优势以及双子群的协作优势。仿真结果表明该算法的有效性。