实验考核的计算机辅助系统 被引量：4

1

作者 夏骄雄 施文广 《实验室研究与探索》 CAS 1997年第4期9-13,共5页

利用计算机对实验考核进行辅助是当前计算机辅助教育（ＣＢＥ）在实验领域的新课题。本文简要叙述了依据计算机模拟实验考核理论建立实验考核系统的基本结构，并结合作者的制作和应用，对实验考核的计算机辅助系统进行展望。

关键词 实验考核 CAI 计算机辅助系统

在线阅读 下载PDF 职称材料

计算机辅助实验考核系统 被引量：10

2

作者 夏骄雄 《计算机应用与软件》 CSCD 2000年第10期57-64,共8页

计算机辅助实验考核系统是计算机辅助教育(CBE)中实验领域的新型考核系统,它摒弃了计算机辅助测验(CAT)系统简单的试卷形式,充分利用计算机模拟与管理功能,来实现对实验考核者综合实验能力的考核。

关键词 CAT 计算机辅助实验考核系统 计算机辅助教育

在线阅读 下载PDF 职称材料

Intranet与管理信息系统 被引量：42

3

作者 夏骄雄 陆菊康 施振夏 《计算机工程与应用》 CSCD 北大核心 2000年第3期142-144,147,共4页

管理信息系统的应用，正随着信息技术与网络技术的发展，逐渐步入开放式、全球化、以信息为中心的全信息服务模式之中，文章从管理信息系统的应用现状入手，论述了Ｉｎｔｒａｎｅｔ应用的优势，从而提出了构建基于Ｉｎｔｒａｎｅｔ管理... 管理信息系统的应用，正随着信息技术与网络技术的发展，逐渐步入开放式、全球化、以信息为中心的全信息服务模式之中，文章从管理信息系统的应用现状入手，论述了Ｉｎｔｒａｎｅｔ应用的优势，从而提出了构建基于Ｉｎｔｒａｎｅｔ管理信息系统（ＩＢＭＩＳ）的想法以及建立该系统的有利条件和重要意义，为这两者充分结合各自优势，互补长短，提供了新的思路。 展开更多

关键词 INTRANET网 计算机网络 管理信息系统 企业

在线阅读 下载PDF 职称材料

群决策支持系统一致性问题的处理算法 被引量：3

4

作者 刘静 杨作慎 《系统工程与电子技术》 EI CSCD 2000年第6期87-89,共3页

基于模糊集理论 ,提出了一种适合处理群决策支持系统中一致性问题的算法。由于群决策具有模糊性 ,所以从模糊数学理论出发 ,分析了群决策支持系统中的一致性问题。利用隶属函数来表达决策参与者的模糊偏好 ,将个人偏好集成为群偏好 ,根... 基于模糊集理论 ,提出了一种适合处理群决策支持系统中一致性问题的算法。由于群决策具有模糊性 ,所以从模糊数学理论出发 ,分析了群决策支持系统中的一致性问题。利用隶属函数来表达决策参与者的模糊偏好 ,将个人偏好集成为群偏好 ,根据模糊偏好关系空间距离来研究决策制定。 展开更多

关键词 模糊集合 算法 群决策支持系统 一致性

在线阅读 下载PDF 职称材料

实验考核系统的设计与实现 被引量：1

5

作者 夏骄雄 施振夏 施文广 《计算机工程》 CAS CSCD 北大核心 1997年第S1期317-321,共5页

文章阐述了按照软件工程的设计方法,以计算机模拟实验考核理论对《电极势的测定》实验进行详细需求分析与设计,并简要叙述了制作该实验计算机辅助考核系统的设计方案与具体实现,最后对实验考核计算机化的发展给予展望。

关键词 计算机辅助考核系统 计算机模拟实验考核 电极势的测定 实验考核系统

在线阅读 下载PDF 职称材料

网络安全自动检测系统NSATS 被引量：8

6

