基于MFC的工程软件界面设计

从设计图形用户界面的框架结构及实现人机交互入手,说明了用C++语言进行图形用户界面设计的相关内容和处理要点,并以具体例程论述了制作图形界面时函数的编写方法。运用MFC进行界面菜单和对话框的设计,为平台实现提供了可视化环境;使用图片图像处理软件,为实现可视化美观设计,提供了一个良好的界面交互环境。     

Colored Nets as a Formal Approach to Event-Driven Interfaces

1IntroductionModernuserinterfaceshavebeendevelopednowadaysingraphical,window-basedenvironments.Thedevelopmentofsuchuserinterfacesisgreatlyaidedbyinteractiveconstructiontools.AlthoughmanycommercialproductscanbefoundinthesoftwaremarketPlace,mostavailableproductSonlydealwiththeexternalappearanceoftheinterface(itspresentation),andusuallyprovidenohelpinthedesignofthedynamicbehavioroftheinterface.Thedesignoftheinterfacespecificationispostponeduntiltheactualimplementationoftheinteractivesystem,since…     

Robust Multithreaded Object Tracker through Occlusions for Spatial Augmented Reality

A spatial augmented reality (SAR) system enables a virtual image to be projected onto the surface of a real-world object and the user to intuitively control the image using a tangible interface. However, occlusions frequently occur, such as a sudden change in the lighting environment or the generation of obstacles. We propose a robust object tracker based on a multithreaded system, which can track an object robustly through occlusions. Our multithreaded tracker is divided into two threads: the detection thread detects distinctive features in a frame-to-frame manner, and the tracking thread tracks features periodically using an optical-flow-based tracking method. Consequently, although the speed of the detection thread is considerably slow, we achieve real-time performance owing to the multithreaded configuration. Moreover, the proposed outlier filtering automatically updates a random sample consensus distance threshold for eliminating outliers according to environmental changes. Experimental results show that our approach tracks an object robustly in real-time in an SAR environment where there are frequent occlusions occurring from augmented projection images.     

基于PCI总线的MPEG-2解码插卡软件接口设计

介绍一种基于PCI局部总线的MPEG－2多节目传输流实时解码卡的硬件接口及上层软件设计，上层软件通过分析硬盘存储的多节目传输流给出节目信息，然后根据用户输入选择一路节目播放，发送模块将硬盘中的编码数据通过PCI总线发送到解码卡，在解码卡上通过专用解码芯片实时解码并显示，上层软件采用多线程方式实现内存与PCI总线，内存与硬盘之间的交替数据传输，文中给出了软件设计思想和结构。     

Cyclic redundancy check‐based detection algorithms for automatic identification system signals received by satellite

This paper addresses the problem of demodulating signals transmitted in the automatic identification system. The main characteristics of such signals consist of two points: (i) they are modulated using a trellis‐coded modulation, more precisely a Gaussian minimum shift keying modulation; and (ii) they are submitted to a bit stuffing procedure, which makes more difficult the detection of the transmitted information bits. This paper presents several demodulation algorithms developed in different contexts: mono‐user and multi‐user transmissions, and known/unknown phase shift. The proposed receiver uses the cyclic redundancy check (CRC) present in the automatic identification system signals for error correction and not for error detection only. By using this CRC, a particular Viterbi algorithm, on the basis of a so‐called extended trellis, is developed. This trellis is defined by extended states composed of a trellis code state and a CRC state. Moreover, specific conditional transitions are defined to take into account the possible presence of stuffing bits. The algorithms proposed in the multi‐user scenario present a small increase of computation complexity with respect to the mono‐user algorithms. Some performance results are presented for several scenarios in the context of the automatic identification system and compared with those of existing techniques developed in similar scenarios. Copyright © 2013 John Wiley & Sons, Ltd.     

英国提升科学家媒介素养的措施和启示

公众的科学素养和科学家的媒体素养在科学传播对话模式的背景下是相辅相成、不可分割的两个概念,要实现科学与公众的有效对话,除了强调公众科学素养的提高之外,还必须关注科学家媒介素养的提高。近几年,英国机构推行了一系列项目,旨在提高科学家的媒介素养,促进科学家与媒体、公众的对话交流,并取得良好的效果。本文首先探讨了科学家媒介素养概念的重要意义,其次,对英国此类项目具体方案和特色进行分析,为国内开展提高科学家媒介素养的项目提供启示。     

