基于CHAM模型的LTS状态树生成算法

标号迁移系统(1abelled transition system，LTS)是形式化一致性测试的重要研究方向，在软件体系结构(software architectures，SA)测试计划生成的研究中，需要从化学抽象机(chemical abstract machine，CHAM)模型中生成LTS，以表达出软件体系结构的动态特征，因此，LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题，基于CHAM模型，提出了通用LTS状态树生成算法，并使用实例验证了该算法。     

类和对象的Ada95代码的自动生成

本文提出了一种自对象类的用户描述自动生成Ａｄａ９５代码的方法。     

信息系统三层结构及其实现技术探析

计算机信息系统三层结构技术的应用由来已久,其在计算机信息领域的使用为信息技术的进步发挥了很大的作用。针对其组成、工作原理及技术实现进行研究,可以很好地为我国计算机信息研究工作提供理论支持。     

逆势风愈劲徐工塔机开启特色营销新格局

“12台产品全线中标、3000万元订单收入囊中。”连日来,徐工塔机订单不断,喜事连连。2013年,面对错综复杂的行业形势,按照徐工集团王民董事长在塔机调研时提出的“抓好产业发展,促进塔机倍增”的指示,徐工塔机始终坚持“聚焦市场聚焦客户”的工作主线,抢抓机遇、细分差异化市场,     

软件体系结构风格的实例研究

软件体系结构研究领域中，风格的研究与应用是一个重要的领域。本文讨论了软件体系结构的概念和风格，在此基础上特别对CORBA，基于Web的分布式系统结构，领域专家系统，基于商业背景的可重用软件体系结构等内容进行了讨论，并给出了它们相关风格。     

DDOS的攻击与防御

文章介绍了拒绝服务（DOS）攻击和分布式拒绝服务（DDOS）攻击的概念，分析了DOS／DDOS攻击的原理，讨论了DDOS攻击的主要工具和防范策略，提出了一些DDOS攻击的应急措施以减少攻击所造成的影响。     

多播路由kpp算法的改进

给出了一种满足端到端时延限制的多播路由算法。该算法是基于通信网络参数加权steiner树的构造技术。当通信网络的目的节点集的时延不受限时,steiner树就是prim算法的最小生成树,而在时延受限的情况下,算法在给定目的节点集后,通过改变费用与时延的加权参数逼近最优解。通过现有算法的算例指出了现有算法的多播路由树构造中的问题,使steiner树的最优性得到保障,实验模拟表明该算法在构造多播树在优化和效率上都有了明显的提高。     

基于求精的软件体系结构设计方法

分析了当前软件体系结构研究对软件开发支持存在的不足，将软件体系结构求精技术引入大型复杂系统软件体系结构设计与开发过程中，结合抽象层次和层次视图，提出了一个基于求精的软件体系结构设计方法——ARSADM，给出了其关键步骤和过程，用于指导软件体系结构的正确设计。     

岩滩水电站扩建工程地下厂房开挖难点及对策

大型洞室及不良地质地段洞室开挖利用矿山法分割式开挖理论,一般洞室开挖利用新奥法理论,在工程实践中得以广泛应用。针对新奥法提出的＂并通过对围岩和支护的量测、监控来指导隧道施工和地下工程设计施工的方法和原则＂在实际施工中不易做到,一是量测手段达不到,二是量测数据经计算后时间跟不上,所以施工中经验成份多一些。依据开挖与支护时间,把支护分为：超前支护（开挖前）、及时支护（一挖一支）、适时支护（开挖一段后）、随机支护（相对与系统支护）。施工中根据不同的围岩采取不同的支护时段,主要是解决开挖与支护的时间问题;结合矿山法分割理论,主要解决部位（空间）问题,二者的结合就是解决施工中的时间和空间问题,也是解决地下工程开挖中难点的理论依据。     

毛乌素沙地主要树种燃烧性研究

树种含水率、热值、灰分、着火温度等理化指标对其燃烧性起重要作用,可影响森林火灾发生难易程度、燃烧速度、强度和能量释放大小等,也是筛选防火树种的重要依据。以毛乌素沙地21种主要树种为研究对象,以各树种含水率、热值、着火温度、粗脂肪、灰分值为数据基础,利用主成分分析法进行燃烧性综合排序。研究结果：（1）乔木树种燃烧性由大到小排序为：云杉、樟子松、侧柏、油松、河北杨、杏树、合作杨、新疆杨、火炬树、刺槐;灌木树种燃烧性排序为：沙地柏、沙柳、柠条、野樱桃、花棒、沙蒿、踏郎、紫穗槐、红瑞木、水蜡、沙棘。（2）乔灌树种燃烧性排序可知,强抗火树种：新疆杨、火炬树、刺槐、紫穗槐、红瑞木、水蜡、沙棘;可抗火性树种：油松、河北杨、杏树、合作杨、野樱桃、花棒、沙蒿、踏郎;弱抗火性树种：云杉、樟子松、侧柏、沙地柏、沙柳、柠条。树种燃烧性排序可为毛乌素沙地内抗火性树种筛选提供科学依据,预防和降低该区域火灾发生频率,保护沙地内生态资源。