形式化方法在机载电子硬件研制中的应用研究

详细设计规范是机载电子硬件适航性设计流程中的关键文档.通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性.以ARINC429总线传输模块设计为例,基于形式化方法完成正向设计过程.试验结果表明,基于形式化方法的设计流程能够有效帮助制定详细设计规范并在后期提高验证效率,进而缩减研制周期.     

基于SystemVerilog可重用测试平台的实现

对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活。以ARINC429收发器IP核为验证对象,采用System Verilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,实现了一种可重用测试平台。将不同的测试案例在测试平台上运行,结合断言与覆盖率驱动等验证技术完成了对ARINC429收发器IP核的功能验证,代码覆盖率和功能覆盖率均达到100%。实践表明,该测试平台具有良好的可重用性、易操作性,验证效率较高。     

基于FPGA的高速时间交替采样系统

提出了一种高速高精度数据采集系统的设计。ADC高速采样基于时间交替采样结构实现,以FPGA为逻辑控制芯片,DSP为误差矫正算法处理中心。在对系统总体设计各模块进行介绍的基础上,重点分析了系统存在的偏移误差、时延误差和增益误差,并描述了一种误差矫正方法。通过实验测试,结果表明该设计能够实现1 GS/s的高速采样,并能完成明显的误差矫正。     

Variable precision intuitionistic fuzzy rough set model and applications based on conflict distance

Due to the complexity and uncertainty of the physical world, as well as the limitation of human ability to comprehend, it is very difficult for any single method of uncertainty to effectively deal with the decision‐making problem that exists in real life. So, it is natural for us to think about incorporating the advantages of various theories of uncertainty to develop a more powerful hybrid method of soft decision‐making. In view of this recognition, the thought and method of intuitionistic fuzzy sets and variable precision rough sets are used to construct a novel intuitionistic fuzzy rough set model. With respect to the fact that the information system is intuitionistic fuzzy, the idea of measuring intuitionistic fuzzy similarity is used to define conflict distance. After that, this concept is combined with the variable precision rough sets so that a variable precision intuitionistic fuzzy rough set model is established, and its properties are investigated. After proposing an attribute reduction algorithm based on variable precision intuitionistic fuzzy rough sets, a case study is used to verify the feasibility and effectiveness of our novel model. The results show that our model indeed improves the classification ability of earlier models and possesses some ability to tolerate faults through adjusting the parameter λ and the confidence threshold β; it realizes the correct classification and extracts the decision rules.     

开放式数控系统网络接口技术研究

数控系统网络接口技术是实现数控机床实时信息采集的基础,是确保数控系统开放式、网络化及智能化的关键技术.通过对数控系统传统信息采集接口和基于网络的MTConnect标准的对比研究,基于后者在兼容性、跨平台性、可读性方面存在的优势,围绕开放式数控系统体系框架,本文设计一种基于MTConnect标准的开放式数控系统网络采集接口.同时,为兼容传统信息采集接口,提出一种可拓展的通用接口架构,阐述架构间模块的功能及互联方式,并从数控系统数据项抽取、数据项适配器(Adapter)、接口代理(Agent)等方面重点阐述接口的设计.最后,在自主研发的数控系统上实现网络接口,并对相关时间延迟开展了测试与分析,表明了该通用接口的正确性与实用性.     

基于Kinect的无标定人机交互控制系统设计

手部跟踪主从控制机械臂是一种新型的人机交互方式。利用Kinect传感器骨骼追踪技术处理景深数据获取手部位置,构建手部相对于髋骨中心与末端执行器相对于机械臂基座的运动映射关系,进行主从控制,实现人手与机器臂的实时交互。针对手部抖动消除和异常值处理,提出一种基于位置增量的移动平均轨迹平滑算法。实验结果表明,该系统能够很好完成手部跟踪和主从控制任务,具有较高的实时性和交互性。     

基于红外图像的眼睛开闭检测方法

基于红外眼睛图像,提出一种红外环境下判断眼睛开闭状态的方法,并应用于疲劳驾驶检测当中。对图像采用基于余弦的Gamma校正压缩灰度值域的高低两端,同时扩展中间灰度值范围提高对比度,使用多尺度Retinex变换消除阴影的干扰以获取更准确的眼睛形态,根据眼角角度和上下眼睑间的高度在平面坐标上的分布特征对眼睛状态进行分类。实验结果表明,该方法可以有效地判断眼睛的状态。     

嵌入式大气数据系统Kriging算法模型

基于Kriging算法提出了一种嵌入式大气数据系统的计算模型.该模型以测压点压强为输入,攻角、偏航角和Ma等大气参数为输出.采用Kriging插值方法,建立了输入与输出间的映射关系,从而避免了迭代类方法反复迭代的过程,实现了高实时性.分别比较了取三、四和五个测压点时,以及取不同位置处测压点时,计算大气数据的精度.通过与神经网络模型比较,Kriging模型的精度明显优于神经网络模型.     

基于Lingpipe的煤炭领域科研信息监测分析平台设计与实现

针对网络环境下文本挖掘技术在煤炭领域科研信息监测分析平台中的应用,首先对基于Web方式的文本挖掘开源工具比较分析,然后利用开源工具从基本特征提取、主题词抽取、自动分类和主题聚类等几个环节展开应用,最后利用TF-IDF算法实现煤炭领域热点主题趋势对比分析,为准确把握煤炭领域热点动态信息提供参考依据。     

基于用户反馈的WiFi位置指纹数据库更新算法

为使Wi Fi位置指纹数据库,不在定位区域Wi Fi环境发生改变时,出现位置指纹过时现象,设计一种更新算法。该算法使用用户的反馈数据,考虑了AP信号不稳定情况下AP新增与撤销的检测问题;消除了手机热点等临时AP对传统更新算法的影响;最终通过检测AP位置移动等引起的RSS改变,加速位置指纹数据库的更新。实验结果表明,在实际环境中该算法在指纹数据库的更新效率上优于传统更新算法。