摘要：针对当前PDDL开发存在的编辑复杂和文本可读性差等问题,设计一个图形化PDDL在线编辑工具和相应的编译系统Graph Compiler。Graph Compiler结合领域专用编译技术和ChatGPT模型,实现从自然语言到图形化PDDL的自动化生成。系统支持编译不同版本的PDDL语言,提供相应版本的语法分析,将PDDL规划结果转换为ROS的话题消息,为机器人行动提供具体的动作指令。实验结果表明,Graph Compiler在多届IPC的多版本PDDL测试用例上,编译成功率达到100%;也可以应用在ROS项目中,通过具体的动作序列指导机器人行动。

摘要：同时多线程(simultaneous multi-threading,SMT)技术是提升线程级并行度的重要微架构优化技术之一,SMT技术能够在1个物理核上实现2个逻辑核,提升处理器的整体性能.然而,以共享执行端口为代表的SMT环境下特有的时间侧信道安全问题也陆续出现.提出了一种基于动态资源使用策略的SMT环境下执行端口时间侧信道攻击防护方法,基于SMT技术对数据结构资源的不同处理方式设计动态策略调整算法,通过改进处理器端口绑定及调度选择算法以防护SMT环境下执行端口时间侧信道攻击.防护设计实现了端口冲突矩阵、分支过滤器和动态资源使用策略修改器3个组件,该方法在防护有效性上可以达到关闭SMT技术的防护效果且性能开销大大降低,同时硬件开销可控,具有较高的应用价值.

摘要：为满足海量空间科学数据对高速存储的需求,设计一种星载同步NAND FLASH存储控制器。通过对星载存储系统吞吐率影响因素的分析,提出采用具有同步数据接口的NAND FLASH存储器件、在存储阵列之间引入八级流水操作、对NAND FLASH数据总线进行并行扩展的设计方案,对存储控制器的软硬件进行设计。实验结果表明,该设计能够有效提升星载存储系统的吞吐率,设计中的功能模块化及接口标准化有利于系统进一步灵活扩展。

摘要：基于SiC衬底的0.25μm GaN HEMT工艺,设计了一款X～Ku波段宽带1W驱动放大器单片微波集成电路。设计使用了一种有源器件的大信号输出阻抗的等效RC模型验证了GaN HEMT工艺模型的准确性,并获得了不同尺寸的GaN HEMT的大信号输出阻抗。第一级管芯采用负反馈结构,降低匹配网络的Q值,通过带通匹配网络拓扑,实现了宽带匹配。测试结果表明,在28V的工作电压下,8～18GHz的频率内驱动放大器实现了输出功率大于30dBm,功率附加效率大于21%,功率增益大于15dB。芯片尺寸为:2.20mm×1.45mm。该芯片电路具有频带宽、效率高、尺寸小的特点,主要用于毫米波收发组件、无线通讯等领域,具有广泛的应用前景。

摘要：基于FLASH的存储系统复写旧数据时需要通过地址映射层(flash translation layer,FTL)分配新的写入地址,因此旧的数据在一段时间内仍存在于系统中,在这样的系统上实现连续数据保护(continuous data protection,CDP),只需找到旧的映射信息,不需额外保存数据的更新信息。利用FLASH的带外区(out of band,OOB)记录时间戳,在FTL的映射项中增加时间戳信息,在不跟踪映射表每次更新的情况下,达到数据快速恢复的目的。该方法降低了对存储系统性能的影响,实现了快速的数据恢复响应。

摘要：针对数据共享时的隐私安全问题,提出一种基于区块链的可信数据共享方案。将星际文件系统和区块链技术结合,在可靠存储数据的同时降低区块链的存储负担。基于高级加密标准和密文策略属性基加密技术,提出双阶段数据访问控制机制,通过设置访问策略限定数据共享范围。利用智能合约对数据进行全生命周期管理,提高数据共享效率。对方案进行性能测试和安全性分析,实验结果表明,所提方案具有可行性,能够有效保护数据隐私安全。

摘要：为在使用鱼眼镜头得到大视野图像的同时得到正常的视觉效果,研究鱼眼镜头的成像模型及内外参数的标定过程。相比常用的标定算法,采用基于镜头模型的标定方法;针对Davide Scaramuzza提出的全方位相机标定工具箱,指出其不足之处,对角点坐标的精度、标定系数矩阵稳定性和角点范围随意性三方面进行优化和提高;根据标定结果对鱼眼畸变图像进行畸变校正,得到正常视觉的平面图。实验结果表明,优化后的方法实现简单、鲁棒性强、结果准确。

摘要：实现众多物理应用之间的互联是建立物联网的基本方法.然而,如何设计一种有效的架构指导物理应用的水平化互联是目前物联网研究领域尚未解决的问题之一.针对该架构设计问题,提出了一种支持物理应用水平化互联的物理模型驱动的物联网软件体系结构(PMDA).PMDA由3个模型组成,分别是物理模型、感执模型和应用模型.模型之间以及模型内的组件之间通过连接器进行连接与交互,模型或组件在交互时需要满足一定的约束条件.通过体系结构描述语言Wright对PMDA中的3个模型的组成以及模型之间的交互进行了形式化描述.通过一种形式化验证工具PAT验证了用Wright描述的PMDA可以保证水平化互联起来的物理应用的有效性,即不存在死锁、发散和中止这3个影响物理应用有效互联的性质.基于PAT的验证结果,通过数学归纳法证明了根据PMDA开发的物联网应用系统在交互时不存在死锁、发散和中止的情形.

摘要：为满足工业控制网络中具有不同实时性和精度的混合关键性业务传输需求,提出一种基于松弛因子的传输调度算法。通过对网络中的每个业务设置一个松弛因子并对其进行改变,确定是否传输有不同实时性和精度需求的业务,在保证高混合关键性业务传输的同时,尽可能满足更多较低关键性业务的传输需求。通过在天津石化部署的基于WIA-PA的无线数据远程监测与能源管理系统对算法性能进行测试,验证了该算法的可行性。

摘要：涡旋电磁波具有携带轨道角动量的特性,利用这一特性,采用涡旋电磁波作为信号的载体,可以实现同一时间、同一频段的多路信号传输,极大地提高系统容量和频带利用率。以同轴馈电的半圆型开槽微带天线为单元,设计出了一种能工作在Ku波段和K波段的涡旋电磁阵列天线。使用三维电磁场仿真软件建模并且优化参数,最终得到在中心频率分别为17.1GHz和19.7GHz时,阵列天线产生的电磁波携带有轨道角动量。结论表明:该阵列天线能够产生双频涡旋电磁波。