一种Web系统性能测试框架及其混合建模过程

由于Web系统的复杂性,仅采用性能测试或单一建模方法在多个性能指标度量准确性、预测有效性和测试迭代控制等方面存在局限性.提出一种支持混合性能建模的Web性能测试框架,依据不同的性能指标,采取不同的性能建模方法,导出性能指标的封闭函数及其度量假设条件,执行回归分析和测试.以一个实际Web社区系统为例,针对系统响应时间和伸缩性指标,提出了排队网模型化简方法和伸缩性模型US-γ的混合建模与测试过程.测试结果表明,预测响应时间错误率在4%以内,预测吞吐量饱和点错误率在1%以内,预测拐点下界错误率在5%以内.通过关联系统与Web服务器线程2个伸缩性模型,在构架级识别出一个HTTP处理瓶颈.

虚实结合建设高水平虚拟仿真实验教学中心

如何建设符合企业人才需求的高校计算机教育实验室,是全国高校计算机专业面临的重要课题。分析了我国高等教育实验室建设方面的现状,在国家级"计算机实验教学示范中心"的基础上,以"虚实结合、能实不虚"为导向,提出以"实验项目驱动为主导、以做中学为学习方式"的教学理念,建设高水平的"网络工程虚拟仿真实验教学中心",希望能够为同类高校计算机专业的实验教学及人才培养提供思路。

连接XML与数据库的中间件的实现

主要讨论连接XML与Web数据库的中间件的实现。实现了一个虚拟的XML文件系统，解决了如何利用Java Server Page和Java Bean的Web Server端技术实现用户对虚拟XML文件的访问接口的问题以及在关系数据库中如何存储XML文件的问题。

基于Web的网上考试系统的设计与实现

由于网上考试系统必须解决可维护性较差,网络负荷过大,稳定性不强等问题。针对这些问题,采用以下技术:C/S结构;五次通信模式;即时存储功能;减少数据交换开发了一个适用的网上考试系统,提高了系统的稳定性和网络的利用率。

基于领域模式的图书馆信息系统开发方法研究

领域模式是用于开发特定领域簇系统的新兴软件开发方法,通过对特定领域的分析和建模,构造出一套可复用于该领域的模型构件,从而有助于领域知识的捕捉和快速定制.提出一种面向图书馆信息系统的领域模式开发方法,通过前期领域模式捕捉,产生一套领域模型,并以此为中心驱动整个图书馆信息系统的开发过程.实践结果表明,该方法有助于特定领域的知识复用和快速定制.

虚实结合和科教融合的计算机实验教学体系

分析我国高等教育对学生实验动手能力培养不够重视的现状,在国家级"计算机实验教学示范中心"和"网络工程虚拟仿真实验教学中心"的实验教学平台基础上,提出以学生为本,重视学生实践能力的培养,以实验项目驱动为主导,倡导"做中学"实验学习方式的教学理念,构建一个完整的虚实结合、科教融合,"课程实验+开放实验"双轨交叉的计算机实验教学体系,为同类高校计算机专业的人才培养建设提供思路。

并行PSVM算法及其在入侵检测中的应用(英文)

基于并行PSVM(proximal support vector machine)分类法,利用ε-支持向量与原数据集等价的特点,将PSVM和cascade SVM模型高效结合,加速训练入侵数据集.提出一种新的PSVM增量学习方法,它能快捷更新分类器.通过大量基于著名的KDD CUP1999数据集实验,研究表明,该算法相对其他SVM方法,在保证较高检测率和较低误报率的同时,其训练时间降低80%,且能通过增量学习新数据集来有效更新分类器.

UML类结构的形式化

为面向对象建模概念建立坚实的语义基础，越来越受到人们的重视。通过提供精确的概念特征定义，可建立精确的面向对象的行为模型和结构模型，便于对模型进行严格的分析。ＵＭＬ是一种被推荐的面向对象建模语言，ＲＡＩＳＥ是欧洲流行的一种形式方法，该文使用ＲＡＩＳＥ来表达ＵＭＬ类结构的含义。

本体的继承及一致性分析

本体的继承理论是目前尚未解决的重要问题.该文通过扩展继承的数学理论,系统研究了本体的继承语义、继承机制等问题.主要工作有(1)继承系统的数学理论是描述继承系统和探讨其一致性、二义性等问题的一个重要基础理论.该理论已被广泛引用.但使用该理论描述允许例外的类/属性继承系统会出现假冲突.本文发现并定义了假冲突,扩展了原理论的单词表,重新定义了结论集、可继承等概念,使继承断言的接地扩展集不因假冲突而产生二义.从而解决了假冲突的问题.(2 )证明原继承系统中的大部分重要定理在扩展后的继承系统中仍然成立,并且提出了新的定理3)将本体(D ,P ,U ,V ,H)转换为三元组(F ,E ,I)的表示形式,证明这种转换不削弱本体的表示能力,并且将本体映射到扩展后的继承系统,利用继承系统的定义、定理分析本体继承的一致性问题,并证明这种映射对本体的包含断言的判定是完备的.4 )设计了上、下扫描算法,通过检测系统变化可能引起的冲突,保持系统的一致性.对本体继承的一致性分析为发展迅速的面向本体工程方法提供了有力支持.

