哥本哈根X:塑造城市空间的理论与实践

介绍了从1990年代中期到2008年金融危机期间,哥本哈根市对老工业港口的改造和?restad新城等建设中,哥本哈根X引领的关于这些建设活动的公共空间质量的大讨论以及对城市规划实践的反思。并指出,过去10年哥本哈根X在塑造城市空间的理论与实践中发挥着至关重要的作用。     

国家电网公司110～500 kV变电站变压器典型规范的编制和应用

文章介绍了国家电网公司110～500kV变电站主变压器典型规范的编制过程和要点。对编制过程中针对运行单位和制造部门的调研情况作了概要介绍,对采用变压器索引编号的方法和意义作了说明,对变压器典型规范的选用原则和主要问题提出建议,介绍了典型规范的索引表和参数表的内容及确定原则,对主变压器、高压并联电抗器的外形布置和安装要求进行了概要描述。     

二进制范德蒙编码存储策略的低计算量优化方法

针对二进制范德蒙码的编码存储与译码重构过程,提出了一种降低相关编译码过程计算量的优化方法。该方法根据二进制编译码矩阵行向量中“1”的分布以及各向量之间“1”的相互位置关系,最终确定出二进制编译码矩阵所对应的各个校验位的计算次序,从而实现降低整个编码过程或译码过程计算量的目的。实验表明,该方法可以降低30%左右的相关计算量, 同时,该种计算过程优化方法可以推广应用到其它二进制编码存储系统中.     

针织的雕塑

雕塑作为人类文明史中最古老的艺术门类之一,其材质的演变几乎可以看作是人类历史各个阶段的社会状态在艺术领域的投射。年轻     

一个基于知识库及其自动推理机制的ICAI(化学)系统

设计并实现了一种新型的ＩＣＡＩ系统。该系统以自动推理技术为基础,利用化学知识库,不仅实现了ＩＣＡＩ的知识集散功能,还成功地实现了知识揭示功能,不同于常垢ＩＣＡＩ的单纯检索－播放作用,该系统还具有化学用语层次上的人－机交互、基于自动推理的化学式与中文名称的双向翻译、化学问题求解等多多种智能功能。该系统还具有开放性,可以让用户在使用中调整系统的性能、补充存储的知识信息。该文比较了新型系统与流行的常规系     

多项式等式型几何定理的可读证明

目前的智能几何软件都使用基于搜索法的定理证明器作为推理引擎,其主要缺点是不能可读地证明涉及到几何量代数运算的几何定理,这极大地限制了智能几何软件的实际应用.对一类结论为几何量多项式等式的几何定理,文中提出了一种能给出可读证明的启发式搜索算法.该算法通过引入多项式的变形操作算子——标准项代换,把证明结论为多项式等式g=0的几何定理转化为寻找从g到0的标准项代换序列的搜索问题.采用Lisp语言实现了该算法,并做了30个结论为几何量等式的几何定理的推理实验.实验结果表明算法具有较高的推理效率.     

二维图形码打印组件的设计与实现

二维图形码很多时候需要进行打印处理,为了提高编程效率,方便打印,设计并实现了一种基于COM的打印组件对象,并在实际应用中很好地解决了二维图形码按任意几何面积和形状的高分辨率微缩打印问题。简单介绍了COM组件技术的原理,并且介绍了在VC中使用ATL实现COM组件的基本方法。     

程序语句生成子与知识获取自动化

本文以作者研制开发的基于机器自动推理技术的ＩＣＡＩ为背影，介绍了有关知识获取自动化的软件技术措施。     

基于GE码的HDFS优化方案

针对Hadoop分布式文件系统(HDFS)数据容灾效率和小文件问题,提出了基于纠删码的解决方案。该方案引用了新型纠删码(GE码)的编码和译码模块,对HDFS中的文件进行编码分片,生成很多个Slice并随机均匀的分配保存到集群中,代替原来HDFS系统的多副本容灾策略。该方法中引入了Slice的新概念,将Slice进行分类合保存在block中并然后通过对Slice建立二级索引来解决小文件问题; 该研究方法中抛弃了三备份机制,而是在集群出现节点失效的情况下,通过收集与失效文件相关的任意70%左右的Slice进行原始数据的恢复。通过相关的集群实验结果表明,该方法在容灾效率、小文件问题、存储成本以及安全性上对HDFS作了很大的优化。     

城市中心区紧凑布置220 kV变电站的设计

随着城市中心区用电负荷的剧增,城市中心新建大型变电站势在必行,建设地下变电站投资高、施工难度大、维护不便,除非条件限制,一般不将地下变作为优先选择方案.详细介绍了紧凑布置的上海中心城区220 kV民和变电站设计特点、设备造型、站内布置等情况,可供国内类似工程建设参考.