摘要：无人驾驶系统综合了软件和硬件复杂的交互过程,在系统设计阶段,形式化方法可以保证系统满足逻辑规约和安全需求;在系统运行阶段,深度强化学习被广泛应用于无人驾驶系统决策中.然而,在面对没有经验的场景和复杂决策任务时,基于黑盒的深度强化学习系统并不能保证系统的安全性和复杂任务奖励函数设置的可解释性.为此提出了一种形式化时空同步约束制导的安全强化学习方法.首先,提出了一种形式化时空同步约束规约语言,接近自然语言的安全需求规约使奖励函数的设置更具有解释性.其次,展示了时空同步自动机和状态动作空间迁移系统,保证强化学习的状态行为策略更加安全.然后,提出了结合形式化时空约束制导的安全强化学习方法.最后,通过无人驾驶汽车在高速场景变道超车的案例,验证所提方法的有效性.

摘要：开发海上风能是实现我国碳达峰、碳中和“3060”目标的重要举措.海上风电的大型化是降本增效的主要途径,已成为近年来的发展趋势.目前海上风电基础结构设计标准由欧洲领衔;区别于欧洲的海洋环境与地质条件,我国海上风电结构面临强台风、软弱土等挑战,极易发生动力灾变,大型化可能进一步加剧风电结构灾变风险.防灾降载的关键在于深入理解海上风电相关的空气动力学、水动力学、结构动力学、土动力学等的一体化耦合与智能控制.本文围绕台风环境风机动力灾变与控制相关领域的交叉力学问题,结合笔者团队近年研究成果,较为详细地评述了国内外最新研究进展情况,主要包括:台风风场及其诱发的波浪场工程尺度性状,台风环境中风机气动、水动载荷及智能控制策略,风浪流多向载荷联合作用下基础失效模式与结构灾变机制,以及考虑风浪流-结构-基础-海床-风机控制耦合作用的一体化分析设计方法.在此基础上,建议了我国海上风电大型化进程中仍有待突破的研究重点:需更深入掌握台风风场工程尺度性状、台风和台风浪载荷特性,需探索台风环境中的风机控制策略,亟需建立台风环境中大型海上风电整机一体化设计理论并开发国产化工业软件.上述相关领域的突破,对于我国实现海上风能产业的全球引领,具有重要的科学意义和工程应用价值.

摘要：基于药物设计的生物电子等排和拼合原理,设计、合成了一系列川芎嗪/查耳酮类杂合物(2~26),以期得到活性较强的抗血小板聚集药物。结果表明,目标化合物对二磷酸腺苷(ADP)和花生四烯酸(AA)诱导的血小板聚集均显示不同程度的抑制,其中化合物8活性最强,对ADP诱导的血小板聚集的抑制作用(IC_(50)=0.14 mmol/L)是川芎嗪的9.1倍,查耳酮的10.5倍;对AA诱导的血小板聚集的抑制作用(IC_(50)=0.09 mmol/L)是川芎嗪的8.8倍,查耳酮的10.0倍,且略优于阿司匹林(IC_(50)=0.15 mmol/L)。

摘要：引言随着互联网技术和信息通讯技术向普通家庭生活的不断普及，如何将消费电子、计算机和通讯融为一体，已成为人们非常关心的一个问题。智能家电网络管理系统能够实现家用电器的网络化、智能化管理。通过该系统将家中的网络电器与互联网和GPRS网络相连，这样无论何时何地，用户都可以通过该系统远程操纵家用电器。本文主要讨论智能家居远程控制系统的设计与实现。

摘要：随着互联网技术和信息通信技术向普通家庭生活的不断普及，如何将消费电子、计算机和通信融为一体，已成为人们非常关心的一个问题。智能家电网络管理系统能够实现家用电器的网络化、智能化管理。通过该系统将家中的网络电器与互联网和GPRS网络相连，这样无论何时何地，用户都可以通过该系统远程操纵家用电器。本文主要讨论智能家居远程控制系统的设计与实现。

摘要：台州市地处浙江东南部，自然环境临山面海，台风、暴雨、泥石流等一些极端性气候引发的自然灾害时有发生；伴随着经济社会的快速发展，同一时期内安全生产事故、交通事故、公共卫生事件等突发事件经常呈现耦合性、次生性，对应急管理工作提出了严峻挑战。

摘要：地层孢粉数据是古植被和古气候重建等古环境研究的重要基础。孢粉数据库推动古环境研究从点到区域和全球尺度,从定性到定量,从而实现在大空间尺度和长时间序列上探索植被、气候和人类干扰的相互关系,以更好地理解地球系统的演变。该数据集整合了全国第四纪末期(5万年以来)共372个地层花粉序列,涵盖790个花粉类群,样点分布于中国30个省级行政区与领海。数据集包含地层花粉采样点的地名、经纬度坐标和海拔高度、数据来源、样品类型、沉积物长度、样品数量、测年方法及测年数量、时间跨度和参考文献,以及每个采样点的花粉含量百分比。数据主要来源于20世纪80年代至今。采样点集中分布在温带和亚热带森林、温带草原和荒漠以及青藏高原高寒植被区域;在深海到青藏高原不同海拔高度都有分布,但集中在海拔2000 m之下。按照数据来源区分,原始数据样点178个,占47.8%;数值化数据194个,占52.2%。按照样品类型分类,多数样点为湖泊样品(151个)、冲积物/洪积物样品(99个)与泥炭样品(67个),占总样点数的85.2%。年代测定的主要方法为放射性碳同位素手段(占样品总数的93.8%),大部分记录有2-10个测年数据。采样点的平均花粉类群数量是19个,以4-30个花粉类群的采样点最多。代表性花粉类群(松属(Pinus)、栎属(Quercus)、蒿属(Artemisia)、禾本科)含量的时空分布格局表明,从末次盛冰期到全新世,这些花粉科属的分布范围扩大,含量也增加,但分布区域具有分异。半个多世纪以来,孢粉学工作者建立中国大部分地区的地层花粉记录,为探究古环境演变及其气候变化、人类活动驱动机制奠定了重要的基础。