摘要：南阳古镇是山东省具有代表性的岛屿型运河聚落,在大运河国家文化公园建设推进下,南阳古镇传统地景空间的文脉传承、保护发展具有重大意义。通过梳理古籍舆图阐述南阳古镇历史沿革,从区域环境、聚落形态、阡陌交通、景观节点四方面切入,系统概括了南阳古镇地景空间构成及其表征,进一步揭示了运河水利影响下治水、营城及生活的营建智慧,以期为大运河山东段运河聚落建设及运河文化传承提供一定的理论基础。

摘要：随着人们生活水平、审美水平的不断提升,社会各界对艺术设计的认识程度也不断加深,对相关人才的需求量也显著增加,这在不同层面为设计行业的进一步发展提供了有力支持。在此背景下,色彩设计也逐渐渗透到艺术、平面和产品设计等各个领域,充分突显出了设计的独特之处。对此,各高职艺术设计专业的相关教师应给予足够重视并进行深入研究。

摘要：随着我国经济的快速发展,社会对人才的要求也越来越高,学生要在毕业后找到一份好的工作,单单靠专业知识水平是不够的,艺术设计与能力是提高学生综合素质的关键性因素,很多高校在教学中也越来越重视开展学生艺术设计教育,提高学生能力,以适应社会需求。目前,我国在高校艺术设计教学和对学生能力培养上还存在一些问题,本文结合当前一些高校艺术设计教学的现状与问题、在培养学生能力过程中使用的教学模式等方面进行分析,谈谈该如何更好地发展高校艺术设计教育与促进学生能力的培养。

摘要：嵌入式系统概论是嵌入式系统专业重要的专业基础课,是一门理论与实践相结合的应用性课程,既覆盖嵌入式系统的基础理论,又覆盖嵌入式系统的设计实践方法,对培养和训练学生充分认识、理解并设计实现嵌入式系统起着重要的作用。本文结合教学实践,从教学内容、实践内容、教学方法、教学效果评价体制等方面提出对嵌入式系统概论课程教学改革的探讨。通过这些方面的改革,增强了学生学习嵌入式系统概论的主动性和积极性,提高了教师教学水平。

摘要：SDN(software-definednetwork)旨在解决架构复杂且分散的传统网络出现的问题,使网络具有更强的灵活性.P4编程语言的特征在于用户可以直接根据自己对处理数据包的需求定义P4程序,然后经过编译过程,生成适配文件将用户需求配置到网络设备.面向P4编程语言的SDN数据平面一致性测试,是将一致性测试用例发送给P4网络设备,评估实际输出和预期输出的一致程度.一致性测试用例是执行一致性测试的载体,而传统的人工构造测试用例是一项繁琐耗时费力的工作.重点分析了面向P4编程语言的SDN数据平面软件一致性测试用例设计原则和生成方法,给出了一致性测试用例覆盖标准,设计了命令信息实体结构和测试用例实体结构,以装载P4程序的simpleswitch虚拟交换机为测试对象,说明一致性测试用例生成过程,实现了一个用于P4网络设备一致性测试的测试用例自动生成工具,并验证了该工具自动生成测试用例的有效性,实现了一致性测试用例构造过程简易性.

摘要：针对人脸识别中的光照变化问题,利用随机投影对传统稀疏表示分类器进行改进,提出一种基于随机投影与加权稀疏表示残差的光照鲁棒人脸识别方法。通过对人脸图像进行光照规范化处理,尽量消除人脸图像上的恶劣光照,取得经光照校正的人脸样本后进行多次随机空间投影,进一步丰富样本的光照不变特征,以减小光照变化对人脸识别带来的影响。在此基础上,对利用单一残差分类的传统稀疏表示分类方法进行改进,样本经过多次随机投影和稀疏表示会产生多个样本特征和重构残差,利用样本特征的能量来确定各个重构残差的融合权值,最终得到一种稳定性和可靠性更强的加权残差。在Yale B和CMU PIE两个光照变化较大的人脸库上的实验结果表明,改进的方法具有较强的光照鲁棒性。与传统稀疏表示方法相比,本文提出的方法在Yale B人脸库上两组实验的平均识别率分别提高了25.76%和46.39%,在CMU PIE上的平均识别率提高了10%左右。

摘要：随着社会的进步,时代的变迁,学科的素质化教育逐渐推行,基于这一背景,高职美术教育中要培养学生的创新力,则可以使用互联网这一媒介,它是一种最有效的方法。在学科核心素养化的大环境下,互联网的教学方式要求老师随着内容的改变而改变,使课堂更加生动,充分把学生的创作激情激发出来,保持创新力并将创新的思维方式延伸至其他地方,这样就能慢慢提高学生的创新能力。

摘要：数据中心租户使用的遗留设备中仍存在没有实现显式拥塞通知ECN的情况,导致数据中心网络中存在ECN流抢占非ECN流带宽资源的不公平现象。虚拟拥塞控制方法通过修改数据包接收窗口字段进行拥塞控制,改善了上述不公平现象。从租户主机数目、带宽需求、网络拥塞程度、拥塞控制算法等四个角度出发,建立对应的符合数据中心租户带宽特征的仿真场景,通过仿真实验分析虚拟拥塞控制方法在上述场景中的性能。结果表明:(1)虚拟拥塞控制方法的性能良好,不受租户主机个数、租户带宽差异以及网络拥塞程度的影响;(2)虚拟拥塞控制算法的性能在拥塞控制算法不同环境下的表现存在差异,当使用YeAH-TCP时解决ECN不公平性效果较差。

摘要：网络流量监测是网络管理的重要构成部分,流量监测方法对于评估整个网络的性能至关重要。本文调研分析了当前软件定义网络(Software-Defined Networking,SDN)中的流量监测方法,从以交互为中心和以计算为中心两个角度对流量监测方法进行分类。以交互为中心的方法侧重于交互,由控制器通过南向接口获取数据平面的流量信息。以计算为中心的方法侧重于数据平面,通过交换机内部的复杂计算实时获知网络流量状况。

摘要：Event-B是一种基于集合论和谓词逻辑的形式化系统语言,能够采用精化策略为系统建立逐渐精化的模型。提出了如何将Event-B应用到实际工业领域的方法,包括重写需求、建立抽象模型及逐层精化三个步骤。首先从环境、功能、性质三个主要方面重写需求,明确精化策略;然后利用形式化方法建立抽象模型并验证该模型;最后,在正确的抽象模型上按照精化策略添加需求、逐层精化,并对每层模型进行验证,基于满足需求的最后一层模型,可进一步利用工具完成代码自动生成。该方法学采用精化理论,以逐层递增的方式明确被开发系统的需求及性质,并进行形式化建模与验证,确保了模型的正确性。为了说明该方法学的可行性,以真正工业界的多应用智能卡为实例,基于Event-B方法及其工具平台Rodin给出了该方法在实际建模及验证过程中的应用。