基于Web的形式化方法工具RRTChecker的研究与设计

形式化方法工具通常是在UNIX/Linux系统下设计开发的,难于使用阻碍了形式化方法的进一步推广.本文针对形式化方法RAISE,提出了一种研究和开发基于Web的工具的方法.该方法以原有的RAISE工具为基础,通过Shell管道拦截技术、ASP技术、ActiveX DLL技术及路径重写技术,将工具的所有功能集成整合到统一的、用户友好的Web界面上,用户可通过鼠标在浏览器中进行不同的操作.原有的RAISE工具的所有功能,在基于浏览器的集成化工具中得到全面支持.该方法也为开发其它形式化方法基于Web的工具提供了新思路.     

数据挖掘技术标准综述

随着数据挖掘技术应用日趋广泛,涌现出各种挖掘工具和系统.为规范相应的软件开发和数据交换方法,制订数据挖掘技术规范和标准成为当务之急.在将数据挖掘标准划分为过程标准、接口标准、语言标准和Web标准等四类进行分析介绍后,给出一个综合多种标准的应用程序框架,最后总结出数据挖掘标准化领域面临的问题和挑战,并对发展趋势予以展望.     

基于WebGIS的药品销售系统设计与研究

目的：提高药品销售系统处理和分析地理空间数据的功能。方法：在分析了现有医药企业信息系统不足的基础上,采用WebGIS技术和Web服务技术开发新型药品销售信息系统。结果：设计了以服务为中心,采用多层结构的医药企业产品销售系统框架,其功能与传统销售系统相比更具优势。结论：GIS技术改进了药品销售系统的功能,满足医药销售企业适应市场需求变化的需要。     

Agent技术在Web服务中的应用探讨

Web服务是一组采用面向服务的体系架构的基于标准的Web协议的软件构件,而Agent是一种在某个环境中自主行动以实现其设计目标的智能化软件实体.Web服务与多Agent系统(MAS,Multi-Agent System)在架构、范例和技术方法等方面具有很大的相似性.Web服务的可信性是未来计算机软件发展关键的问题,实现Web服务在分布式环境下的协同式测试具有一定的挑战性.本文在探讨Web服务与Agent技术的共性的基础上,分析并总结了Agent技术在Web服务中的应用.针对Web服务测试的开放性、协同性、动态性和不确定性等特点,结合Agent系统的自主性、反应性、适应性和社会性,本文提出了一种基于MAS的Web服务测试框架(MAST,Multi-Agent-based Service Testing),并对其关键技术进行了探讨.     

基于Web的HIS系统低端数据库访问方法研究

通过一个实例讨论用 JDBC和 Java SQLAPI编写在中文 Windows平台下访问 HIS系统低端数据库的 Java应用程序 ,从而为实现基于 Web的 HIS系统提供必要的实用价值     

能力共享架构及其在IM和SNS中的应用研究

目前的IM(即时通信)和SNS(社交网络服务)系统主要为用户及其好友或组成员间提供即时信息发送、语音或视频通话、多媒体文件共享等功能,不能在好友或组成员间共享应用程序、处理器、内存、磁盘或其它设备资源以及设备的通讯能力等等,而这些功能常常正是用户所迫切需要的.介绍了一种新的、潜在的Web3.0或Web 2.0 架构,该架构可用于IM 和SNS中共享好友或组成员的计算机上或智能设备的各种能力,为每个用户的计算机或智能设备提供了一种简单可行的、可扩展的能力发现和共享机制.该机制可极大地提高用户体验,并可成倍地提升现有资源的利用率.     

基于Web的临床药师电子药历系统的开发及应用

目的设计适合不同专业临床药师需求的电子药历系统,提高临床药师药学监护质量。方法依托医院稳定的HIS系统,利用SQL Server数据库和ASP.NET技术进行开发,并基于Web服务器发布,通过临床实例对电子药历的设计和应用进行评价。结果本系统界面友好,操作简便,120例电子药历所涉及21个病种均显示出较好的实用性、通用性,使用该系统可规范临床药师工作流程,提高临床药师的工作效率,控制患者用药风险,促进药学监护质量。结论该系统为药师提供了良好的药历制作平台,既是临床药师实用的辅助工具,又是将临床药师工作模式、工作质量、患者的用药安全紧密结合的枢纽。     

电子药历的设计及在药学监护中的应用

目的:设计适合不同专业临床药师需求的电子药历系统,提高临床药师药学监护质量。方法:依托医院稳定的HIS系统,利用SQL Server数据库和ASP.NET技术进行开发,并基于Web服务器发布,通过临床实例对电子药历的设计和应用进行评价。结果:本系统界面友好,操作简便,120例电子药历所涉及21个病种均显示出较好的实用性、通用性,使用该系统可规范临床药师工作流程,提高临床药师的工作效率,控制患者用药风险,促进药学监护质量。结论:该系统为药师提供了良好的药历制作平台,既是临床药师实用的辅助工具,又是将临床药师工作模式、工作质量、患者的用药安全紧密结合的枢纽。     

基于Ontology的数字博物馆通用建设平台研究

本文以Ontology技术为基点,结合Web服务技术的优点,设计了允许最终用户编程的数字博物馆通用建设平台,构建了文博业务领域本体和Web服务本体来支撑用户文博业务需求与Web服务间关联匹配.避免了传统数字博物馆建设中的重复开发及耗资大、周期长等缺点,并为其它领域通用建设平台的构建提供了参考.     

基于物联网技术研发静脉用药调配中心配液系统

目的:根据实际工作情况需要,自主研发静脉用药调配中心配液系统。方法:采用物联网技术,开发一套静脉用药调配中心配液系统,实现每袋输液成品的可追踪、可查询,并同时实现排班管理、工作量统计和评价等的自动化、标准化。结果:基于物联网技术的静脉用药调配中心配液系统已研发成功,调试结果基本满足工作需要。结论:静脉用药调配中心配液系统的研发以全方位一体化药房中静脉用药调配中心的实际工作模式为基础,其各项功能可使静脉用药调配中心的管理更加系统化、标准化和智能化,大大提高静脉用药调配中心的服务质量和水平。