确定Fmin的一个算法

构造了一个求解最小函数依赖集Fmin的计算机算法．该算法将求解Fmin的逻辑推理过程包装在一个C 函数之中，通过运行与此函数相配套的程序，可以快速、准确地获得与所给函数依赖集F等价的Fmin从而使求解Fmin的过程方便、快捷．     

区域覆盖星座结构与参数同时优化的进化算法

针对区域覆盖卫星星座的优化设计问题,设计了一种能同时优化星座结构和参数的进化算法。算法采用固定长度的染色体编码,由星座可能的最多轨道面数和各轨道面内最多卫星数目确定的最多变量个数决定染色体编码长度。根据个体星座的轨道面数和各轨道面卫星数的实际值确定染色体中哪些基因是冗余的,并将这些冗余的基因设为隐性,达到可变维数优化的目的,从而实现星座结构的优化。染色体采用二进制/实数混合编码的方式处理同时具有整数/连续变量的星座优化问题,二进制编码部分采用二进制的进化算子,实数编码部分采用一组星座设计专用的进化算子。在一个虚拟的区域海洋监视卫星星座优化设计中的应用显示了该算法的有效性。     

基于可用度的飞机可修件需求分析

科学地预测飞机对航空器材的需求量一直是现代航空保障所瞩目的一个问题。提出了一种以飞机可用度为评价指标来确定可修件需求量的分析模型。分别给出了以飞机可用度为目标函数,经济指标为约束条件的模型Ⅰ和以经济指标为目标函数,飞机可用度为约束条件的模型Ⅱ,以及模型的优化求解方法。最后以某战机的可修件为例,通过实例分析说明了该模型在实际飞行保障中的有效性。     

基于Notes开发环境的OAS工作流的设计与实现

分析了OAS子系统体系结构和应用层的功能，介绍了基于Notes的OAS工作流实现技术．在此基础上，针对OAS系统的现存问题，采用功能强大的Lotus Notes群件系统，实现了OAS系统的核心模块．     

国际上LUCC研究的现状、问题和未来展望

土地利用，覆盖变化(LUCC)是全球变化的主要原因之一，当前LUCC研究已成为全球变化研究的前沿和热点问题。近年来国际上LUCC研究出现了许多新的趋势。本文主要介绍了当前国际上LUCC研究的现状、存在的问题和未来发展趋势，以为我国开展这方面的研究提供参考。     

基于EXCEL的零件管理方法

根据产品的结构提出一种新的基于Excel的零部件管理方法，构成制造BOM，同时可以将这些数据导入数据库。通过VBA开发实现了零件的分类汇总、自动统计计算等功能，使用VBA开发EXCEL进行零件管理及工艺设计是一种很好的方法。     

黄河流域的土地利用和土地覆盖变化

应用遥感技术与地理信息系统 GIS技术进行土地利用变化监测 ,具有快速、客观的特点。对 L ANDSAT TM图像进行解译判读 ,获取反映黄河流域 2 0世纪 80年代末期到 90年代末期土地利用和覆盖情况的 1:10万比例尺的土地利用数据。通过应用土地利用动态度模型、土地利用程度时空演变模型、土地利用类型转移模型和土地利用重心模型 ,对黄河流域近 10年的土地利用和覆盖变化进行了研究。研究结果表明 :10年来黄河流域草地、林地面积减少 ,而耕地、建设用地、未利用地面积增加 ,而人类活动是黄河流域土地利用和覆盖变化的主导因子     

网络流量测量中一种分布式有效测量点选择算法

提出了一种分布式求解弱顶点覆盖集的近似算法，用于网络流量有效测量点的选择，该算法不需要维护网络拓扑的全局信息，仿真结果表明，比较现有算法，新算法能找出更小的弱顶点覆盖集，具有更好的町扩展性。     

求解矩形件优化排料蚁群算法

介绍了一种使用蚁群算法求解矩形件优化排料问题的新方法。矩形件优化排料问题可以用与或树来描述，这样有关的优化问题就变成寻找一棵面积比率最大的二叉树，用蚁群算法实现这种树搜索，是把一定数量的蚂蚁分布在与或树的根节点，蚂蚁间通过使用信息素相互交流，完成从与或树到二叉树的选择，从而得到矩形件优化排料问题的优化解。     

最小基数箱子覆盖问题及其启发式算法

研究了一个新颖的装箱问题，即最小基数箱子覆盖问题(Minimum Cardinality Bin Covering Problem)，证明了该问题是强NP-完备的；在物件大小满足一定的条件下，给出了一个时间复杂度为O(n)的启发式算。