在RISC-V双核上构建轻量级可信执行环境

1

作者 张龙 唐佳绩 +2 位作者 郑兴建 刘畅 杨峰 《信息安全研究》 北大核心 2025年第6期500-510,共11页

随着物联网技术的快速发展,资源受限的嵌入式物联网设备在信息安全方面面临的挑战尤为严峻.可信执行环境(trusted execution environment,TEE)为解决终端设备的信息安全问题提供了一种有效的途径.它通过将系统划分为安全区域和普通区域... 随着物联网技术的快速发展,资源受限的嵌入式物联网设备在信息安全方面面临的挑战尤为严峻.可信执行环境(trusted execution environment,TEE)为解决终端设备的信息安全问题提供了一种有效的途径.它通过将系统划分为安全区域和普通区域,并采用内存访问权限控制等手段,确保安全应用软件与普通应用软件的分离运行,从而有效提升了系统的整体安全性.针对安全应用软件的可信隔离运行问题,提出了一种基于RISC-V双核的轻量级TEE片上系统SoC解决方案,该方案利用物理内存保护(physical memory protection,PMP)机制实现可信隔离运行;为了阻止普通区域应用程序对安全区域资源的未授权访问,提出一种低资源占用的输入输出物理内存保护(input output physical memory protection,IOPMP)设计方案,该方案通过物理地址访问防火墙机制阻止未授权访问;同时针对安全区与普通区之间消息的高效传递的问题,提出了一种基于“消息队列+中断”机制的Mailbox通信方案.实验结果表明,该方案在硬件资源消耗方面低于同类设计,功耗仅为0.256 W,降低了14%;在TEE CPU的CoreMark测试中,得分达到了2.40CoreMark MHz,是同类设计性能的2倍. 展开更多

关键词 可信执行环境 双核SoC RISC-V PMP IOPMP mailbox

在线阅读 下载PDF 职称材料

关于新版浙江农民信箱优化提升的对策与思考

2

作者 王兵 任璐怡 +1 位作者 吴飞艳 管孝锋 《浙江农业科学》 2025年第2期518-521,共4页

浙江农民信箱自2005年建设实施以来,有效推进了信息进村入户,促进了农产品产销对接,提升了防灾抗灾预警能力,加强了各级政府与农民群众沟通,在发展现代农业、提高农业效益等方面成效显著。在数字化背景下,农民信箱诸多功能效用减弱,亟... 浙江农民信箱自2005年建设实施以来,有效推进了信息进村入户,促进了农产品产销对接,提升了防灾抗灾预警能力,加强了各级政府与农民群众沟通,在发展现代农业、提高农业效益等方面成效显著。在数字化背景下,农民信箱诸多功能效用减弱,亟须进行迭代升级。文章主要从夯实技术底座、推进应用集成、优化功能布局、强化短信赋能、畅通咨询问答等方面阐述新版浙江农民信箱功能优化提升的思路,并为进一步探索浙江省农业农村领域信息服务统一入口建设提供对策与建议。 展开更多

关键词 浙江农民信箱 数字化 信息服务

在线阅读 下载PDF 职称材料

迁移工作流系统通信机制研究 被引量：1

3

作者 卢朝霞 曾广周 杨公平 《计算机科学》 CSCD 北大核心 2006年第1期119-123,共5页

迁移工作流是解决当前工作流管理领域不完全业务过程定义的一个新的研究方向,通信机制是迁移工作流系统实现的一个关键问题。本文在分析通信需要解决的主要问题的基础上,提出了一种适应迁移工作流系统特征的通信模型,给出了模型框架结构... 迁移工作流是解决当前工作流管理领域不完全业务过程定义的一个新的研究方向,通信机制是迁移工作流系统实现的一个关键问题。本文在分析通信需要解决的主要问题的基础上,提出了一种适应迁移工作流系统特征的通信模型,给出了模型框架结构,并详细描述了其中的迁移实例通信算法。模型在实现可靠异步通信的同时,能够保证信件的顺序和 exactly-once 提交,降低寻址时间,减小三角路由的带宽占用,增强系统对规模扩大的适应能力,使算法在通信与迁移都较频繁时仍能保持较高的效率。 展开更多

关键词 迁移工作流 迁移实例 通信 透明寻址 信箱mailbox 系统通信 机制研究 通信模型 通信算法 工作流管理

在线阅读 下载PDF 职称材料

基于多核处理器与FPGA的高速数码印花系统 被引量：1

4

