设计应用 形式化方法在机载电子硬件研制中的应用研究[嵌入式技术][航空航天] 详细设计规范是机载电子硬件适航性设计流程中的关键文档。通过对形式化方法特点分析，给出基于模型检验的设计规范提取步骤，以提高设计的正确性和完整性。以ARINC429总线传输模块设计为例，基于形式化方法完成正向设计过程。试验结果表明，基于形式化方法的设计流程能够有效帮助制定详细设计规范并在后期提高验证效率，进而缩减研制周期。 发表于：2015/8/11 下午1:23:00 基于粗糙集约简并加权的SVM分类算法[嵌入式技术][数据中心] 针对Web中文文本分类中现有权重计算方法的不足和SVM算法对大数据量模式分类的低效性，提出了基于粗糙集约简并且加权的SVM分类方法。粗糙集作为SVM分类的前期预处理器，应用粗糙集的约简理论和基于Web中文文本的可变精度粗糙集加权方法对分类前的数据分别进行简化并计算权重，从而提高SVM后期分类的效率和精度。实验结果表明，SVM对约简并加权后的数据进行分类，分类性能得到了进一步保证。 发表于：2015/8/10 下午4:52:00 基于一种大数据应用架构的消费者行为分析[嵌入式技术][数据中心] 研究了一种大数据的应用程序框架，通过使用拓扑数据结构、共生技术分析和马尔科夫链理论来分析消费者的购买行为。首先将与消费者相关的数据转换成一种拓扑数据结构；然后使用拓扑关系、一种共生矩阵对消费者行为进行分析，推断出马尔柯夫链模型。仿真结果证实了该理论框架的有效性。 发表于：2015/8/10 下午4:45:00 树型编译系统设计[嵌入式技术][数据中心] 从编译系统的用户界面出发，探讨了不同类型用户界面的优缺点。提出了语句模块预处理-编译器的设计思路，阐述了此设计方法基于树型界面实现可视化编译系统的具体实现步骤，重点讨论了树型系统部分的实现方法。 发表于：2015/8/10 下午4:34:00 天线姿态监控管理系统中管控主机的设计[通信与网络][工业自动化] 随着移动网络的发展，电信运营商加强对信号基站的部署，同时特别关注天线的姿态及信号的覆盖情况，需求一种能够提供远程集中管理的系统方案。设计了一种管控主机，能够连接天线姿态传感器获取天线的姿态，同时可以集中管理不同型号的电调，结合天线姿态监控管理系统实现对基站天线姿态的远程监控，使运维人员可以随时随地了解天线姿态情况，给日常运维带来便捷，提高了工作效率。 发表于：2015/8/10 下午4:27:00 微型课件在iOS移动学习平台上的设计与实现[嵌入式技术][消费电子] 为了满足学习者随时随地学习的要求，设计了基于iOS移动学习平台的微型课件。该设计以微型学习理论为基础，以Xcode为开发平台，object-c为开发语言，采用C/S架构和MySQL数据库，实现了客户端、服务器、数据库之间的通信调用，同时完成了在手机端对微型课件的展示。主要实现的微型课件模式分为：文本﹑图片和视频。经测试，文本﹑图片和视频的响应时间均达到了设计要求，实现了在iOS平台上学习的目的。 发表于：2015/8/10 下午4:14:00 应急预案流程的Petri网建模方法研究[通信与网络][数据中心] 为了提高应急信息系统模型的语义基础，提出了一种基于Petri网的应急预案流程的建模方法。以ABC模型为上位本体建立了应急预案流程本体，提出了应急预案流程的Petri网建模过程，并定义了应急预案流程中本体和层次Petri网的映射规则。使用该方法对某公路桥梁抢修应急预案流程进行Petri网建模，并通过仿真分析验证了建模方法的有效性。 发表于：2015/8/10 下午4:03:00 基于云计算的温室视频监控系统设计与实现[嵌入式技术][工业自动化] 针对目前温室大棚视频监控系统存在着离线数据量大的特点，为了更加高效、安全地处理离线数据信息，并准确获取温室大棚视频数据信息，将云计算技术与视频监控技术融合在一起，既可以解决传统的网络视频监控不能传输大量数据、无法实现海量视频文件存储及计算的问题，又能从本质上保证监控系统的安全性、稳定性、实时性和提高计算效率。这一技术的结合在增加农民经济效益、减少人力消耗的同时，促进经济的快速发展，最终达到农业科技信息化。 发表于：2015/8/10 下午3:23:00 基于平均影响值和支持向量机的小麦病害识别[测试测量][工业自动化] 为了提高小麦病害识别准确率，提出了一种基于平均影响值思想和支持向量机的小麦病害识别方法。首先，使用阈值分割方法对小麦叶片图像进行分割；其次，利用灰度共生矩阵和颜色矩提取病害的纹理和颜色特征；再次，将平均影响值思想应用于支持向量机回归进行特征变量优选；最后，将优选出的特征变量作为支持向量机的输入向量进行识别。实验结果表明，经过特征变量优选，特征变量个数由14个减少到7个，识别准确率达到96.25%，为农田小麦病害识别提供了有效方法。 发表于：2015/8/10 下午3:06:00 智能家居小车[嵌入式技术][物联网] 普通空气加湿器加湿范围有限，无法调节整个室内湿度。设计了智能家居小车可移动地对室内加湿，利用单片机控制技术、PID控制、模糊控制完成对整个室内湿度的平衡，并可以对温度过高以及烟雾浓度进行监测，对室内可能发生的火灾预警。 发表于：2015/8/9 下午10:03:00 <…558559560561562563564565566567…>
