从测试规格说明到测试用例的自动生成方法

讨论了使用域测试策略生成测试用例的过程 :将测试规格说明 ,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词 ,变换成不等式组 ,然后对每一个不等式组利用 1× 1域测试策略生成域测试矩阵 ,最终得到测试用例包 .提出了一种应用 1× 1域测试策略和线性不等式值转换器来构成一个从测试规格说明生成测试用例的方法 .最后通过一个实例说明如何使用 1× 1域测试策略来实现从测试规格说明到测试用例的自动生成 .     

高层民用建筑中消防水泵的选型

随着我国经济的迅速发展 ,高层建筑如雨后春笋般地屹立在各大、中、小城市。在高层民用建筑中 ,由于建筑功能复杂 ,火灾隐患多 ,一旦失火 ,火势猛烈 ,蔓延迅速 ,扑救难度大 ,人员疏散也较困难 ,造成后果极为严重 ,因此 ,消防给水系统包括消火栓给水系统和自动喷水灭火系统必须在高层民用建筑中设置。作为消防给水系统的核心装置 ,主要供水设施———消防水泵的选用是否得当 ,是能否有效地扑灭火灾的关键。笔者根据多年的工程设计经验的体会 ,就消防水泵的设计提出一些观点 ,以求讨论。1　水泵特性曲线的选型我国消防给水工程设计一般都采用给水泵作为消防水泵 ,通用型给水泵按其特性曲线形式分为三种 :陡降型、峰值型及平缓型。　　为了防止管网中产生过高的超压 ,在选择消防水泵时 ,应注意水泵的特性曲线。根据国外经验 ,消防水泵的特性曲线应当是在额定扬程时 ,出水流量达到额定流量 ,当阀门完全关闭 ,出水流量为 0时 ,其静扬程应不大于额定流量时扬程的 14 0 %。而当水泵出水流量为 15 0 %额定流量时 ,其扬程不应跌至额定流量时扬程的 65 %以下。我国《消防给水系统固定式消防泵组通用技术条件》中也规定在 5 0～ 16...     

一种基于宏启发搜索策略的神经网络学习算法

神经网络的学习是全局优化问题，Ｔａｂｕ搜索是一种非常有效的求解全局优化问题的宏启发搜索策略，文章根据Ｔａｂｕ思想和松弛原理，提出了一种多层网络学习算法。初步实验表明该方法是有效和快速的。     

下卧式井塔的设计与应用

设计煤矿井塔时,当对建筑物的高度有限制,不能按井塔的常规设计高度进行设计,因此设计出下卧式井塔,用以解决对井塔高度。本文为此种情况主井井塔的设计提供具体的参考数据,为进一步研究提供一个依据。     

岩溶地质冲孔灌注桩成孔技术

本文总结利用冲击成孔通过不同形态岩溶地质时所采取回填片石粘土、回填混凝土、大小钢护筒跟进、孔底注浆等技术。采用不同的施工方法、工艺参数及质量通病防治措施,为类似工程施工提供借鉴。     

新型气流筛分装置

对粉体加工技术中的重要环节——分级技术作了较为细致的分析，结合分级和筛分技术的优点，提出组合分级概念，并由此研制出有导流器的新型筛分装置，提出工业化生产流程。     

维特根斯坦《逻辑哲学论》中的"指号"和"符号"

符号是有指称方式的指号.指号的指称方式就是指号的运用--逻辑句法的运用,因而抽象地说,符号就是逻辑句法.意义对符号(简单指号或命题)或逻辑句法来说无关宏旨.符号与形式或逻辑句法的一致性决定了无意义的命题只是错误的命题,我们实际上并不能表征逻辑上无意义的命题.     

稻田养殖青虾技术

稻田选择及田间工程区设选择土壤肥沃、保水性能强、进排水方便的田块。选用茎杆坚硬、耐肥抗倒、抗病虫力强的水稻品种。沿田埂内侧距埂2～3m处挖宽4～6m、深0．8～1m的环形虾沟，并利用其中一段虾沟加宽加深，挖成宽9m、深1．5m的暂养池。虾沟、暂养地占稻田总面积15％～20％，同时建好过排水系，进水口用密跟网封好，严防进水时把敌害生物带入，排水口基部要夯实。放养前20天，用生石灰对虾沟消毒。每亩施畜粪肥800～1000kg，培肥水质。苗种放养苗种可专池培育，也可直接在稻田中就地培育。就地培育的方法是：利用一段虾沟或暂养地，用密…     

日光温室早春黄瓜管理

早春黄瓜管理的关键是协调好营养生长与生殖生长的关系，既保证植株健壮生长，能制造大量养分供开花结果需要，又不会使生殖生长过旺而产生“瓜压秧”现象。为此，目光温室早春黄瓜应抓好以下几方面的管理。l调节好温湿度首先是调节好温度。白天室内温度应控制在22－28℃，超过28℃要及时开天窗放顶风。晚上盖草帝时间按当天气温高低灵活掌握。如温度高可适当晚盖，即在室内半夜温度降至16－18T时再盖草帘，清晨可逐渐降至13－10℃。这样的昼夜温差有利于养分积累及雌花的形成和黄瓜的膨大，瓜秧也不至于旺长。若天气晴朗，温度过高，晚间…     

LibQUAL＋TM——以用户为中心的图书馆服务质量评价体系

阐述了以用户为中心的图书馆服务质量评价体系——LibQUAL＋TM的产生过程及内容构成，探讨了其在国内图书馆服务质量评价中的实际应用与现实指导意义。