把文字翻译成数学符号，构建方程组模型是解此类题的关键；方案型问题就是要构建双边不等式，有几个整数解就有几种方案；某工程队现有大量的沙石需要运输．工程队下属车队有载重量为8吨、10吨的卡车共12辆，全部车辆运输一次能运输110吨沙石．

已知命题p:$\exists x_0\in R$,${x_0}^2+2x_0+2\le 0$，则$\neg p$为（   ）

电影《英雄》中刺客无名对秦王说“剑字有18种写法，互不相同”，秦王说“统一以后这些杂七杂八的文字一律废掉，只留下一种写法”。下列有关说法正确的有（    ）

①秦始皇完成国家统一后，只是在局部地区统一了文字

②秦统一以后，把小篆作为通行全国的标准字体

③文字的统一促进了各地区的经济、文化的交流

④文字的统一有利于巩固国家的统一

光电鼠标在电脑中应用非常广泛，其原理就是利用光源照射鼠标垫表面（如图所示），并被反射回光学感应器（相当于光屏），当鼠标移动时，感应器会连续接收鼠标垫表面所成的像，并利用数字信号来处理比较各个影像，以确定移动的距离和方向。产生的结果传回计算机，而屏幕上的光标会根据这些结果来移动。图中光学感应器、透镜、光源等元件固定在鼠标内，当光源的光照射在粗糙的鼠标垫上时会发生____反射；当鼠标平放在鼠标垫上，凸透镜到鼠标垫的距离为7mm，光学感应器距凸透镜3mm，则在光学感应器上成____像。