基于能量预测的传感器网络信任机制研究

信任机制最近已建议作为一个无线传感器网络(WSNs)有效的安全机制.文中提出了一种信任机制(EPTM),该机制不仅可以防止被入侵的节点或者恶意节点选举为簇头,而且还设计出一种新型副簇头节点来监察簇头以防止他们的恶意行为.特别介绍了一种基于能量预测的方法来检测拒绝服务攻击(DoS)的节点,选出值得信赖的簇.最后通过仿真验证了机制的可行性,结果表明:EPTM可以有效防御拒绝服务(DoS)攻击.     

基于B/S网上教学资源管理平台的分析与设计

随着信息化技术的不断发展,网上教学资源管理平台已经成为目前高校教学中非常重要的工具,尤其是在当前信息技术和计算机网络技术飞速发展的时代,高校开始充分利用现有网络资源来进行教学资源管理。区别于传统的C/S模式,B/S开发模式使得高校内部用户通过校园网或者互联网就可访问本平台。本文就基于B/S模式的网上教学资源管理平台进行详细分析。     

Complexity of synthesis of composite service with correctness guarantee

How to compose existing web services automatically and to guarantee the correctness of the design (e.g. temporal constraints specified by temporal logic LTL, CTL or CTL*) is an important and challenging problem in web services. Most existing approaches use the process in conventional software development of design, verification, analysis and correction to guarantee the correctness of composite services, which makes the composition process both complex and time-consuming. In this paper, we focus on the synthesis problem of composite service; that is, for a given set of services and correctness constraint specified by CTL or CTL* formula, a composite service is automatically constructed which guarantees that the correctness is ensured. We prove that the synthesis problem for CTL and CTL* are complete for EXPTIME and 2EXPTIME, respectively. Moreover, for the case of synthesis failure, we discuss the problem of how to disable outputs of environment (i.e. users or services) reasonably to make synthesis successful, which are also proved complete for EXPTIME and 2EXPTIME for CTL and CTL*, respectively.     

基于ITIL运维服务管理体系的研究和设计

随着信息化应用的不断普及和深入,信息系统已成为支撑企业运作不可缺少的一部分,系统的运行维护也显得越来越重要。文章基于对ITIL最佳实践的研究,设计了一套IT运维服务管理体系,从而达到加强运维管理、提高运维效率、改善运维质量的目的,充分发挥信息化对企业的支撑和推动作用。     

物联网技术在大型仪器共享中的应用研究

根据大型仪器管理现状,利用现代物联网技术,研究了构建设备基本信息、设备预约、设备在线监控、设备使用计时计费、实验数据管理等模块的大型仪器设备共享平台管理系统。该系统可将各种管理要素有机结合,实现设备全生命周期的管理,有效解决目前大型仪器设备开放共享平台中存在的问题,切实提高大型仪器设备的利用率以及仪器设备的管理水平。     

物联网对图书馆事业的双重影响

作为信息产业的第三次浪潮,物联网技术的发展与应用为人与物、物与物之间的信息交换创造了一个全新的平台。国内物联网技术研究与应用的不断深入,将对图书馆事业的发展产生深远影响。文中探讨了物联网对图书馆事业的双重影响,分析了物联网技术带来的优势和挑战,最后强调了以技术为依托,回归服务本质的理念。     

基于Android的多功能文件管理系统的设计与实现

文章所涉内容是一款基于Android的多功能文件管理系统的设计与实现。该设计以Android系统为开发平台,其目的是开发出一种方便用户使用的管理软件,使其具有文件浏览、文件权限的修改、添加文件到文件库、文件历史记录浏览、文件压缩以及文件加密等功能。     

解剖学的数字化实验教学平台的构建探索

随着数字医学及数字医疗技术的迅速发展,针对高等医学院校解剖实验教学中存在的问题,如何提高解剖学教学质量,文章介绍了数字化解剖,并分析了数字化解剖实验室的特点,将云计算技术应用到管理数字化实验教学中。给出了基于云计算技术的数字化解剖实验教学平台解决方案,改革数字化解剖实验室,提出一种新的数字化解剖教学模式。     

利用RSS推送的主动服务解决藏书呆滞的研究

将通过系统提取的读者兴趣及需求信息与不断更新的RSS资源库进行比对,筛选出最能满足用户要求的RSS信息,并通过RSS主动推送技术,将资源及时发送给读者,是提高馆藏图书利用率,减少图书呆滞量的一种有效途径。     

基于Web Service的建材租赁管理信息系统的设计与实现

提高信息化管理水平对建材租赁企业的发展显得日益重要。在业务需求分析基础上,对系统进行设计,采用JavaEE架构,结合WebService技术及Hibemate＋Structs框架技术,以MySQL为数据库对建材租赁管理信息系统进行开发。该系统由Web服务和客户端应用两部分组成,具有跨平台应用、数据可共享与互操作、耦合度低、灵活性好、可扩展性和通用性强的特点,可向企业提供建材租赁管理信息服务。具有一定的推广价值。