薛小平
- 作品数:82 被引量:300H指数:10
- 供职机构:同济大学更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术电子电信交通运输工程文化科学更多>>
- 基于事件通信的RFID网络模型研究
- RFID的成功不仅取决于廉价的标签和阅读器,还依赖于合适的网络构架,近年来,研究人员已经开始关注RFID应用网络构架的研究。本文对RFID网络的特征、行为进行了研究,RFID网络是建立在IP网络基础上的,以代理为基础的多...
- 薛小平张思东戴佩华
- 关键词:射频识别网络通信网络构架网络模型
- 文献传递
- 苛求软件可靠性方法、技术与模型研究
- 2012年
- 从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。
- 武延华薛小平王小平
- 关键词:形式化方法软件容错函数式程序设计
- 用于程序循环控制的错误检测算法被引量:2
- 2015年
- 为确保安全苛求系统中程序执行的正确性,针对程序循环控制中内存未更新、循环提前结束和循环滞后结束的问题,提出一种基于含签名和时间戳的算术(ANBD)码的循环控制错误检测算法。该算法通过ANBD码,将程序变量编码为含签名的码字。通过校验码字签名,检测循环控制错误。运用ANBD码中的时间标签,可检测内存未更新错误。另外,在ANBD码基础上,通过采用在线语句块签名分配算法、语句块签名函数和变量签名补偿函数,检测循环提前结束错误和循环滞后结束错误。该算法理论错误漏检概率为1/A,其中A为编码素数,选取97-10993的素数进行错误漏检概率测试,得到理论模型与测试结果的归一化均方误差(NMSE)约为-30 dB。测试结果表明,该算法可检测循环控制中出现的各类错误,且编码素数A接近232时,错误漏检概率可达10-9,能够满足安全苛求系统的应用要求。
- 邹宇薛小平张芳潘勇潘腾
- 关键词:签名
- RFID网络的数据清理技术被引量:7
- 2008年
- 结合RFID网络数据质量和可靠性研究的最新进展,分类和评述了现有的数据清理技术,分析了平滑和判决方法、流水线方法、基于统计的估计方法、完整性约束的方法等。研究表明,针对不同的应用要求,需要多种数据清理技术的组合才可确保RFID阅读可靠性。
- 薛小平张思东王小平曹晓宁
- 关键词:数据清理可靠性
- 通信工程专业“卓越工程师教育培养计划”核心课程教学团队建设初探被引量:1
- 2013年
- "卓越工程师教育培养计划"以社会需求为导向,以实际工程为背景,以工程技术为主线,着力提高学生的工程意识、工程素质和工程实践能力,因此对课程教学有了新的要求。本文以核心课程建设为基础,从团队的建设目标、运行及管理机制、落实专业人才培养目标和专业标准的措施等方面论述通信工程专业"卓越工程师教育培养计划"核心课程教学团队的建设,体现同济大学"KAP"(知识、能力、人格)培养模式的卓越工程师教育培养的思路,建立相适应的措施、管理和评价制度。
- 郭爱煌胡宗福宋春林薛小平李志鹏
- 关键词:卓越工程师教育核心课程课程教学团队通信工程
- 基于Delphi5的Internet课件制作软件的设计与实现被引量:2
- 2001年
- 基于Delphi5设计并实现了一个Client/Server与Browser/Server结合模式的Internet课件制作软件,其操作简单、灵活,基于HTML并能适应教学内容,自定义标识扩展HTML的表现能力,创造更好的教学效果.
- 王晓芸张砚秋薛小平阮永良
- 关键词:软件设计DELPHI5INTERNET课件制作软件教学软件
- 基于ANBD码的按位运算可信算法研究
- 2016年
- 由于高安全系统中会使用到按位运算,基于ANBD码的安全编码无法对按位运算直接进行编码,所以会导致这些高安全系统无法通过安全编码的方式保证该系统的安全完整性等级。针对这种情况,提出基于ANBD码的按位运算编码转换算法。算法首先将按位运算等效地转换为数组、加法、移位等可直接进行安全编码的运算,然后对转换后的运算直接进行安全编码,最后得到的是基于ANBD码的按位运算编码。实验结果表明,优化后的8位段按位运算转换算法能够兼顾空间和时间上的开销并且在安全性上能确保达到1/A的剩余错误率。
- 李晨欢薛小平张芳潘勇贾建华
- 关键词:位运算
- 物联网核心技术及应用演进被引量:18
- 2013年
- 针对物联网概念、关键特征、体系结构及核心技术进行研究。在关键特征与核心技术方面,深入研究并讨论了物联网的泛在性、特定环境下的智能标识与感知技术、数据的不确定性、数据表示方法、海量数据的信息传播、安全和隐私等问题,并给出了开放性的研究内容。针对未来物联网应用的泛在性,进一步提出了物联网的研究发展方向。
- 薛小平王骞张芳
- 关键词:物联网泛在网络体系结构智能技术
- 基于移动IP实现可靠组播的一种优化策略被引量:1
- 2005年
- 移动IP(MIP)组播技术是移动IP技术和IP组播技术的结合,有着广泛的发展空间。该文对现有的可靠移动组播协议进行了研究,分析了各种协议无法满足复杂的实际应用的状况,然后针对该问题提出了基于移动节点的切换频率进行控制的一种优化策略,并且给出了基于该策略改进RRBMoM协议的算法。
- 周庆薛小平
- 关键词:可靠组播切换频率
- 研究生课程“宽带无线通信”教学改革的研究与实践被引量:1
- 2014年
- 基于"宽带无线通信"研究生课程的教学实践,讨论了课程教学过程中的困惑与矛盾,并在此基础上,针对"宽带无线通信"课程的特点,对课程教学内容组织、授课方式、文献阅读和自学能力提高进行了研究与实践,取得了很好的教学效果,受到了研究生和教学督导的一致好评。
- 薛小平张芳郭爱煌徐娟
- 关键词:教学课程