邵振

作品数：3被引量：4H指数：2
导出分析报告
供职机构：南京航空航天大学更多>>
发文主题：STM32动态性完整性软件演化过程智能家居更多>>
发文领域：自动化与计算机技术电子电信建筑科学更多>>
发文期刊：《中国电子商情（通信市场）》《计算机应用研究》《计算机与网络》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于Bigraph理论的软件演化过程模型研究被引量：2
《计算机应用研究》2013年第5期1423-1426,共4页刘培培 章勇 莫启 邵振 
基于Bigraph理论对软件演化过程模型进行研究,目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想,首先提出了一个形式化的软件演化过程模型,然后用扩展的Bigraph来描述软件演化过程模型的结构...
关键词：软件演化过程模型 Bigraph理论 Bigraph反应系统 动态性 完整性 
基于Pi演算的构件模型研究
《计算机与网络》2012年第21期48-50,共3页刘培培 章勇 邵振 
Pi演算是移动、交互和并发系统的理论基础,在现有的研究成果基础之上,文章对进程代数Pi演算的基本语法和语义进行了简要的介绍。构件和构件行为是研究基于构件的软件系统开发的基础,将构件定义为一个进程,构件接口定义为构件进程的子进...
关键词：PI演算 构件 构件行为 构件交互 
应用于智能家居中的学习型红外模块设计被引量：2
《中国电子商情（通信市场）》2012年第4期27-32,共6页邵振 章勇 刘培培 
针对智能家居系统中红外设备控制的难题，文章主要介绍了一款基于STM32芯片所设计的红外收发模块。鉴于市场上红外编码的多样性，该模块采用数字计时的方式直接复制红外码，简化了红外学习算法；考虑到红外编码的长度及硬件的存储能力...
关键词：STM32 红外学习 CAN2.0 智能家届 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部