操作系统形式化设计与验证综述

对操作系统的形式化设计和验证的概念进行介绍,描述其框架和基本方法。比较和分析操作系统宏内核和微内核结构,调查多个设计和验证项目,阐述项目的验证目标、方法、优缺点和进展情况。在总结研究现状的基础上,分析和展望操作系统形式化设计和验证的发展趋势,从操作系统模型设计、验证工具、代码实现和验证重用等方面给出形式化设计和验证的思路。     

有问必答

问:何谓高技术和高技术产业?答 根据我国高技术研究计划(863计划)的认定,高技术是指对我国当前和未来发展有重大影响的生物技术、航天技术、信息技术、新能源技术和新材料技术.根据国务院批准发布的有关规定,高技术产业是指:根据世界科技发展现状和我国科技发展战略,在微电子科学和电子信息技术、空间科学和航空航天技术、光电子科学和光机电一体化技术、生命科学和生物工程技术,材料科学和新材料技术、能源科学和能源及高效能技术、生态科学和环境保护技术、地球科学和海洋工程技术、基本物质科学和辐射技术、医药科学和生物医学工程等领域建立的知识密集型、技术密集的科技先导型产业.     

电子商务的发展现状与趋势

主要从技术和管理等层面上考察和总结了电子商务的发展现状 ,阐述了电子商务发展的阶段性和商务模式特征 ,分析和总结了企业电子商务发展和应用的制约因素 ,刻画了电子商务的核心和本质 ;最后 ,展望了电子商务研究和应用的发展趋势。     

论高校教师信息素养及其在学生创新能力培养中的作用

讨论高校教师信息素养和创新型人才的内涵和关系,论述高校教师信息素养建设的必要性和对学生创新能力培养的重要性,分析高校教师信息素养在学生创新能力培养中的作用,提出培养和提高教师信息素养的一些设想和方法,旨在努力提高教师和学生的创新思维和创新能力。     

面向对象的系统分析和设计

面向对象的分析和设计就是把面向对象的方法运用到软件工程的分析和设计阶段,从而建立更加适应当今庞大、复杂且易变的系统的模型。 一、分析和设计的 目的和任务 分析和设计的主要目的是完成对问题空间的分析和对系统的建模。具体地说,它的任务是描述系统中的对象,对象的属性和操作,对象的动态特性,对象间的构造关系、映射关系和通信关系,从而建立系统的静态结构和动态活动模型。 分析和设计的任务是增进软件生产效率,提高质量和加强可维护性。     

基于JSP的网上考试系统的开发

首先比较ASP和JSP的优缺点，然后以Flash网上考试系统为例，介绍JSP的语法和内置对象request,response,out,session,application的使用技巧；构造JavaBeans组件的方法和在JSP和Servlet中的用法；Servlet的功能和生成方法；JSP和Servlet之间的链接和参数的传递。     

面向儿童的多通道交互系统

设计和实现了一个基于笔和语音的面向儿童的多通道三维交互系统.系统中包含了基于笔和语音的交互信息整合框架,用来整合儿童输入的笔和语音信息.同时,系统中定义了一些基于笔和语音的交互技术,可以支持孩子们以自然的方式,通过笔和语音同系统进行交互.用笔来勾画三维的场景和小动物等实体,同时用笔和语音同场景和场景中的实体进行一定的交互.     

BIM 和GIS 的空间语义数据集成方法及应用研究

随着数字城市和智慧城市的建设发展,建筑信息模型(BIM)和地理信息系统(GIS) 的集成被广泛研究和应用。目前的集成研究主要是通用数据标准IFC 和CityGML 之间的空间和 语义转换,但由于应用领域和空间尺度等差异,存在信息错误和丢失、几何语义信息耦合度低、 应用拓展性差等问题。为此提出了一种兼顾三维实体对象和地理空间对象的三维城市数据模型, 研究了BIM 和GIS 的空间和语义数据的提取、处理和转换方法,设计了BIM 和三维GIS 的集 成应用框架并在三维可视化平台上进行验证和初步应用。该方法可实现BIM和GIS 信息在几何、 语义、精度上的完全融合,避免了传统的数据转换带来的信息缺失,在多尺度的空间和语义信 息分级存储和加载显示方面存在着优势,有利于实现大规模、高精度的建筑和城市信息的高效 集成。     

基于情感分析和文本主题特征的画像研究

