期刊文献+
共找到198篇文章
< 1 2 10 >
每页显示 20 50 100
Real-time hybrid simulation of structures equipped with viscoelastic-plastic dampers using a user-programmable computational platform 被引量:2
1
作者 Jack Wen Wei Guo Ali Ashasi-Sorkhabi +1 位作者 Oya Mercan Constantin Christopoulos 《Earthquake Engineering and Engineering Vibration》 SCIE EI CSCD 2017年第4期693-711,共19页
A user-programmable computational/control platform was developed at the University of Toronto that offers real-time hybrid simulation (RTHS) capabilities. The platform was verified previously using several linear ph... A user-programmable computational/control platform was developed at the University of Toronto that offers real-time hybrid simulation (RTHS) capabilities. The platform was verified previously using several linear physical substructures. The study presented in this paper is focused on further validating the RTHS platform using a nonlinear viscoelastic-plastic damper that has displacement, frequency and temperature-dependent properties. The validation study includes damper component characterization tests, as well as RTHS of a series of single-degree-of-freedom (SDOF) systems equipped with viscoelastic-plastic dampers that represent different structural designs. From the component characterization tests, it was found that for a wide range of excitation frequencies and friction slip loads, the tracking errors are comparable to the errors in RTHS of linear spring systems. The hybrid SDOF results are compared to an independently validated thermal- mechanical viscoelastic model to further validate the ability for the platform to test nonlinear systems. After the validation, as an application study, nonlinear SDOF hybrid tests were used to develop performance spectra to predict the response of structures equipped with damping systems that are more challenging to model analytically. The use of the experimental performance spectra is illustrated by comparing the predicted response to the hybrid test response of 2DOF systems equipped with viscoelastic-plastic dampers. 展开更多
关键词 real-time hybrid simulation user-programmable computational/control platform supplemental dampers performance spectra
在线阅读 下载PDF
Trajectory Tracking of a Planer Parallel Manipulator by Using Computed Force Control Method 被引量:7
2
作者 Atilla BAYRAM 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2017年第2期449-458,共10页
Despite small workspace, parallel manipulators have some advantages over their serial counterparts in terms of higher speed, acceleration, rigidity, accuracy, manufacturing cost and payload. Accordingly, this type of ... Despite small workspace, parallel manipulators have some advantages over their serial counterparts in terms of higher speed, acceleration, rigidity, accuracy, manufacturing cost and payload. Accordingly, this type of manipulators can be used in many applications such as in high-speed machine tools, tuning machine for feeding, sensitive cutting, assembly and packaging. This paper presents a special type of planar parallel manipulator with three degrees of freedom. It is constructed as a variable geometry truss generally known planar Stewart platform. The reachable and orientation workspaces are obtained for this manipulator. The inverse kinematic analysis is solved for the trajectory tracking according to the redundancy and joint limit avoidance. Then, the dynamics model of the manipulator is established by using Virtual Work method. The simulations are performed to follow the given planar trajectories by using the dynamic equations of the variable geometry truss manipulator and computed force control method. In computed force control method, the feedback gain matrices for PD control are tuned with fixed matrices by trail end error and variable ones by means of optimization with genetic algorithm. 展开更多
关键词 Parallel manipulator Variable geometry truss manipulator Planar Stewart platform. Dynamic analysis computed force control Genetic algorithm
在线阅读 下载PDF
大型空调能效管控的边缘计算平台设计
3
作者 卢爱红 冯蓉珍 《今日自动化》 2025年第11期20-22,共3页
在我国生态文明建设的关键阶段,大型空调作为能源消耗“大户”,其能效提升对节能减排意义重大。当前大型空调运行存在能效低、智能化运维水平低等问题。文章设计了大型空调能效管控的边缘计算平台,分析了核心技术优势。该平台采用物联... 在我国生态文明建设的关键阶段,大型空调作为能源消耗“大户”,其能效提升对节能减排意义重大。当前大型空调运行存在能效低、智能化运维水平低等问题。文章设计了大型空调能效管控的边缘计算平台,分析了核心技术优势。该平台采用物联网和人工智能技术,能有效解决大型空调能效问题,推动空调行业节能减排和智能化发展,具有良好的市场前景和经济效益。 展开更多
关键词 大型空调 能效管控 边缘计算平台 物联网
在线阅读 下载PDF
综合机房监控管理系统设计
4
作者 郭斌 《今日自动化》 2025年第8期193-195,共3页
传统动环监测系统在技术运用、数据处理、系统集成等方面已无法满足大型综合机房设备运维管理需求。文章围绕如何提高机房运维管理效能,针对综合机房监控管理系统建设需求进行了分析,以实现对综合机房基础环境设施的统一监控、集中管理... 传统动环监测系统在技术运用、数据处理、系统集成等方面已无法满足大型综合机房设备运维管理需求。文章围绕如何提高机房运维管理效能,针对综合机房监控管理系统建设需求进行了分析,以实现对综合机房基础环境设施的统一监控、集中管理为目标,分别从系统架构、信息监测、平台功能3个方面进行设计。综合机房监控管理系统可有效提高机房运维的可靠性和自动化管理效能,并为信息系统建设与管理提供参考依据。 展开更多
关键词 综合机房 动环监测 全要素采集 集中管控 一体化平台
在线阅读 下载PDF
基于云计算和边缘计算的控制平台设计方案 被引量:4
5
作者 黄焜 《自动化应用》 2025年第6期240-242,共3页
随着云计算和边缘计算技术的不断发展,云边协同处理为工业自动化领域带来了更多新的发展机遇。基于工业自动化应用场景,结合云计算和边缘计算的特征提出了一种基于云计算和边缘计算的工业自动化控制平台设计方案。该控制平台设计方案设... 随着云计算和边缘计算技术的不断发展,云边协同处理为工业自动化领域带来了更多新的发展机遇。基于工业自动化应用场景,结合云计算和边缘计算的特征提出了一种基于云计算和边缘计算的工业自动化控制平台设计方案。该控制平台设计方案设计了现场层、边缘层和云计算层这3层架构,并对3层架构进行了详细阐述。其中,现场层包括传感器和执行器,采用了智能化仪表和现场总线技术;边缘层包括通用计算机硬件平台构建的边缘计算控制器,利用实时操作系统、虚拟化平台、轻量级数据库等技术实现实体冗余和虚拟冗余的架构;云计算层包括存储资源、网络资源和计算资源,利用大数据、人工智能、机器学习、数字孪生等技术实现各种控制模型、故障预警、运维策略、仿真分析等。 展开更多
关键词 云计算 边缘计算 控制平台 工业自动化
在线阅读 下载PDF
一种串联式肘腕关节康复机器人研制
6
作者 尚岳伟 陶庆 +1 位作者 周智伟 刘晨瑶 《科学技术与工程》 北大核心 2025年第27期11676-11682,共7页
为解决脑卒中疾病(cerebrovascular accident,CVA)导致的上肢偏瘫患者在康复过程中不规范以及康复医师不足的问题,提出一种5自由度(degree of freedom,DOF)上肢肘腕关节康复机器人及控制系统,旨在更好地满足患者灵活康复的需求。康复机... 为解决脑卒中疾病(cerebrovascular accident,CVA)导致的上肢偏瘫患者在康复过程中不规范以及康复医师不足的问题,提出一种5自由度(degree of freedom,DOF)上肢肘腕关节康复机器人及控制系统,旨在更好地满足患者灵活康复的需求。康复机器人平台为3-RRR(3-转动副-转动副-转动副)串联机构,能够实现独立肘关节屈伸康复、独立腕关节屈伸和内外旋康复、肘腕关节协同屈伸康复、肘关节屈伸腕关节内外旋协同康复功能,同时考虑到患者左右偏瘫部位不同的情况,康复机器人设置镜像功能。触摸屏和控制器(planar lightwave circuit,PLC)进行通信,可以实现人机交互。使用Matlab软件运用蒙特卡洛法(Monte-Carlo,M-C)绘制机器人工作空间云图,从而进行更有效的任务规划和操作控制。结果表明:所设计研制的样机能够满足上肢肘腕关节多种模式下的运动康复,可以对屈肌群和伸肌群进行训练。 展开更多
关键词 脑卒中疾病 康复机器人平台 PLC控制系统 人机交互
在线阅读 下载PDF
重载群组列控系统安全计算机国产芯片替代关键技术研究 被引量:1
7
作者 丁欢 戴鹏飞 黄彬彬 《铁道科学与工程学报》 北大核心 2025年第5期2257-2267,共11页
为解决重载群组列控系统装备安全计算机平台国产芯片替代的问题,制定了安全计算机平台全部采用国产芯片的总体目标,使用平台构建的列控设备具备在役设备的整机级替代能力。分析总结了安全计算机平台进行国产芯片替代的3个难点,进而提出... 为解决重载群组列控系统装备安全计算机平台国产芯片替代的问题,制定了安全计算机平台全部采用国产芯片的总体目标,使用平台构建的列控设备具备在役设备的整机级替代能力。分析总结了安全计算机平台进行国产芯片替代的3个难点,进而提出了解决问题的关键技术措施。构建模型论证了电路单元采取异构设计是降低共因故障的直接且有效的方式。通过异构设计的方法,解决了国产芯片可选种类少的问题,从而保证平台安全性不降低。通过全面降额设计的方法加强平台的可靠性设计,并采用高加速寿命试验等加强验证措施寻找器件、设计等方面的潜在缺陷,解决了国产芯片一致性不高的问题。通过平台内系统级和单板级优化设计,研制车地统一平台,降低了列控装备国产芯片替代难度。采用上述技术措施,成功解决了替代的难点问题,完成了基于国产芯片的安全计算机平台的研制。研制的基于国产芯片的安全计算机平台通过了测试和安全认证,在重载群组列控系统中的群组控制中心、群组临时限速服务器和群组ATP设备中得到成功应用,实现了重载群组列控系统装备底层软硬件完全自主可控。研制的安全计算机平台具有通用性,能够满足高铁、地铁等领域车、地多种列控装备应用需求。研究结果为彻底实现我国列控装备的软硬件完全自主可控和保障铁路安全运营提供参考。 展开更多
关键词 重载群组控制 列控系统 安全计算机平台 国产芯片 替代技术
在线阅读 下载PDF
船舶修造高空作业安全带智能监测系统设计
8
作者 孙浩 王冬梅 +3 位作者 刘坚 李辉 吴韩 梁闯 《造船技术》 2025年第6期87-90,共4页
针对传统船舶修造高空作业安全带的功能问题,设计一种船舶修造高空作业安全带智能监测系统。介绍系统组成,进行系统功能设计、硬件模块设计和安全管控云平台设计。基于多传感器数据,该系统可实现对船舶修造高空作业安全带使用状态的实... 针对传统船舶修造高空作业安全带的功能问题,设计一种船舶修造高空作业安全带智能监测系统。介绍系统组成,进行系统功能设计、硬件模块设计和安全管控云平台设计。基于多传感器数据,该系统可实现对船舶修造高空作业安全带使用状态的实时监测,降低船舶修造高空作业的事故风险。 展开更多
关键词 船舶修造 高空作业 安全带 智能监测系统 主机侧 挂钩侧 安全管控云平台
在线阅读 下载PDF
基于元脑机开源软件平台的脑控无人机系统
9
作者 李昂 梅杰 +3 位作者 陈卫泽 陶玲玲 许敏鹏 明东 《生物医学工程学杂志》 北大核心 2025年第6期1139-1147,共9页
脑机接口(BCI)系统包含刺激呈现、数据采集、信号处理、外设控制和指令反馈等多个环节。元脑机(MetaBCI)作为一款覆盖BCI全链路环节的开源软件平台,为有效编码、解码和反馈大脑活动提供了灵活解决方案,但暂未提供可支撑完整BCI系统实现... 脑机接口(BCI)系统包含刺激呈现、数据采集、信号处理、外设控制和指令反馈等多个环节。元脑机(MetaBCI)作为一款覆盖BCI全链路环节的开源软件平台,为有效编码、解码和反馈大脑活动提供了灵活解决方案,但暂未提供可支撑完整BCI系统实现的集成化工具。针对上述不足,本文利用MetaBCI设计构建了一套脑控无人机系统,实现了对真实无人机的在线控制;由10名受试者参与的试验结果表明,该系统的在线平均分类准确率和信息传输速率(ITR)可达到93.83%和38.57 bits/min,验证了通过MetaBCI构建实用型BCI系统并进行外设控制的可行性。同时,本文详细阐述了该脑控无人机系统的设计思路、实现流程和所涉及MetaBCI工具包的调用逻辑,以期为后续开发者基于MetaBCI自主设计、构建满足个体需求的BCI系统提供思路参考和方法指导。 展开更多
关键词 脑机接口 元脑机开源软件平台 脑控无人机
原文传递
基于边缘计算架构的医疗设备质量控制与绩效管理平台构建
10
作者 陆靓亮 金伟 +1 位作者 钱正瑛 沈志强 《中国医学装备》 2025年第7期124-129,共6页
目的:构建基于边缘计算架构的医疗设备质量控制与绩效管理平台,连接院内现有信息系统,实现医疗设备底层架构的互联互通。方法:将5G通信技术与物联网技术高度融合,利用边缘计算架构,通过采集大型医疗设备运行日志数据,构建医疗设备质量... 目的:构建基于边缘计算架构的医疗设备质量控制与绩效管理平台,连接院内现有信息系统,实现医疗设备底层架构的互联互通。方法:将5G通信技术与物联网技术高度融合,利用边缘计算架构,通过采集大型医疗设备运行日志数据,构建医疗设备质量控制与绩效管理平台。选取2022年7月至12月和2023年7月至12月南京医科大学附属无锡人民医院临床在用的27台医疗设备,其中CT6台,将2022年7月至12月期间的设备使用管理设定为平台应用前,2023年7月至12月期间的设备使用管理设定为平台应用后,统计平台应用前后的设备运行数据记录准确率,以CT设备为例,对比平台应用前后的维修响应时间、开机率和设备维修频次。结果:医疗设备质量控制与绩效管理平台功能主要涵盖医院大型医疗设备的资产台账、运维预警、运行动态、调拨管理、使用效能评价和质量控制评价等。平台应用后27台医疗设备的数据记录准确率由平台应用前的70%~80%提升至97%。平台应用后CT设备的平均维修响应时间和维修频次分别为(23±7.35)min和(11±5)次/月,均低于平台应用前,平均开机率为(96±3.16)%,高于平台应用前,差异有统计学意义(t=7.084、3.196、2.537,P<0.05)。结论:基于边缘计算架构的医疗设备质量控制与绩效管理平台能够为大型医疗设备的运行质量与安全提供保障,为精细化使用评价与合理配置决策提供依据,降低设备维修响应时间和维修频次,提高设备开机率,实现对大型医疗设备管理的规范化、信息化和科学化。 展开更多
关键词 边缘计算 物联网采集 平台构建 质量控制 绩效管理
暂未订购
管理控制视角下云审计平台的建设与运行研究 被引量:26
11
作者 杨丽丽 王会金 刘国城 《经济问题》 CSSCI 北大核心 2020年第6期94-102,共9页
随着大智移云技术的发展,传统审计逐步向人工智能审计演变,推进云审计平台建设势在必行。云审计横跨计算机科学、审计学、大数据科学等领域,对云审计平台进行建设是一项复杂的工程,且如何控制平台运行风险已成为该领域的关键问题。在梳... 随着大智移云技术的发展,传统审计逐步向人工智能审计演变,推进云审计平台建设势在必行。云审计横跨计算机科学、审计学、大数据科学等领域,对云审计平台进行建设是一项复杂的工程,且如何控制平台运行风险已成为该领域的关键问题。在梳理文献基础上,汲取管理控制理念,从质量管理、层级模块、终端界面等维度阐释云审计平台的体系架构,选取虚拟化技术、Hadoop技术、软件开发技术等内容分析云审计平台的建设方法,并基于安全风险、控制规范、控制策略等视角探索云审计平台的安全控制机制,旨在为云审计平台的建设与运行实践提供理论支持。 展开更多
关键词 管理控制 大数据 云计算 云审计 审计平台
在线阅读 下载PDF
Hadoop云平台中基于信任的访问控制模型 被引量:17
12
作者 刘莎 谭良 《计算机科学》 CSCD 北大核心 2014年第5期155-163,共9页
Hadoop云计算平台是当下最流行的云平台之一,其现有的访问控制模型采用Kerberos进行身份验证,结合基于ACL的访问授权机制,通过Delegation Token和Block Access Token等令牌,实现了该平台中简单的访问控制。该模型具有明显的缺点,即仅仅... Hadoop云计算平台是当下最流行的云平台之一,其现有的访问控制模型采用Kerberos进行身份验证,结合基于ACL的访问授权机制,通过Delegation Token和Block Access Token等令牌,实现了该平台中简单的访问控制。该模型具有明显的缺点,即仅仅在授权时考虑了用户身份的真实性,没有考虑用户后期行为的可信性,而且权限一经授予就不再监管。提出一种适用于Hadoop云平台的基于信任的访问控制新模型——LT。LT模型基于现有的Hadoop访问控制模型,为每个用户设定信任值,通过用户在集群中的行为记录实时地更新用户信任值,并根据这个信任值动态地控制用户对平台的访问。与Hadoop平台现有的访问控制模型相比,该模型所实现的访问授权不再是一个关口控制,而是一个实时动态的过程,其粒度更细并且具有更高的安全性和灵活度。实验证明,该模型不仅正确有效,而且克服了现行Hadoop平台中访问控制安全性不足的缺点,能够动态、有效地控制用户对集群中资源的访问及使用。 展开更多
关键词 云计算 云平台 HADOOP 访问控制 信任值
在线阅读 下载PDF
基于 PC 平台的计算机数控(CNC)系统开发 被引量:9
13
作者 叶佩青 廖文和 +1 位作者 周来水 周儒荣 《南京航空航天大学学报》 EI CAS CSCD 北大核心 1997年第2期125-130,共6页
利用微机平台开发CNC系统是当前CNC技术发展的一个重要趋势。本文分析了国内外数控系统发展的现状和在PC平台基础上开发CNC系统的可能性及必要性;论述了基于PC平台的超人CNC系统的软、硬件结构和工作原理;阐明了前后... 利用微机平台开发CNC系统是当前CNC技术发展的一个重要趋势。本文分析了国内外数控系统发展的现状和在PC平台基础上开发CNC系统的可能性及必要性;论述了基于PC平台的超人CNC系统的软、硬件结构和工作原理;阐明了前后台、多任务在系统中的实现方法;介绍了系统所达到的主要性能指标。利用双CPU计算机控制,CPU间采用双端口RAM、并口中断、计数等方式进行协调通讯是系统控制的关键。该系统软、硬件已调试成功,已投入使用,并在应用中取得了良好的效果。 展开更多
关键词 数控切削 计算机辅助制造 PC平台
在线阅读 下载PDF
Stewart并联机器人控制算法研究 被引量:5
14
作者 文刚 高宏力 +1 位作者 彭志文 梁超 《机械设计与制造》 北大核心 2018年第8期226-228,232,共4页
Stewart并联机器人具有非线性强、耦合度高的特点,控制的难度较高,针对平台的这些困难点,文章提出了基于动力学模型的模糊计算力矩控制方法,实现平台的较高精度的轨迹跟踪控制,且控制的过程更加的灵活,适应性更强。计算力矩控制方法就... Stewart并联机器人具有非线性强、耦合度高的特点,控制的难度较高,针对平台的这些困难点,文章提出了基于动力学模型的模糊计算力矩控制方法,实现平台的较高精度的轨迹跟踪控制,且控制的过程更加的灵活,适应性更强。计算力矩控制方法就是根据并联机器人的动力学模型以及平台的路径规划,结合机构的运动学分析,可以计算出每个缸体的瞬时施加力的大小,实现对平台的精确控制。再通过模糊算法控制器,实时动态的优化计算力矩算法的控制参数,使得控制的精度更加的精准,实时性也更强,同时拥有较高的抗干扰能力和应变能力。经过仿真得到结果,此算法具有明显的效果并且实用性非常好。 展开更多
关键词 STEWART平台 模糊控制 计算力矩
在线阅读 下载PDF
六自由度运动姿态模拟系统的研究 被引量:11
15
作者 郝轶宁 王军政 汪首坤 《北京理工大学学报》 EI CAS CSCD 北大核心 2002年第3期331-334,共4页
研究一种电液控制式六自由度运动姿态模拟系统 .通过对系统技术指标、结构特点和工作原理的分析和讨论 ,设计了六自由度摇摆台的机械结构、计算机控制系统 ;推导了摇摆台空间位置的逆解算法 ;将具有前馈的智能PID算法应用于对称阀控制... 研究一种电液控制式六自由度运动姿态模拟系统 .通过对系统技术指标、结构特点和工作原理的分析和讨论 ,设计了六自由度摇摆台的机械结构、计算机控制系统 ;推导了摇摆台空间位置的逆解算法 ;将具有前馈的智能PID算法应用于对称阀控制非对称缸的位置伺服系统中 ,并进行了试验研究 ,其控制精度达到 0 .1m m以上 .摇摆台实际运行结果表明 ,该系统完全满足技术指标要求 ,同时具有承载能力大、控制精度高等优点 . 展开更多
关键词 六自由度平台 电液伺服系统 计算机控制 模拟试验台
在线阅读 下载PDF
电网动态仿真中的稳控装置接口仿真平台 被引量:5
16
作者 周博文 杨军 +2 位作者 宋新立 吴国旸 孙元章 《电力自动化设备》 EI CSCD 北大核心 2013年第10期157-161,167,共6页
针对常用仿真程序中稳控装置模型的不足,提出了用于电网动态仿真的稳控装置模型及其建模方法,进而建立了用于电网动态仿真计算的稳控装置接口仿真平台;在PSASP中通过UPI实现了该仿真平台与PSASP的联合运算功能,并进行了暂态稳定仿真计... 针对常用仿真程序中稳控装置模型的不足,提出了用于电网动态仿真的稳控装置模型及其建模方法,进而建立了用于电网动态仿真计算的稳控装置接口仿真平台;在PSASP中通过UPI实现了该仿真平台与PSASP的联合运算功能,并进行了暂态稳定仿真计算。仿真结果表明,稳控装置接口仿真平台与PSASP联合仿真能够更加准确地模拟实际装置的工作过程,真实反映实际电网发生故障时的动态特性。 展开更多
关键词 稳控装置 模型 接口仿真平台 暂态稳定 PSASP 仿真
在线阅读 下载PDF
地铁新环控系统可行性分析及性能优化 被引量:9
17
作者 杨昭 马锋 +1 位作者 贾士红 余龙清 《天津大学学报》 EI CAS CSCD 北大核心 2012年第3期268-272,共5页
为降低地铁环控系统能耗,根据目前传统屏蔽门系统和安全门系统的优劣性,提出了可控风口的新环控系统.以某新建地铁为例对新系统的舒适性、通风及节能效果进行了分析论证.利用计算流体力学方法对列车进站和出站过程进行了非稳态模拟,分... 为降低地铁环控系统能耗,根据目前传统屏蔽门系统和安全门系统的优劣性,提出了可控风口的新环控系统.以某新建地铁为例对新系统的舒适性、通风及节能效果进行了分析论证.利用计算流体力学方法对列车进站和出站过程进行了非稳态模拟,分析了列车进站、出站过程产生的活塞风对站台站厅舒适性、通风效果的影响,并根据系统负荷及运行条件进行了节能效果分析.结果表明,新环控系统可兼顾屏蔽门和安全门系统的优点,当按照优化后的开口和控制方案运行地铁新环控系统时,站台内乘客活动区域气流速度小于5,m/s,满足舒适性要求,同时可在屏蔽门系统的基础上降低能耗17.3%,节能效果显著. 展开更多
关键词 屏蔽门 活塞风 可控风口 计算流体力学 节能
在线阅读 下载PDF
计算机控制系统综合性实验平台建设 被引量:8
18
作者 夏洁 高金源 《实验室研究与探索》 CAS 2005年第S1期321-324,共4页
基于局域网和现场总线,针对计算机控制系统课程的实验教学环节,构建了相应的计算机控制系统综合性实验平台。借助该实验平台,学生可以进行综合性自主实验,使其系统能力、综合能力和创新能力都得到锻炼和提高,达到激发学生学习热情,实现... 基于局域网和现场总线,针对计算机控制系统课程的实验教学环节,构建了相应的计算机控制系统综合性实验平台。借助该实验平台,学生可以进行综合性自主实验,使其系统能力、综合能力和创新能力都得到锻炼和提高,达到激发学生学习热情,实现学生创造性思维能力培养的目的。 展开更多
关键词 计算机控制 综合实验平台 现场总线 网络控制
在线阅读 下载PDF
可信计算中信任链建立的形式化验证 被引量:6
19
作者 王勇 许荣强 +1 位作者 任兴田 杨建红 《北京工业大学学报》 CAS CSCD 北大核心 2016年第3期387-392,共6页
为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系... 为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证.验证的结果表明系统具有期望的外部行为. 展开更多
关键词 可信计算 信任链 可信平台控制模块 形式化验证 进程代数
在线阅读 下载PDF
基于SIMULINK/SIMSCAPE的计算机控制系统仿真实验平台 被引量:12
20
作者 高兴泉 王立国 《实验技术与管理》 CAS 北大核心 2013年第9期88-92,共5页
为了解决计算机控制系统课程硬件实验成本高、效率低,而单纯数字仿真缺乏形象性等问题,提出了一种基于物理模型的仿真实验平台设计方法,其中被控电路系统用SIMSCAPE提供的物理模型模块构建,计算机系统用SIMULINK模块库中的触发子系统配... 为了解决计算机控制系统课程硬件实验成本高、效率低,而单纯数字仿真缺乏形象性等问题,提出了一种基于物理模型的仿真实验平台设计方法,其中被控电路系统用SIMSCAPE提供的物理模型模块构建,计算机系统用SIMULINK模块库中的触发子系统配合一定的程序来实现,模拟计算机周期性采样、迭代计算差分方程的过程。以二阶电路系统的最少拍控制仿真实验台为例,介绍了仿真系统设计过程,并分析了仿真实验平台运行的准确性。结果表明,作为硬件实验前的有效补充,在仿真实验台上的仿真实验过程与实际硬件实验过程一致,可极大激发学生的实验兴趣,提高实验效率。 展开更多
关键词 计算机控制系统 仿真实验平台 最少拍控制 SIMULINK SIMSCAPE
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部