面向源代码的软件模型检测及其实现

模型检测应用于检测软件可靠性具有重要意义.介绍了一种基于谓词抽象和反例引导抽象求精技术对源程序进行建模和验证的模型检测方法,并结合自行研发的Jchecker工具详细介绍了该软件模型检测技术的运作过程和关键算法.     

基于狭义相对论的新光线跟踪算法

传统计算机图形学绘制算法建立在经典牛顿力学基础上，无法模拟高速运动物体的独特视觉现象．本文按照狭义相对论原理，应用Java面向对象技术，构造了惯性参照系、摄像机、物体、光源、材料和纹理等新的场景对象．通过创建求交、跟踪、照射、测试和阴影等虚拟光线事件，方便地实现了融时空伸缩和多谱勒效应于一体的新光线跟踪算法．揭示了摄像机、物体和光源处于多个不同惯性参照系时的相对论全方位反射、折射和阴影等全新的光照效果．     

基于实战要求的指挥车车载照明系统

为了应对作业和演习中多变的现场环境,解决军用和警用指挥车的照明装置功能单一,可控性差的问题,从实战角度出发设计了一种车载照明系统,提出震慑、隐蔽、自动和手动4种工作模式.系统由车载摄像头、控制器、智能LED前照灯和舱顶灯几部分组成,通过CAN总线将系统连通.可控制舱顶灯和前照灯进行色温和亮度调节,也可以通过摄像头及图像...     

电动汽车与风电协同入网的双层优化策略

文章提出了一种电动汽车(EV)与风电协同入网的双层优化模型.该模型上层以电动汽车与风电协同入网时负荷方差与充电站运营商购电成本最小为目标,得到电动汽车与风电联合的负荷指导曲线.模型下层以电动汽车和风电实际等效负荷与负荷指导曲线偏差最小为目标,进行实时负荷跟随.为保证电动汽车进行有序的充放电,提出了用户综合评价系数和放电...     

新疆高混凝土面板堆石坝筑坝填筑标准及变形控制

根据近30年来新疆100 m级以上面板坝建设经验,对坝体填筑标准进行了总结,并结合沉降监测资料,分析了坝高和筑坝材料、施工填筑控制标准、碾压施工参数和运行年限等因素对高面板坝变形控制的影响:(1)对于新疆100～150 m级面板坝,从变形控制的角度看,采用砂砾石填筑的沉降率比采用堆石填筑小0.2%左右,采用砂砾石填筑优于采用堆石填筑;(2)对高震区150 m级以上的高面板砂砾石坝,设计填筑相对密度从不小于0.85提高到0.90必要且可行,且应采用现场原级配大型相对密度试验代替室内相对密度试验方法来确定坝体的填筑标准;(3)提高施工振动碾吨位是减小坝体变形的有效方法,采用目前广泛使用的26 t振动碾,铺料厚度80 cm,碾压8遍,一般能满足150 m级以下面板坝的设计填筑标准要求;对更高的坝建议采用更大吨位的振动碾施工。     

基于Beta分布的塔筒电梯储能容量配置最小区间研究

使用弃风为塔筒电梯供电并辅以储能系统作为补充电源的供电模式,为达到降低成本的目的,计算储能系统容量最小区间。首先通过历史数据统计分析得到风电场日间时段的弃风概率,根据概率统计结果进行维修时段调度安排。由于弃风限电的不确定性和预测弃风概率时段的水平限制,根据预测弃风时段提出的维修计划和实际弃风时段的匹配差异值使用储能系统进行补充的方法,提出一种基于Beta分布的储能容量使用误差分布特性的储能容量配置最小区间的研究方法,仿真结果证明了所提方法的正确性。     

鸭式——飞翼布局无人机设计研究

本文通过对鸭式气动布局及飞翼式气动布局无人机进行大数据分析,对结果进行总结,结合飞翼布局和鸭式布局结构的优点,建立起三维气动模型,设计了一款鸭式-飞翼气动布局无人机。该型无人机具有更慢的巡行速度、更小的转弯半径、更高的灵活度、更好的操作性、更高的运载能力,使得固定翼无人机任务范围得到进一步扩大。     

基于改进免疫遗传优化蚁群算法的移动机器人路径寻优研究

针对移动机器人路径规划中使用蚁群算法(ACO)易陷入局部最优和收敛速度慢的问题,提出了一种适用于机器人静态路径寻优的改进免疫遗传优化蚁群算法(IMGAC)。该算法可以根据实际情况自动调整变异概率和变异方式,以及自动调节个体免疫位的长度,将通过改进的变异算子和免疫算子嵌入蚁群算法来提高全局寻优能力与收敛速度。仿真及实验表明:相比于经典ACO算法以及最大最小蚂蚁系统,IMGAC算法收敛速度更快,全局寻优能力更强。利用该算法寻找移动机器人最优路径,提高了静态路径寻优的效果和效率。     

新时期构建新疆水安全保障体系的对策与建议

进入21世纪,随着西部大开发政策的激励,山区控制性水库、河道整治、高效节水、城乡一体化供水、生态补水等一大批工程的建设为水资源优化配置、水旱灾害防治、供水安全、水生态文明建设、水环境保护提供了坚实的保障。由于历史欠账较多,各地不同程度出现水资源配置不尽合理、大面积开荒种地、灌溉方式粗放、用水效率低下、地下水严重超采、部分区域生态环境恶化等问题。文章围绕新疆水生态文明建设新要求,确保水资源、供水、防洪、生态四个安全,提出新的对策措施,成为水安全保障体系的重要内容。