摘要：提出一种基于有序决策二叉图(OBDD)的灰度图像无损压缩算法,该算法将灰度图像划分成独立的位平面,利用二值图像的开关性,用OBDD模型来表征位平面,然后对OBDD进行有效的编码,最后用算术编码压缩进一步减少冗余。实验结果表明,本算法的压缩比优于WinZIP。

摘要：作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中。现有基于抽象解释的逻辑程序验证技术未涉及与程序点相关联的程序性质的验证,设计能够描述此类性质的逻辑程序具体语义和抽象语义是构造相应验证工具的关键。本文给出了一种基于抽象解释的Prolog程序验证方法,该方法采用了具有路径信息的Prolog语义及其抽象作为语义基础,因而可用于验证与程序点相关联的程序特性。本文例子表明了该验证方法的有效性。

摘要：黏性卵黏附于砾石表面或砾石间隙中、近岸浅坑中发育孵化,对产卵场水文条件有特定需求。水风光互补运行下水电调峰造成日内下泄流量变化率增大,易导致黏性鱼卵暴露于空气中干燥死亡。已有生态流量缺乏日内流量变化率的量化研究,水风光协同调度缺乏鱼类繁殖适宜流量过程的考虑。提出通过计算不同流量工况下鱼类繁殖适宜生境面积的重叠率,以评估不同基准流量下生态适宜的流量变化率。同时,综合考虑水电调峰对新能源消纳及其对水文情势的改变,提出一种面向鱼类繁殖需求的水风光生态协同调度模型。以羊曲坝下河段为例,结果表明,为满足产黏沉性卵鱼类繁殖需求,最大流量增率不宜超过120 m^(3)/(s·h);生态权衡调度方案相比调峰效益最大解,平水和枯水时期分别减少7%和6%的新能源消纳量,减少2%和6%的水电出力,但水文情势的改变量相比降低了15%和21%。研究成果可为鱼类产卵期水电站生态调度优化运行提供技术支撑,促进水电可持续发展。

摘要：Ni60是一种镍铬硼硅合金,具有良好的可塑性且硬度高、耐磨、耐蚀、耐热等综合性能;选用粒度为-125-325目且有较高硬度的钼Mo和钴Co及能显著提高涂层耐磨性的铬Cr作为添加合金粉;用均匀设计方法进行试验设计和等离子喷涂镍基钼、钴、铬400m涂层来提高齿轮轴20CrMoTi的摩擦学性能,涂层相比20CrMoTi显微硬度提高(2~4)倍,耐磨性提高(2~4)倍;采用SEM对涂层剖面及表面组织形貌和元素进行分析,涂层与基体结合良好且呈层状结构分布;将验证结果和神经网络预测值对比,显微硬度误差在20%之内,磨损误差在15%之内,可从人工神经网络的预测结果中选出具有优良性能的Ni60基Mo、Co、Cr合金涂层的配比范围。

摘要：高温超导变压器的漏磁场会减小绕组中的临界电流并增加交流损耗,而且,由于超导材料磁化的各向异性,磁场径向分量对临界电流和交流损耗的影响较轴向分量大得多。因此,在超导变压器电磁设计中应尽可能减小漏磁场尤其是其径向分量。文章在用ANSYS软件计算磁场分布并研究诸多因素对磁场影响的基础上,设计了300 kVA/25 000 V/860 V超导变压器绕组,并提出了一些减小漏磁场的措施。

摘要：[目的]运用秋季灌木叶片色彩属性变化规律,从定性、定量的视角构建哈尔滨秋季植物景观的色彩,总结地域性植物色彩设计的科学性。[方法]以能够兼容CAD和Photoshop绘图软件的NCS色卡,在温侯法界定的哈尔滨秋季时段,随秋季时序采集8种灌木的NCS色彩值,确定其色彩属性与变化规律。通过采集哈尔滨秋季气温日温的最低、最高值,分析其叶片NCS色彩值与气候温度的日温差、最低最高温度变化的规律。[结果]8种灌木NCS叶色值总体范围为NCS S 5540-G40Y^NCS S 1580-Y90R,分布于24个标准颜色中。最低气温9℃,日温差11℃,叶片开始变色3种;最低气温9℃,日温差15℃,叶片开始变色3种;最低气温7℃,日温差10℃,叶片开始变色1种;霜后,最低气温5℃,日温差13℃,叶片开始变色1种。最低气温7℃持续2d,连续日温差8~13℃,进入变色盛期7种;最低气温3℃,日温差13℃,进入变色盛期1种。[结论]利用秋季灌木叶片色彩属性变化规律构建哈尔滨秋季植物景观色彩是提升秋季季相色彩设计质量的重要途径,具有一定的科学性。

摘要：采用熔融缩聚法,以对苯二甲酸(PTA),1,6-己二酸(AA),1,4-丁二醇(BDO)为原料,制备了不同原料物质的量之比的对苯二甲酸/己二酸/丁二醇共聚酯(PBAT),通过傅立叶变换红外光谱(FTIR)和核磁共振氢谱(1H–NMR)测试验证了PBAT的结构和物质的量之比,利用差示扫描量热(DSC)法和热重(TG)分析对PBAT进行了热性能测试,采用X射线衍射(XRD)表征了PBAT共聚酯的结晶性能,用电子单纤强力仪测试了PBAT共聚酯纤维的拉伸性能。结果表明,成功地合成了设计比例的PBAT,随着PTA含量的增加,共聚酯的熔融温度从162.78℃提高到了212.20℃,质量损失5%的分解温度由369.17℃提升到了375.94℃,共聚酯纤维的断裂强度逐渐增加,最高可达3.04 c N/dtex,共聚酯的结晶度也增加。PBAT被广泛应用于片材、地膜、包装、发泡等。

摘要：本文提出了一种基于N衬底P外延晶圆的全碳化硅(Silicon Carbide,SiC)集成工艺平台,该工艺平台兼容低压互补金属氧化物半导体场效应晶体管(Complementary Metal Oxide Semiconductor field-effect transistor,CMOS)、横向扩散金属氧化物半导体(Laterally-Diffused MOS,LDMOS)以及高压二极管等器件.采用P型缓冲层技术调节器件垂直方向电场分布,使高压器件垂直方向耐受电压提高212.4%;在1μm厚度的P型缓冲层和1μm厚度的P型外延层上,实现LDMOS、高压二级管和高侧区域耐受电压大于300 V.基于该工艺平台,搭建了SiC CMOS反相器和反相器链电路,均实现了0~20 V轨至轨的电压输出;设计了半桥驱动电路,低压侧驱动电路由四阶反相器构成;高压侧驱动电路由电平移位电路和高侧区域反相器链电路组成,实现了180~200 V浮空栅极驱动信号输出.

摘要：给出了时速200 km速度级动车组牵引主变压器的主要技术数据,并总结了该变压器的设计特点,重点对其主要结构及线圈排列和保护装置进行了介绍。

摘要：棱镜光栅立体显示技术由平面抽样图和棱镜光栅板两部分组成,文章分析了平面抽样图的像带、参与合成图像数目的影像,并以单一棱镜元为研究对象,根据光学原理,推导出棱镜光栅板的曲率半径、厚度、节距等重要参数的计算公式,并结合实际讨论这些参数对立体效果的影响.