裘宗燕
- 作品数：20 被引量：67H指数：5
- 供职机构：北京大学数学科学学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学理学更多>>
- 语言的抽象、封装与变换型开发方法被引量：5
- 1998年
- 该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法．这种方法把数据抽象的思想提高到语言抽象层次；把一类专用软件的规范抽象为语言的规范；把这类软件的实现抽象为语言的归约变换；用“规范＋变换”抽象软件开发过程．为支持这种方法，提出了语言的一种抽象与封装机制Ｇａｒｍｅｎｔ，以此定义语言中各成分的语法和语义，描述语言间的继承、屏蔽和扩充关系．最后，以语言知识库为核心，简要介绍了支持用Ｇａｒｍｅｎｔ进行变换型开发的系统结构和工作流程．
- 张乃孝郑红军裘宗燕
- 关键词：软件开发方法
- 程序设计语言课程的设置
- 裘宗燕
- 关键词：程序设计程序语言教学内容
- 并行FFP机器的处理器管理
- 1990年
- G.Mago提出的FFP机是一种串归约机器,它是具有完全二叉树结构的小粒度的多机系统(图1),机器中的处理单元分成两类,它们是: (1) L-单元(叶单元)。是执行归约的主要处理单元。L-单元排成一列,相邻的单元之间有通讯通道。每个L-单元与一个作为它的父单元的T-单元连接,它们可以互相通讯。
- 裘宗燕
- 关键词：处理器多机系统
- 空间隐函数近似图形的生成
- 1997年
- 描述了一种空间隐函数曲面的作图算法。该算法基于对作图区域的四面体剖分，通过在每一个四面体中做函数曲面的近似片段，由这些近似片的组合得到隐函数近似图形。本作图算法比较容易在计算机实现，执行效率高。这个方法不但能做出数学表达式表示的隐函数的近似图形、函数等值面的近似图形，还可以处理空间数据的等值面近似图形问题。
- 裘宗燕
- 数学表达式的自动排版
- 本文针对CAI课件开发中表达式输入难的问题,提出了一种集表达式录入、符号演算、显示于一体的自动排版的算法,并通过算术表达式的处理为例加以说明。
- 郭海峰裘宗燕
- 文献传递
- C++语言异常处理机制的研究被引量：5
- 2003年
- 在程序开发中必须考虑和处理程序运行中可能遇到的非正常情况,这些情况的出现可能是由于环境因素(如硬件或用户交互),也可能源自程序不同部分间的相互作用.
- 裘宗燕
- 关键词：C^++语言异常处理机制
- 基于逻辑的形式化验证方法:进展及应用被引量：15
- 2016年
- 近年来,形式化方法发展很快,一些技术已经产生工业应用。以逻辑系统为主线,分析几个影响力比较大的形式化验证技术和验证工具,以帮助应用工程师选择并使用形式化工具。主要包括命题演算和时态逻辑方面的SAT、BDD、模型检测和SMT,谓词逻辑方面的ACL2、VDM方法和B方法,以及高阶逻辑方面的HOL、PVS和COQ。还介绍形式化方法在学术界和工业界的应用情况,最后给出几个商业化的形式化验证工具。
- 陈钢于林宇裘宗燕王颖
- 关键词：形式化方法逻辑系统
- 一种基于群签名算法的门禁系统模型被引量：1
- 2003年
- 描述群签名算法的一种实际应用 ,提出了一种新的基于群签名的门禁系统模型。文中首先讨论了群签名算法和门禁系统的概念 ,分析了经典门禁系统的作用及其缺陷 ;而后研究了一种基于群签名算法的门禁系统 ,描述了这种系统模型、有关的系统操作集合 ,给出了系统模型的形式化定义 ;最后分析了这种门禁系统模型的特点。
- 魏晋伟裘宗燕
- 关键词：群签名门禁系统公钥加密
- 今天的C程序设计课教什么,怎么教——兼议《从问题到程序》的修订被引量：6
- 2012年
- 1为什么讨论C语言
我们都知道,C语言开发于二十世纪70年代,在目前广泛使用的语言中属于老字辈。今天有许多更新更时髦的语言。如直接作为C后代的C＋＋和Object-C;希望作为C＋＋改良版的Java、C#等;还有已在系统开发领域,特别是在网络应用领域占据重要地位的各种＂脚本语言＂,
- 裘宗燕
- 关键词：程序设计课C语言JAVA脚本语言C++
- 面向对象的和其他的语言
- 1990年
- 本文介绍面向对象的和其他的语言的概念和基本特征.
- 裘宗燕
- 关键词：面向对象程序设计语言
