作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

A Unified Approach for Developing EfficientAlgorithmic...  CNKI文献

A unified approach called partition-and-recur for developing efficient and correct algorithmic programs is presented. An algorithm (represented by recurrence and initiation) is separated from progra...

薛锦云 《Journal of Computer Science and Technology》 1997年04期 期刊

关键词: Programming / method / algorithm / design

下载(77)| 被引(61)

算法程序形式化开发研究  CNKI文献

从哲学理论和算法程序开发实践两方面阐述了以演绎推理为基础的算法程序形式化开发的作用和固有局限性,指出排斥算法程序形式化和对形式化方法寄予不切实际的希望都是错误的,主张努力探索算法程序开发的科学基础,使...

薛锦云 《云南大学学报(自然科学版)》 1997年S2期 期刊

关键词: 算法程序开发方法 / 演绎推理 / 创造性劳动 / 科学基础

下载(174)| 被引(29)

迭代算子及其在可重用软件研究中的应用  CNKI文献

迭代算子在循环控制机制抽象和可重用软件研究中有十分重要的作用,已有10多年研究历史,然而,至今对什么是迭代算子尚无确切和统一的定义,严重影响了对这一概念的理解,也阻碍了它的广泛应用,本文在分析研究现有...

薛锦云 吴云峰... 《软件学报》 1997年02期 期刊

关键词: 迭代算子 / 抽象数据类型 / 可重用软件 / 循环机制

下载(92)| 被引(22)

Formal Derivation of Graph AlgorithmicPrograms Using P...  CNKI文献

In this paper, we derive, by presenting some suitable notations, three typical graph aLgorithms and corresponding programs using a unified approach, partition-and-recur. We putemphasis on the derivat...

薛锦云 《Journal of Computer Science and Technology》 1998年06期 期刊

关键词: Graph / Algorithms / method / of

下载(65)| 被引(28)

Two New Strategies for Developing Loop Invariants and ...  CNKI文献

The loop invariants take a very important role in the design,proof and derivation of the algorithmicprogram.We point out the limitations of the traditional standard strategy for developing loop invar...

薛锦云 《Journal of Computer Science and Technology》 1993年02期 期刊

关键词: Loop / invariant / standard / proof

下载(32)| 被引(41)

若干新的可重用程序部件模式  CNKI文献

本文给出了可重用程序部件的定义,提出并用Ada语言实现了若干基于这一定义的新的可重用程序部件模式。它们是基于部分实现理论的模式,基于代数结构的模式和基于算法设计思想的模式。用这些模式构造的程序部件有效率高...

薛锦云 李云清... 《计算机研究与发展》 1993年01期 期刊

关键词: 可重用程序部件 / 代数结构 / 算法设计方法 / 部分实现。

下载(33)| 被引(33)

四四汤煎剂与固本益肠片联合治疗慢性顽固性腹泻60例  CNKI文献

慢性顽固性腹泻是以排便增多、粪质稀薄、黏液便、腹痛等为主要症状的肠道证候群,常反复发作,呈慢性病程,笔者近几年来以四君子汤合四神丸为基本方组成四四汤煎剂,与固本益肠片联合使用治疗本病,并与柳氮磺吡啶合四神...

薛锦云 《中医杂志》 2010年S1期 期刊

关键词: 固本益肠片 / 顽固性腹泻 / 煎剂 / 汤剂

下载(66)| 被引(2)

计算循环置换乘方的线性算法及其形式推导  CNKI文献

本文重点论述形式推导这类算法所需要的概念、方法和数据表示形式,其次是算法的卫式命令实现及算法本身的特性。

薛锦云 《江西师范大学学报(自然科学版)》 1991年01期 期刊

关键词: 程序设计方法学 / 算法设计 / 程序形式推导

下载(32)| 被引(6)

复杂算法程序的规范证明和形式推导  CNKI文献

能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。本文介绍了这一领域的研究现状,重点综述了作者近年来提出的复杂算法程序形式化技术,以典型实例说明了使用这些技术的方法。

薛锦云 《江西师范大学学报(自然科学版)》 1992年03期 期刊

关键词: 算法程序形式化技术 / 算法设计 / 数据结构 / 循环不变式

下载(44)| 被引(0)

基于PAR的排序算法自动生成研究  CNKI文献

排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法 PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛...

石海鹤 薛锦云 《软件学报》 2012年09期 期刊

关键词: 排序算法 / 自动生成 / 领域特定语言 / 形式化模型

下载(366)| 被引(18)

Apla中泛型约束机制研究  CNKI文献

泛型程序设计可大幅提高程序的可重用性、可靠性和开发效率.泛型约束机制是对泛型参数进行形式描述,并对其合法性进行检测及验证,从而保证泛型程序的可靠性和安全性.分析总结多种主流语言的泛型约束特性,存在难以描述...

左正康 薛锦云 《软件学报》 2015年06期 期刊

