一种混合整数双层线性规划的全局优化方法

通过求得下层问题的对偶问题可行域上的极点,将上层所有变量为0 1型变量和下层所有变量为连续型变量的双层线性规划转化为有限个混合整数线性规划问题,从而用求解混合整数线性规划的方法获得问题的全局最优解.由于下层问题的对偶问题可行域只有有限个极点,所提出的方法具有全局收敛性.     

浅淡科学数据共享工程建设的战略取向

科学数据共享工程自2002年启动以来,先后对多个部门和行业进行了试点建设,取得了良好的开端。本文在调查、分析的基础上,针对科学数据共享工程的国家目标,从12个方面分析和探讨了科学数据共享工程的战略取向,以期为“十一五”的科学数据共享工程建设与发展提供参考。     

复杂应力状态下人工冻土蠕变数值模拟

根据试验确定的人工冻土单轴蠕变数学模型及其参数，引入经典弹塑性力学理论，将空间域和时间域进行离散化，提出了以时间增量法为基础的复杂应力状态下人工冻土蠕变有限元数值模拟计算公式，依照此计算方法运用ANSYS程序对陈四楼煤矿主井-304米水平冻结壁蠕变位移进行模拟计算，结果表明，数值模拟方法可以揭示冻土壁变形规律并检验蠕变本构关系的正确性，为今后人工冻土蠕变计算提供了一种实用方法。     

平图的transition多项式的Maple计算

将现有的计算方法改进得到了一种新的计算平图的transition多项式的方法。算法使用了圈置换的方法计算每个transition操作所产生的欧拉圈的数目。利用Maple软件编写出了该算法的程序,通过这个程序,可以实现任意一个平图的transition多项式的计算。     

基于二进制熵的加解密函数定位方法

针对二进制程序模糊测试中加解密函数定位准确率低的问题,提出一种基于二进制熵的加解密函数定位方法.该方法对二进制程序的控制流信息进行模型构建以定位程序关键代码,提取关键代码前后的数据流并计算其二进制熵,通过前后二进制熵的关系确定被测代码中是否存在加解密函数.实验结果表明,该方法能够有效发现程序中的加解密函数,准确率大于99%;该方法可以用于提高模糊测试发现漏洞的能力,具有一定的实用价值.      

基于自适应Radau伪谱法的再入段轨道设计算法

针对传统Radau伪谱法处理非光滑平面时精度不高和效率不足的缺点,提出了一种基于自适应Radau伪谱算法的再入段轨道设计算法。该算法可以根据状态方程的拟合精度对再入段轨道进行自适应调整。在轨道曲率较高的区域,通过增加区段数量提高计算精度;在轨道曲率较低的区域,通过提高插值多项式的阶次提高计算精度。仿真结果显示,该算法形成的配点分布更为合理,相对传统的Radau算法具有高精度、高效率等优点,求解效果优于传统的Radau伪谱法,可将其应用到再入段轨道优化的工程实际中。      

基于PAD的个性化情感模型

基于情感计算和人工心理学理论定义了个性空间、心情空间和情感空间,并建立起了个性空间同心情空间的映射关系,提出基本情感强度的概念来描述情感空间在某一时刻所处的状态。根据心情空间中心情向量离基本情感点的距离远近关系来度量情感空间中某种情感出现的概率大小,建立起了心情空间与情感空间的映射关系,并建立了一个新的三层映射关系的个性化情感模型。通过仿真实验验证,该情感模型能较为准确地描述人类情感变化规律。     

CATIA在逆向工程技术中的应用

简要介绍逆向工程技术的基本特点和工作步骤，以及CATIA曲面造型技术的主要功能，结合车门实例探讨了CATIA曲面造型的方法在逆向工程中的应用一般思路。研究表明，CATIA应用于产品设计中能显著提高产品的研发效率。     

云计算给图书馆发展带来的机遇与挑战

云计算是计算机网络发展的一个趋势,代表了一种新的数据处理方式和人们未来的一种生活方式,在不久的将来,云计算必将在图书馆中得到大规模的普及应用。在介绍云计算概念、技术特点、现状的基础上,探讨了云计算技术给图书馆发展带来的机遇与挑战。     

求解最小覆盖问题的快速近似算法的进一步研究

分析了已有求覆盖平面上给定的若干个点的尽可能小的圆的问题的算法。给出了一个新的求解最小覆盖问题的算法，其计算时间复杂度为平面上给定的点数量的线性函数，该算法已编程实现，通过几万例随机算例的实际计算比较，表明算法所得结果的平均精度比已有的各种快速近似算法所得的精度要高，而且具体每例所需的计算时间均比已有快速近似算法对应的计算时间要短。