1990年秋季大火

△9月9日傍晚,湖南省保靖县水坪镇马尾村,一名3岁男孩在床上玩火引起火灾。使56户、275人受灾,共烧毁房屋197间、粮食18万余kg、家禽204只,损失折款近50万元。 △9月11日晚,长江轮船总公司东风造船厂建造“长江明珠”号旅游船,由于电焊作业时烧红的甲板烤着附近的聚氨酯发生火     

带时间和资源约束的实例化过程模型验证方法

软件过程的性能是由软件过程模型和软件过程实例化两方面因素决定,如果对软件过程进行了不恰当的实例化,会导致成本超支、进度延期、甚至项目失败．已有的过程描述法不足以分析实例化过程模型,由于没有考虑实例化阶段的时间资源约束,语法结构正确的过程模型并不能保证过程执行的正确性．提出一种带时间和资源约束的实例化过程模型验证方法,为目前已有的s-TRISO／ML建模语言增加时间和资源约束属性,然后提出了从s-TRISO／ML模型转换成时间自动机的转换方法和实现算法,利用已有的分析工具Uppaal对转换得到的时间自动机的性质进行验证,得到一个合理的实例化模型,从而为真实的开发流程提供指导．     

基于大数据时代下软件工程技术的应用研究

社会的不断进步,使得科学技术水平日益提升,很大程度上改变了人们的生活方式。并且,在当今社会下,借助计算机网络浏览和传播信息,已经逐渐成为主流形式,产生的信息更是越来越多,因而,人类逐渐迈入了大数据时代。基于大数据时代下,各行各业在的发展期间,纷纷强化了对大数据技术的应用,以便可以促进自身核心竞争力的提升。对此,在软件工程技术中,也需要积极利用大数据。     

意大利的城市遗产、地域政策以及文化分区方法

<正>近年来,出于多种原因,意大利引入了干预城市和地域的"新"规划方法。主要目的是致力于提升文化活动价值链的经济影响,同时惠及多种形式的公私关系。在这些新的地域政策中,地方当局被赋予更大的权力,在文化遗产的发展进程中扮演了核心角色。     

数字信号处理器分析与实现

本文首先对数字信号处理的概念以及数字信号处理器的实现原理进行简单的介绍,最后对DSP硬件结构分析,完成了对数字信号处理器实现与改进性思考。     

对软岩锚喷支护的机理和作用的分析

从锚杆支护的机理 ,证实软岩巷道中锚杆支护的作用 ,锚杆的预应力足够抵消围岩的初压 ,掌握好光面爆破的机理 ,充分认识锚网支护的整体性 ,强调特殊围岩巷道中采用联合支护的重要意义     

雪语泰山

小仙：登泰山，可谓是再寻常不过的一段旅途了，但背着沉重的的摄影器材、顶着风雪、披星戴月地登上泰山之巅，饱览并拍摄雪中山色，就绝非寻常了。我们没有真正体验到雪中登山的乐趣和艰难，但可以在一个冬日午后，泡盏香茗，静静地翻看《数码》杂志里的精致文章，在温热的茶香中体验雪中泰山的清冷、壮观和静美。     

多层建筑墙体裂缝的成因及防治

由于地基不均匀沉降和温度的变化，使砖砌墙体表面产生一些裂缝。虽然一般性裂缝不危及结构安全和使用，但当地震和其他荷载作用时，容易引起突然破坏。 1 地基不均匀下沉引起的墙体裂缝 1．1 表现 裂缝一般发生在纵墙的两端，大多裂缝在窗口的两个对角，裂缝向沉降较大的方向开展，由下向上发展，由于横墙刚度较大，一般不会发生较大的相对变形。裂缝多在墙体下部，向上逐渐减少，裂缝宽度下大上小，房屋建成不久就出现，数量及宽度随时间而逐渐发展。窗间墙水平裂……     

S-Bridge:性能非对称多核处理器下负载均衡代理机制

近年来,在移动计算环境中,异构多核处理器已经逐渐成为主流.与传统同构的处理器设计相比,此类异构多核处理器以更低的功耗成本满足设备的计算需求.但是异构环境下CPU核之间的微架构差异,也为操作系统中的一些基本方法提出了新的挑战.面向性能非对称异构多核环境下调度的负载均衡问题,从系统层面提出了一种负载均衡机制S-Bridge,可以减少处理器微架构差异以及任务执行需求差异对传统负载均衡带来的影响.S-Bridge的主要贡献是从系统层提供了通用的、适配异构性的负载均衡相关接口,使任意调度器都能方便地与异构多核处理器系统进行适配.基于CFS和HMP调度器在ARM平台上进行实验,同时在X86平台上进行S-Bridge通用性的验证,结果表明：S-Bridge可以支持不同真实平台和内核版本的快速实现,平均性能提升超过15%,部分情况下可达65%.