建设部贯彻落实《实施纲要》检查组到我区检查工作

11月21日,建设部检查组到我区检查贯彻落实《建立健全教育、制度、监督并重的惩治和预防腐败体系实施纲要》(以下简称《实施纲要》)工作情况.22日上午,建设部检查组听取了自治区建设厅党组书记、厅长宋继东关于我区建设系统贯彻《实施纲要》的工作汇报.并与建设厅各机关处室及相关单位负责人进行座谈.     

自治区建设厅召开党风廉政建设报告会

为深入学习贯彻党的十七大精神,加强干部职工队伍建设,12月6日,自治区建设厅召开了党风廉政建设报告会,邀请自治区纪委副书记黄翔作辅导报告.     

2007年全国建设系统党风廉政建设工作会议在南宁召开

3月7日，全区建设系统党赡廉政建设工作会议在南宁召开，会议传达贯彻中央纪委七次全会及全国建设系统党风廉政建设工作会议精神，总结和交流2006年的建设系统党风廉政建设和反腐败工作，研究部署2007年的工作任务。     

建立5种机制 形成长效管理

辽宁省盘锦市城建监察总队加大工作力度，加强城建监察全方位管理，从经验式管理向科学化管理、从运动式管理向制度化管理、从突击式管理向长效化管理、从问题式管理向预防式管理转变，使市容市貌发生了很大变化，获得市民的好评。     

自治区建设厅对厅属重点部门进行作风效能建设听证质询

12月2日,自治区建设厅邀请南宁市建设系统有关单位,自治区建筑有关企业等服务对象单位代表,以及退休老同志代表、民主党派代表,在广西建设大厦召开作风效能建设听证质询会.会议对自治区房改办和自治区建设工程质量安全监督总站的作风效能建设情况进行听证质询.     

桃云水库工程坝基的渗漏评价及防渗处理设计

桃云水库已运行20多年,由于坝基清基不彻底,坝基岩石裂隙发育,正常蓄水位运行后出现渗漏。经综合比较采用坝基帷幕灌浆防渗方案,防渗处理后坝后再没有出现渗漏点,渗流得到有效控制。主要阐述了桃云水库工程坝基的渗漏现状及防渗处理设计。     

形状分析符号执行引擎中的状态合并

符号执行技术以其良好的精确度控制和代码覆盖率被广泛应用于静态程序分析和高覆盖率测试用例自动生成。 符号执行 在分析程序时,以模拟真实的程序执行过程的方式分析程序的数据流和控制流信息,并检查程序可能出现的所有状态,得到程序的分析结果。高精确度和高覆盖率要求对程序状态描述具体而完备,这会导致符号执行过程中常见的状态爆炸问题。首先提出在不同的执行路径上对具体内存状态进行合并的算法,然后对内存模型进行适度的抽象,扩大状态合并算法的适用范围,最后讨论状态合并所带来的实际效果,并提出了状态合并的优化解决方案。所提出的算法在符号执行引擎ShapeChecker上实现,并取得了良好的实验结果。     

重复压裂下层状岩石裂网扩展规律研究

采用室内水压致裂模拟装置,研究不同层理数量、预制裂纹角度、导向裂纹等对层状岩石复杂裂网扩展规律的影响,结合断裂力学理论对致裂效果评价。结果表明,注水孔周围水平方向主裂纹沿水平应力方向扩展,其他方向主裂缝延伸扩展至弱层理面并沿层理面向前发展;含导向裂纹、预制裂纹时,水平应力方向产生对称扩展的主裂缝,其他主裂缝贯穿弱层理面向前扩展;各个方向的应变曲线表明,岩石发生破坏分为应力累计、裂纹稳定扩展、失稳破坏3个阶段;适当减小应力差更易产生与天然裂隙沟通的复杂裂网。     

基于位置概率模型的哈萨克语人名识别

针对哈萨克语文本中人名构成特点,提出了一种基于位置概率模型的哈萨克语人名可信度计算方法,构建了一个哈萨克语人名识别系统.系统分为训练和识别两个模块,识别过程是:首先从训练语料中提取特征进行训练,得到一个特征训练模型,然后利用训练好的特征模型及少量的附加规则,对测试文本中的人名进行识别,实验结果表明此方法可行.     

轻松下载网吧电影

网吧是个有着丰富资源的地方,比如那些电影就很吸引我。但是在网吧看电影实在是太贵了,如果能把电影拷回家看的话不失为一个好办法,还省去下载电影对自己电脑硬盘的磨损。不过一般网吧的电影都是放在专门的电影服务器里,没有开共享,不能像局域网电脑一样轻松的复制、粘贴。