摘要：针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法.基于协议的描述设计了变异算子,然后对一致性公式集进行变异分析,从而得到安全变异项集.将变异项转换为实际的安全测试例集,并描述由此进行的协议安全测试步骤.测试实践表明,所提方法能与一致性测试良好地结合,在一定程度上覆盖已知安全漏洞,并具有发现潜在问题的能力.

摘要：《南山南》是民谣组织麻油叶创始人马的代表作,既有青春气息,又有浓厚的怀旧意义。翻唱作为一种有价值的文化再生产,助力了老歌新传播,赋予它新的时代内涵和生活气息。《南山南》运用意识流方式写作,追忆似水流年,表达着复杂多变的心绪和惆怅感情,迎合了大众共通情感。校园学子争相翻唱《南山南》,表现出高雅文化与通俗文化同歌,保守文化与时尚文化共吟,精英文化与大众文化合奏的品格。

摘要：广告语言论衡姚锡远，陈伟琳一、引论１、广告语言近年来，随着社会主义市场经济的迅猛发展，我国的商品广告热消然兴起。广播、电视、报纸、杂志及至大街小巷、楼前路边，五彩缤纷的广告令人目不暇给。广告业的兴起与一个国家的经济发展密切相关。广告是商品信息的媒介，...

摘要：新世纪以来台湾流行音乐文化产业发展的研究,集中于对台湾流行音乐文化的通俗性、大众性、时尚性、新奇性的理论探讨,对不同历史时期流行音乐文化产业发展与流行歌曲、演唱家、词曲创作家的文化思想的关联考察等方面,取得了一定的成绩。但对流行音乐产业发展的商品性、参与性、娱乐性、即兴性等研究仍显得薄弱,研究格局甚不平衡,留有许多空白点。新世纪以来台湾流行音乐文化产业的研究,应在现有的基础上进一步拓展研究空间。

摘要：话语传意就是用适当的言语形式将内在的思想感情外化的过程。师范生的语言素质可以从教学语言、教育语言和交际语言三个方面加以培养。我们把培养目标概括为三个统一： 教学语言达到规范性和艺术性的统一， 教育语言达到说理性与动情性的统一， 交际语言达到灵活性和文明性的统一。

摘要：本文提出了一种新的液膜蒸发强化传热表面形式即波汶丝网换热表面，在对热网结构尺寸进行了多种改变后，通过对其传热和流动规律研究发现合适的结构优化，瘵针使其性能优于其它网类传传热表面。

摘要：单一空间的多元活化,不失为解决盘活存量资产的一种设计策略,有机共生的城市更新是新时代既有片区发展的目标,绿色低碳是城市更新的方向。

摘要：针对离线的无人机(UAV)基站飞行路线设计无法满足随机的、动态的地面用户通信请求难题,该文研究了飞行路线在线优化设计算法。考虑单个无人机空中基站为两个地面用户提供无线通信服务,通过在线实时优化无人机的飞行路线实现最小化与地面用户的平均通信时延。首先,由于系统的无人机的状态和动作是连续的,将问题转化成一个马尔可夫决策过程(MDP);然后,把单次通信时延引入到动作价值函数中;最后分别采用强化学习中蒙特卡罗和Q-Learning算法来实现无人机的飞行路线在线优化。仿真结果表明,所提出的在线优化的平均时延性能优于"固定位置"和"贪婪算法"的时延计算结果。

摘要：《中医药发展战略规划纲要(2016—2030年)》指出,大力推行中医药特色文化,坚持中医药原创思维;大力发展中医养生保健服务,推动中医药进校园、进社区、进乡村、进家庭。为让中医药产品给人民健康服务带来方便,该团队深研中医药文化,经过不断研发以及产品的构思,基于人性化的理念设计出一种具有调节功能中药保健头枕。同时预计进行批量生产,借此产品的推行,提升中医药健康服务能力,对经济社会发展作出应用贡献。

摘要：上海轨道交通3号线自动售检票系统的"一票换乘"改造工程于2005年成功完成。描述改造国外引进自动售检票系统的实践过程,包括把纸质磁票改为上海轨道交通"一票换乘"网络化运营的IC车票,搭建临时系统、分区过渡,统一切换上线和后续调整等技术方案设计、规划和实践,突破了原系统的一些技术瓶颈,不仅保证了改造后系统的先进性,而且还使整个系统的性能有了很大的提高。