作者 罗成 陈加洋 陈耀武 《计算机工程与应用》 CSCD 北大核心 2015年第17期265-270,共6页

传统数码印花机采用PC完成图像数据处理和传输,数据带宽低,喷印速度慢。为此,设计以Tilera嵌入式多核处理器为核心的高速数码印花系统。系统通过两路千兆光纤以太网接收图像数据,采用多核处理器实时完成数据解压缩和图像转置。提出移位... 传统数码印花机采用PC完成图像数据处理和传输,数据带宽低,喷印速度慢。为此,设计以Tilera嵌入式多核处理器为核心的高速数码印花系统。系统通过两路千兆光纤以太网接收图像数据,采用多核处理器实时完成数据解压缩和图像转置。提出移位转置的算法来代替遍历转置算法,使转置效率得到明显提升。处理器以共享内存与mailbox技术方式实现不同核之间的数据共享与同步,大大提高了系统的工作效率。另外利用现场可编程门阵列(FPGA)完成数据格式转换和喷印输出。测试结果表明,系统连接8个喷头的总输出带宽可达1.9 Gb/s,支持分辨率600 dot/inch下高达720 m2/h的喷印速度。 展开更多

关键词 数码印花 多核处理器 图像转置 内存共享 mailbox技术 现场可编程门阵列

在线阅读 下载PDF 职称材料

“浙江农民信箱”在推进农业信息化中的作用 被引量：33

5

作者 陶忠良 董越勇 朱莹 《浙江农业学报》 CSCD 北大核心 2010年第6期868-872,共5页

"浙江农民信箱"是根据"数字浙江"建设的总体规划和"以用促建"的原则,通过研究开发方便、实用和可管理的系统应用软件,利用互联网技术,为农民量身定制的信息工具。它立足用户需要和方便实用的原则,以实名... "浙江农民信箱"是根据"数字浙江"建设的总体规划和"以用促建"的原则,通过研究开发方便、实用和可管理的系统应用软件,利用互联网技术,为农民量身定制的信息工具。它立足用户需要和方便实用的原则,以实名制注册使用并与手机相连,使用户能借助电脑和手机短信进行网上网下双向交流,已成为一个由政府主导,集个人通信、电子商务、电子政务、农技服务、办公交流、信息集成等功能于一体的面向"三农"的公共服务平台。 展开更多

关键词 浙江 农民信箱 数字化 农业信息化

在线阅读 下载PDF 职称材料

浙江农业信息化发展思考 被引量：23

6

作者 董越勇 朱莹 陶忠良 《浙江农业学报》 CSCD 北大核心 2010年第5期689-695,共7页

农业现代化离不开农业信息化,信息化是促进现代化农业的助推动力,是现代农业的重要标志,也是实现新农村建设的必要途径。当前我国农业信息化建设以服务"三农"为主要内容,正从传统农业向现代农业转变。文章在综合比较分析国内... 农业现代化离不开农业信息化,信息化是促进现代化农业的助推动力,是现代农业的重要标志,也是实现新农村建设的必要途径。当前我国农业信息化建设以服务"三农"为主要内容,正从传统农业向现代农业转变。文章在综合比较分析国内外农业信息化的最新进展和发展策略的基础上,针对浙江省农业信息化发展的区域特色和发展战略,探讨进一步发展浙江省农业信息化的策略、路径和重点,并就如何提升浙江省农业信息化的水平提出构想和建设性意见。 展开更多

关键词 浙江省 浙江农业 农业信息化 农民信箱

在线阅读 下载PDF 职称材料

基于语音卡的语音信箱系统的设计与实现 被引量：5

7

作者 徐琳茜 吴开炎 赵建涛 《华北电力大学学报（自然科学版）》 CAS 北大核心 2006年第4期62-64,共3页

CTI技术是计算机与通讯相互融合的技术,利用CTI技术开发并实现了基于语音卡的语音信箱系统。详细说明了系统的体系结构、模块划分及实现细节。该系统实现了录制和收听留言等基本功能,同时扩充了网络功能,可根据用户需求自由设定,使得留... CTI技术是计算机与通讯相互融合的技术,利用CTI技术开发并实现了基于语音卡的语音信箱系统。详细说明了系统的体系结构、模块划分及实现细节。该系统实现了录制和收听留言等基本功能,同时扩充了网络功能,可根据用户需求自由设定,使得留言的收听更加方便。预留的短信接口模块增加了系统的扩展性,方便系统的功能升级。 展开更多

关键词 CTI 语音信箱 语音卡 留言

