另外，自治区高级人民法院对《合作备忘录》内容进行了审查。区高院经审查认为，青秀区法院与特定企业签署合作备忘录不符合公平公正的原则。5月19日，已责成青秀区法院与慧泊公司解除了《合作备忘录》。　　“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　也有人经过考虑后选择了放弃“商转公”，邢先生是其中之一。“因为我的房贷已经还得差不多了，去公积金中心咨询后一算，转后的利率差也就1%左右，总共省不了几万块钱。工作人员也建议，如果房贷还剩下十几、二十几万元的话，利息其实基本都还完了，转的意义不大。”　　变暖让区域大气的持水量增加，大气相当于一个水盆，装满了以后水就会倒下来，就形成降雨。以前持水量小的时候水盆也小，在短时间内就能装满，但现在水盆大了，装水时间很长，也就是说会长时间不降雨，一降雨就是暴雨。因此，在全球气候变暖的背景下，全球的干旱和暴雨都在同时增加，西北地区更加突出。这也是近年沙漠湖泊在西北频现的原因之一，沙漠区域下了一场暴雨后短期内蒸发不了，在低洼地区积累下来，形成了临时湖泊。　　此外，淄博鼓励和支持各类企业参与产业转型升级，着力培育新型经济主体，包括新兴企业、小微企业、专业市场等，带动了当地就业和经济增长。