基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
为了解决信息家电辅助控制系统中仿真构件开发的复杂性和多样性,降低整个系统的开发难度,提出了一种适用于系统开发的仿真构件数学模型;给出了信息家电辅助系统中仿真构件的定义、分类和数学模型,并根据Hoare逻辑,提出了验证仿真构件内部逻辑设计正确与否的方法;最后,给出了一个空调辅助开发系统中仿真构件的实现方法.
推荐文章
信息家电无线网关系统总体设计与实现
信息家电无线网关
家用电器
远程监控
信息家电网关系统CGI程序设计与实现
嵌入式系统
无线信息网关
信息家电
远程控制
WTV080芯片在以太网维文信息家电控制平台中的应用
语音芯片
以太网
家电控制平台
维文信息
信息家电身份认证系统的实现
信息家电
身份认证
RSA
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 信息家电控制器辅助系统仿真构件数学模型
来源期刊 重庆工商大学学报(自然科学版) 学科 工学
关键词 构件模型 构件接口 软件复用 仿真构件
年,卷(期) 2006,(3) 所属期刊栏目 电子信息技术
研究方向 页码范围 273-276
页数 4页 分类号 TP311
字数 2771字 语种 中文
DOI 10.3969/j.issn.1672-058X.2006.03.016
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 朱超平 重庆工商大学计算机科学与信息工程学院 20 77 4.0 8.0
2 林吉海 重庆工商大学计算机科学与信息工程学院 14 95 6.0 9.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (17)
共引文献  (65)
参考文献  (4)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1996(3)
  • 参考文献(0)
  • 二级参考文献(3)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(2)
  • 参考文献(0)
  • 二级参考文献(2)
2001(4)
  • 参考文献(0)
  • 二级参考文献(4)
2002(4)
  • 参考文献(0)
  • 二级参考文献(4)
2003(3)
  • 参考文献(1)
  • 二级参考文献(2)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(3)
  • 参考文献(3)
  • 二级参考文献(0)
2006(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
构件模型
构件接口
软件复用
仿真构件
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
重庆工商大学学报(自然科学版)
双月刊
1672-058X
50-1155/N
16开
重庆市南岸区学府大道21号
1983
chi
出版文献量(篇)
3397
总下载数(次)
6
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导