作者 王佳明 曾红卫 唐毅 《计算机工程》 EI CAS CSCD 北大核心 2000年第1期17-18,86,共3页

首先介绍了网络安全攻击的基本概念和网络安全测试的一般方法。在此基础上，设计、实现了网络安全自动测试系统（ＮＳＡＴＳ）。对本地测；式与网络安全扫描、新攻击方法的接口技术进行了分析。

关键词 网络安全 自动检测系统 NSATS 计算机网络

在线阅读 下载PDF 职称材料

发现金融市场预测模型的计算智能方法 被引量：7

7

作者 童兆页 费良俊 《软件学报》 EI CSCD 北大核心 1999年第4期395-399,共5页

文章首先扼要论述了金融市场数据以及计算智能方法学的基本性质及其在数据发掘中的应用前景，提出了一个用遗传算法配合神经网络进行优化训练后，用于发现股票市场价格变化趋势和预测模型的实验系统．文章着重论述了这一系统的设计思想... 文章首先扼要论述了金融市场数据以及计算智能方法学的基本性质及其在数据发掘中的应用前景，提出了一个用遗传算法配合神经网络进行优化训练后，用于发现股票市场价格变化趋势和预测模型的实验系统．文章着重论述了这一系统的设计思想和实现技术．最后，随意选择上海中百一店股票行情为实验研究对象。 展开更多

关键词 金融市场 计算智能 神经网络 市场预测 股票

在线阅读 下载PDF 职称材料

银行业务系统层间服务器BKIX的设计与实现

8

作者 郭蕾 唐毅 《计算机工程》 CAS CSCD 北大核心 2001年第6期156-158,共3页

根据现今银行业务系统的共同特征，提出了构建此类系统层间服务器的一种先进的通用方法，为这一领域系统的优化提供了一种可借鉴的实用模型，该方法也可推广到其它类型的业务系统中。

关键词 银行业务系统 层间服务器 BKIX 设计

在线阅读 下载PDF 职称材料

论计算智能及其应用 被引量：1

9

作者 童兆页 《计算机研究与发展》 EI CSCD 北大核心 1997年第S1期8-11,共4页

文中论述了计算智能（ｃｏｍｐｕｔａｔｉｏｎａｌｉｎｔｅｌｉｇｅｎｃｅ，ＣＩ）这一新兴研究开发领域的形成背景、内容、方法特征及其与人工智能（ＡＩ）的区别与联系．指出主要的ＣＩ算法，如神经网络的训练算法、遗传算法、演化算... 文中论述了计算智能（ｃｏｍｐｕｔａｔｉｏｎａｌｉｎｔｅｌｉｇｅｎｃｅ，ＣＩ）这一新兴研究开发领域的形成背景、内容、方法特征及其与人工智能（ＡＩ）的区别与联系．指出主要的ＣＩ算法，如神经网络的训练算法、遗传算法、演化算法等，实质上是一类准元算法，适合于解决那些难以建立确定性数学／逻辑模型，或不存在可形式化模型的问题．文中还提出并讨论了演化计算的生态学模型及一般算法．进一步论述了ＣＩ＋ＡＩ多元复合协同计算系统结构及其在非线性随机动态或混沌系统分析，例如市场价格变化趋势分析，或ＮＰ难问题求解等方面的应用前景． 展开更多

关键词 计算智能 软计算 准元算法 复合协同计算系统

在线阅读 下载PDF 职称材料

CAT、CAI与CSET在实验考核中的应用 被引量：6

10

作者 夏骄雄 陆菊康 施振夏 《计算机应用与软件》 CSCD 北大核心 2002年第1期29-34,共6页

本文通过分析计算机辅助测试(CAT)理论,计算机辅助教学(CAI)中的练习和模拟模式,以及计算机模拟实验考核(CSET)理论,强调了只有充分利用计算机模拟能力和管理能力,才能实现计算机对实验考核进行辅助的真正目的。

