刘振通
- 作品数：6 被引量：2H指数：1
- 供职机构：山东建筑大学信息与电气工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Linux的建筑能耗数据采集器设计
- 2016年
- 当前,建筑能耗过高的问题日益突出。能耗数据采集器是建筑能耗监测系统数据采集环节的主要设备,对采集器进行优化设计可提高监测系统的可靠性。文章针对现有建筑能耗数据采集器系统专用、配置繁琐以及配置不灵活等问题,基于Linux操作系统的工作原理与设计方法,对建筑能耗数据采集器的软硬件进行了设计,并通过对建筑能耗数据采集器工作运行,验证了建筑能耗数据采集器的可行性和实际效果。
- 刘振通罗明华栾鸾刘兆峰
- 关键词：LINUX数据采集器
- Uppaal到PVS的时间自动机翻译器
- 2008年
- Uppaal是一种对实时系统模型进行建模和验证的工具,PVS(Prototype Verification System)是开发和分析形式化规格说明的原型证明系统。介绍了Uppaal2PVS翻译器的设计与实现,给出了一种将用Uppaal生成的时间自动机规格说明翻译成PVS文件的方法,从而将模型检查问题转换成了定理证明问题,解决了潜在的状态空间爆炸问题。最后给出了一个实例。
- 刘振通缪淮扣许庆国
- 关键词：时间自动机翻译器UPPAALPVS
- Uppaal时间自动机规格说明到PVS时间自动机模板的转换
- 随着计算机技术的飞速发展，实时系统(real-time system)的应用日益广泛。在实际应用中，随着实时系统规模不断扩大、功能不断增强，导致实时系统运行时软件出现错误的可能性也在增加。实时系统软件运行过程中出现的任何...
- 刘振通
- 关键词：时间自动机翻译器实时系统形式化方法
- 文献传递
- 广西电力企业信息系统整合的思考与应用
- 2008年
- 为了提高电力企业信息化管理水平及工作效率,在遵循企业信息系统发展规律前提下,针对目前广西电力企业信息化发展存在的问题,探讨对原有信息系统资源进行整合的设想和方法,建设满足现代企业管理需要的信息系统。
- 刘振通
- 关键词：企业管理
- 基于Socket的采暖评价系统监测软件设计被引量：1
- 2016年
- 随着经济的不断发展,建筑采暖能耗过高的问题日益受到关注。而采暖评价系统的数据采集监测软件是对分散在网络上的作为单独交汇点的数据采集装置进行监测和操控的前提和基础。文章针对建筑采暖能耗过高的问题,基于SQL Server数据库在Visual Studio开发环境中运用Socket技术,对采暖评价系统监测软件的设计流程、多线程的Socket通信、数据库进行了设计;通过对采暖评价系统监测软件工作运行,验证了采暖评价系统软件的可行性和实际效果,证明可满足节能运转的设计要求。
- 栾鸾刘兆峰刘传永刘振通
- 关键词：SOCKETSQLSERVERVISUALSTUDIO
- 焓差实验室测控系统的设计与实现
- 现代建筑使用越来越多的高密封性建筑材料，使得室内空气质量状况不断下降。新风换气系统得到越来越广泛应用。新风换气系统各项参数指标，对于科研及产品性能具较高的参考价值，一般通过焓差实验室测试获取。普通焓差室无法用于新风换气机...
- 刘振通
- 关键词：温度控制测控系统嵌入式控制器
