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

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

辽宁农业科技支撑能力体系构建研究

农业科学技术是现代农业的第一生产力,农业科技作为辽宁科技支撑能力体系的重要组成部分,是现代农业发展的决定性 因素。构建辽宁农业科技支撑能力体系,包括品牌农业建设、农业创新平台建设、农业科技成果转化模式建设和农业技术培训系统 建设等,农业科技支撑能力体系将有利于增强辽宁现代农业的科技支撑能力和可持续发展能力。     

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

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

综合分块主色和相关反馈技术的图像检索方法

图像数据的无序激增使得基于内容的图像检索技术成为研究热点,为了克服普通颜色特征不考虑颜色的空间分布的缺点,提出了一种多分辨率分块主色法的空间颜色素引技术,同时,还将相关反馈技术融合到多分辨率分块主色算法中,以改善检索效果,据此,实现了一个图像检索原型系统－－SmartEye,并依据所设计的评价实验,将SmartEye的检索结果与其它相关的方法进行了比较和分析,实验表明,文中的方法是比较有效的。     

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

随着直流源储荷的接入与柔性直流电力电子设备的发展,含多种分布式电源（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）...     

Optimal Partitioning and Granularity of Uniform Task Graphs

Task partitioning is an important technique in parallel processing.In this paper,we investigate theoptimal partitioning strategies and granularities of tasks with communications based on several models ofparallel computer systems.Different from the usual approach,we study the optimal partitioning strate-gies and granularities from the viewpoint of minimizing T as well as minimizing NT~2,where N is thenumber of processors used and T is the program execution time using N processors.Our results showthat the optimal partitioning strategies for all cases discussed in this paper are the same——either to as-sign all tasks to one processor or to distribute them among the processors as equally as possible de-pending only on the functions of ratio of running time to communication time R/C.     

对GB9823—88《油料饼粕总含氮量的测定法》中几个问题的商榷

对ＧＢ９８２３—８８《油料饼粕总含氮量的测定法》中几个问题的商榷黑龙江省粮油卫生检验监测站牡丹江分站（１５７０１３）侯登学，李国杰黑龙江省宁安市粮油卫生检验监测站翟廷才ＧＢ９８２３—８８是测定油料饼粕中总含氮量方法的标准。虽然它已不在国家技术监督局１...     

成都地铁天府广场深基坑支护的数值模拟分析

运用有限差分方法对天府广场第一台阶喷锚支护进行了数值模拟及分析研究。得到了地表沉降曲线及基坑位移矢量图,分析了深基坑周边地表及基坑支护变形分布规律,为基坑工程的设计和施工提供指导及提供优化设计方案。     

并行操作系统的现状与发展趋势

本从操作系统的发展史，当前的发展状态，未来的发展趋势以及技术研究的几个热点等方面进行了阐述。     

半波长输电线路并网特性仿真研究

为了研究半波长输电线路的并网特性,考虑半波长交流输电线路参数分布特性,分析了半波长并网特性与其他类型线路并网特性的差异性。在MATLAB中搭建了半波长线路并网仿真模型,仿真了不同并网条件下半波长线路的并网特性,并与其他类型线路作对比。仿真结果表明,半波长输电线路并网特性最优,并且调谐至半波长的输电线路具有与自然半波长线路一致的并网特性。