加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

日光温室葡萄连续丰产性的研究

随着农业产业结构调整工作的不断深入,葡萄设施栽培作为一个高效项目迅速发展,到2000年初,全国葡萄设施栽培面积已达11.25万亩,但由于日光温室的生长条件与露地栽培条件截然不同,常常造成葡萄在日光温室内不能连续丰产,一般栽后第二年丰产性很好,而下一年开始结果枝率明显下降,表现是升温越早,下年果实越小,有些品种不能满足生产要求的产量,不少地区利用一年一裁制来解决这个问题,但苗木投资大,管理费工。为此,我们通过以下试验,力求找出解决办法.1 试验材料与方法1.1 试验材料 试验地点:在沈阳农业大学园艺系葡萄试验园的日光温室内。温室长75米,宽8米,脊高3米,定植沟垂直后墙,沟内定植双行,沟距（大行距）3米,沟     

压缩空气弹射内弹道影响因素作用规律研究

针对某直筒式压缩空气弹射装置工作过程中存在诸多因素影响其内弹道特性的问题,为有效改善内弹道特性,提升装置整体弹射性能,对这些因素作用于内弹道特性的规律进行研究必不可少。选择以控制阀直径、发射筒径及初始温度3个因素作为分析重点展开研究。在计算流体动力学软件FLUENT中建立压缩空气弹射装置简化模型,通过网格无关性验证,选择了网格数合适的网格模型;设置合理参数,运用动网格技术进行计算仿真,得出不同控制阀直径,筒径及初始温度情况下弹射装置内弹道特性的不同变化规律。由于研究对象为直筒式弹射装置,针对该型压缩空气弹射器的研究较少,研究结果可为压缩空气弹射过程内弹道的深入研究提供理论参考。     

考虑主观思维区间性的效能量化模糊评估方法

针对武器装备在效能量化评估时,用一个数值量化定性指标和权重的不足,基于模糊综合评判理论、Vague理论和区间数算法,提出了一种考虑主观思维区间性的效能量化模糊评估方法。该方法定义定性指标和权重值为一个弹性区间,充分体现了专家对主观性事物认识的不确定性。模糊计算的效能值为一个区间,为确定评估对象的效能等级,引入Vague理论中相似度概念,能够直观判断其效能等级。通过与传统模糊方法和考虑定性指标区间性的模糊方法对比,验证了该方法的有效性和可信性。     

藏区地基换填戈壁土处理的经济适用性评价

藏区地基处理中如果能采用戈壁土作为换填材料，可以较好的解决该地区地基加固费用高的问题。结合某新建工程，对换填戈壁土方法进行经济适用性评价，结果表明该方法经济合理，可以推广应用。     

用于减少远程Cache访问延迟的最后一次写访问预测方法

为减少远程Cache访问延迟,提高共享存储系统的性能,提出了一种新的基于程序内在写突发特性的最后一次写访问预测方法,并对一个具体的目录协议进行了改造,以支持该预测方法。通过预测Cache块的最后一次写访问并提前对其进行降级,处理器能直接从主存中读取数据,从而减少了远程Cache访问所需的一个网络跳步数。与当前基于指令的预测方法相比,该方法能极大减少存储开销。基准测试程序的评测结果表明,该方法能获得83.1%的预测准确率,并且能提高8.57%的程序执行性能,同时与基于指令的预测方法相比,该方法能分别减少历史踪迹表69%的存储开销和签名表36%的存储开销。     

透明栅控SOI薄膜横向PIN光电探测器的光电特性

透明栅控SOI薄膜横向PIN光电探测器,是一种以SOI技术和互补金属氯化物半导体工艺为基础,综合SOI器件和传统双极、场效应光敏器件的新型光电探测器。利用半导体器件物理和基本方程,介绍和分析了器件结构及其工作原理,建立电压、电流物理模型。应用SILVACO器件仿真软件,完成器件的数值模拟与验证。在中短波长工作段,器件光电流随栅极电压的增大而增大,表现出明显的栅压控制特性。全耗尽状态下,器件的内部量子效率在中短波长(400nm,450nm,530nm,600nm)的光辐射下,可达到96%以上,甚至接近100%。短波长下(280nm,350nm),量子效率最大值近80%。此外,器件的暗电流很低,光暗电流之比超过106,具有高灵敏度。     

基于AM-LFM和IRT的旋转微动目标成像算法

在雷达成像中,基于CS的方法因其压缩采样的特性而在高分辨雷达成像中得到广泛应用。然而由于其是一种基于参数化的成像方法,对观测位置误差特别敏感。在实际中,一般无法知道精确的观测位置。观测位置的误差会造成成像结果位置的偏离、散焦以及无法聚焦。针对基于压缩感知的成像算法存在的观测位置依赖性问题,提出了一种基于调幅-线性调频(AM-LFM)分解和逆Radon变换(IRT)的微动目标成像算法。该方法根据分解后信号调频率分离目标微动信号与主体信号,再进行IRT成像。仿真及实验结果验证了算法的可行性和有效性。     

编辑手机报应突出“四性”

<正>针对手机报短而精的特点,编辑要做到开门见山,提出主题,以题概文;导语为先,引领方向,正文补充;长篇短编,短篇精编,灵活取舍;多方选稿,善于综合,归纳总结;利用搜索,丰满稿件,不留问号。美国媒介理论家保罗·莱文森认为:人类有两种基本的交流方式——说话和走路。可惜,自人类诞生之日起,这两个功能就分道扬镳,直到手机横空出世,才将这两种相对的功能整合起来,集于一身……无线移动的无限双向交流潜力,使手机成为信息传播最方便的媒介。2004年7月,     

网络雷达对抗系统涌现性研究

涌现性是网络雷达对抗系统这种新型综合电子战系统复杂特性的典型表现。分析了网络雷达对抗系统组成与交互,阐释了网络雷达对抗系统涌现性的内涵及构成,总结了网络雷达对抗系统涌现性的不可加性、不可还原性、局部影响整体性和局部整体一致性特征,从组成效应、结构效应、交互效应、环境效应四个方面剖析了网络雷达对抗系统涌现性的产生机理,提出了网络雷达对抗系统涌现性控制4C方法。