嵌入式实时操作系统中系统调用方法的设计与实现

在高安全性的实时操作系统中支持两种运行形态:系统态和用户态。核心OS运行在系统态,应用运行在用户态。为有效保护核心OS的安全,用户态的应用通过系统调用的方式调用核心OS提供的功能接口。笔者在深入研究系统调用的基础上,设计并实现了一种系统调用方法。通过在某嵌入式实时操作系统中的实现,证明该方法是安全的、可行的、有效的。     

An Integrated Cosimulation Environment for Heterogeneous Systems Prototyping

In this paper, we present a hardware-software cosimulation environment for heterogeneous systems. To be an efficient and convenient verification environment for the rapid prototyping of heterogeneous systems consisting of hardware and software components, the environment supports (i) modular cosimulation, (ii) cosimulation acceleration, and (iii) integrated user interface and internal representation. For modular cosimulation, we treat software and hardware components as separate processes that communicate with each other only through inter-process communication. We generate interface model automatically and insert between software and hardware components. We can accelerate cosimulation through hardware-emulation using FPGAs which also supports our incremental system prototyping strategy. Finally, to provide an integrated user interface and internal representation consistent with various prototyping tasks, we modified and extended Ptolemy, a cosimulation and cosynthesis environment for heterogeneous systems. The benefits of our cosimulation environment are as follows: expandability of the environment, target architecture and protocol independence, interface transparency, seamless transition to cosynthesis, cosimulation speedup, and convenient cosimulation. As experimental examples, we cosimulated and prototyped several heterogeneous systems successfully, which shows that our environment can be a useful heterogeneous systems specification/verification environment for fast prototyping.     

基于嵌入式LINUX的异步事件驱动数据采集模型

提出了一种基于嵌入式Linux的高性能多路数据采集软件模型．该模型采用ACE设计模式提供的体系架构，实现了异步事件驱动的并发处理，能支持事件多路分离，异步操作结束会触发事件句柄，再调用回调函数完成相应的数据处理任务。由于对数据源事件的监测、数据读取、多事件的处理等操作是由操作系统完成．该模型可以有效避免多进程同步机制系统开销较大的问题，从而提高嵌入式系统的多路数据并发采集能力。     

STK软件在数字目标场景仿真中的应用

为了解决数字目标场景仿真中缺少逼真的战场态势和目标轨迹显示的问题,提出了利用卫星工具包(STK)软件进行三维战场环境显示的思路和方法。通过研究STK二次开发接口和对象模型库,在基于微软基础类(MFC)的窗口应用程序中利用STK的组件对象模型(COM)接口进行二次开发,实现了在窗口应用程序中直接嵌入STK三维显示窗口,并利用STK的星历文件实现了轨迹信息的导入和显示。同时,给出了雷达坐标系下目标位置与经纬度的转换方法。该研究解决了数字目标场景仿真中三维场景显示的问题,为雷达提供了更加真实的仿真场景,提高了用户体验度,具备较高的工程应用价值。     

基于LinearLayou的多级嵌套界面设计

Android程序用户界面使用布局和组件来定义,为了适应各式各样的界面风格,Android系统提供了线性布局、帧布局、相对布局、绝对布局等五种布局方式,而线性布局（LinearLayou）是最简单、最常用、最实用的布局类型之一,能够按照设计者的意图在屏幕上垂直地或水平地组织用户界面控件或者小工具。通过设计一个计算器界面,详细阐述了线性布局的多级嵌套方法,基于这种布局方式可以实现大多数的Android程序用户界面。     

基于多级描述模型的渐进式图像内容理解

针对目前基于内容的图像检索技术中低级特征无法准确全面地描述高级语义的问题,本文提出了一种基于多级图像描述模型的渐进式图像内容理解.该图像描述模型在不同层次上对图像内容进行分析和提取,实现了图像内容的全方位描述,从底层向高层的过渡是渐进式的图像理解过程.特别是从视觉感知层到目标层,体现了图像低级特征与高级语义之间的过渡.本文给出了一种基于先验知识的上下文驱动的目标理解算法,实现了图像语义的提取.作为一个应用实例,本文给出了以上方法在基于内容的图像检索技术中的具体应用.     

