四川省教育厅自然科学科研项目(10ZA008) 作品数:8 被引量:23 H指数:4 相关作者: 黄君 郭荣佐 王霖 张涛 王英 更多>> 相关机构: 四川工商职业技术学院 四川师范大学 成都纺织高等专科学校 更多>> 发文基金: 四川省教育厅自然科学科研项目 四川省自然科学基金 更多>> 相关领域: 自动化与计算机技术 文化科学 理学 更多>>
基于Copula的ERCS系统软硬件综合可靠性建模与分析 被引量:3 2014年 在现代的电子业、制造业和工业控制等系统中,系统的可靠性越来越重要,而嵌入式实时控制系统(Embedded Real-time Control System,ERCS)大部分是控制系统的核心部分,其系统可靠性尤为重要。首先对嵌入式实时控制系统软硬件进行形式化抽象定义;然后对不可再分的软件模块和IP硬核进行可靠性建模,应用Copula函数对软件子系统和硬件子系统分别进行建模,并建立了ERCS系统的软硬件综合可靠性Copula模型;最后应用建立的模型,对具体的系统进行了软硬件综合可靠性计算。通过实例计算可知,用Copula建立的ERCS软硬件综合可靠性模型考虑了软件各个模块间、硬件各个IP硬核间和软硬件间的相依性,使得ERCS软硬件综合可靠性比独立时有所提高。 郭荣佐关键词:COPULA函数 可靠性 软硬件 RFID系统8-4-2动态多叉树防碰撞算法设计与分析 被引量:2 2013年 针对RFID系统多标签防碰撞以及信息交互效率低下等问题﹐提出了8-4-2动态多叉树防碰撞算法和信息携带量小优先(Short message first,SMF)的信息交互算法。8-4-2DMTSA算法通过计算当前系统产生的碰撞比率动态确定搜索叉数﹐并且优化搜索命令﹐减少了空闲时隙;SMF算法通过对不同标签的信息量进行标识﹐按照信息携带量小优先原则进行交互﹐缩短了标签平均等待时延。通过仿真分析表明﹐设计的算法能够有效改善RFID系统的整体性能﹐提高系统的整体效率。 郭荣佐 张涛 黄君关键词:RFID系统 防碰撞 信息交互 多叉树 嵌入式实时控制系统软件可靠性建模与应用 被引量:6 2013年 嵌入式实时控制系统(ERCS)广泛应用于各种控制系统中,其软件不同于普通软件,除满足实时性要求外,可靠性也是相当重要的。首先对嵌入式实时控制系统软件进行形式化抽象定义,然后对不可再分的软件模块进行可靠性建模,并应用Copula函数对软件系统进行建模,最后应用建立的模型,对具体的系统进行了软件可靠性计算。通过实例计算可知,用Copula函数建立的嵌入式实时控制系统软件可靠性模型,考虑了软件各个模块的相依性,进而得到嵌入式实时控制系统软件模块相依的可靠度较各模块独立时有所提高。 郭荣佐 黄君关键词:COPULA函数 一个推广的周期非线性色散波方程的爆破解(英文) 2013年 使用经典的数学技巧研究了一个推广的周期非线性色散波方程的柯西问题。通过使用Kato半群理论,获得了这个方程局部解的存在唯一性。在关于初值的适合条件下,得到了这个方程的一个精确爆破图景(即解在有限时间爆破当且仅当lim supt↑T{supx∈S|γux(t,x)|}=+∞)和一个爆破结果(即解爆破的一个充分条件)。 黄君 王英 朱国会关键词:局部适定性 爆破解 CAMASSA-HOLM方程 嵌入式实时控制系统硬件可靠性及应用研究 被引量:9 2012年 嵌入式实时控制系统硬件故障是造成系统失效的主要原因之一,针对此问题,首先定义嵌入式实时控制系统硬件体系结构;然后分析嵌入式实时控制系统的可用性和失效模式,并对单个IP硬核和嵌入式实时控制系统硬件应用Markov链建立了可靠性模型;最后用所建立的模型,对嵌入式联锁控制器硬件进行了可靠度计算和分析。通过计算可知,所建立的可靠性模型能够描述嵌入式实时控制系统硬件的状态变迁,并能定量预测和分析其可靠度,模型具有一定的实用价值。 郭荣佐 黄君关键词:硬件 可靠性 实时系统 MARKOV链 联锁 基于Markov链的嵌入式系统硬件可靠性研究 被引量:4 2012年 嵌入式系统产品在使用过程中经常出现硬件故障,从而影响系统的安全可靠性。从嵌入式系统硬件层面研究其可靠性。首先定义嵌入式系统硬件目标,简单介绍了Markov过程理论;建立了单个IP硬核和嵌入式系统硬件的Markov模型;应用所建立的模型,对嵌入式站间自动闭塞控制器硬件进行了可靠度计算和分析。实验结果表明,该Markov模型能够准确描述嵌入式系统硬件的状态变迁,并能计算和分析其可靠度,具有一定的实用价值。 郭荣佐 黄君 王霖关键词:可靠性 硬件 嵌入式系统 MARKOV链 基于π网的嵌入式系统软硬件划分方法 被引量:4 2012年 针对嵌入式系统软硬件划分问题,提出一种基于π网的软硬件划分方法。首先介绍π网的定义及其规则;然后,对嵌入式系统目标进行描述和定义,应用π网建立软硬件划分模型——嵌入式系统软硬件划分模型(ESHPM);最后,对模型ESHPM进行一致性、死锁和兼容性分析,同时,对模型ESHPM进行了优化。所建立的模型ESHPM满足一致性,各进程间无死锁存在,且各个进程之间的交互是兼容的;同时模型ESHPM有效地提高了划分精度,并获得了更加合理的软硬件划分方法。 郭荣佐 黄君 王霖关键词:Π演算 嵌入式系统 软硬件划分 优化算法 高职信息类专业数学教学现状与改革探索 被引量:2 2014年 文章从当今高职院校信息类专业数学教学现状出发,就教材和教学内容、教学课时、学生的数学基础和教学方法等进行分析,提出了具有针对性的改革措施。首先,从高职信息类的不同专业对数学的具体要求出发,建立和建设适应高职信息类各专业需求的"1+N+2"课程体系;然后提出了任课教师转变教育观点、提高教学水平和将数学文化贯穿于数学教学中等6条适合高职信息类专业数学教学的改革措施。高职信息类数学教学改革的研究,得益于四川某高职院校的具体教学实践,文章提出的改革措施应用于该高职的信息类数学教学,取得良好的教学效果和得到学生的好评。 黄君关键词:高职 信息类专业 数学 教学现状