裘宗燕

作品数：17被引量：57H指数：5
导出分析报告
供职机构：北京大学数学科学学院更多>>
发文主题：程序设计语言语言形式化方法异常处理程序设计更多>>
发文领域：自动化与计算机技术文化科学理学更多>>
发文期刊：《河南大学学报（自然科学版）》《计算机学报》《计算机教育》《传感技术学报》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Python的数据结构课程被引量：3
《计算机教育》2017年第12期32-35,共4页裘宗燕 
使用Python讲授程序设计课程正成为一种趋势,如果从计算机专业的第一门课程开始就使用Python,则必须考虑后续课程的衔接问题,特别是重要的数据结构课程。文章基于使用Python讲授数据结构课程以及编写基于Python数据结构教材的实践经验,...
关键词：PYTHON 数据结构课程 教学 内容和方法 
基于逻辑的形式化验证方法:进展及应用被引量：17
《北京大学学报（自然科学版）》2016年第2期363-373,共11页陈钢 于林宇 裘宗燕 王颖 
近年来,形式化方法发展很快,一些技术已经产生工业应用。以逻辑系统为主线,分析几个影响力比较大的形式化验证技术和验证工具,以帮助应用工程师选择并使用形式化工具。主要包括命题演算和时态逻辑方面的SAT、BDD、模型检测和SMT,谓词逻...
关键词：形式化方法 逻辑系统 验证技术 
一种无线传感器网络数据收集协议的研究与优化被引量：11
《传感技术学报》2014年第3期355-360,共6页冯亚超 贺康 杨红丽 裘宗燕 刘渊 
PEADG(Power Efficient Algorithm for Data Gathering)协议是基于WSN的抄表系统数据收集协议,PEADG协议建立的网络拓扑结构由多棵树组成,树根节点分担了网络负载,较好地延长了网络生命期,但PEADG协议仍然存在一些问题,如:没有考虑多棵...
关键词：无线传感器网络( WSN) 数据收集协议 PEADG协议 MATLAB仿真 
今天的C程序设计课教什么,怎么教——兼议《从问题到程序》的修订被引量：6
《计算机教育》2012年第13期24-32,共9页裘宗燕 
1为什么讨论C语言 我们都知道,C语言开发于二十世纪70年代,在目前广泛使用的语言中属于老字辈。今天有许多更新更时髦的语言。如直接作为C后代的C＋＋和Object-C;希望作为C＋＋改良版的Java、C#等;还有已在系统开发领域,特别是在网络...
关键词：程序设计课 修订 C语言 JAVA 脚本语言 C++ 在系统 开发 
基于B方法的应用软件开发
《河南大学学报（自然科学版）》2009年第3期304-308,共5页陈丹敏 裘宗燕 
随着应用的发展,计算机系统的一致性和可靠性变得越来越重要.形式化方法以精确的数学语义为基础,能精确描述系统规范,严格验证规范的性质,从而更好地保证软件的一致性和可靠性.B形式化方法支持从规范说明到代码生成的整个软件开发周期....
关键词：B方法 形式化方法 规范说明 软件设计 POS 
基于UML的软件结构规范与精化被引量：5
《北京大学学报（自然科学版）》2007年第1期1-10,共10页孙猛 杨红丽 张乃孝 裘宗燕 
国家自然科学基金(60473056和60573081)资助项目
提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的...
关键词：软件结构 规范 精化 CSP UML 
C++语言异常处理机制的研究被引量：5
《计算机科学》2003年第11期155-156,174,共3页裘宗燕 
国家自然科学基金(No.60173003)
在程序开发中必须考虑和处理程序运行中可能遇到的非正常情况,这些情况的出现可能是由于环境因素(如硬件或用户交互),也可能源自程序不同部分间的相互作用.
关键词：C^++语言 异常处理机制 研究 
一种基于群签名算法的门禁系统模型
《北京大学学报（自然科学版）》2003年第5期635-640,共6页魏晋伟 裘宗燕 
国家自然科学基金资助项目 (6 98730 0 3;6 0 1730 0 3)
描述群签名算法的一种实际应用 ,提出了一种新的基于群签名的门禁系统模型。文中首先讨论了群签名算法和门禁系统的概念 ,分析了经典门禁系统的作用及其缺陷 ;而后研究了一种基于群签名算法的门禁系统 ,描述了这种系统模型、有关的系统...
关键词：群签名 门禁系统 公钥加密 
异常处理及其实现被引量：5
《Internet信息世界》2002年第9期55-58,共4页裘宗燕 
今天,许多面向实际系统和应用开发的新语言都以某种方式提供了异常处理机制。由于异常是一种较新的程序特性,在如何提供异常机制方面的研究并未收敛。目前,在各种不同范式的程序设计语言的研究中,人们都还在继续探索提供异常机制的不同...
关键词：异常处理 动态链表 表态表格 程序设计 程序设计语言 
两维时间域上的实时程序语义
《计算机学报》1999年第9期958-962,共5页裘宗燕 
国家自然科学基金
超稠密计算模型是实时系统的一种重要抽象模型．该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑，然后用一个并行模型语言（类Ｏｃｃａｍ 语言）讨论用这种逻辑定义并行语言（在超稠密模型中）的时间语义的问题。
关键词：区间逻辑 两维时间 程序语义 实时系统 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部