程序设计能从冯·诺依曼式的设计风格中解放出来吗?函数式程序设计及其程序代数

John Backus 是计算机科学界的知名人士,他对现代程序设计语言及其形式语法定义有着划时代的贡献。他是 Fortran 和 ALGOL 语言的主要创始人,巴科斯范式 BNF 就是以他命名的。本文是 John Backus 于1977年接受 ACM 图灵奖时的讲演稿。作者深刻分析了冯·诺依曼式计算机以及以这类计算机为基础的传统程序设计语言的本质缺陷之后,提出了一种所谓函数式程序设计系统。其主要特征如下:第一,便于表示递归函数和图灵机,因而,具有较好的表达能行可计算函数的能力。第二,具有潜在的并行性,便于表示并行算法。第三,具有较好的代数性质,因而,便于对程序直接进行转换,简化关于程序性质的研究。函数式程序设计系统的研究不仅促进了程序设计语言的发展,促进了软件的发展,而且对计算机系统结构的发展所起的推动作用也是巨大而深远的。本文是关于函数式程序设计系统的奠基性文献。     

香港通信冠全球

香港回到祖国的怀抱是中华民族的一大盛事,也是举世瞩目的一件大事。众所周知,香港是世界闻名的信息港,其总面积还不到深圳市总面积的一半。人们不禁要问,香港这块弹丸之地何以成为举世瞩目的现代化国际大都会、亚洲“四小龙”之一,并以远东地区的国际金融、贸易、航运、信息、旅游中心而闻名全球。香港电信界人士认为:香港的成功除了自由港的经济政策、背靠祖国大陆的地缘优势和港人的勤劳智慧之外,一个重要的因素就是香港成熟、发达的通信业发挥了     

基于IEC61131-3中FBD的编辑软件设计

基于IEC61131-3《可编程序控制器的编程软件标准》在工业自动化领域中的应用,为减小功能块图语言编辑的复杂性,降低其编辑过程中的错误率,对适合于连续量控制的功能块图(FBD)语言作了研究和分析。并在此基础上,使用JAVA语言对工业控制组合软件中控制算法的图形化编辑软件进行开发。多功能嵌入式控制器的实际应用表明,该软件操作简单、易实现编辑、纠错能力好,为继续深入功能块语言在这方面的研究与应用提供了良好的基础。     

性能优越的GeoDiamond MA-89钻头

性能优越的GeoDiamondMA-89钻头委内瑞拉Ceuta油田部分地层含砂量高（6．25％－74．36％）,通常要用两只普通PDC钻头才能钻完约700m井段。而用Smith公司开发的新一代PDC钻头──Geo－DiamondMA-89钻头,只需1只钻头便能完成相同并段钻井。GeoDiamondMA-89钻头有6个刮刀、6个喷嘴,有19mm和＃16nun两种切削齿,每种切削齿都可单独地全部覆盖井底。这种独特的切削结构可提高钻头的机械钻速、稳定性和耐用性。另外,切削伍上金刚石层的厚度是常规化质切削齿的两倍。采用先进的设计方法和制造工艺,在不损害切削齿的冲击强度或耐内压…     

基于广义反向粒子群与引力搜索混合算法的多阈值图像分割

提出了基于粒子群优化(PSO)与引力搜索(GSA)混合算法(PSOGSA)的多阈值图像分割方法来解决图像阈值搜寻过程中单一优化算法局部搜索能力不强的问题。提出了图像阈值分割领域中的广义反向学习策略,在阈值寻优过程中提高群体多样性,增强了全局搜索能力;采用了全局最优解的正态变异策略,扩展了全局最优的搜索区域,避免了算法的早熟收敛。在此基础上,实现了基于广义反向粒子群与引力搜索混合算法的多阈值图像分割方法。最后,使用本方法对复杂多目标图像进行了多阈值分割实验,并与引力搜索算法和萤火虫算法进行了比较。实验结果表明,本文方法的分割精度优于引力搜索算法与萤火虫算法,其分割目标函数值在连续运行时的标准差降低了90%以上,是一种精度高、稳定性强的多阈值图像分割方法。     

长空气间隙负极性操作冲击放电特性研究(Ⅱ)-间隙系数