关键词 实验考核 CAT CAI CSET CBE 计算机辅助测试 计算机辅助教学

在线阅读 下载PDF 职称材料

结构化方法、面向对象方法和形式方法的比较与结合 被引量：13

11

作者 缪淮扣 高晓雷 李刚 《计算机工程与科学》 CSCD 1999年第4期27-31,共5页

结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。本文对这三种开发方法进行了对照比较，讨论了它们的互相结合，并提出了将其结合在一起的集成方法的设想。

关键词 结构化方法 面向对象方法 形式方式 软件开发

在线阅读 下载PDF 职称材料

WILD:基于加权信息损耗的离散化算法 被引量：8

12

作者 李刚 李霁伦 童兆页 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第2期148-153,共6页

现实应用中常常涉及许多连续的数值属性 ,而目前许多机器学习算法则要求所处理的属性具有离散值 .基于信息论的基本原理 ,提出一种新的有监督离散化算法WILD ,该算它可以看成是决策树离散化算法的一种扩充 ,其主要改进在于考虑区间内观... 现实应用中常常涉及许多连续的数值属性 ,而目前许多机器学习算法则要求所处理的属性具有离散值 .基于信息论的基本原理 ,提出一种新的有监督离散化算法WILD ,该算它可以看成是决策树离散化算法的一种扩充 ,其主要改进在于考虑区间内观测值出现的频度 ,采用加权信息损耗作为区间离散化的测度 ,以克服决策树算法离散不均衡的问题 .该算法非常自然地采用了自底向上的区间归并方案 ,可以同时归并多个相邻区间 ,有利于提高离散化算法的速度 .实验结果表明该算法能够提高机器学习算法的精度 . 展开更多

关键词 机器学习 离散化 加权信息损耗 WILD 决策树 有监督算法

在线阅读 下载PDF 职称材料

数据库存取技术在IBMIS中的应用 被引量：2

13

作者 夏骄雄 高珏 +1 位作者 陆菊康 施振夏 《计算机工程》 EI CAS CSCD 北大核心 2000年第7期26-28,76,共4页

数据库存取问题是管理信息系统领域的重要课题之一。为了解决基于Ｉｎｔｒａｎｅｔ的管理信息系统（ＩＢＭＩＳ）中的数据库存取问题，该文通过比较现有的若干数据库存取模式，初步阐明了数据库存取问题在基于Ｉｎｔｒａｎｅｔ的管理信... 数据库存取问题是管理信息系统领域的重要课题之一。为了解决基于Ｉｎｔｒａｎｅｔ的管理信息系统（ＩＢＭＩＳ）中的数据库存取问题，该文通过比较现有的若干数据库存取模式，初步阐明了数据库存取问题在基于Ｉｎｔｒａｎｅｔ的管理信息系统中实现的应用模式与策略。 展开更多

关键词 管理信息系统 IBMIS 存取技术 数据库

在线阅读 下载PDF 职称材料

面向对象的形式规格说明语言OOZS 被引量：3

14

作者 李刚 朱关铭 童頫 《计算机应用与软件》 CSCD 2000年第3期1-11,共11页

OOZS语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明。它是Z语言的一种扩展,用以支持面向对象的软件分析方法,提供了类封装机制、类继承机制、入口和出口机制,设置了Pre谓词和Post谓词,表达力强,简明精确。本文是该... OOZS语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明。它是Z语言的一种扩展,用以支持面向对象的软件分析方法,提供了类封装机制、类继承机制、入口和出口机制,设置了Pre谓词和Post谓词,表达力强,简明精确。本文是该语言的试用文本介绍。 展开更多

关键词 面向对象 OOZS语言 形式语义 计算机

在线阅读 下载PDF 职称材料

形式方法与面向对象方法的结合探讨 被引量：4

15

作者 李刚 朱关铭 童頫 《计算机工程》 EI CAS CSCD 北大核心 1998年第1期13-16,69,共5页

