基于平均熵的自适应人工蜂群算法

针对基本人工蜂群算法容易陷入局部最优和早熟等问题,提出一种改进的人工蜂群算法(ASABC)。利用平均熵机制初始化种群,增加种群的多样性,避免算法陷入早熟;同时,采用自适应调节邻域搜索步长的策略来提高算法的局部搜索能力,提升算法的计算精度;为了平衡算法的全局搜索能力和局部搜索能力,引入自适应比例选择策略来代替人工蜂群算法的适应度比例选择方法。对8个标准测试函数的仿真实验结果表明,与3种常见的智能优化方法相比,改进的算法具有显著的局部搜索能力和较快的收敛速度。     

开源IaaS云服务软件平台的分析与比较

作为一种新兴的计算模式,云计算已经由最初的理论探索,逐渐进入了理论、技术与实际应用共同发展的阶段。开源云平台项目的研究与发展在其中起到了重要作用。迄今为止,使用开源IaaS云平台搭建自己的公共云或私有云,已经成为很多学术机构和商业企业信息管理、信息服务和技术研究中经济而有效的解决方案。为了评价和选择合适的IaaS云平台,根据NIST云模型,从体系结构、资源抽象和控制技术、云服务管理、安全策略、社区规模及活跃度和基本情况等多个方面 抽象出详细指标,对4个具有代表性的开源IaaS云平台软件进行了研究、分析和比较。     

基于计算思维的“加涅式”新型计算机课程教学法

为适应军队在实战与军事训练等方面的迫切需要,我军队院校亟需培养大批知识型、创新型、复合型的军事人才,提出一种关于计算机课程的教学改革方法——基于计算思维的"加涅式"新型计算机课程教学法。该教学方法的核心目标是"两个中心",即以培养"计算思维"能力为中心和以"学员为中心"的"加涅式"教学方法。将这两种教学理念有机结合,将会大大提高新型军事人才的"自主学习及创新探索"能力,从而进一步提升了我军信息化、网络化的实战高度与要求。     

改进人工蜂群算法优化RBF神经网络的短时交通流预测

为了提高径向基函数RBF神经网络预测模型对短时交通流的预测准确性,提出了一种基于改进人工蜂群算法优化RBF神经网络的短时交通流预测模型。利用改进人工蜂群算法确定RBF网络隐含层的中心值以及隐含层单元数,然后训练改进的人工蜂群算法RBF神经网络预测模型,并将其应用到某城市4天的短时交通流量数据的验证。将实验结果与传统RBF神经网络预测模型、BP神经网络预测模型和小波神经网络预测模型进行了比较。对比结果表明,该方法对短时交通流具有更高的预测准确性。     

一种基于扩展不完全Kripke结构的三值逻辑模型检测方法

多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点。针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展后的模型上给出了检测不确定状态真值的方法,最后给出了基于扩展不完全Kripke结构的三值逻辑模型检测算法。与已有的三值逻辑模型检测算法相比,该算法降低了算法复杂度,完善了对于不确定或不一致信息的处理,从而增强了三值逻辑模型检测的实用性。     

选煤厂信息物理系统任务调度研究

建立了选煤厂信息物理系统模型,将动态联盟思想引入选煤厂信息物理系统任务调度中,并提出了一种基于改进离散粒子群优化算法的选煤厂信息物理系统任务调度算法。该算法首先采用离散粒子群优化算法进行全局寻优,然后采用禁忌搜索算法进行局部搜索,求得全局最优解。仿真结果表明,该算法提高了任务调度的收敛速度、精度以及处理器的平均利用率。     

基于Android的分布式数据采集系统设计

随着无线传感网络技术的大量涌现,各种分布式测控系统得到了广泛的应用和研究.针对目前各种测控方法的不同,设计一种基于Android的分布式测控系统.主要论述了基于ZigBee的无线传感器网络,蓝牙通信帧格式,Android分中心数据接收和存储,远程数据上报.通过验证,基于Android的分布式测控系统操作简单,适用性强,能实现对环境信息的实时采集与远程上报,适用于多种特殊环境应用.     

砾石土心墙堆石坝防渗料掺和工艺研究

采用"平铺立采"与"搅拌机掺和"两种掺和工艺,对粘土料和掺入料进行掺和,就其掺和成果进行系统分析,研究对比哪种掺和工艺更适合双江口水电站建设.试验表明:"平铺立采"的掺和工艺是可行的,建议将"平铺立采"作为施工期的主要掺和方式以供选择;"搅拌机掺和"制备防渗掺和基本可行,与"平铺立采"比较,采用"搅拌机掺和"离散性要大...     

基于5F-L序列类EIGamal公钥密码体制和数字签名

对一类特殊五阶Fibonacci-Lucas序列及其性质进行深入研究,并以五阶Fibonacci-Lucas序列来替代Lucas序列和三阶Fibonacci-Lucas序列,提出基于五阶Fibonacci-Lucas序列类EIGamal的5FLELG公钥密码体制和数字签名方案,验证其正确性和有效性,给出序列项计算方法,并分析体制的安全性和效率.     

集群式软件平台敏捷测试

在敏捷开发模式的环境下,对以集群存储业务为导向的集群平台的测试与其他产品的测试有很多不同的地方,需要采用有效的策略和方法。首先介绍了敏捷测试的理论和敏捷测试传统的增量模型,在此基础上结合集群平台敏捷开发中实际的问题提出了适合平台敏捷测试的增量模型和对集群平台用户故事测试时用到的仿真环境的搭建和有效的测试方法。