期刊文献+
共找到11篇文章
< 1 >
每页显示 20 50 100
内含定理证明器的程序开发系统
1
作者 孙永强 杨继锋 +1 位作者 陆朝俊 邵志清 《上海交通大学学报》 EI CAS CSCD 北大核心 1998年第10期42-45,共4页
提出了一个基于重写技术的程序开发系统,它提供了扩展的函数式语言和代数规约语言相结合的混合语言,该语言中引入了优化规则和测试等式说明机制.优化规则用于优化代码和满足某些特殊需求.运用测试等式说明机制可使程序员在程序中给... 提出了一个基于重写技术的程序开发系统,它提供了扩展的函数式语言和代数规约语言相结合的混合语言,该语言中引入了优化规则和测试等式说明机制.优化规则用于优化代码和满足某些特殊需求.运用测试等式说明机制可使程序员在程序中给出一些用于测试的等式,对程序进行测试,这些测试是在被开发系统形成前进行的.对优化规则和测试等式的证明,是由系统中的证明子系统(定理证明器)完成的.定理证明器的引入,提高了所开发系统的正确性,并且有利于缩短系统的开发周期. 展开更多
关键词 函数式语言 软件工程 程序开发系统 定理证明器
下载PDF
MFS:一个基于重写技术的程序开发系统
2
作者 杨继锋 孙永强 +1 位作者 陆朝俊 邵志清 《软件学报》 EI CSCD 北大核心 1999年第8期806-811,共6页
MFS是一个基于重写技术的程序开发系统.它提供的程序设计语言MFSL是扩展的函数式语言与代数规约语言相结合的混合语言.在这种混合语言中引入了能够提高效率和满足用户特殊需求的优化规则定义机制.语言的类型系统以及在语言和系统中... MFS是一个基于重写技术的程序开发系统.它提供的程序设计语言MFSL是扩展的函数式语言与代数规约语言相结合的混合语言.在这种混合语言中引入了能够提高效率和满足用户特殊需求的优化规则定义机制.语言的类型系统以及在语言和系统中引入的证明和测试机制能够使人们在开发过程中较早地发现问题,提高所开发系统的正确性.在系统的实现中采用的必要平行最外归约策略、图归约、证据测试集等技术能够使所开发的系统具有很高的实现效率.应用这一程序开发系统,能够较快地开发出正确且效率较高的程序. 展开更多
关键词 程序开发系统 MFS 重写技术 MFSL语言
下载PDF
VAX机辅助Z—80程序开发系统
3
作者 杨华民 方向荣 《电脑开发与应用》 1991年第2期35-38,47,共5页
关键词 单权机 程序开发系统 微机 VAX机
下载PDF
造船计划管理演示系统方案设计及程序开发研究
4
作者 朱骏 崔小祥 蒋志勇 《造船技术》 2009年第2期35-38,共4页
针对造船工程管理系统功能体系及信息集成要求,以某型集装箱船建造计划为开发背景,设计演示系统程序,验证造船计划管理的可行性。通过对示例程序设计方案的研究,解决了造船计划的编制、分解、查询和制造信息的反馈等基本功能,从而有效... 针对造船工程管理系统功能体系及信息集成要求,以某型集装箱船建造计划为开发背景,设计演示系统程序,验证造船计划管理的可行性。通过对示例程序设计方案的研究,解决了造船计划的编制、分解、查询和制造信息的反馈等基本功能,从而有效实现现代造船工程管理系统功能结构的先进性、可行性和实用性。 展开更多
关键词 船舶 造船计划管理 演示系统程序开发
下载PDF
企业投资决策会计信息系统构建 被引量:1
5
作者 张斗胜 《合作经济与科技》 2016年第19期150-151,共2页
本文对当前企业投资决策会计信息系统建立过程中存在的问题、系统开发程序、系统内容设计等方面进行描述和分析,对当前全球化背景下企业投资决策会计信息系统的构建提出一些设想,以便为类似投资决策会计信息系统提供借鉴。
关键词 会计信息系统 投资决策 系统开发程序
下载PDF
软件工程中的Linux操作系统实验课程教学实践 被引量:2
6
作者 安海兵 祁雷 《集成电路应用》 2021年第6期192-194,共3页
阐述Linux课程教学中的问题及原因,教学设计的应对措施,包括教学方式和角色重构、课程教学的开展形式、课堂讲授形式设计、线上教学平台构建、学生考核方式设计。
关键词 软件工程 LINUX 系统运维 系统程序开发 实验教学
下载PDF
基于PC集群多通道视景仿真系统的设计与实现 被引量:2
7
作者 范丹阳 贠卫国 《计算机工程与应用》 CSCD 北大核心 2015年第18期204-208,共5页
使用PC集群实现了多通道视景仿真,在给用户带来较大的视野和强烈沉浸感的同时可以得到较高的性价比。针对基于PC集群多通道视景仿真系统的系统框架进行了研究,使用OSG三维图形渲染引擎,提出了一种基于投影变换的分屏方法,并应用于基于P... 使用PC集群实现了多通道视景仿真,在给用户带来较大的视野和强烈沉浸感的同时可以得到较高的性价比。针对基于PC集群多通道视景仿真系统的系统框架进行了研究,使用OSG三维图形渲染引擎,提出了一种基于投影变换的分屏方法,并应用于基于PC集群的多通道视景仿真系统。实验结果表明与旋转视锥体方法相比该方法改善了在通道交界处产生"偏折"的现象,能够灵活、简便地进行分屏,方便地达到扩大视野或获得更大的显示尺寸的目的,保持了视景仿真中多通道视景和交互的同步并保持了画面的流畅。 展开更多
关键词 基于工业标准OpenGL跨平台的三维开源场景图形系统应用程序开发接口 多通道视景仿真 分屏技术 计算机集群
下载PDF
Visual Basic事件与Windows子类
8
作者 张玉林 张树粹 华臻 《内蒙古师范大学学报(自然科学汉文版)》 CAS 2003年第1期34-36,共3页
揭示了VisualBasic事件与Windows消息之间的关系,介绍了Windows子类(SubClassing)技术及其工作原理,给出在VB中运用SubClassing技术实现自定义窗口程序的一般结构.
关键词 VISUALBASIC 事件 Windows子类 消息传递 SubClassing技术 窗口程序 API函数 程序开发系统
下载PDF
Particle Swarm Optimization Embedded in Variable Neighborhood Search for Task Scheduling in Cloud Computing 被引量:1
9
作者 郭力争 王永皎 +2 位作者 赵曙光 沈士根 姜长元 《Journal of Donghua University(English Edition)》 EI CAS 2013年第2期145-152,共8页
In cloud computing system,it is a hot and hard issue to find the optimal task scheduling method that makes the processing cost and the running time minimum. In order to deal with the task assignment,a task interaction... In cloud computing system,it is a hot and hard issue to find the optimal task scheduling method that makes the processing cost and the running time minimum. In order to deal with the task assignment,a task interaction graph was used to analyze the task scheduling; a modeling for task assignment was formulated and a particle swarm optimization (PSO)algorithm embedded in the variable neighborhood search (VNS) to optimize the task scheduling was proposed. The experimental results show that the method is more effective than the PSO in processing cost,transferring cost, and running time. When the task is more complex,the effect is much better. So,the algorithm can resolve the task scheduling in cloud computing and it is feasible,valid,and efficient. 展开更多
关键词 cloud computing particle swarm optimization PSO) task scheduling variable neighborhood search VNS)
下载PDF
Development of Re-usable C++ classes for Location Aware Management and Control Systems for Shipping Applications
10
作者 Dhiren Dave Sanjay Nalbalwar Ashok Ghatol 《Journal of Marine Science and Application》 2012年第4期504-511,共8页
Location aware management and location based automation are fast upcoming technologies which are facilitated by availability of reliable, accurate, and cheap global positioning systems and location based services. Thi... Location aware management and location based automation are fast upcoming technologies which are facilitated by availability of reliable, accurate, and cheap global positioning systems and location based services. This paper discusses the development of C++ classes, which may be used for development of software for location aware management and control, specifically in merchant shipping, so as to provide improved safety, increased automation, prevention of pollution and reducing the work burden of the crew. The GPS is used in conjunction with the regionally accessible nested global shorelines (RANGS) dataset for this purpose. The design of two main C++ classes named CShorelines and CGPSInput have been discussed. A control system mandatory on all oil-tankers above 150 GRT (and few other vessels) called ODMCS has been made location aware using the novel software developed and the results obtained have been critically examined and presented. 展开更多
关键词 GPS Location Aware Control ODMCS PANGS
下载PDF
Use of Open Source Software for the Development of Web GIS for Accessibility to Tourist Attractions
11
作者 Maria Teresa Francoso Diogenes Cortijo Costa +1 位作者 Mariana Mello Valin Rogerio Rodrigues Amarante 《Journal of Civil Engineering and Architecture》 2013年第4期472-486,共15页
Based on the concepts of social inclusion, universal design and accessibility, this paper aims to describe the stages of the development and implementation of a Web GIS (geographic information system for the internet... Based on the concepts of social inclusion, universal design and accessibility, this paper aims to describe the stages of the development and implementation of a Web GIS (geographic information system for the internet) based on OS (open source) software The Web GIS developed is called "accessibility to Campinas tourist attractions", which provides information about cultural and natural attractions in Campinas/SP-Brazil, especially for people with disabilities or reduced mobility that prevents access these sites via public and private transportation. The verification of the existence or lack of accessibility equipment at bus stops and parking areas close to tourist attractions relies on current legislation (NBR 9050/1994) that establishes the right to accessibility for disabled people to transportation, local culture and leisure. An application that facilitates this recognition with low operating costs and high performance was developed using the OS software Quantum GIS 1.0.2, Apache 2.2.4, Mapserver 5.0.2, I3GEO 4.0, PostgreSQL 8.3 and PostGIS 1.3.5. This software is able to integrate the management of tourist areas and the advertisement of tourist information regarding accessibility devices at sights recognized as tourist attractions by Campinas city hall. 展开更多
关键词 Geographic information systems Web GIS TRANSPORTATION TOURISM ACCESSIBILITY open source software.
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部