王咏
- 作品数：8 被引量：13H指数：2
- 供职机构：温州师范学院更多>>
- 相关领域：自动化与计算机技术哲学宗教更多>>
- 支持与证据的形式化研究
- 2001年
- 关于不确定推理,从概率模型、可信度理论发展到证据理论和模糊推理,大大丰富了不确定推理的理论,在专家系统中的应用也日趋成熟,所有这些研究都是基于"一定意义"下的数值度量来研究证据与结论之间的关系,因而可以提出这样的问题,在非确定环境下,证据和证据对结论的支持强度的普遍含义是什么?这就涉及到支持和证据的逻辑基础问题.作者在文献[1]提出了支持逻辑和证据的初步概念,本文探讨了事态的形式化并且对支持逻辑和证据作了进一步说明和解释,对整个形式化方案作了肯定的说明.
- 陈国祯徐贯东王咏
- 关键词：事态形式化
- 基于客户端的Web使用挖掘被引量：10
- 2003年
- 本文介绍了一种从客户端挖掘用户Web使用过程的特点、应用与方法,它是Web数据挖掘的一个重要组成部分。
- 黄风华王咏
- 关键词：数据挖掘客户端INTERNET数据仓库WEB
- 基于UM、DM和IM的应用软件开发方法
- 2001年
- 本文提出了一种基于用户模型 (UM )、设计者模型 (DM )和实现模型 (IM )的开发方法 ,该方法模拟了人类认知客观世界中新生事物的渐进过程 ,它认为应用软件的开发过程就是一个用户模型、设计者模型、实现模型的建立和使这三个模型实现一致的过程 ,文中还给出该方法的开发过程和采用的主要技术手段 .该方法为应用软件的开发提供了一种新思路 ,为最终保证应用软件的质量提供了一个有效的途径 .
- 王咏
- 关键词：应用软件开发方法用户模型UMDMIM
- 儿童PL视力测试系统的研制
- PowerBuilder(简称PB)是Sybase公司推出的一个面向对象、基于客户机／服务器的图形界面的应用程序开发环境,具备跨平台开发应用程序的能力,同时PB还具有Windows风格,由包含各种控件的窗口组成。作为企业...
- 郑海华王咏庄春生
- 文献传递
- 面向GUI的软件开发模型——I&F模型被引量：3
- 2000年
- 1 引言随着信息系统体系结构的不断发展,图形用户界面在软件中所处的重要地位越来越显著。一方面,友好、灵活、易学易用的人机界面,特别是交互式的图形用户界面(GUI)使得越来越多的非计算机专业人员成为了计算机用户,促成了计算机应用领域和用户队伍迅速扩大。另一方面。
- 王咏徐贯东
- 关键词：软件开发模型GUI软件工程
- 信息系统的结构综述
- 2003年
- 从建造信息系统首先面临的体系结构选择问题出发,对目前信息系统所采用的几种主流 结构进行了介绍,并对每种结构相关的技术进行了分析,同时给出了具体的实现方案.
- 王咏
- 关键词：信息系统软件体系结构
- 一种获得应用软件规格说明的新途径
- 2003年
- 在4GL开发环境下,应用系统的开发都是以界面的设计为导向的。该文介绍了一种在4GL环境下获得应用软件规格说明的新途径,即通过确定界面模型来确定应用软件的规格说明,并详细介绍了确定界面模型的方法———OVID(ObjectViewInteractionDesign,对象视图交互设计)。
- 王咏
- 关键词：软件工程软件开发应用软件
- 支持与证据的形式化研究
- 2001年
- 关于不确定推理,从概率模型、可信度理论发展到证据理论和模糊推理,大大丰富了不确定推理的理论,在专家系统中的应用也日趋成熟。所有这些研究都是基于“一定意义”下的数值度量来研究证据与结论之间的关系,因而可以提出这样的问题,在非确定环境下,证据和证据对结论的支持强度的普遍含义是什么?这就涉及到支持和证据的逻辑基础问题。作者在文[1]提出了支持逻辑和证据的初步概念,本文探讨了事态的形式化并且对支持逻辑和证据作了进一步说明和解释,对整个形式化方案作了肯定的说明。
- 陈国祯徐贯东王咏
- 关键词：形式化方法专家系统事态