在线阅读 下载PDF 职称材料

信息物理融合技术在机床故障诊断系统的应用研究 被引量：4

8

作者 郭安 于东 胡毅 《小型微型计算机系统》 CSCD 北大核心 2017年第4期896-900,共5页

信息物理融合系统(Cyber-Physical System,CPS)是信息与物理系统的集成,嵌入式技术与计算机网络促成了两者的协作与融合.CPS研究起步晚,但应用广泛,其主要应用领域有:智慧城市、智能电网、医疗安全等.在对近年CPS相关研究热点调研的基础... 信息物理融合系统(Cyber-Physical System,CPS)是信息与物理系统的集成,嵌入式技术与计算机网络促成了两者的协作与融合.CPS研究起步晚,但应用广泛,其主要应用领域有:智慧城市、智能电网、医疗安全等.在对近年CPS相关研究热点调研的基础上,以系统建模方法、可靠性、安全性为切入点,将CPS技术引入机床故障诊断系统.提出CPS机床故障检测模型,对系统用到的邮箱机制、数据融合方法改进,最后实验验证该系统在算法改进效率、内部延迟等指标. 展开更多

关键词 CPS 专家系统 嵌入式 邮箱机制

在线阅读 下载PDF 职称材料

基于邮箱的移动Agent域通信机制 被引量：3

9

作者 常朝稳 司志刚 王潜 《计算机工程》 CAS CSCD 北大核心 2008年第16期125-128,共4页

提出一种基于邮箱的移动Agent域通信机制,减少消息追击现象的可能性,邮箱同步迁移提高了系统的可靠性,通过域划分减小移动Agent系统的地址开销和通信开销。分析和实际应用表明,在多域多主机的系统中,该通信机制提高了移动Agent的移动性... 提出一种基于邮箱的移动Agent域通信机制,减少消息追击现象的可能性,邮箱同步迁移提高了系统的可靠性,通过域划分减小移动Agent系统的地址开销和通信开销。分析和实际应用表明,在多域多主机的系统中,该通信机制提高了移动Agent的移动性和自主性,实现了系统的位置透明性和高效性。 展开更多

关键词 移动AGENT 通信机制 邮箱 域

在线阅读 下载PDF 职称材料

基于多邮箱的移动Agent通信算法 被引量：2

10

作者 贺敏伟 扶卿妮 +1 位作者 李贵海 林健 《计算机工程》 CAS CSCD 北大核心 2008年第12期73-75,共3页

agent移动的可靠性、实时性是移动agent通信中的难点。该文在总结已有算法的基础上,引入多邮箱和主机Controller的概念,结合两者实现了一个高效、可靠的移动agent通信算法,能保证通信的可靠性和实时性,使得移动agent的迁移变得简单且完... agent移动的可靠性、实时性是移动agent通信中的难点。该文在总结已有算法的基础上,引入多邮箱和主机Controller的概念,结合两者实现了一个高效、可靠的移动agent通信算法,能保证通信的可靠性和实时性,使得移动agent的迁移变得简单且完全自由。 展开更多

关键词 移动AGENT 多邮箱 通信机制 通信失效 实时性

在线阅读 下载PDF 职称材料

基于RT-thread的机床物联网系统设计与实现 被引量：7

11

作者 苏宪利 郑一麟 《组合机床与自动化加工技术》 北大核心 2014年第6期69-72,共4页

针对机床物联网系统中多紧急度数据调度的要求和数据通信稳定性的要求,在机床物联网系统中采用了RT-thread实时操作系统,通过对mailbox进程通信机制的改进,满足了数据优先级调度的需求,提高了系统对紧急数据优先处理的能力。通过采用soc... 针对机床物联网系统中多紧急度数据调度的要求和数据通信稳定性的要求,在机床物联网系统中采用了RT-thread实时操作系统,通过对mailbox进程通信机制的改进,满足了数据优先级调度的需求,提高了系统对紧急数据优先处理的能力。通过采用socket通信技术,满足了网络重负载通信的要求,在硬件上采用了ARM Cortex-M3处理芯片和W5100网络通信芯片。通过实验仿真,证明了本系统大幅度提高了机床数据处理的实时性和可调度性。 展开更多

关键词 数据调度 邮箱模型 SOCKET

在线阅读 下载PDF 职称材料

一种新型电子邮件系统的研究与仿真 被引量：2

12

作者 潘峰 王翰虎 +1 位作者 张儒良 王林 《计算机应用与软件》 CSCD 2009年第8期49-51,共3页