DVB/OTT终端管理系统的高并发处理方案

介绍了一种基于TR069协议(CPE广域网管理协议)的DVB/OTT终端管理系统的高并发处理方案.通过设置缓存区、使用线程池、设置终端开机延迟3个方面优化系统,可以有效地解决大规模的机顶盒终端同一时刻向终端管理系统发送请求而引起的高并发问题,从而保证终端管理系统能够在高并发环境下稳定运行.     

基于扩展传染病模型和马尔可夫链的物联网可用度评估方法

为反映恶意程序传播环境下物联网可用的状态,基于扩展的SEIRD传染病模型和马尔可夫链提出一种物联网可用度评估方法。根据物联网节点的实际状态,扩展经典传染病模型SIR建立SEIRD物联网节点状态转换模型。由物联网节点各个状态之间的动态变化过程,构建物联网节点处于5种状态的概率动力学方程,得到反映各状态转换的马尔可夫矩阵,进一步得到物联网节点的可用度计算方法。以典型的星形和簇形物联网拓扑结构为例,给出整个物联网可用度的评估方法。通过实验,为管理员如何合理部署正常工作节点数、路由数提供建议。研究成果对提高物联网可用度、促进物联网成功应用具有理论指导意义。     

空管自动化系统人机界面用户体验研究

该文以用户体验为中心,结合空管自动化系统人机界面交互实际,研究用户体验模型.以该模型为基础,从空管专业实际应用背景出发进行人机界面设计,努力提升管制员对系统的使用体验,旨在为新一代空管自动化系统界面设计提供新的思路.     

ESCFE: expert system for customer facing environments

ServiceCentres are purpose-built units where British Telecom (BT) staff provide a single point of contact to BT's largest customers. They provide information on all queries relating to product availability, ordering, job progression, and fault finding. ESCFE is a prototype expert system which supports ServiceCentre staff in the three-way dialog between BT staff, the customer, and BT computer systems (both local and remote). It is designed to be user-friendly to both BT staff and customers, and to provide quality customer service by promoting a professional image and efficient customer handling. It is essentially an intelligent interface on top of existing system functionality, which allows the user to receive structured dialog support in dealing with a customer request     

基于MFC的AUV多传感器数据采集系统设计及测试

由于海底环境的复杂性与任务的多样性,这就对AUV航向位姿环境等信息的实时性和可靠性提出很高的要求。为了降低海试成本和风险,以智能小车为硬件平台,装载AHRS、GPS、激光测距仪(LMS)等多个传感器,组成数据采集系统,采用模块化分布,使用多线程编程技术和串口通信技术,创建基于对话框的MFC应用程序,实现人机交互。     

基于Qt的智能家居管理软件设计与实现*

通过分析智能家居系统的功能需求确定了基于Qt的软件设计方案,软件架构采用C/S模式。服务器与客户端软件采用Qt进行开发,家庭网关采用嵌入式Linux平台。设计并实现了运行于家庭网关上的服务器软件,重点阐述服务器软件设计中信号-槽编程、串口通信、多线程服务器建设、SQlite数据库编程这四个关键部分。该设计满足智能家居管理软件对远程控制、实时性、人性化交互界面的需求,促进了Qt在嵌入式系统中的应用。     

基于液晶显示的有限状态机在人机界面中的应用

通过分析有限状态机状态转移的特性,提出了利用有限状态机设计液晶显示人机界面的方法。以液晶显示菜单的转换为例,详细论述了使用C语言设计人机界面的过程。使用SPLC501C液晶显示模块实现了菜单的转换功能,且给出了显示菜单转换的液晶显示模块驱动程序。实际应用表明,这种方法易于扩展菜单数量,避免了非法状态的出现,菜单转换迅速、稳定可靠。     

计算机支持多用户协同编著系统模型

文中提出了协同编著系统的基本要求,描述了时间、空间上分散而在任务上又相互依赖的多个作者的交互方式、协作机制,分析了协同编著要素,提出了协同编著系统的逻辑模型,研究了协同编著系统中多用户文档的、操作和并发控制模型,分析了同步会议的管理模型、会议的同步模型和消息的管理策略;最生设计了相应的系统结构模型。