咨询与建议

限定检索结果

文献类型

  • 11 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 12 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 12 篇 工学
    • 12 篇 计算机科学与技术...
    • 10 篇 软件工程
    • 1 篇 生物医学工程(可授...

主题

  • 12 篇 程序设计自动化
  • 1 篇 macro
  • 1 篇 com
  • 1 篇 构件理论
  • 1 篇 等价变换
  • 1 篇 递归变换
  • 1 篇 软件
  • 1 篇 matlab
  • 1 篇 计算机辅助编程系...
  • 1 篇 cooper变换
  • 1 篇 智能系统生成器
  • 1 篇 人工智能
  • 1 篇 系统集成
  • 1 篇 autocad
  • 1 篇 activex技术
  • 1 篇 图形语言
  • 1 篇 离散性数据
  • 1 篇 嵌入技术
  • 1 篇 过程控制
  • 1 篇 智能演化

机构

  • 1 篇 复旦大学
  • 1 篇 西安交通大学
  • 1 篇 河南省应用物理研...
  • 1 篇 长春工业大学
  • 1 篇 石家庄铁道学院
  • 1 篇 郑州大学
  • 1 篇 华侨大学
  • 1 篇 西南师范大学
  • 1 篇 吉林大学
  • 1 篇 贵州大学
  • 1 篇 北京轻工业学院
  • 1 篇 驻马店市交通局
  • 1 篇 长沙大学

作者

  • 1 篇 员惠芳
  • 1 篇 john lam
  • 1 篇 李亚平
  • 1 篇 lan hai-bo
  • 1 篇 全炳哲
  • 1 篇 张为群
  • 1 篇 蒙洁
  • 1 篇 严桂兰
  • 1 篇 李钢
  • 1 篇 杨明华
  • 1 篇 金淳兆
  • 1 篇 jing hai-ming
  • 1 篇 班迪
  • 1 篇 李融鑫
  • 1 篇 井海明
  • 1 篇 兰海波
  • 1 篇 梁加红
  • 1 篇 罗旭东
  • 1 篇 侯秀萍
  • 1 篇 陈伟

语言

  • 12 篇 中文
检索条件"主题词=程序设计自动化"
12 条 记 录,以下是1-10 订阅
排序:
C程序设计自动化逆过程的实现
收藏 引用
计算机研究与发展 1995年 第8期32卷 25-32页
作者: 严桂兰 刘甲耀 华侨大学计算机系
本文阐述C程序设计自动化逆过程的实现,即阐述从C程序设计自动生成用图形语言──PAD图表示的设计思想、关键技术、系统特点以及对PAD图式的扩充与细技术。
来源: 评论
一种程序综合方法
收藏 引用
计算机学报 1996年 第11期19卷 833-840页
作者: 全炳哲 陈伟 金淳兆 吉林大学计算机科学系
通过证明程序规约的方法可构造相应程序.但对“难题”和无证明的规约,无法使用这种方法构造程序.另一方面,如果可构造程序规约的验证程序,则可把这种程序看成该规约的程序.本文讨论了程序规约的验证程序的构造方法,作为研究程序... 详细信息
来源: 评论
AutoCAD R14 ActiveX自动化程序的编程技术
收藏 引用
计算机工程 1999年 第7期25卷 78-79,92页
作者: 梅林 薛锦 西安交通大学机械工程学院 西安710049
探讨了AutoCADR14的ActiveX自动化的概念及其编程技术,分析了它的对象模型以及Delphi环境下编写ActiveX自动化程序的可行性,最后给出了Delphi下开发ActiveX自动化程序的具体实例。
来源: 评论
几种递归变换的改进模式
收藏 引用
计算机科学 1995年 第5期22卷 86-88页
作者: 张为群 王旭仁 罗旭东 西南师范大学 重庆630715 北京轻工业学院 北京100037
递归变换是程序自动设计中的一个研究课题。文[3,4]分别提出了几种递归变换,其可用条件中都包括单位元.我们基于文[8]的思想,讨论了对文[3,4]中几种变换的改进。
来源: 评论
基于OPC技术的数据获取应用
基于OPC技术的数据获取应用
收藏 引用
作者: 汪洋 复旦大学
学位级别:硕士
OPC(OLE for Process Control)是对象链接和嵌入技术在过程控制方面的应用,包含了一系列工业自动化接口规范。它是为了解决应用软件与各种设备驱动程序之间的通讯而提出的,它把硬件厂商和应用软件开发者分离开来,大大提高了双方的工... 详细信息
来源: 评论
软件开发的KFFEITO模型及其实用性
收藏 引用
贵州大学学报(自然科学版) 1998年 第2期15卷 98-103页
作者: 蒋学锋 杨明华 贵州大学计科系 贵阳550025 贵州大学图情系 贵阳550025
本文提出了能快速研究制计算机应和新产品满足市场需求的中小型软件开发模型,即“核心功能优先、由里向外扩展”(KernelFunctionFirst,ExtensionFromInnerToOuter)的软件开发模型(简称KFFITO模型).对KFFITO模型在现代R&D管理模... 详细信息
来源: 评论
ATL:除去COM编程者烦恼的良药
收藏 引用
个人电脑 1997年 第2期3卷 155-157页
作者: John Lam 班迪
Microsoft的ActiveX模板库使COM编程自动化
来源: 评论
基于智能计算的数据分析方法的研究与设计
收藏 引用
铁路计算机应用 2009年 第6期18卷 7-9页
作者: 井海明 赵宁 兰海波 石家庄铁道学院计算机与信息工程分院 石家庄050043 石家庄铁道学院成人教育学院 石家庄050043
研究智能演技术问题和数据分析问题,结合程序设计自动化和离散性数据,运用GEP算法的知识编程,处理太阳黑子,降水量等数据。通过遗传程序设计描绘数据规律并预测数据发展趋势,实现数据的准确拟合。
来源: 评论
在VB中实现对MATLAB的控制
收藏 引用
电脑编程技巧与维护 1999年 第9期 32-33页
作者: 蒙洁 梁加红
美国MathWorks公司的MATLAB具有强大的符号、数值计算、矩阵计算能力以及计算结果可视能力,是一个功能强大的计算机辅助设计工具。MATLAB支持ActiveX自动化技术,能够被任何可作为ActiveX控制程序的Microsoft program所控制。可作为控... 详细信息
来源: 评论
计算机辅助编程系统
收藏 引用
河南科技 2000年 第1期19卷 20-20,23页
作者: 李亚平 李融鑫 员惠芳 郑州大学物理工程学院 驻马店市交通局 河南省应用物理研究所
来源: 评论