PAR方法相关论文
当前,Python语言在人工智能、数据挖掘、云计算等领域使用广泛,已成为计算机领域的研究热点。但随之而来的则是程序的复杂性增加,......
本文以我们承担的两个国家自然科学基金高技术探索项目研究为背景。实现了一个新型程序设计ICAI平台。该平台以程序设计方法学和算......
该文共分为五部分.第一章概述了形式倾方法;第二章着重讨论自定义Java类库的设计和实现;第三章阐述工算子的研究、实现和应用;第四......
该文就是研制这样的转换工具——从APLA程序到ADA程序自动转换系统,所做的工作有以下几点:1、运用PAR方法进行算法开发;2、对APLA......
随着科技进步和社会生产力的发展，计算机软件的重要性与日俱增，但至今软件产品仍普遍存在着可靠性难以确保，生产效率低等问题。由此，软......
围绕转换系统的设计与实现,该文主要做了以下工作:1、对RADL算法描述语言和APLA抽象程序语言进行了归纳和整理.2、研究RADL语言与A......
该项目是研究PAR方法在数值计算中的运用并用PAR方法来开发数值计算算法.针对研究目标,我们主要进行了以下工作:研究阻碍当前软件......
从60年代“软件危机”爆发至今，人们一直经受着“软件危机”的困扰。软件的生产效率和可靠性远远满足不了社会发展的需要：一方面，软件......
该文研究的目标是实现Apla-Java可重用部件库的并行(并发)机制.Apla-Java可重用部件库是PAR方法开发工具的重要组成部分.探索并实......
从七十年代以来，伴随着AI技术的深入研究，智能化CAI的研究逐渐兴起并得以蓬勃发展，取得了一系列可喜的成绩。然而，国内外各种比较成功......
该文研究的主要目标是利用薛教授在开发循环不变式的新策略中提出的递归定义思想,探索一类递归定义问题的循环不变式开发技术,并应......
“软件危机”是造成当前软件产业发展缓慢的主要因素，其表现形式有：1．软件产品的质量靠不住；2．软件的可维护性低；3．软件的成本不断提高；4．软......
软件系统的成功极大依赖软件需求工程的质量，而软件的可靠性难以保证和开发效率低一直是困扰软件产业的两大难题。而用形式化方法开......
有效解决“软件危机”的一种重要途径是使用形式化方法来开发软件产品。薛锦云教授在国家863和多项国家自然科学基金的资助下，根据......
随着ICAI(Intelligence Computer Assisted Instruction)技术的不断发展，其在许多学科领域已得到了广泛的应用。比如，在数学方面有著......
随着信息时代的到来，社会对软件人才的需求急剧增长，软件人才的培养成为新世纪的一大热点。程序设计CAI(Computer Aided Instruction......
形式化方法对提高软件的正确性、可靠性意义重大，可大幅度减少软件的后期维护费用，但由于设计周期和人员素质的限制，以及使用形式化符......
用形式化方法开发软件，被当今计算机界誉为克服“软件危机”、提高软件可靠性和生产效率的革命性途径，是实现软件自动化的关键。薛锦......
软件测试贯穿了软件工程全过程,是保证软件质量的重要手段。根据应用系统的不同,采用的测试方法也呈现多样性。目前,软件测试技术......
随着软件产业的快速发展,人才日渐成为制约产业发展的关键因素。程序设计ICAI(Intelligent Computer-Assisted Instruction)软件作......
计算机科学是研究算法的科学，而且计算机所处理的对象大部分是离散的数据。组合数学是研究离散对象的科学，正因为有了以组合数学为基......
本项研究作为PAR方法研究的一个重要组成部分,目标是开发一个自动程序转换系统,该系统能将用Radl语言描述的算法转换成抽象语言程......
随着社会对信息技术的依赖性日益增长，在至关重要 (critical systems) 系统中如何提高应用软件的可靠性成为一个紧迫的问题。目前，软......
薛锦云教授在国家863和多项国家自然科学基金的资助下,创造性地提出了一种形式化开发方法——PAR方法。就是用数学与逻辑的方法来......
随着计算机硬件技术与网络通信技术的快速发展,以并发性为特征的并发系统越来越显示其重要性,并已成为当前计算机软件开发的主流方......
随着信息技术的发展,计算机软件已经应用到了生活的各个方面,软件的可靠性也越来越受到关注,人们不仅对安全性至关重要软件系统提......
形式化方法可以对系统进行严格的规约,并可以从不同的角度验证开发的系统是否具有所期望的性质,在高可信软件的开发中越来越受重视......
为了更好地解决软件危机这个至关重要的问题,提高实际软件开发的效率和可靠性,薛锦云教授在多个国家级课题的资助下提出了一种普遍......
当前,Python语言在人工智能、数据挖掘、云计算等领域使用广泛,已成为计算机领域的研究热点。但随之而来的则是程序的复杂性增加,......
随着计算机技术的发展我们已经全面进入了信息化时代,对信息数据的处理能力与存储空间也在不断的提高。现如今数据库技术的应用已......
【内容摘要】信息技术课是一门新型学科，教学中没有多少可直接借鉴的方法和经验。笔者在本文中对自己在信息技术课教学中如何培养学......
在软件开发过程中,开发语言中的泛型机制能够显著提高软件开发的效率和软件可靠性,但现有高级语言中一般只有类型和子程序(如过程......
简述了薛锦云教授所创的PAR方法和组合游戏(Nim)之后,本文运用PAR方法详细推演出解决组合游戏中的一个典型例子(Nim)的算法的数学......
分析了抽象程序设计语言Apla (Abstract Programming Language)定义的集合操作的实现算法思想,用PAR方法(分划递推法,Partition-an......
基于一种新型可重用数据访问构件，本文将其运用于手持医护信息系统中，取得了良好效果。该系统可以运行在Windows CE嵌入式操作系统之......
国家教育部制定的高中新课程标准将算法初步作为高中数学课程的必修内容,算法与程序设计也首次纳入到选修课之列。全国大部分普通......
软件外包中开发效率低、可靠性差的问题一直存在。PAR（Partition and Recur）方法及高可靠软件开发平台PAR平台，在提高软件开发效率和......
计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心。算法的设计和理解对开发高效、正确的软件至关重要。本文选取平......
形式化方法是构建可信软件的重要途径。Koch曲线是典型的分形图形。基于形式化方法PAR及循环不变式开发策略,开发了Koch曲线非递归......
针对算法走进高中课堂的现状,提出使用PAR作为高中学习算法开发的主要平台,通过PAR形式化推导实现多项式和素数两个经典数学问题,......
在基于薛锦云提出的PAR(Partition-and-Recursion)方法的思想上,通过并行划分数据空间--自然地称之为并行分划递推,给出了在PRAM和......
Apla—Java可重用部件库是PAR方法的重要研究成果．实验证明它对基于PAR平台进行串行Java程序开发提供了有效的支持．实现部件库的并行......
计算机科学的核心内容是使用算法处理离散数据．组合数学的重要性日渐凸显．使用形式化方法PAR开发了两个组合数学问题的算法，形式化推......
软件构件技术可显著提高程序的可靠性和开发效率,极大减少开发成本.泛型程序设计有助于降低编程的复杂度,为重用构件开发提供有效......
随着大数据、云计算和云服务等新技术的兴起,并发分布式计算作为这些新技术的基础,扮演着越来越重要的角色.在分布式计算中,数据的......
设计并实现了一个PAR方法的在线自学系统.利用Web服务（Web Service）和多媒体数据库技术,将使用PAR方法开发算法程序设计的基本概念、......
