求解SAT问题的局部搜索算法及其平均时间复杂性分析

ＳＡＴ问题在人工智能、ＶＬＳＩ设计和计算机理论等领域有着广泛的应用背景，近年来，局部搜索算法在求解ＳＡＴ问题时得到了巨大的成功。本文除提出了多种改进策略之外，还对一般局部搜索算法进行了平均时间复杂性分析。     

基于ActiveMQ消息总线的性能测试方法

消息中间件ActiveMQ以其开源、独立通用、支持集群等特点,在消息总线的设计中得到广泛应用.针对基于企业级开源消息中间件ActiveMQ实现的消息总线进行性能测试方法的研究,充分分析其转发延时、吞吐量等关键性能指标,利用开源代码提供的接口,设计相应测试方法,获取性能数据.结合实际硬件环境,通过实例,从订阅-发布和负载均衡不同传输模式,持久化和非持久化不同存储方式,以及持续和非持续订阅等角度进行性能测试,获取消息中间件本身的精确性能数据,通过分析找到各种模式下能够发挥消息中间件最优性能的配置,为基于消息总线的应用提供参考和依据.     

超级服务器与信息网格

计算机系统结构“合久必分，分久必合”，从最初集中式的主机、终端到后来分布式的客户机、服务器(Client/Server),从90年代末的服务器聚集     

实现自主创新跨越式发展需要重视的几个问题

近年来,大家都在谈自主创新跨越式发展,自从中央领导重视以后,各个地方领导,包括媒体都很重视这个事情。我觉得倒不是要不要自主创新,要不要跨越式发展的问题,而是通过什么样的途径,采取什么样的方法来做到自主创新。     

OGFC沥青混合料组成设计与施工工艺研究

采用SinoTPS对基质沥青进行了改性,并拌制沥青混合料,进行了OGFC的配合比设计,确定了矿料配合比例以及最佳油石比;通过OGFC沥青路面试验段的铺筑,提出了OGFC沥青混合料拌合、运输、摊铺和碾压中的质量保证措施。     

高速公路建设与环境的交互影响分析

为减轻高速公路建设对环境带来的不利影响,促进高速公路建设与环境和谐与健康发展,通过分析高速公路建设对周边生态环境、大气环境以及噪声环境的影响以及环境对高速公路建设的影响,研究了高速公路建设与环境的交互影响作用,提出了改善环境污染问题和减轻环境对高速公路建设影响的措施.     

力反馈虚拟手术器械的设计

设计了一种二维虚拟手术器械,提出一种机械结构设计方案,以及软件实施方案.研究了虚拟手术器械设计中一些关键问题,如元器件选择,电机堵转等,并通过实验建立了电机堵转状况下的力矩模型.     

考虑换流器伪量测建模的交直流混联电网状态估计方法

随着直流源储荷的接入与柔性直流电力电子设备的发展,含多种分布式电源（distributed generation, DG）的交直流混联电网被认为是未来电网的主流架构,这给系统操作带来了更多灵活性,但也加剧了量测数据不足的问题,使得系统状态估计求解更加困难。目前成熟的交流状态估计未计及直流系统状态量和量测量的特征及各类DG出力的不确定性,且通常默认换流器控制方式已知,控制方法未知时的伪量测建模技术有待研究。采用计及电压源换流器（voltage source converter, VSC）损耗的模型,对可观型VSC和不可观型VSC分别采用基于控制信息和基于高斯混合模型（Gaussian mixture model, GMM）的伪量测建模方法,在加权最小二乘法（weighted least squares, WLS）的基础上,提出一种改进的交直流混联电网状态估计算法。在经过修改的IEEE-14节点系统中进行大量仿真计算分析,结果表明所提算法不依赖于量测配置和调度中心与VSC间的通信过程,伪量测数据动态描述能力优于6次采样扩展卡尔曼滤波算法（extend Kalman filter, EKF）...     

子弹协同弹道规划问题的效率分析

为了能使多枚子弹在巡飞过程中相互配合并对目标区域实现全面的探测,必须对其协同弹道进行规划.运用了遗传算法原理,结合具体问题编制了相应的算法程序,对多枚子弹的协同弹道进行了全局的优化设计,并通过对优化结果的分析对比提出了适用于此特定多目标优化问题的分时分目标的优化方法.