分析当前邮件系统中的问题,提出一种基于数据库存储的新型邮件系统。将邮箱映射为关系数据库中的表,邮件映射为表中的行,从而邮件发送转换为数据库操作。以分布式数据库操作仿真邮件服务器,基于Java远程交换协议JRMP(Jaa Remote Mes-sag... 分析当前邮件系统中的问题,提出一种基于数据库存储的新型邮件系统。将邮箱映射为关系数据库中的表,邮件映射为表中的行,从而邮件发送转换为数据库操作。以分布式数据库操作仿真邮件服务器,基于Java远程交换协议JRMP(Jaa Remote Mes-saging Protocol)和DBMS专用协议完成信息传送,实现了广义的邮件系统。结果表明新系统扩展了用户功能,管理高效、实用。 展开更多

关键词 SOA 邮箱 邮件 映射 表 数据库 广义邮件

在线阅读 下载PDF 职称材料

数字化保护装置的采样数据信箱式传送机制 被引量：2

13

作者 曹团结 代长振 +1 位作者 韦芬卿 谢黎 《电网与清洁能源》 2009年第11期30-32,共3页

分析比较了数字化保护装置与传统保护装置在采样数据获取机制上的不同,进而提出了一种信箱式采样数据传送机制。信箱式采样数据传送机制使得数字保护CPU程序的运行模式与传统保护程序基本相同,可最大程度继承原有传统保护程序。采用这... 分析比较了数字化保护装置与传统保护装置在采样数据获取机制上的不同,进而提出了一种信箱式采样数据传送机制。信箱式采样数据传送机制使得数字保护CPU程序的运行模式与传统保护程序基本相同,可最大程度继承原有传统保护程序。采用这种机制以最小的延时的代价维持了传统保护的程序执行方式不变,程序的改动工作量最小。 展开更多

关键词 数字化保护 数据传送 信箱式传送机制 CPU FPGA

在线阅读 下载PDF 职称材料

C^4ISR系统基于邮箱机制的离散事件仿真引擎技术 被引量：1

14

作者 程文迪 孙丰鑫 楚威 《系统仿真学报》 CAS CSCD 北大核心 2015年第9期2025-2030,共6页

针对C4ISR系统仿真作战平台工具中离散事件仿真引擎的设计问题,结合C4ISR系统功能组成和作战推演流程划分了三种基本离散事件类型;利用邮箱收发邮件的缓存机制可进行集中管理和存取便捷的特点,辅助仿真引擎支撑离散事件的运行流转过程;... 针对C4ISR系统仿真作战平台工具中离散事件仿真引擎的设计问题,结合C4ISR系统功能组成和作战推演流程划分了三种基本离散事件类型;利用邮箱收发邮件的缓存机制可进行集中管理和存取便捷的特点,辅助仿真引擎支撑离散事件的运行流转过程;在此基础上比较分析了固定步长驱动法和事件驱动法两种离散事件引擎策略。试验结果表明:在时间粒度不同的离散事件仿真系统中,离散事件驱动的时钟算法比固定步长法更适用,可以大大节省仿真过程耗费的机器时间。 展开更多

关键词 C4ISR系统 离散事件 仿真引擎 邮箱

在线阅读 下载PDF 职称材料

改进的嵌入式软件架构及其应用层开发模式 被引量：3

15

作者 万相奎 陈建明 《计算机工程与设计》 CSCD 北大核心 2009年第23期5358-5360,5364,共4页

为了解决嵌入式软件并行开发和调试困难问题,在软件体系结构上采用改进的层模式架构,提高嵌入式代码复用度。在应用层开发上研发任务间通讯服务(ICS)消息总线和邮箱服务,承担模块化设计的各功能进程的通讯控制和数据交互。把相对独立的... 为了解决嵌入式软件并行开发和调试困难问题,在软件体系结构上采用改进的层模式架构,提高嵌入式代码复用度。在应用层开发上研发任务间通讯服务(ICS)消息总线和邮箱服务,承担模块化设计的各功能进程的通讯控制和数据交互。把相对独立的应用模块进程化,通过增加或删减进程来定制嵌入式设备软件功能,保持其扩展性和低耦合高内聚特征。通过实际的项目开发验证,方便地实现了嵌入式应用层功能模块的并行设计和调试,并使得嵌入式系统平台上的进程间通讯可靠、灵活、易维护。 展开更多

关键词 嵌入式系统 层模式 任务间通讯服务 邮箱 定制

在线阅读 下载PDF 职称材料

基于POG模型的语音传真服务系统的研究与实现 被引量：2

16

作者 王明福 《计算机工程》 CAS CSCD 北大核心 2001年第7期137-139,共3页

通过引入程序顶点向量概念,定义语音传真应用系统的数学模型,介绍了基于模型的程序设计方法,即用模型描述""POGPOGPOG应用软件的拓扑结构,不需修改源代码,只要编辑修改的描述文件,就可改变系统功能流程。模型的程序开发摸式... 通过引入程序顶点向量概念,定义语音传真应用系统的数学模型,介绍了基于模型的程序设计方法,即用模型描述""POGPOGPOG应用软件的拓扑结构,不需修改源代码,只要编辑修改的描述文件,就可改变系统功能流程。模型的程序开发摸式适合于所有基于POGPOG后台事件驱动的系统。作为模型的应用,简述了以语音传真卡为硬件支撑的自动服务系统的设计与实现。POG"DIALOGIC , VFX/40SC""" 展开更多

关键词 VC++6.0 程序设计方法 语音传真服务系统 POG模型 INTERNET

在线阅读 下载PDF 职称材料

基于SystemVerilog的验证平台建模技术 被引量：2

17

作者 闫沫 《现代电子技术》 2009年第18期10-12,16,共4页

验证平台建模的困难在于如何减少设计与验证之间的时序竞争风险,实现验证平台的复用和验证过程中的自动监测。SystemVerilog突破了验证平台建模的传统局限,能够极大地提高芯片测试的效率,并降低设计风险。介绍了SystemVerilog在进行同步... 验证平台建模的困难在于如何减少设计与验证之间的时序竞争风险,实现验证平台的复用和验证过程中的自动监测。SystemVerilog突破了验证平台建模的传统局限,能够极大地提高芯片测试的效率,并降低设计风险。介绍了SystemVerilog在进行同步FIFO验证平台建模时所采用的面向对象思想、多线程、接口、邮箱、时钟块等新技术以及建立验证平台的一般原则和技巧,实现了分层设计和验证过程中的自动监测。 展开更多

关键词 SYSTEMVERILOG 面向对象 多线程 接口 邮箱 时钟块

在线阅读 下载PDF 职称材料

基于消息邮箱的μC/OS-II应用程序设计方法 被引量：1

18

作者 胡俐蕊 《计算机工程与设计》 CSCD 北大核心 2007年第6期1376-1377,1380,共3页

在基于μC/OS-II的嵌入式应用程序设计中,不仅要充分利用μC/OS-II的任务间切换和调度机制,而且要很好地使用μC/OS-II的通信方式,才能使得应用程序设计更加灵活、有效。为了获得高效的应用程序,通过分析μC/OS-II的消息邮箱通信机制,... 在基于μC/OS-II的嵌入式应用程序设计中,不仅要充分利用μC/OS-II的任务间切换和调度机制,而且要很好地使用μC/OS-II的通信方式,才能使得应用程序设计更加灵活、有效。为了获得高效的应用程序,通过分析μC/OS-II的消息邮箱通信机制,并利用μC/OS-II的任务状态转换方法,提出了一种应用程序设计方法,给出了应用程序的基本结构。大量实验说明,该方法是有效的,并且此应用程序结构清晰、易于理解、也容易实现。 展开更多

关键词 嵌入式系统 实时操作系统 μ/OS-Ⅱ 消息邮箱 应用程序设计

在线阅读 下载PDF 职称材料

免费邮件服务器实现用户网上注册的配置方法 被引量：1

19

作者 陆晨音 《计算机工程》 CAS CSCD 北大核心 2002年第2期268-269,共2页

介绍了在平台下,利用和软件,免费邮件服务器实现用户在网上注册的一种配置方法。WindowsExchange ServerSQL

关键词 用户注册 免费邮件服务器 SQLSERVER 计算机网络 电子邮件

在线阅读 下载PDF 职称材料

嵌入式实时操作系统Nucleus邮箱通信机制研究

20

作者 彭俊杰 洪炳镕 +1 位作者 魏振华 乔永强 《计算机应用研究》 CSCD 北大核心 2004年第5期220-221,共2页

对嵌入式实时操作系统Nucleus邮箱通信机制作了详细的分析与研究,给出了邮箱通信的结构图和各种接口关系,并详细讨论了邮箱功能组件具体实现方法,为进一步更好地开发及利用该操作系统提供了技术上的支持。

关键词 嵌入式 实时 操作系统 邮箱

在线阅读 下载PDF 职称材料