关键词: 泛型约束机制 / Apla语言 / 代数结构 / 动态语义约束

下载(109)| 被引(10)

咯血治验四案  CNKI文献

【例一】陈××,男,59岁,住李堡镇西大街。1982年4月4日初诊。患者于3月30日晚餐后突然咽部发痒,旋即咯血数口,色鲜红;夜间又咯血三次,量较多,每次约60—100毫升。胸部闷窒,偶有隐痛,低热,轻咳。经X光胸片检查...

薛锦云 《江苏中医杂志》 1987年02期 期刊

关键词: 月华丸 / 川贝母 / 贝母属 / 胸闷

下载(37)| 被引(0)

微计算机水文资料整编系统MHDMS程序设计  CNKI文献

一、引言水文资料整编就是将水文测站测得的原始资料如水位、流量、含沙量等资料,按照科学的方法和统一的格式,进行整理、分析、计算,提炼成为符合规范要求的系统的整编成果,供水文预报、国防科研及有关国民经济建设部...

薛锦云 宋群... 《微计算机应用》 1984年02期 期刊

关键词: 文件 / 水位 / 单沙 / 原始数据

下载(17)| 被引(0)

用减少增量法挑选保证率水位  CNKI文献

本文介绍了在微型计算机上,用减少增量排序法挑选保证率水位的实现过程,给出了对应的BASIC程序段。在微型机上跟常见的几种排序法比较,证明:在同等条件下,这种算法比目前水文系统普遍采用的气泡上升法(bubble sort)快...

薛锦云 《江西师院学报(自然科学版)》 1981年02期 期刊

关键词: 保证率 / 算法 / 气泡上升法 / 增量法

下载(17)| 被引(0)

组合优化问题简约与算法推演  CNKI文献

针对组合优化类问题定义了代数结构模型,从问题的形式规约出发,通过一阶谓词和量词演算将问题逐步简约为搜索空间更小、复杂度更低的子问题,根据问题的简约关系推导出求解算法,并在构造算法的同时也证明了算法的正确性...

郑宇军 薛锦云... 《软件学报》 2011年09期 期刊

关键词: 组合优化问题 / 问题简约 / 算法推演 / PAR(partition-and-recur)

下载(458)| 被引(17)

基于Spring框架的轻量级J2EE架构与应用  CNKI文献

合理的J2EE架构设计方案对J2EE应用系统的开发至关重要。Spring框架包含依赖注入方式的构件组装机制、统一的事务和日志管理服务等,为搭建轻量级的J2EE架构提供了有力的支持。介绍Spring框架的体系结构,将基于Spring框...

胡启敏 薛锦云... 《计算机工程与应用》 2008年05期 期刊

关键词: Spring框架 / J2EE / 依赖注入 / 轻量级

下载(4034)| 被引(528)

Hanoi塔非递归算法的形式化推导和正确性验证  CNKI文献

关于Hanoi塔问题的非递归算法已有大量的研究.运用薛锦云教授自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijkstra最弱前置谓词法验证了该算法的正确性....

游珍 薛锦云 《计算机研究与发展》 2008年S1期 期刊

关键词: Hanoi塔 / PAR方法 / 循环不变式 / 非递归算法

下载(291)| 被引(10)

Radl算法到Apla程序的生成系统  CNKI文献

算法设计是一项创造性工作,传统的设计与描述方法难以保证算法的正确性.在PAR方法中通过定义具有数学引用透明性的算法描述语言Radl,可实现对问题规约进行形式化推导得到用递推关系描述的算法.Radl算法的核心就是递推...

谢武平 薛锦云 《计算机研究与发展》 2014年04期 期刊

关键词: PAR方法 / Radl算法 / 程序生成 / 算法推导

下载(119)| 被引(13)

Radl形式规格说明相对正确性研究  CNKI文献

在形式规格说明的获取任务中,一个重要问题是验证获取得到的形式规格说明的正确性.即给定一个问题需求P,往往可以获取多种不同形式的规格说明,如何验证这些不同形式的规格说明均正确?问题需求的非(半)形式化与形式规格...

王昌晶 薛锦云 《软件学报》 2013年04期 期刊

关键词: 形式规格说明 / 相对正确性 / 确认 / 扩展的逻辑系统

下载(146)| 被引(9)

基于Isabelle定理证明器算法程序的形式化验证  CNKI文献

形式化验证对保证软件的正确性和可靠性具有十分重要的意义。定理机械证明是形式化验证的一个重要研究领域,Isabelle系统是一个被广泛运用的定理证明辅助工具。本文在分析Dijkstra最弱前置谓词理论的基础上,根据PAR方...

游珍 薛锦云 《计算机工程与科学》 2009年10期 期刊

关键词: 形式化验证 / 定理机械证明 / Dijkstra最弱前置谓词理论 / PAR方法

下载(290)| 被引(8)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

时间的形状