我国旅游业是快速发展的行业之一,已成为经济体系中不可或缺的部分。为了更好提高景区的服务质量和用户的旅游体验,实现可持续发展,文章利用情感分析和文本主题特征构建景区画像和用户画像,并建立景区画像和用户画像之间的耦合关系。景区画像和用户画像的应用可以帮助旅游企业更好了解用户和目的地的特征和需求,提高旅游产品和服务的个性化和精准度,增强企业的市场竞争力和发展潜力。     

中国石油和化工自动化现状及发展

石油和化学工业是我国重要的能源和基础原材料工业,也是国民经济的重要支柱产业,与国民经济各领域和人民生活密切相关;石油和化学工业还肩负着为国防工业提供高技术材料和常规战略物质的重任。简述了石油和化工行业总体情况,分析了石油和化工自动化现状,在此基础上提出了石油和化工自动化的发展要点,以期对行业有一定的参考和指导作用。     

康复机器人与智能辅助系统的研究进展

我国正面临日益严重的老龄化问题和数量庞大的残疾人群,康复机器人与智能辅助系统的研究开发和应用有望为解决养老、失能辅助和康复问题提供部分技术手段.康复机器人与智能辅助系统涉及医学、信息、机械、电子、材料、力学等多个学科领域,其研究与开发也面临诸多挑战和困难,本文从“康复机器人及多种康复训练模式”、“智能辅助系统与生机电技术”、“康复与辅助相关的多模态传感与控制方法”、“外骨骼和可穿戴系统、智能假肢与人机安全性”等方面介绍和讨论康复机器人和智能辅助系统的问题和研究进展,以期为未来康复机器人和智能辅助系统的研究与开发提供些许借鉴.     

江苏水文自动测报系统智慧化运维研究与设计

概述江苏水文自动测报系统的规模、架构及其运维情况,分析当前运维管理存在的问题。提出以采集层、服务层、应用层三层架构为主体的智慧化运维方案,以提高运维实时性、提升运维效率、降低运维成本。该方案对自动测报系统的软硬件状况和自动采集数据进行实时监控,对水文自动测报系统的数据入库、数据质量、设备运行等情况及运维人员工作效率进行统计,分析和考核,同时对系统故障的诊断进行告警和跟踪,并做出智能调度和处置推荐,并为系统建立一个知识库系统。     

图书自助借还终端系统的应用研究

传统的图书借还流程需要在人为辅助下进行且图书馆每天开放时间较短,在生活节奏快以及职业、生活多元化发展的今天,难以满足现代人的需求。为了提高图书借还效率,有效管理图书馆图书借还产生的数据,减少人力物力资源的损耗,本文研究设计了一个运用WIFI技术、RFID技术和WEB技术的自助图书借还终端系统。系统主要由自助借还书终端机、WEB服务器和数据库服务器三部分组成。读者可利用带有RFID标签书籍和RFID借书卡,在图书自助借还终端自助地完成借书和还书。终端机同时将读者借书还书信息发送至WEB服务器,信息经WEB服务器处理后,上传至数据库服务器中。系统可代替人工借还书服务,在提高图书借还效率的同时保证图书馆服务质量,可实现图书馆无人管理以及长时间开放。     

智能需求获取与建模研究综述

需求获取和建模是指从需求文本或记录中获取显式和隐式的需求,并通过表格化、图形化、形式化等方法构建相应模型的过程,是软件开发过程中极为关键的一步,为后续系统设计与实现铺平道路,提高软件开发效率和质量,提升软件系统稳定性和可行性.研究者们在需求获取与建模方面获得了一系列研究成果,根据其关注阶段不同,可以将它们分为需求知识提取、需求知识分类和需求模型构建3个方面.鉴于传统方法在知识获取、模型构建的准确性和效率方面一直存在弊端,近年来,越来越多的研究者们将具有广泛应用性的人工智能技术与需求获取、需求分类、需求建模方法相结合,提出了一系列智能需求获取与建模的方法和技术,从而弥补了传统方法的不足.着重从智能需求获取与建模角度着手,对近年来的研究进展进行梳理和总结.主要内容包括:1)统计并分析人工智能技术在需求知识提取、需求知识分类和需求模型构建中使用的方法和技术;2)总结了智能需求获取与建模过程中采用的验证方法和评估方法;3)从科学问题和技术难点2个方面归纳得出目前智能需求获取与建模的关键问题,围绕集成式和动态化模型构建、与其他软件工程活动关联、智能需求知识分类的粒度、数据集构建、评估指标构建和工具支持6部分,阐述了上述问题的可能解决思路和未来发展趋势.     

