物联网软件体系结构中的感执模型的求精

物联网的基本功能是感知物理环境,并根据实时的感知信息和用户的执行需求实现对物理环境的控制.因此,感执模块是物联网软件的核心模块.为最终将软件体系结构应用于物联网软件的开发,在基于物理模型的物联网软件体系结构（physical-model driven software architecture,简称PMDA）研究的基础上,对PMDA 中的感执模型SEM进行求精,求精后的感执模型称为R-SEM.R-SEM 考虑了物联网的特有属性,将SEM的内部构件按照物理应用的感执工作流程分解为用通信顺序进程（communication sequential process,简称CSP）表达的子构件来说明构件端口的功能实现,并采用CSP 中的导管运算符来说明子构件的端口与构件的端口之间的同步,通过CSP 描述了子构件与子构件之间的交互.使用进程分析工具（process analysis toolkit,简称PAT）对R-SEM 进行了验证.验证结果表明：R-SEM 中子构件之间的交互、子构件的端口与构件的端口之间的同步保持了SEM 所具有的保证物理应用之间有效互联的性质——不死锁、不中止和不发散.由于R-SEM 精化了SEM 的内部组成,且保持了SEM 的有效互联性质,因此,R-SEM 对最终将PMDA 应用于物联网软件的开发具有实际的指导意义.     

EasiSHA:一种软硬件协同的物联网可重塑终端架构

提出了一种软硬件协同的物联网可重塑终端架构EasiSHA,采用以可重塑计算部件为核心的终端体系结构,能够针对应用需求动态调整软硬件资源配置,在提供较高通用性的同时能够有效降低终端的硬件冗余度.提出了一种软硬件任务调度机制,根据物联网应用运行时所需终端的性能指标,实时动态改变计算任务的执行方式,在终端性能满足应用需求的前提下优化终端整体功耗.提出了一种计算任务复用机制,采用软硬件协同的方式实现应用程序与标准计算任务之间的松耦合,减小应用程序与计算任务之间的关联度,并结合云端任务共享机制实现任务的可复用性,能够有效优化物联网应用的开发速度和成本.     

文化古城与生态旅游资源综合开发的实证研究——以南充市湿地旅游资源开发为例

通过查阅相关文献资料、数据统计、访谈专家和田野调查等方法,实证考察南充市旅游资源开发,了解南充市旅游资源开发现状,结合生态湿地公园的发展规划,研究并制定南充生态旅游开发策略,旨在为整体开发南充市文化古城和生态旅游资源提供理论依据,为构建综合开发体系奠定基础。     

物联网关键技术与应用

物联网因其巨大的应用前景而受到各国政府、学术界和工业界的广泛重视.介绍了物联网的概念、基本属性和特征,描述了物联网的体系构成、发展阶段及趋势.以传感器网络为例详细论述了物联网的关键技术,最后以环境监测为例,说明了物联网的典型应用.     

EasiFCCT:一种保证连通性的传感器网络局部覆盖算法

调度节点轮流工作可以有效延长网络寿命,然而现有的调度协议大部分需要地理位置信息,引入了额外的负担;一些不需要地理位置信息的节点密度控制算法又无法保证有效的网络覆盖度.此外,已有的分析证明了随机算法可以以较大概率保证一定的网络覆盖度,但是因其没有考虑到节点的非连通性会导致网络出现不连通的情况,所以具有一定局限性.提出的局部覆盖算法在随机调度的基础上同时考虑节点的连通性,可以保证网络在具有一定的有效覆盖度的同时能够连通工作.仿真结果表明,算法在网络有效覆盖度方面要优于已有的工作,同时由于新算法建立在随机调度的基础上,因此其复杂度低,较易实现.     

高校毕业设计管理系统的设计与实现

安排和指导高校学生的毕业设计是一项相对长期复杂的系统工程,利用先进的技术开发高效、安全的信息平台辅助这项工作是很有必要的。我们开发了基于B／S架构的”毕业设计管理系统”,该系统从教学工作的实际需求出发。通过详尽的功能设计,具有完备的系统功能和广泛的适用性;在技术上该系统采用JSP＋Java Bean模式,具有可靠性、可移植性、可扩展性和可重用性的优点。     

周期准互补序列集构造法

该文基于2元序列支撑集和低相关序列集,提出一种新的周期准互补序列集构造框架。在此框架基础上,分别利用最优4元序列族A、族D和Luke序列集提出了3类渐近最优和渐近几乎最优周期准互补序列集,序列集参数由2元序列和低相关序列集共同决定。与传统的完备互补序列集相比,所构造的准互补序列集具有更多的序列数目,应用到多载波扩频通信系统中可以支持更多的用户。     

基于能量自采集的无线传感器网络网关切换机制研究

针对野外传感网系统中采用太阳能供电的网关因天气变化而产生能量供给失效的问题,研究了基于历史能量采集信息和实时气象信息的多网关切换方法。首先基于气象信息决定需要切换的网关和网关切换的时机;其次提出了一种网关选择算法(Easi GS),根据候选网关剩余工作时间让节点先验式选择网关接入,以避免网关失效带来的数据丢失问题,并通过最优网关接入方法降低系统中采集节点的整体能耗;最后根据实际应用关注的数据发送频率、网关恢复时间、节点与候选网关之间的传输距离等信息,通过概率统计的方法对Easi GS的计算开销进行了进一步优化。仿真实验表明,Easi GS能使系统整体能耗达到最优,并且优化后的Easi GS能够有效降低节点上的计算量。     

高强度聚丙烯腈预氧化纤维的制备及性能研究

采用KMnO4对聚丙烯腈原丝进行改性并高温延伸,借助声速取向仪、傅里叶红外光谱（FTIR）、差示扫描 量热分析（DSC）及拉力试验机等分析方法,对比研究了聚丙烯腈纤维、改性聚丙烯腈纤维及预氧化纤维的结构 性能的变化。结果表明：聚丙烯腈纤维进行预氧化时,聚丙烯腈纤维发生环化反应形成一种比较稳定的结构;高 锰酸钾改性可以使纤维的环化反应温度提前,终止温度延后,有效缓解反应集中放热。高强度聚丙烯腈预氧化纤 维的最佳制备工艺为：KMnO4浓度为4 wt%,改性时间为3 min,延伸倍率为10。     

一种基于无线传感器网络的远程医疗监护系统

介绍了一种基于无线传感器网络技术的嵌入式远程医疗监护系统．首先，提出了以各种无线通信生理指标传感器形成一种可扩展的无线传感器网络的系统结构．然后，介绍在该系统结构中采用的无线生理指标传感器节点以及监护基站设备的设计．在本系统中，节点和基站设备所使用的近距离通信标准为802.15.4/Zigbee标准，同时本系统中的基站设备可以采用多种接入方式进行远距离数据传输，包括直接联入Internet网络、使用GSM短消息通信方式或者通过modem接入Internet网络．该系统可以应用于家庭以及医院病房，构成远程的家庭、社区以及医院的医疗监护系统．