-
题名嵌入式系统软件体系结构动态建模及应用研究
被引量：5
- 1
-
-
作者
郭荣佐
郭进
王霖
-
机构
西南交通大学信息科学与技术学院
成都纺织高等专科学校电子信息与电气工程系
电子科技大学计算机科学与工程学院
-
出处
《计算机应用》
CSCD
北大核心
2009年第4期1143-1146,1158,共5页
-
基金
国家自然科学基金资助项目(60673075)
四川省教育厅自然科学基金资助项目(07ZB005)
-
文摘
应用π演算方法,结合Petri网中的面向对象Petri网和时间Petri网,建立了嵌入式系统软件体系结构抽象模型ESAM,研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型,对车站信号联锁控制器进行了建模与分析。
-
关键词
Π演算
PETRI网
嵌入式系统
软件体系结构
-
Keywords
π-calculus： Petri net
embedded system
software architecture
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Markov链的嵌入式系统硬件可靠性研究
被引量：4
- 2
-
-
作者
郭荣佐
黄君
王霖
-
机构
四川师范大学计算机科学学院
四川工商职业技术学院基础部
成都纺织高等专科学校电子信息与电气工程系
-
出处
《计算机应用》
CSCD
北大核心
2012年第4期1152-1156,1164,共6页
-
基金
四川省教育厅自然科学基金重点项目(10ZA008)
-
文摘
嵌入式系统产品在使用过程中经常出现硬件故障,从而影响系统的安全可靠性。从嵌入式系统硬件层面研究其可靠性。首先定义嵌入式系统硬件目标,简单介绍了Markov过程理论;建立了单个IP硬核和嵌入式系统硬件的Markov模型;应用所建立的模型,对嵌入式站间自动闭塞控制器硬件进行了可靠度计算和分析。实验结果表明,该Markov模型能够准确描述嵌入式系统硬件的状态变迁,并能计算和分析其可靠度,具有一定的实用价值。
-
关键词
可靠性
硬件
嵌入式系统
MARKOV链
站间自动闭塞
-
Keywords
reliability
hardware
embedded system
Markov chain
inter-station automatic block
-
分类号
TP302.7
[自动化与计算机技术—计算机系统结构]
TP202.1
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名基于π网的嵌入式系统软硬件划分方法
被引量：4
- 3
-
-
作者
郭荣佐
黄君
王霖
-
机构
四川师范大学计算机科学学院
四川工商职业技术学院基础部
成都纺织高等专科学校电子信息与电气工程系
-
出处
《计算机应用》
CSCD
北大核心
2012年第3期855-860,共6页
-
基金
四川省教育厅自然科学重点项目(10ZA008)
-
文摘
针对嵌入式系统软硬件划分问题,提出一种基于π网的软硬件划分方法。首先介绍π网的定义及其规则;然后,对嵌入式系统目标进行描述和定义,应用π网建立软硬件划分模型——嵌入式系统软硬件划分模型(ESHPM);最后,对模型ESHPM进行一致性、死锁和兼容性分析,同时,对模型ESHPM进行了优化。所建立的模型ESHPM满足一致性,各进程间无死锁存在,且各个进程之间的交互是兼容的;同时模型ESHPM有效地提高了划分精度,并获得了更加合理的软硬件划分方法。
-
关键词
π网
Π演算
嵌入式系统
软硬件划分
优化算法
-
Keywords
π-net
π-calculus
embedded system
software/hardware partitioning
optimization algorithm
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名嵌入式联锁控制器软件体系结构动态建模研究
被引量：2
- 4
-
-
作者
郭荣佐
黄君
王霖
-
机构
西南交通大学信息科学与技术学院
成都纺织高等专科学校电子信息与电气工程系
四川工商职业技术学院基础教学部
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第2期213-217,共5页
-
基金
四川省教育厅自然科学基金(No.07ZB005)
-
文摘
首先应用π演算和Petri网的相关理论,建立了嵌入式联锁控制器软件体系结构抽象模型ISAM;然后对ISAM模型的动态演化、一致性和死锁进行了深入研究;最后应用ISAM抽象模型,对嵌入式联锁控制器软件系统进行分析。
-
关键词
Π演算
PETRI网
嵌入式系统
信号联锁
软件体系结构
-
Keywords
π-calculus
Petri net
embedded system
interlocking signal
software architecture
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名基于风能和太阳能互补的微电网建模与仿真分析
被引量：6
- 5
-
-
作者
李林
曾成碧
宋明玉
-
机构
成都纺织高等专科学校电子信息与电气工程系
四川大学电气信息学院．四川成都
-
出处
《可再生能源》
CAS
北大核心
2012年第3期5-9,共5页
-
基金
四川省科技支撑项目(2010fz0003)
-
文摘
根据光伏电池的数学模型在MATLAB上建立了仿真模块,同时利用MATLAB里已有的异步风力发电机模型及蓄电池模型构建了风光互补的微电网系统。采用直流微电网与交流微电网混合的方式对直流负荷和交流负荷供电,在交流侧,仅采用一个独立的公共DC/AC变换器,在满足了负荷需求的同时节约了变换器资源。针对微电网的并网运行模式,建立了PQ控制模型;针对微电网的孤岛运行模式,采用了V/f控制方法,在电感电流内环电压外环的基础上,加入了负载扰动前馈补偿,同时,对逆变器连续状态空间表达式进行离散化,建立了控制模型。最后,通过对微电网并网运行和孤岛运行时的实例仿真,验证了控制方法的可行性及有效性。
-
关键词
风光互补
控制模型
蓄电池
微电网
-
Keywords
wind and solar hybrid
control model
battery
micro-grid
-
分类号
TM614
[电气工程—电力系统及自动化]
TM615
[电气工程—电力系统及自动化]
-
-
题名基于改进最大功率跟踪的光伏低电压穿越
被引量：3
- 6
-
-
作者
付文雯
曾成碧
苗虹
李林
刘耀远
-
机构
四川大学电气信息学院
成都纺织高等专科学校电子信息与电气工程系
-
出处
《电源技术》
CAS
CSCD
北大核心
2016年第5期1052-1055,共4页
-
基金
国家重点基础研究发展计划("973"计划)(2012-CB215200)
四川省教育厅自然科学项目(13ZA0096)
-
文摘
针对电压跌落时限制并网光伏逆变器过流与提高无功电流输出以支撑电网电压的矛盾,提出了基于改进最大功率跟踪控制的低电压穿越策略。在故障期间采用改进扰动观察法的MPPT控制来移动光伏阵列工作点,减少注入逆变器的有功功率,防止逆变器过流,同时提高了无功电流输出。理论分析及仿真试验证实,该策略在实现故障期间逆变器不过流的前提下,可以更合理地配置逆变器有功和无功输出,优化故障引起的有功功率缺额和电网无功电压支撑问题。
-
关键词
光伏
最大功率跟踪
两级式并网
低电压穿越
无功电压支撑
-
Keywords
photovoltaic
maximum power point tracking
double-stage grid-connected
LVRT
reactive power support
-
分类号
TM615
[电气工程—电力系统及自动化]
-
-
题名基于TePA的无线传感器网络安全方案
被引量：3
- 7
-
-
作者
龙昭华
陈万东
王梅
罗振营
-
机构
重庆邮电大学计算机系统结构研究所
成都纺织高等专科学校电气系
-
出处
《计算机应用研究》
CSCD
北大核心
2013年第6期1824-1827,共4页
-
基金
国家科技重大专项基金资助项目[2009ZX03004-003-04]
全国信息安全标准化技术委员会<物联网安全技术体系>标准研究项目([2011]046号-21)
-
文摘
针对无线传感器网络的安全需求,结合TePA技术提出了一种基于TePA的无线传感器网络安全方案。该方案简化了TePA技术的身份认证分组和分组字段,解决了无线传感器网络在传感器节点接入和密钥协商的问题。采用改进的BSW逻辑验证了协议,并从协议安全性和网络性能方面分析了方案,结果表明方案能抵抗中间人攻击和重放攻击,并适合无线传感器网络。
-
关键词
无线传感器网络
三元对等架构
认证
密钥协商
-
Keywords
wireless sensor network（WSN）
tri-element peer authentication（TePA）
authentication
key negotiation
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名一种混沌电路的设计与仿真
被引量：1
- 8
-
-
作者
陈文敏
-
机构
成都纺织高等专科学校电子信息与电气工程系
-
出处
《食品与机械》
CSCD
北大核心
2011年第4期114-116,共3页
-
文摘
研究一种混沌电路,对其数学模型进行分析;设计电路原理图,并利用EWB软件平台进行仿真,理论分析仿真结果得到证实。
-
关键词
混沌
仿真
奇怪吸引子
-
Keywords
chaos
simulation
attractor
-
分类号
O415.5
[理学—理论物理]
-