Integration of GIS,GPS, and optimization technologies for the effective control of parcel delivery service

An intelligent monitoring and control system for parcel delivery service is described in this paper. To manage pick-up and delivery operations more effectively, geographical information system (GIS), global positioning system (GPS), and wireless communication technologies are applied to the system which consists of three subsystems, pick-up and delivery sequence planning system, pick-up and delivery monitoring system, and PDA execution system. Pick-up and delivery sequence planning system generates routes and schedules for pick-up and delivery using GIS and optimization techniques. Pick-up and delivery monitoring system monitors current positions of vehicles and actual pick-up and delivery results as compared with planned sequences, routes and visit times, while PDA execution system transmits information for vehicles positions and actual pick-up and delivery results using GPS and wireless communication technologies. The intelligent monitoring and control system is currently being used for the pick-up service in a local post office of Korea Post.     

Laser and Photonic Systems Integration: Emerging Innovations and Framework for Research and Education

The purpose of this article is to review the key emerging innovations in laser and photonics systems as well as their design and integration, focusing on challenges and opportunities for solutions of societal challenges. Developments, their significance, and frontier challenges are explained in advanced manufacturing, biomedicine and healthcare, and communication. Systems, networks, and integration issues and challenges are then discussed, and an integration framework for networking laser‐ and photonic‐based services and products is proposed. The article concludes with implications and an agenda for education, research and development, and policy needs, with a focus on human, society, science, and technology integration. © 2013 Wiley Periodicals, Inc.     

矿井通风除尘试验装置及PLC监控系统设计

基于实验室通风环境,设计了一套矿井通风除尘试验装置及PLC监控系统。该通风除尘试验装置集通风与除尘功能于一体,能自动监测通风机与除尘器的风量、风压、阻力等性能参数;PLC监控系统可对通风机、发尘器进行远程/就地开停及变频调速控制,实时监测通风机、发尘器运行状态、运行电流、运行频率等参数,模拟并实现了矿井通风系统的井下通风计算机远程集中监控。实际应用表明,该系统运行稳定可靠、操作简便、可扩展性强。     

一种基于USB—KEY的身份认证协议

对常用的身份认证协议和方法进行了简单的综述,针对生物身份认证的局限性和PKI体系结构认证成本较高的情况,从密码学、网络安全技术等方面提出了一种基于USB-KEY的身份认证协议。该协议利用USB-KEY硬件可生成伪随机数、可进行数据计算与存储的特点,综合地运用伪随机数、异步时间戳、会话密钥、DES加密、MD5算列算法,完成数据安全性加密、数据完整性校验等操作,该协议既简单易行,又十分安全。文中从密码攻击、中间人攻击、重放攻击3个方面进行了安全性分析,证明了协议是安全可行的。     

单片机与LoRa通信模块的电气火灾探测器设计

本文设计了一套基于单片机与LoRa组合式电气火灾探测器。探测器设计了电压采集调理电路、电流采集调理电路、剩余电流采集调理电路及温度采集调理电路,检测线路中的三相电压、三相电流、剩余电流及温度等电参量与温度参量,若线路存在过欠电压、短路、开路、漏电及温度异常等电气故障,现场立即发出声光报警且显示其故障信息,并通过LoRa无线通信模块将实时信息上传到云服务平台。故障信息通过电脑与手机及时推送给用户,用户对其进行远程监管与控制。测试结果表明,基于单片机与LoRa的组合式电气火灾探测器反应灵敏、稳定性好,可在大型建筑商业住宅场所广泛使用。     

Smart devices and spaces for pervasive computing

Applications and services for pervasive computing have been dramatically grown and have contributed extensively to our daily experiences in recent years. Smart systems, devices, and spaces are proactive for ubiquitous and pervasive computing. Smart information technology (IT) is also an outcome of the state of the art and novel mobile and ubiquitous computing technologies that include highly capable handheld device, pervasive and personal device, etc. This special issue will be a trigger for further related research and technology improvements in pervasive and ubiquitous computing using smart devices and services. This special issue called for original papers describing the latest developments, trends, and solutions of smart devices and spaces for pervasive computing including real-time operating systems (OS), tiny OS and middleware supports, mobile system performance, trustworthy Internet and communications, agents and mobile and pervasive services, among others. In particular, this special issue focuses on a remote control and media-sharing system, flash storage-based smart system, heterogeneous mobile OS, and prediction and auto-execution system for pervasive computing.