安全关键软件测试设计方法

文章依据安全关键软件测试理论,并结合以往的测试经验和实际测试工作需求,提出了一种简单实用的安全关键软件测试设计方法。本方法可以提高测试效率,更准确地发现存在的问题,极大地减少了测试时间和工作量。     

水动力作用对污染物在河流水沙两相中分配的影响研究进展

通过总结近年来有关水动力作用对河流中泥沙吸附/释放重金属、磷等污染物影响研究成果,分析了水流紊动强度和流速对污染物在河流水沙两相中分配的影响规律。当水流紊动强度较低时,泥沙主要以床沙形式存在,泥沙对污染物的吸附/释放速率和强度较低;随着紊动强度增大,水沙界面切应力随之增大并促使泥沙悬浮,污染物与悬浮泥沙颗粒接触面积增大,使得泥沙对污染物的吸附/释放速率和强度显著增加。流速对污染物在水沙两相间分配的影响较为复杂。泥沙静止时,流速的增大会减小边界层厚度,增大水体溶解氧含量、氧化还原电位等参数,并使污染物在水体里的扩散由分子扩散转变为以紊动扩散为主,增强污染物在水-沙界面的交换通量,对污染物在水沙两相间的分配产生影响;随着流速进一步增大,床沙逐渐起动、悬浮,此时除上述因素外,泥沙运动状态、悬浮颗粒间碰撞强度、悬浮物的絮凝等均会对泥沙吸附/释放污染物产生影响,由于影响因素较多,作用机制复杂,目前关于泥沙运动对污染物在水沙两相间分配的影响所得结论仍存在分歧。相应的机理研究及数学模型的建立均做了较大简化。综观当前的研究成果,水沙运动及其化学生物过程等对污染物在河流水沙两相中的分配作用机理和耗氧有机物、有毒有机物等污染物与泥沙的作用机理是这一领域的未来研究重点。     

加强桥梁施工的质量控制措施

桥梁建设,技术复杂,投资巨大,并且与经济发展息息相关。百年大计,质量第一。桥梁质量固然由多个环节的控制构成。但是,其中最关键的一环是施工质量控制,工程质量很大程度取决于此。本文阐述了桥梁工程质量控制的重要性,分析了桥梁工程常见的质量问题,并提出了加强桥梁施工质量控制的措施。     

新建高速公路沥青砼路面早期损坏分析

文章针对新建高速公路沥青砼路面早期出现的损坏,总结其出现的特征,分析其形成的原因,为寻找防治对策提供依据。     

秦淮河水质改善现场调水试验

为了探究不同水闸调度方案对秦淮河水质改善的效果,进行了洪水期、丰水期调度、枯水期调度和降雨初期雨水污染调度等典型时段调水试验。结果表明:通过合理调控闸泵可对秦淮河水质产生积极效果,上游来水、引水的质量和调度时段对于调度效果具有明显影响。     

淮河沉积物总磷和重金属沿程变化及污染评价

为了探究淮河沉积物中污染物的分布规律、来源及污染程度,于2014年7月沿淮河中下游设置16个采样断面,现场采样并检测沉积物中总磷(TP)质量比和重金属(As、Cu、Pb、Cd、Zn)的质量比,分析沉积物中污染物的沿程分布及来源并对污染状况进行评价。研究结果表明,淮河中下游沿程各城市下游断面沉积物中污染物平均含量比上游断面高;污染物来源分析表明,所有污染物均受到点源污染的影响,其中TP和Cu受到点源污染和面源污染的共同影响;单因子标准指数法对沉积物磷污染评价结果表明,淮河干流沉积物环境质量受磷的污染相对较轻;对重金属潜在生态危害程度分析表明,无论是单个重金属的生态危害程度还是综合生态危害程度都为轻微。     

定性组合建模技术研究与实现

自动建模是定性仿真领域新的研究方向，其目标是寻求自动创建定性模型的有效方法。针对这一目标，提出了面向对象的组合建模技术思想，使用对象描述模型知识；提出模型饭设的分层描述机制，并建立了模型片断库的结构模型；在模型假设研究的基础上，提出基于关联推理的组合建模算法；此外，建立了组合建模与仿真的框架模型，实现了相关的建模与仿真算法。     

在线考试组卷算法研究

针对网络化教学的需求，文中提出了一个在线考试系统，为了使生成的试卷更客观、科学、和有区分度，文中首先讨论了组卷原则，并围绕这组组卷原则，提出了一个结构合理的试题库和自动组卷算法，提出了一套合理的组卷参数，从而实现了一个自动化试卷生成及考试系统。该系统已嵌入到学校的网络教学系统中，运行良好。     

湖南居民省内旅游流网络结构特征分析

由于统计数据的限制,国内旅游流网络结构的研究相对较少,且样本量有限,很难全面反映旅游流网络结构特征及其季节变化.采用样本量更大、时间分辨率更高的网络关注度数据,利用社会网络分析等方法,揭示湖南居民省内旅游流网络结构特征及其季节变化,考察各市州在整个网络中的作用.结果发现:①14个市州共有182条旅游流,流量较大的旅游流一般都发生在经济发展水平较高、人口较多、旅游资源丰富的城市之间,旅游流呈东西多、南北少的特点,有明显的区域特征;②湖南居民省内旅游流网络的关联度为0.99,旅游流网络非常稳健,但联系强度相对较弱;经济发达、旅游资源比较丰富的市州往往处于核心区,对其他城市具有控制作用,核心区各市州旅游流密集,边缘区相对独立.利用块模型将14个城市划分为4个板块,发现板块之间都保持着或弱或强的联系,第一板块整体的输出与引入关系较其他板块发展更完整,在整个网络中起着重要作用;③各市州旅游流的输出与引入、网络整体密度、度数中心势、中间中心势,以及各城市中心度均有明显的季节变化.湖南省旅游流网络虽然稳健,但联系强度相对较弱,且季节性变化明显,各市州需在提升自身经济发展水平的同时,进一步加强旅游资源开发与区域旅游合作,从而提高各市州间的旅游流联系,促进区域旅游的发展.     

平原河流水沙动力学若干研究进展与工程治理实践

综述了河海大学在平原河流水沙动力学问题及河道整治技术创新与实践方面的研究成果,包括含植物水流、沙波床面水沙运动、潜流交换、河网交汇流、桥墩防冲、闸下防淤等基础理论、复杂河网水沙运动模拟与多目标水力调控技术,以及上述理论方法在解决长江、淮河、珠江等流域多个大中型复杂河网防洪、排涝、水运、环境等诸多实际问题中的应用,展望了我国平原河流治理今后需重点关注的问题。