大气环境、电极布置方式和间隙类型等对长空气间隙的负极性操作冲击放电特性均有不同程度的影响。分别采用20/2 500μs和80/2 500μs两种负极性操作冲击电压波进行放电试验,研究了气象条件、波头时间、下电极高度及导线接地方式等对空气间隙放电特性的影响,并对以棒–板间隙为基准,分析计算棒–棒间隙、棒–线间隙的间隙系数。试验结果显示:湿度对长空气间隙的负极性操作冲击放电特性试验具有明显的影响;间隙距离大于3 m时,20/2 500μs负极性操作冲击电压波作用下空气间隙的50%放电电压较高,间隙距离小于3 m时,80/2 500μs负极性操作冲击电压波作用下空气间隙的50%放电电压较高;下电极高度对棒–棒间隙放电特性具有一定的影响;导线接地方式对棒–线间隙的50%负极性操作冲击放电电压具有显著影响。间隙系数随间隙距离呈非线性变化趋势,棒–线间隙对棒–棒间隙的间隙系数随间隙距离增大基本趋于稳定值1.05。     

长空气间隙负极性操作冲击放电特性研究(Ⅰ)—试验研究

长空气间隙在负极性操作冲击电压下具有非线性放电特性。为了研究典型长空气间隙的负极性放电特性,利用7 500 kV冲击电压发生器产生20/2 500μs和80/2 500μs两种负极性操作冲击电压波,开展了间隙距离为1～10 m的棒–棒间隙、棒–板间隙和棒–线间隙的负极性放电特性试验研究,并与其他学者的试验结果进行对比分析。试验结果表明:随着间隙长度的增加,棒–棒间隙、棒–板间隙、棒–线间隙的50%放电电压都趋于饱和,但棒–板间隙的饱和趋势最为明显;当间隙长度为4 m时,棒–板间隙与棒–棒间隙的50%放电电压大小关系发生翻转;间隙的平均击穿场强随着间隙距离的增大而减小。该研究揭示了1～10 m长空气间隙的负极性操作冲击放电特性,加深了对长空气间隙放电特性的认识。     

750 kV同塔双回交流输变电工程防雷保护研究

研究了750 kV线路雷电性能及750 kV变电所和开关站雷电侵入波过电压,指出造成750 kV线路雷击跳闸的主要原因是绕击。建议增加地线间距和提高绝缘子串绝缘水平以减小跳闸率。通过对兰州东变电所雷电侵入波的计算分析和变电所的特点,提出2种相应的MOA布置方案,并验证了绝缘选择的安全裕度,得出2种方案均可以满足防雷要求。     

±1100kV直流换流站避雷器布置、参数和设备绝缘水平的选择

为了合理确定±1 100 kV直流换流站避雷器布置、参数和换流站设备的绝缘水平,在分析和比较±800 kV直流输电工程换流站避雷器布置和参数的基础上,推导了6脉动换流器绝对最大理想空载直流电压与换流变的短路阻抗成正比关系的公式,提出了换流变的短路阻抗大小基本确定了整流站直流侧阀厅内设备的绝缘水平,因此需尽可能减小该阻抗值。给出了阀厅内直流避雷器伏安特性、荷电率、持续运行电压峰值(CCOV)、包括换相过冲的持续运行电压最高峰值(PCOV)、直流参考电压和直流偏置电压的选择方法和影响因素。在换流变短路阻抗不大于24%和采用A2避雷器直接保护高端Y/Y换流变阀侧方案的条件下,高端Y/Y换流变阀侧的额定操作冲击耐受电压(SIWV)可选为2 030 kV,低于采用M2+V3避雷器串联保护方案的2 191 kV。针对整流站和逆变站交流侧分别接入750 kV和1 000 kV交流特高压方案,提出了降低交流避雷器额定电压的建议。提出的绝缘水平为换流变、换流阀、极母线和中性母线等±1 100 kV直流设备的样机制造和交流设备选型以及交、直流场的设计提供了技术支撑。     

a-SiN_x/nc-Si/a-SiN_x三明治结构的电荷存储效应

采用等离子体增强化学气相淀积 (PECVD)生长技术结合限制性结晶原理 ,采用与硅平面工艺相兼容的准静态热退火方法 ,使 a-Si:H层晶化 ,制备出了高密度的、尺寸均匀的 nc-Si薄膜 ;利用 Raman散射和透射电镜 (TEM)技术 ,分析了样品的结构特性 ;采用 C-V测量方法 ,通过对退火和未退火样品的对比分析 ,对该三明治样品的电学性质进行了研究 ,观察到 nc-Si薄膜的电荷存储现象 ,并且该现象与 nc-Si层的厚度有着明显的关系。