一种微博热点事件子话题的可视分析方法

如何从海量微博数据中挖掘出有意义的信息,理解热点事件发生的全过程,并发现其中的拐点事件,显得越来越重要.传统的单一依靠词频的方法缺乏对子话题的抽象描述,因此存在一定的局限性.为此结合主题提取和词频统计的技术,提出了一种交互式可视分析方法,对热点事件子话题的演化过程进行不同粒度的展示;再通过比较相邻时间区间子话题词分布的变化,发现关于某些子话题的拐点事件,进而利用词项共现图在微博原文中找到具体信息.这里,用户可以在交互过程中发现最优的参数配置,从而更加有效地分析拐点事件,并理解热点事件发生的全过程.在真实的数据集上进行了实验,并与传统的基于词频的方法和基于主题变化趋势的方法做比较,结果验证了该方法的有效性.

一种新的时段演算及其验证

在Pandya提出的CTL*[DC]逻辑的基础上,对其语法和语义进行扩展,并对路径长度进行限制,定义了一个新的逻辑CTL*[k-QDDC],它可应用于实时系统的描述和验证.给出了在Kripke结构中直接验证CTL*[k-QDDC]逻辑公式在某状态是否成真的基本算法.在某些假设下,也证明了CTL*[k-QDDC]中的某个逻辑运算符的验证问题是NP完全的,这就说明CTL*[k-QDDC]的验证问题至少是NP难的.

车内屏幕汉字显示的易读性探索—最小字号与最多字数

目前,国内在车载信息显示中文标准上存在部分空缺,有3个相关安全标准需要探索和建立:(1)驾驶员在座舱中能够阅读的最小字符高度;(2)驾驶员在单次信息提示中能接受的最多字数;(3)驾驶员在完成一次驾驶次任务时所能阅读的字数总和。制定了128人次的试验设计方案,搭建了试验间并完成了3类试验,试验结论为:(1)车载文字最小字符高度视线夹角不小于16′;(2)车载文字单次消息提示不超过12个字;(3)完成单次任务消息提示总量不超过30个字。

基于语义三角形的自然人机交互模型

随着认知科学与移动计算技术的发展与应用,如何构建与评估自然用户界面成为越来越重要的问题.为此,本文在分析了自然人机交互主要特征的基础上,指出了自然语言的使用及其语义理解的重要性,借用语言学的语义三角形模型,提出了基于语义三角形的自然人机交互模型.该模型诠释了自然人机交互场景下,人与计算机之间信息流转与理解过程.最后,基于该模型给出了自然性、连续性和易学性3个评估要素的评估思路.

文化和旅游部扎实推进节能降碳

深入推进节约型公共机构示范单位创建。坚持点面结合、示范带动,深入开展节约型示范单位创建和能效领跑者遴选工作“十四五”时期是实现碳达峰碳中和的关键期,公共机构作为能源资源节约的重点部门,必须充分发挥示范效应,推动碳达峰碳中和目标如期完成。“十三五”以来,文化和旅游部坚持以习近平新时代中国特色社会主义思想为指导,认真贯彻落实新发展理念,加强组织领导,健全体制机制,完善制度标准,推进示范创建,广泛开展宣传培训,公共机构节能工作取得明显成效。