基于Agent的带关联多商品拍卖系统

提出了一种带关联的多商品交易协商模型,并实现了基于该模型的多Agent协商系统AucBargain,在评估机制方面提出并实现了决定优胜者算法———Winner。系统采用Java语言编写,具平台无关性和良好的扩展性。目前电子商务的中带关联的多商品网上交易的实际应用系统较少,AucBargain为这一领域的研究提供了实际应用的模型。

一个多媒体CAI系统的设计与实现

本系统是为《办公自动化技术》课程开发的计算机辅助教学系统 ,它集文字、声音、图形、图像于一体 ,有以光盘形式使用的单机版 ;也有通过Internet使用的网络版。本文阐述系统的设计思想和关键实现技术。

OOram与面向对象方法

OOram（Object Oriented Role Analysis and Modeling）是挪威工业研究中心和奥斯陆大学提出的一种新一代面向对象软件工程方法，与众多其它面向对象方法相比较，其鲜明的特点是引入了角色模型的概念，将传统面向对象方法中的对象模型和类模型统一为单一的角色模型。文章提出了理想的面向对象开发方法所应具备的特性，简要介绍了OOram方法，并与其他面向对象方法作了比较。

面向对象角色分析方法——OOram

一、引言OOram(Object Oriented role analysis and modeling)方法是由挪威工业研究中心和奥斯陆大学共同提出的一种新一代面向对象软件工程方法.其基本观点是朴素的,即:同一对象在其整个生命周期内可以扮演不同的角色,而同一角色在不同时期可以由不同的对象来扮演.OOram正是基于这样的观点,并把这一观点发展成为一种面向对象的软件开发方法.与其它OO方法比较,其最大的特点是,以'角色”的概念作为建立系统模型的基本概念,角色模型是系统开发过程中的唯一模型;而大多数OO方法是以'对象”和'类”作为建模的基本概念的.二。

一种新的网络信息交换技术

XML具有简单、开放、可扩充、灵活、自描述等特性,它给Internet注入了新的活力。作为数据表示的一个开放标准,XML为信息交换带来了新的机遇。文章提出了一个基于XML的信息交换模型,并给出了一个研究事例。

结合UML和RAISE的软件开发方法研究

面向对象方法形象、直观、使用方便，但难以消除二义性。形式化方法严密、可靠、可验证，但软件规约不直观，不符合开发人员的使用习惯。探讨一种结合面向对象方法UML和形式化方法RAISE的软件开发方法。

软件学院校企联合办学新模式的探讨

针对特区软件行业的特色和需求,本文提出了以"校企联合,注重实践"为指导方针的软件学院办学新模式,全面介绍了办学的思路和具体方案,并概括了办学中所取得的成效。

利用双堆栈降低时间复杂度的新算法

分析了由树的前序序列和中序序列建树问题的递归算法的最坏时间复杂度和平均时间复杂度，以及利用哈希表改进查找得到的算法的时间复杂度；提出了利用两个堆栈构造的新算法，并证明其最坏时间复杂度与平均时间复杂度均为Ｏ（ｎ）．

基于Intranet的新型资源共享平台的研究与实现

提出了一种新型的Intranet资源整合及共享机制。使用Peer-to-Peer和Agent技术构筑一个实时、高效、智能的供Intranet资源发布、共享与下载的软件平台,最大化地整合了Intranet内部的资源并实现了智能共享,使用户得以用最少的时间搜寻到所需要的资源,并以最快的速度完成下载。该资源共享平台可使Intranet资源使用效率更高,用户共享更加方便,搜索和下载更加迅速,网络负荷更加均衡。该文讨论了共享平台的设计和实现的关键技术。

检验仪器信息系统开发

此系统主要是为医院检验科而开发的,可以同时从多个串口录入数据;可以编辑有关数据(包括增加,删除,修改等);可以查询历史数据;可以按各种要求进行数据统计,打印报表;可以求某种测量项目在某段时间内的平均值,对某个项目的研究提供便利等,此系统已在医院实际使用。

智能系统的分析和验证专题前言

近年来,基于深度学习算法的智能系统在一些长期未解决的任务中取得了与人类相当的能力.然而另一方面,智能系统同时面临着亟待解决的安全性和可靠性等可信性问题,比如对于自动驾驶系统,路标识别错误可能会导致灾难性的后果.智能系统的可信性已经逐渐成为制约人工智能技术在实际生产和生活中应用的关键问题,尤其是安全攸关领域.专题围绕智能系统的可信性问题,探讨可信智能系统在学术和产业界面临的难题、挑战和瓶颈.该专题重点关注智能系统的安全内涵与可解释性、智能系统的形式化验证、智能系统的测试技术、智能系统的对抗攻击技术等相关技术方法,并探讨可信智能系统的应用前景.