基于S3C2416的公交电子站牌系统设计

为了提高城市公交的运营效率和服务质量,让乘客及时了解公交车实时车况,设计了一种基于S3C2416微处理器的新型公交电子站牌系统,并对该系统的组成、工作原理、关键技术及主要模块的软硬件设计进行了详细的阐述.系统以ARM为嵌入式硬件平台,采用当前先进的嵌入式技术和GPRS无线网络通信技术,实现了车辆到站预报、车辆到站提示、公交站点查询、公交车次查询等功能.测试结果表明,该系统性能良好、实时性强、稳定性高,具有巨大的市场价值.     

基于 ZigBee的新型无线楼层呼叫系统设计

针对当前建筑工地所使用施工升降机的应用要求,利用新兴的 ZigBee无线技术设计了一种新型楼层呼叫系统.该系统使用 CC2430无线单片机,并对2.4GHz高频天线和 PCB制板进行了良好的设计,可应用于恶劣的工业环境中,同时减少了布线带来的困难.通过现场试验,得出该无线楼层呼叫系统能有效实现复杂网络组建和数据通信功能,具有安装方便等特点     

基于ATmega8的智能CO_2变送器

本文以一种固态电化学型二氧化碳(CO_2)传感器TGS4161和ATmega8单片机为基础,提出了实现智能CO_2变送器的一种设计方素.该系统的特点是采用软硬件相结合的方法来弥补传感器自身所存在的不足.实验结果表明,该系统能够实现CO_2检测功能,而且成本较低,具有很高的实用价值和广泛的应用前景.     

输入输出通道有干扰的MRAC系统的变结构控制

对具有未建模动态及输入输出通道上存在干扰的MRAC系统,仅应用系统的输入输出量测数据给出了一种变结构模型参考自适应控制(VS-MRAC)设计机制. 系统的已建模部分阶的上界是未知的且有大于1的相对阶. 通过引入辅助信号和带有记忆功能的正规化信号,以及适当选择控制器参数,该变结构控制器能保证闭环系统的全局稳定性,且跟踪误差能够任意小.     

基于鞍点估计的结构系统可靠性分析方法研究

利用鞍点概率估计可以直接逼近非正态变量空间中单个线性功能函数概率分布的特点, 提出了三种基于鞍点概率估计的系统多模式可靠性分析方法. 其一是基于鞍点估计的近似边界理论, 该方法首先采用鞍点概率估计方法得到各失效模式的失效概率和等价正态可靠度指标, 然后利用边界理论近似得到系统失效概率的上下界限; 其二是基于鞍点估计的Nataf分布逼近法, 该方法首先采用鞍点估计得到各失效模式响应量的概率密度函数及近似线性化功能函数的相关系数, 然后根据Nataf分布来逼近结构系统响应的联合概率密度函数, 进而利用直接数字模拟法来求得结构系统的失效概率; 其三是鞍点线抽样方法, 该方法首先通过变量的线性标准化变换来消除变量的量纲, 然后在标准化的变量空间中利用线抽样方法的样本点将系统失效概率转化为一系列线性响应功能函数失效概率平均值的形式, 再采用鞍点概率估计方法直接估计非正态变量标准化空间中这一系列线性响应功能函数的失效概率. 通过比较三种方法的基本思想、实现过程和算例结果可以发现: (1) 第一种方法只能给出多模式系统失效概率的界限, 并且只适用于线性程度较好的功能函数的情况; (2) 第二种方法可给出系统失效概率的确定值, 这种方法的误差主要来源于Nataf分布对多模式系统响应量联合概率密度函数的近似, 还来源于每个失效模式极限状态函数的非线性程度, 第二种方法也只适用于线性化程度较好的功能函数; (3) 第三种方法给出的是多模式系统失效概率的估计值, 该估计值随样本点数的增加而趋于真值, 并且该方法可以考虑功能函数的非线性对失效概率的影响, 因此方法三是适用范围最广的一种方法.     

超高频RFID物联网前端感知系统的设计

介绍了一种基于超高频RFID的物联网前端感知系统的设计和实现,以及主要模块的功能,然后分别从硬件结构,工作流程和软件设计三个方面进行了详细阐述.本系统的工作频率在860～960 MHz可调节,能支持EPC Gen2和ISO/IEC 18000-6B/6C标准.它的射频前端是以射频芯片AS3992为核心,使用内部集成的功放,外加一系列外围电路实现.其优点是体积小、重量轻、集成度高和功耗低.实验结果表明,该系统的读写距离能达到2.5m,能够满足实际应用的需要.     

基于形式化测试的实时系统变更后安全性验证

