中国城市化进程中的环境抗争

城市化是经济社会发展的必然选择。然而,随着中国城市化飞速发展,也产生了城市水、大气、固体废弃物和噪声污染等一系列生态环境问题。同时,随着环境意识的增强,人们对居住环境质量的要求不断提高,致使城市化过程中环境抗争事件不断涌现。本文回顾了已有研究文献,以国外环境抗争、国内农村环境抗争与城市环境抗争作对比,突出城市环境抗争的特点;从抗争的情感基础、精英力量、弱组织化和互动过程四个方面对城市的环境抗争进行建构;从抗争力量、制度化因素、发展观念和社会力量四个方面分析当前环境抗争所面临的一系列困境。培育公民社会、更新地方政府的发展观念、加强社会科学与自然科学和管理科学之间的交叉研究等是应对当前困境最根本的出路。     

国家重点基础研究发展计划、国家重大科学研究计划2010年重要支持方向

国家重点基础研究发展计划是以国家重大需求为导向,对我国未来发展和科学技术进步具有战略性、前瞻性、全局性和带动性的基础研究发展计划。国家重大科学研究计划是《国家中长期科学和技术发展规划纲要(2006—2020年)》(以下简称《规划纲要》)部署的、引领未来发展、对科学和技术发展有很强带动作用的基础研究发展计划。围绕落实《规划纲要》,科技部2010年将继续部署国家重点基础研究发展计划和国家重大科学研究计划项目。科技部于2010年1月19日发布了2010年国家重点基础研究发展计划、国家重大科学研究计划2010年重要支持方向。此外,为贯彻落实《规划纲要》,应对气候变化自主行动、履约和国际谈判提供科技支撑,科技部2010年应急启动全球变化研究国家重大科学研究计划,针对全球变化研究中的关键科学问题,开展基础性、战略性、前瞻性研究,全面提升我国全球变化研究的竞争力。科技部于2010年2月24日发布了全球变化研究国家重大科学研究计划重要支持方向。     

模糊分析方法在金融机构风险排序中的应用

运用系统与模糊分析相结合方法,首先将金融机构面临的资产风险分解成若干个风险因素子系统;然后以金融理论为指导建立各子系统风险因素评价的隶属度矩阵,并在此基础上采用模糊间接识别模型及贴近度的概念,构造了各子系统风险因素模糊识别模型;最后通过各子系统模糊识别模型的合成,建立了整个金融机构系统模糊识别模型,借以达到各金融机构风险排序、化解金融隐患和保证国家经济安全的目的.     

网络流量测量中一种分布式有效测量点选择算法

提出了一种分布式求解弱顶点覆盖集的近似算法，用于网络流量有效测量点的选择，该算法不需要维护网络拓扑的全局信息，仿真结果表明，比较现有算法，新算法能找出更小的弱顶点覆盖集，具有更好的町扩展性。     

适于数模混合集成电路的可布性分析模型

布局、布线是集成电路后端物理设计的两个主要环节,可布性分析作为连接布局和布线的枢纽,对优化布局和提高布线的布通率具有非常重要的作用。作者提出一种不可切割(non-slicing)结构的非均匀划分算法,大幅度减少了划分后的区域数量,同时建立了与此相应的适用于数模混合集成电路布局的可布性分析模型。对于实验电路的分析证实了本模型的准确性和高效性。     

提高套筒两端轴承档内孔同轴度的措施

套筒两端轴承挡内孔的加工，因涉及两次装夹，必须以外圆精确定位。内孔对外圆的壁厚太薄，应采用轴向夹紧，以减小压紧力引起的变形，消除内应力，改善材料的切削性能，减小切削变形，提高两端轴承挡内孔的同轴度。     

基于量子元胞自动机的真随机数发生器设计

量子元胞自动机(quantum-dot cellular automata,QCA)是一种典型的纳米器件,有望成为VLSI设计中CMOS晶体管的替代者.文章基于QCA的内禀属性,以QCA交叉耦合结构为理论依据,设计一种真随机数发生器(true random number generator,TRNG),从基础单元的设计...     

新型城镇化背景下城市紧凑度与土地利用集约度协调性分析——以河南省为例

城镇化进程中土地利用是城市发展的关键.以河南省18个省辖市为例,运用协调发展模型和象限图分类识别方法,构建城市紧凑度与土地利用集约水平评价体系,对2012-2016年河南省18个省辖市城市紧凑发展与土地集约利用的动态变化、协调发展水平及协调发展关系进行研究.结果表明:(1)河南省城市紧凑度和土地利用集约度二者整体水平较低,但都有上升的趋势,且二者各自内部差异也在增大;(2)河南省城市紧凑度与土地利用集约度协调性水平不高,2012年许昌市和郑州市分别为初级协调和勉强协调,到2016年仅有郑州市达到初级协调,洛阳、新乡、濮阳和周口4市达到勉强协调;(3)城市紧凑度与土地利用集约度协调发展关系的整体情况变化不大,大多数城市在2012年和2016年均保持着城市紧凑度超前或土地利用集约度超前状态.     

基于事件的文本相似度计算

大量研究成果已经表明,事件在很多文本中是客观存在的.从语义的角度理解,诸多文本是由事件组成的,事件是文本表示的最小语义单位.给出了基于事件的文本表示模型,在此模型的基础上,从文本类型相似度计算和文本内容相似度计算两个层面论述了文本相似度计算的方法.     

集对逻辑及其运算定律

解决现行的集对联系函数四则运算中存在的不确定性问题与逻辑谬误.分析联系函数与模糊隶属函数在表达事物之间联系的相似性,借鉴模糊逻辑的基本方法,定义了以联系度为真值形式的集对命题,进而给出集对逻辑的析取、合取、取否运算法则,建立了集对逻辑的基本框架.在此基础之上,分析了集对逻辑运算的七大运算定律:对合律、幂等律、交换律、结合律、分配律、吸收律和摩根律,由此证明集对逻辑运算构成的代数(S,,,)为软代数.