学科分类
/ 25
500 个结果
  • 简介:WindowsServer2003可以用系统自带的IIS或采用第三方软件两种方式来架设Web服务。同时WindowsServer2003家族中,还有一个Web版,专用于基于Web服务的各种Web接口应用。文章以WindowsServer2003系统自带IIS6.0为例,论述了Web服务的架设过程。

  • 标签: WINDOWS SERVER 2003 IIS6.0 WEB服务器
  • 简介:为实现远程数据采集需求,提出了一种综合应用嵌入式Web服务技术和ZigBee技术的远程数据采集系统设计方案,并完成了系统软硬件设计。ZigBee传感网络实时采集现场数据,并通过串行总线与嵌入式Web服务通信,实现数据上传,远端用户通过Ineternet浏览访问嵌入式Web服务,获取远程实时数据。经实例验证,该系统具有实时和高效的优势,且运行维护成本较低。

  • 标签: 嵌入式 WEB服务器 ZIGBEE 远程数据采集
  • 简介:在个人网盘纷纷关闭的情况下,分别利用Windows和Linux两个操作系统来构建专用个人文件服务,以弥补因网盘关闭而带来的需求问题。

  • 标签: 专用个人文件服务器 SAMBA WHS2011
  • 简介:为了提高客户/服务结构的信息管理系统的系统运行性能,必须注重数据库完整性设计。详细地分析了造成数据库完整性破坏的原因,提出了相关的解决方法,对于如何更好地进行数据库设计具有一定的指导作用。

  • 标签: 数据完整性 客户/服务器体系结构 信息管理系统 C/S 数据库
  • 简介:本文论述了建造基于客户/服务系统的失业保险信息系统的若干问题,包括系统体系结构、系统设计和数据仓库技术的应用等。

  • 标签: 客户 服务器系统 失业保险 数据仓库
  • 简介:互联网是一个无政府世界,有些人利用电子邮件肆意散发邮件广告,导致很多人的邮箱垃圾成堆;有些人利用电子邮件制造邮件炸弹,要么使电子邮件服务瘫痪,要么使别人无法正常使用电子信箱;还有更坏的人利用电子邮箱传播电脑病毒.本文针对UNIX系统中的邮件服务,阐述了通过使用Sendmail配置邮件中继域文件relay-domains和Ac-cess文件防止邮件攻击的技术.

  • 标签: 邮件服务器 互联网 电子邮件 电脑病毒 UNIX系统
  • 简介:远程视频监控系统是现代矿井安全生产监控系统的重要组成部分.本文介绍了一种基于MPEG4的网络视频服务的设计与实现.该设备实现了实时视频MPEG4编码压缩,并通过嵌入式操作系统实现视频流的网络传输功能,符合当今视频监控技术的发展和应用推广.

  • 标签: 煤矿视频监控 网络视频服务器 视频编码 网络
  • 简介:为了解决语义Web服务匹配方法主要针对服务IO描述的匹配,导致匹配结果较为片面的问题,提出了一种基于描述逻辑的语义Web服务IOPE描述及匹配方法.具体使用描述逻辑概念标注服务IO,以描述逻辑断言库刻画服务PE.进行服务匹配时,利用描述逻辑TBox概念包含检测确定服务请求与广告IO之间的包含关系;利用描述逻辑ABox一致性检测推理,判断服务请求与广告PE之间的逻辑蕴含关系;依据此蕴含关系,将PE匹配情况划分为4种,即Exact,Perfect,Side-effect和Common匹配,用以对匹配结果进行有意义的排序.实验结果表明,所提方法在召回率与现有方法相当的情况下,具有更高的查准率.更多还原

  • 标签: 功能匹配 语义WEB服务 前提与效果
  • 简介:为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机(WCFA)对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机(NWA)对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机(NWA)的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性(SAT)求解工具对这些断言进行验证.

  • 标签: 组合WEB服务 形式化方法 嵌套字自动机 web服务接口控制流自动机 验证
  • 简介:提出了一种科学计算领域中常用的命令行程序web服务包装方法.首先给出了实现一个基本的web服务包装的软件架构,并对主要组件的功能进行了解释.进而经过对数据传输和作业生命周期的深入分析,设计了一种新颖的文件传输和作业管理机制用以增强该软件架构,使得在命令行程序被包装成web服务的同时,保证了文件的高效传输,运行状态的即时反馈和作业的自动管理.对比实验表明,该方法在使用了较少内存的前提下提高了程序运行性能,定性比较显示程序的易用性也有所提高.本工作已经在实际的科学计算系统中得到了应用,极大地提高了系统的数据处理效率.

  • 标签: 面向服务的计算 科学计算 web服务化 web服务包装器
  • 简介:在网络远程教学体系中巧妙利用网络代理服务技术,与现有的安全机制体系结合,通过软硬件及排队论模型支持实现代理服务数据传输过程中安全系统的设计与实施。

  • 标签: 网络代理服务 数据安全 程序结构化
  • 简介:随着信息化建设的不断深入,人们对管理信息系统软件的要求也不断提高。传统的胖客户端架构和瘦客户端架构已经不能满足构建某些软件系统的需要。人们急需一种新的架构技术来适应软件的发展。智能客户端技术的出现为解决此问题提供了一种良好的解决方案。智能客户端结合了传统胖客户端和瘦客户端的优点,摒弃了它们的缺点,为用户提供胖客户端应用程序的运行效率和瘦客户端应用程序易于部署和更新的优点。主要研究在.NET平台下构建WindOWS智能客户端应用程序要涉及到的关键技术,包括:智能客户端层次结构、数据处理技术、偶尔连接技术以及安全性问题等。给出了智能客户端的参考模型。

  • 标签: 智能客户端 智能更新和部署 分布式
  • 简介:普通院校图书馆数字资源本地镜像并发访问量较低,所以多数使用Tomcat来承担应用服务。人才和技术的限制,会间接导致其成为学校网络安全问题的一个入口。因此,文章主要从安全配置入手,分析了Tomcat初始化安装前后需要注意的一些安全细节,并且罗列了2017年爆发的一些漏洞和相关解决方式。

  • 标签: TOMCAT 图书馆 数字资源 服务器 WEB服务
  • 简介:动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.

  • 标签: 动态WEB服务组合 MAS PI演算 进程代数 Pi4SOA
  • 简介:将空间信息技术与交通运输行业应用相结合,为交通运输行业提供空间信息服务是当前交通信息化建设的重点。本文首先结合交通运输空间信息服务系统的特点分析了其中的关键技术,并设计了基于CORBA的分布式WebGIS和基于Web技术的分布式空间信息服务平台,最后将其应用于山东省交通运输GPS信息平台,取得了较好的效果。

  • 标签: 分布式 交通运输 空间信息服务 CORBA WEBGIS J2EE
  • 简介:答疑是教学活动中必不可少的关键环节,网络的介入给师生之间的双向交流提供了有利条件,因此,答疑系统的研究与开发,即如何在基于Web的自主式学习环境中实现有效答疑就成了发展基于Web的远程教育的核心问题之一。

  • 标签: 远程教育 远程答疑系统 自主学习
  • 简介:web2.0是一种以用户为中心的网络技术服务.文章就什么是web2.0,它与web1.0的区别和联系,以及它的应用和所使用的技术进行了论述。

  • 标签: WEB2.0 BLOG SNS PODCAST WIKI RSS