综合交通需求引领的城市中心区广场地下空间开发利用研究

地下空间有利于解决城市中心区交通拥堵、停车难、慢行安全等一系列交通问题,文章结合宜昌市夷陵广场和五一广场案例,优先从交通需求的角度,提出地下空间开发利用策略及方案,打破以往由商业主导城市中心区广场地下空间规划设计的常规思维,为合理开发利用城市广场地下空间提供新的思路。     

深圳回龙埔会所

<正>回龙埔会所是回龙埔地标级产业新城项目的一部分,着眼于深圳统筹区域发展的东进战略。设计团队结合当地产业生态和文化语境,以都市年轻客群为对象,塑造多元复合的体验式商业空间。室内设计正是从当代年轻人的消费心理出发,以时尚跳跃的视觉呈现、自由对接的功能分区、注重情感和直觉的氛围营造,来契合青年消费者的多元化生活方式,并将这种理念无缝贯穿到会所各空间。     

利达物资管理系统的设计与实现

随着计算机网络技术的高速发展,计算机应用的普及,利用计算机系统对企业的物资进行管理成为一种必然的趋势。利达物资管理系统是利用Web技术开发的基于B/S架构的物资管理系统,系统采用SQL Server2005作为后台数据库。基于网络的物资管理应用软件不仅使以上的希望变成了可能,而且能间接地减少无谓的库存积压,降低出错的概率,降低企业的管理成本,提高了企业的经济效益。     

面向软件错误定位的测试用例约简技术综述

在整个软件开发周期中,软件测试占软件开发和维护成本的一半以上,而软件错误定位是一个最困难,最耗时的任务。错误定位技术以定位软件中的错误代码为目的,通过在待测程序上运行合适的测试用例的基础上,分析并定位错误语句。由于错误定位的精度高度依赖于选择的测试用例,测试用例的数量和质量是决定错误定位的成本和有效性的关键因素,因此,面向错误定位选择有效的测试用例,不仅有助于分析软件错误产生的原因,还能极大地提高软件错误定位的效率。首先对面向错误定位的测试用例约简方法进行了分类,并对各类测试用例约简方法进行了分析和总结,进而指出了其中存在的问题和未来的研究方向。     

钨冶炼溶液体系的非均匀化规律研究

研究了钨冶炼中钨酸钠溶液、钨酸铵溶液、解吸剂溶液三种溶液体系的非均匀化规律。结果表明,WO24-较Cl-的非均匀化程度大,且溶液体系的非均匀化速率均呈现先上升后下降的趋势,摩尔质量较小的OH-非均匀化现象并不明显。分析指出,WO24-、Cl-和OH-的摩尔质量/离子半径比越大,其溶液的非均匀化程度也越大;粘度大的溶液非均匀化速率较慢。     

计及动态氢价和不确定性的区域综合能源系统规划-运行两阶段优化

综合能源系统对提高能源利用率、推进能源转型和节能减排具有重要意义。随着可再生能源大规模接入和电、氢、热等能源需求多样化,综合能源系统面临供需侧的多重不确定性。因此,提出一种计及动态氢价和不确定性的区域综合能源系统规划-运行两阶段优化方法。首先,提出了一种具有实际物理意义的非线性动态氢定价机制,实现售氢价随可再生能源占比动态变化,以促进可再生能源发电制氢。随后,将该机制引入规划-运行两阶段协同优化过程中,通过配置合理的设备容量和制定经济的运行计划,最小化系统建设及运行成本。同时,基于模糊机会约束规划方法描述可再生能源出力及负荷需求的不确定性,以增强系统稳健性。最后,通过算例仿真验证所提优化模型及方法的有效性。     

饮水机智能温度控制系统——系统软件实现

现在的水温控制系统多采用模拟温度传感器、A/D转换器及单片机组成的传输系统。这种系统安装复杂,成本也高不说,它的反复加热系统对我们的饮水质量也大打折扣,本文针对AT89C51单片机为控制核心,采用典型大惯性的PID闭环控制装置,自动控温,使其保持温度恒定。     

面向错误定位的基于分支聚类的测试用例选择方法

已有的面向错误定位的测试用例选择方法大多数仅考虑了测试用例的语句覆盖信息,不能为错误定位选择合适的测试用例,从而导致不能有效提高错误定位的准确性.针对这一问题,提出了一种新的测试用例选择方法.文中方法分析了测试用例的执行路径信息,根据测试用例动态执行时的分支特征,采用分支聚类方法对测试用例进行选择.实验表明,提出的方法可以有效减少测试用例数量,降低错误定位的复杂度,并提高错误定位的准确性.     

一种新的过程间静态切片快速算法

针对传统的基于PDG、SDG的程序切片算法需要计算与程序切片无关的数据依赖而导致计算复杂度高的问题,提出一种新的过程间静态切片快速算法.该算法无需使用PDG、SDG的程序中间表示形式,而是根据TOKEN序列和复合语句控制结构信息表,将程序表示为id UCf五元结构,并在此基础上计算程序的过程间静态切片.实验结果表明,该算法在保证多层嵌套结构程序的静态切片完整性的前提下,充分考虑了函数调用信息,降低了时间与空间复杂度.本算法只计算与切片相关的数据依赖、控制依赖以及函数调用信息,计算复杂度低.     

结合用例约简与联合依赖概率建模的错误定位

现有的测试用例约简方法不能有效提高错误定位精度,现有的软件错误定位方法不能充分分析元素间的依赖关系.针对以上问题,提出结合测试用例约简和联合依赖概率建模的软件错误自动定位方法,将测试用例约简与软件错误定位统一为一个整体.不同于一般的测试用例约简方法,所提出的测试用例约简方法在程序执行路径的基础上充分考虑了错误测试用例对错误定位的影响,能够为错误定位提供有效的测试用例,为快速、准确地定位软件错误奠定基础.定义了一种新的统计模型——联合依赖概率模型,充分分析了程序元素间的控制依赖、数据依赖以及语句执行状态,并提出基于联合依赖概率模型的错误自动定位方法.通过计算联合依赖关系的可疑度,对可疑节点进行排序,准确定位错误语句.实验结果表明：与SBI,SOBER,Tarantula,SF和RankCP方法相比,该算法可以更加有效地定位软件错误.