基于Java的多线程网络爬虫设计与实现

网络爬虫是目前比较流行的一种网页检索工具,其设计和实现也需要不断优化和改进。通过描述网络爬虫设计与实现中所碰到的问题,提供解决这些问题的方法,并给出实现这些目标的网络爬虫设计方法,提供该设计的Java语言版实现。

软件测试课程的教学改革与研究

技术型本科学校的软件工程专业在软件测试课程体系构建须从软件测试领域的理论研究与工程应用出发,本文以软件测试人才所应具备的职业化软件测试技能综合应用能力体系为背景,提出并设计构建软件测试课程的体系。在明确软件测试方向的目标,合理构建课程的教学目标,提出在教学全程引入经过教学化改造的企业真实项目和工作环境,注重学生综合应用能力体系培养,从而实现该课程体系的局部创新和整体优化。

技术应用型本科毕业设计课题讨论

本科毕业设计是本科学生四年学习的最后一个阶段,毕业课题的选择影响到对本科生四年学习成果的检查,因此本文总结了最近几年所带毕业生课题的问题和现象,通过讨论提出了一些解决的方法,既保证了学生能够对课题产生兴趣,同时也能够兼顾课题设计的难度。

基于可计算函数的C模型互模拟性质

针对嵌入可计算函数的C模型语法中没有Summation操作符,定义了Prime Process概念,并给出进程范式化过程以及有限公理系统,研究在扩展C模型后的绝对表达能力.结果表明,在引入Localization和多元操作符后,该模型可以方便地定义出Prefix、Replication和Choice操作符.

基于π演算的时序图的建模

UML建模方式广为开发人员使用,但其非形式化的描述方法缺少对所描述内容的形式建模过程,本文通过运用πI演算描述UML中的时序图,能够对UML图形所涉及的数据和操作行为进行建模,为UML的动态描述图形提供一种建模的途径,本文提出用树形结构来组织对象的属性和操作,使得在πI演算能对类和对象的表示和处理。

基于Petri网和B语言集成的形式化方法

随着形式化方法技术的不断发展,各具特色的形式化方法不断的涌现出来,这些形式化方法都有着各自不同的特点,该文力图改变众多形式化方法的单一性,使得形式化方法既能够描述软件系统的某些方面(数据,结构,行为),又能够描述某种类型的软件系统(顺序,并发和分布).该文使用的是集成化的方法,即将Petri网和B语言集成起来,通过结合petri网和B方法,主要是为了能够用B方法来扩展Petri网在数据和函数定义方面的能力;通过Petri网扩展B方法在明确表示操作语义和描述并发系统方面的能力.通过集成,可以发现集成后的Petri-B网可以描述和分析系统的不同方面(结构,控制,数据和功能)和不同类型的系统(顺序,并发和分布式).

TPN与B方法集成的形式化技术

单一的形式化方法和技术在描述系统时总是有一定的不足，通过集成TPN与B方法可以相互取长补短。本文讨论了TPN-B技术如何将TPN与B方法的抽象机之间构建起映射关系，介绍了如何用TPN-B对系统进行一个初始的构造，并通过对滑动窗口协议进行描述来体现。

TPN和B方法集成的形式化技术在Web Service中的应用

介绍TPN和B方法的集成,并将之运用在Web Service中。通过对TPN的底层模型进行修改,将原有的节点、变迁、托肯等替换成为B方法中的抽象机和替换,集成后的形式化技术称为TPN-B网,其本身就是一种高级的Petri网。给出由BPEL4WS到TPN-B网的转换,通过对数据、操作和流程的不同的转换,实现对Web Service的描述。

基于 Petri 网和 B 语言集成的形式化方法

本文中提出了一种能够描述分布式系统和实时系统的形式化方法-Petri-B 网，Petri-B 网是集成了 Petri 网理论 和 B 语言的形式化方法，它不仅具有了 Petri 网的特点，还具备了 B 语言的长处。本文定义了 Petri-B 网并用它来描述一个座位预 订系统。

类型化Pi演算在Web服务组合中的应用

通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势,弥补了Pi演算在Web服务描述过程中的不足.

基于XML技术的临床药历设计与实现

目的:通过XML技术实现临床药历数据结构化,提高药历的查询、共享和存储效率,为临床药师系统后期改进和维护提供接口支持。方法:结合现有的住院电子病历系统平台,以及广泛使用的XML技术,采用现有软件开发工具对药历和模板进行定制开发。结果:实现医院临床药历的标准化书写和结构化存储,提高药历数据的采集速度,做到医师和药师数据共享。结论:通过开发和应用该系统能优化临床药师的工作流程和提高工作效率。

列车自动监控软件的设计问题

为适应城市轨道交通的发展,列车自动监控(ATS)软件需要具有在同一线路上设置多种运营线的能力,需要适应不同厂商和规格的硬件,需要适应多种拓扑结构的线路形式和线路网络化管理要求,需要集成实时客流信息。为此,结合客流信息、线路模型等问题,在模块设计中采用以数据为核心的分层方法,在元数据设计中增强系统模型的描述能力,从数据结构到监控画面深度集成实时客流数据,在数据操作方法中应用主动、实时和关系数据库技术。通过这些举措使ATS达到了设计要求。

在线护理教育数据视图的关键技术研究

目的:介绍在线教育统计视图的构造过程,通过视图可以帮助护理管理者及时了解护理教育的情况。方法:以护理管理部门对在线教育统计视图的改造需求为基础,在人事管理和教育受训记录之间构造数据视图。逐一介绍系统设计与实现过程中遇到的接口复杂性、数据安全、开发效率等问题,并给出解决方案。结论:通过视图的构建,提高护理管理者的管理效率,多维度分析统计视图,弥补已有系统的统计信息冗繁、数据不够直观的不足。