文中讨论了形式方法和面向对象方法各自的优缺点，结合作者设计的面向对象形式规格说明语言OOZS，介绍了将这两种方法结合起来的三种途径，并对这三种途径进行了分析、评价和对比，最后提出了今后的研究方向。

关键词 规格说明语言 形式方法 面向对象 软件开发

在线阅读 下载PDF 职称材料

Z规格说明中的定理证明方法 被引量：4

16

作者 缪淮扣 朱关铭 《计算机科学》 CSCD 北大核心 1998年第1期51-54,共4页

形式规格说明使用数学的表示,以一种精确的方法描述了系统要做什么,而不考虑它是如何做的。规格说明本身提供了一个无歧义的、能与用户和同事一起讨论的书面文件,又可作为已完成程序的文档,帮助人们将来进行程序的维护和修改。

关键词 Z规格说明 Z语言 定理证明 集合论

在线阅读 下载PDF 职称材料

Z规格说明的前置条件的简化 被引量：8

17

作者 缪淮扣 《软件学报》 EI CSCD 北大核心 1997年第9期709-715,共7页

在软件方法学中，形式方法越来越受到人们的重视，并已被应用于软件开发．Z是一种基于数学表示的软件规格说明方法．前置条件的简化是Z规格说明方法中一种标准的检查，本文讨论了Z规格说明中关于操作的前置条件及其计算．提出了简化过... 在软件方法学中，形式方法越来越受到人们的重视，并已被应用于软件开发．Z是一种基于数学表示的软件规格说明方法．前置条件的简化是Z规格说明方法中一种标准的检查，本文讨论了Z规格说明中关于操作的前置条件及其计算．提出了简化过程的终止条件，给出了一个用于简化前置条件的算法，该算法可自动产生简化过程的证据． 展开更多

关键词 形式方法 规格说明 前置条件 Z语言 软件开发

在线阅读 下载PDF 职称材料

Z规格说明构造方法 被引量：1

18

作者 刘玲 缪淮扣 《计算机工程》 CAS CSCD 北大核心 2000年第2期39-41,共3页

比较完整地描述了Ｚ规格说明的结构和写规格说明的步骤，并通过一个所设计的Ｚ规格说明的实例演示了用Ｚ编写规格说明的过程。

关键词 规格说明 Z模式 初始化定理证明 前置条件简化

在线阅读 下载PDF 职称材料

OOZS:一种面向对象的Z语言扩展 被引量：1

19

作者 李刚 朱关铭 《计算机研究与发展》 EI CSCD 北大核心 1997年第10期742-746,共5页

在软件开发过程中，面向对象方法和形式方法的综合使用有助于充分利用这两种方法的优点并克服它们的不足．在Ｚ规格说明语言的基础上，作者设计了一种结构化的面向对象形式规格说明语言ＯＯＺＳ，以提高形式规格说明的层次性及模块化能... 在软件开发过程中，面向对象方法和形式方法的综合使用有助于充分利用这两种方法的优点并克服它们的不足．在Ｚ规格说明语言的基础上，作者设计了一种结构化的面向对象形式规格说明语言ＯＯＺＳ，以提高形式规格说明的层次性及模块化能力．本文简要介绍了ＯＯＺＳ语言的设计思想及其面向对象特征． 展开更多

关键词 面向对象 OOZS语言 Z语言 程序语言

在线阅读 下载PDF 职称材料

Z规格说明求精的正确性判定 被引量：1

20

作者 李刚 朱关铭 童頫 《计算机科学》 CSCD 北大核心 1997年第1期68-72,共5页

软件求精是自动推理和形式化开发方法相结合而形成的一门新技术,它研究从抽象的形式格说明推演出具体的面向计算机的程序代码的全过程.其基本思想是用·个抽象程度低。

关键词 Z规格说明 软件开发

在线阅读 下载PDF 职称材料