变更后系统实现的安全性验证是安全攸关系统维护过程中必不可少的环节,也是其面临的主要挑战之一.软件模型检测和程序验证是目前常用的作用于代码层面的自动化安全性验证技术.本文站在系统行为角度,基于形式化方法,提出了一种将变更后系统实现的安全性验证问题归结为一致性测试的方法,尝试通过自动生成的一致性测试用例在系统行为级别上判定系统实现是否安全.为此,首先以时间输入输出自动机及其语义模型为基础,构建了该方法的证明体系,证明了该方法的正确性;其次,建立了变更后系统实现安全性验证的回归测试生成框架.相对于其它实时系统测试方法,这种测试方法不仅可以发现实时系统中常规的不一致性缺陷,而且为变更后系统实现在运行时是否满足指定的安全性属性提供了依据.最后,以轨道交通系统中的列车自动防护功能的变更情景为案例研究,说明了方法的具体应用.     

城市设计干预下基于用地属性相似关系的开发强度决策模型

本文以用地属性及其相似关系评价为基础,揭示了用地开发强度之间相互作用的内在机制,从而结合计算机编程工具初步建立城市设计干预下的用地开发强度动态决策模型.在该模型中,首先根据可建设潜力对每一用地单元进行各项因子评价,如用地性质、可达性、历史地段控制、景观控制等;然后根据因子之间的相似性,建立起地块之间的类比参照关系,即用地条件相似的用地趋向于相似的开发强度.这种参照关系揭示了城市用地开发强度自发的生长规律.这样,通过已知地块的用地开发强度便可计算出未知地块的开发强度.而且,可根据城市设计或政策意图,通过调节系统参数或直接修改局部用地开发强度来积极干预系统状态,而系统的反应又为合理决策提供支持和参考,并启发和辅助城市设计构思.该系统兼顾形态、功能和环境效益的统一,体现了开发强度决策的客观、公平和灵活性.     

基于MBSE的民用飞机安全关键系统设计

立足民用飞机/系统设计发展前沿,结合民用飞机设计通用规范,提出了一种采用基于模型的系统工程对飞机安全关键系统进行分析和设计的方法.在民用飞机/系统设计及安全性评估交互过程分析的基础上,考虑所设计系统的可用性、完整性,以飞机刹车系统为例,采用DOORS和Rhapsody完成飞机刹车系统设计的需求分析、功能分析和设计综合,建立系统用例模型、功能流程和可验证状态机模型.结合故障树分析,构建了保证功能可用、安全的系统架构.最后,设计了一种Sys ML和Simulink模型结合的协同仿真机制,开发面板图交互界面,对系统模型进行了仿真验证.     

基于家居型温控负荷的孤立微电网频率控制方法

频率是维持微电网在孤岛运行状态下稳定运行的关键因素.需求侧响应技术的快速发展为孤立微电网的频率控制提供了一种新的解决方案.本文以电冰箱为例,提出一种适用于家居型温控负荷的变参与度需求侧分散控制策略,以协同储能系统进行孤立微电网的频率控制.该控制策略可充分发挥温控负荷的快速响应特性,受控冰箱根据当地频率测量信号迅速做出响应决策,动态调整冰箱工作周期,同时通过引入与频率波动幅度成正比的用户参与度,使冰箱在实现微电网频率响应的同时充分计及终端用户的用能舒适度,提高了用户的主动参与性.最后,在DIg SILENT商业软件中搭建了Benchmark低压微电网算例,仿真结果验证了本文变参与度的需求侧分散控制策略提高微电网频率控制效果的有效性,并在保证用户用能舒适度的同时,有效减小对储能装置的容量需求.     

实用化光纤量子加密电话网络和高速数据传输系统——现场应用与安全管理

本文以如何应用量子通信技术满足现场应用和安全管理需求为出发点,以国内最近完成的一个在现场光纤网络上搭建的多节点量子加密电话网络和高速数据传输系统为实例,具体分析了为满足现场应用和安全管理的需求,实用化光纤量子通信系统所采用设计方案,并简单介绍了该系统实施和长期运行情况.该系统满足了重要事务对于不同应用形式及高安全等级通信的需求,并验证了实际应用环境下的可靠性和易用性,具有很好的代表性.本文也对量子通信系统应用于公共管理提出了建议.     

能源互联网与能源路由器

日益紧张的能源供需矛盾和环境压力等要求可再生清洁能源应该在未来能源体系中承担主要能源供给任务.能源传输技术、存储技术、信息通信以及高性能计算技术的发展为有效利用分布式、间歇性可再生能源提供了技术支持.针对类似于信息互联网式的能源互联网愿景,本文探讨了以能源路由器为核心交换装置的能源互联网实现模型,从能源路由器的实现目标,已有支撑技术和实现部署方式等方面分析了涉及的关键技术,并结合已有研究成果说明了该领域亟需突破的研究方向.     

基于解释结构模型的东莞市土地生态安全评价分析

以广东东莞市土地为研究对象，采用“压力-状态-响应”（PSR）模型，共选取19个指标建立土地生态安全评价指标体系，运用Matlab软件编程并建立解释结构模型（ISM），利用所建立的模型对东莞市土地资源生态安全评价因素进行分析。模型分析得出：东莞市的土地生态安全评价因素被分成七级递阶结构，最低一级的因素是土地利用率，通过土地利用率的情况，影响经济密度，进而影响本地区的人口增长率和人口密度等因素，最终影响土地生态安全。最高一级是自然保护区的比重。这是由东莞市的现代化工业城市的特点所决定的。其中中间几级构成循环回路。土地生态安全评价因素之间的这种结构模型给政府以及决策部门为保持本地区土地生态安全提供了决策参考。     

5G移动通信发展趋势与若干关键技术

第5代移动通信系统(5G)是面向2020年之后的新一代移动通信系统,其技术发展尚处于探索阶段.结合国内外移动通信发展的最新趋势,本文对5G移动通信发展的基本需求、技术特点与可能发展途径进行了展望,并分无线传输和无线网络两个部分,重点论述了富有发展前景的7项5G移动通信关键技术,包括大规模天线阵列、基于滤波器组的多载波技术、全双工复用、超密集网络、自组织网络、软件定义网络及内容分发网络.本文还概括性地介绍了国内5G移动通信的相关研发活动及其近期发展目标.     

基于封包截获技术的个人防火墙核心驱动技术

针对市面上多数防火墙防外不防内的致命缺点,研制有效的个人防火墙很有必要。为此提出了一种基于内核模式和用户模式的双重个人防火墙过滤设计方案在内核模式下利用TDI虚拟驱动接口挂接技术实现对通过传输层的原始数据封包进行截获,在应用模式下采用Winsock2SPI技术开发DLL程序实现对基于Socket网络连接通信的服务截获和过滤,克服了单方面从用户模式或核心模式截获数据包的缺点。着重介绍核心层虚拟驱动编程模块所涉及的编程技术。     

城市化背景下成都市水资源安全及可持续发展

成都市作为西部大开发重镇和长江中上游的重要中心城市，面临着总供水量不足、水质污染严重、用水格局改变、水旱灾害和水量年际波动大等水资源问题，涉及到21世纪成都市城市化进程中的水资源安全和城市的可持续发展。本文从水资源安全的角度，以可持续发展的观点为指导思想探讨了成都市现阶段在城市发展过程中对水资源开发利用和管理中存在的主要问题，提出了保障成都市城市用水安全，实现水资源可持续利用的途径。     

全球农作物长势遥感监测系统的设计和实现

详细介绍了全球农作物长势遥感监测系统的设计、实现及运行。系统使用实时处理的气象卫星数据,实现了全球46个国家和地区作物长势的遥感监测。系统使用实时监测和过程监测两种监测方法,在省(州/邦)、国家、和洲三个尺度上运行,经2005年一年的运行,达到了运行化的要求,为相关部门提供了及时的决策依据。     

基于系统动力学的价格振荡系统收敛条件

从离散动力系统的角度建立动态价格振荡系统模型。描述了中间产品价格振荡的动态过程，利用系统动力学中不动点的稳定性理论，给出了价格振荡系统收敛的一般性条件。并结合具体例子对最优产量反应函数为线性和非线性的情况进行分析，验证了振荡过程的收敛性，得出在一定条件下供应链能通过价格振荡过程达到均衡，并实现供应链总体利益最大。     

区域性UDDI的节点间数据同步技术研究

目前区域性UDDI大多为单节点，有些虽为多节点但节点之间不是采用数据同步而是使用统一的数据库。这导致整个系统的安全性不高、扩展性不好和效率低下等问题。因此本文采用P2P技术和报文技术实现了区域性UDDI系统中各节点的数据同步，很好地解决了以上问题，实现了“一次注册，到处发布”的功能，提高了系统的安全性、可扩展性和效率。     

中国农业生态安全及相关研究进展

我国正处于经济快速发展时期，经济发展所带来的环境与生态问题十分严重；同时我国又是人口大国，农业生产始终是党和政府、社会各界以及国际社会关注的焦点问题，农业生态安全、粮食安全等是影响国家安全的重要方面。本文试对生态安全以及农业生态安全的概念、特点、评价与预警，粮食安全，农业景观结构调整与发展生态安全型农业，土地资源持续利用，农业生物多样性与转基因生物等的研究现状及进展做一初步分析。