您的位置： 专家智库 > >

程虎

作品数：62 被引量：326H指数：10
供职机构：中国科学院软件研究所更多>>
发文基金：“九五”国家科技攻关计划更多>>
相关领域：自动化与计算机技术机械工程哲学宗教理学更多>>

合作作者

文献类型

  • 43篇期刊文章
  • 18篇会议论文
  • 1篇科技成果

领域

  • 48篇自动化与计算...
  • 1篇哲学宗教
  • 1篇机械工程
  • 1篇语言文字
  • 1篇理学

主题

  • 16篇JAVA语言
  • 14篇JAVA
  • 10篇虚拟机
  • 8篇程序设计
  • 7篇神经网
  • 6篇神经网络
  • 6篇网络
  • 6篇计算机
  • 6篇JAVA虚拟...
  • 6篇程序语言
  • 5篇设计语言
  • 5篇程序设计语言
  • 4篇软件开发
  • 4篇人工智能
  • 3篇软件工程
  • 3篇体系结构
  • 3篇HOPFIE...
  • 2篇虚拟仪器
  • 2篇学习算法
  • 2篇异常处理

机构

  • 62篇中国科学院软...
  • 4篇北京邮电大学
  • 2篇湖南大学
  • 1篇北京大学
  • 1篇同济大学
  • 1篇大庆油田有限...

作者

  • 62篇程虎
  • 12篇冀振燕
  • 10篇丁宇新
  • 7篇孟祥武
  • 6篇梅嘉
  • 6篇王健
  • 4篇詹剑锋
  • 3篇徐赤斌
  • 2篇徐越
  • 1篇张素琴
  • 1篇蒋维杜
  • 1篇刘俊琦
  • 1篇王志洁
  • 1篇邱颖
  • 1篇高汉钦
  • 1篇廖乐健
  • 1篇周祖翼
  • 1篇郑纪平
  • 1篇李爱武
  • 1篇刘述忠

传媒

  • 10篇软件学报
  • 9篇现代科学仪器
  • 7篇计算机研究与...
  • 4篇计算机学报
  • 3篇全国第二届J...
  • 3篇全国第一届J...
  • 2篇计算机工程
  • 2篇计算机工程与...
  • 2篇计算机科学
  • 2篇大连--香港...
  • 2篇全国第四届J...
  • 1篇心理学报
  • 1篇中国计算机用...
  • 1篇微型机与应用
  • 1篇中文信息学报
  • 1篇中国科学院研...
  • 1篇计算机技术
  • 1篇中国经济和信...
  • 1篇1998中文...
  • 1篇第六届中国人...

年份

  • 1篇2012
  • 1篇2006
  • 2篇2005
  • 2篇2002
  • 3篇2001
  • 6篇2000
  • 9篇1999
  • 12篇1998
  • 5篇1997
  • 4篇1996
  • 4篇1995
  • 5篇1994
  • 3篇1993
  • 1篇1992
  • 1篇1991
  • 3篇1990
共 62 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
约束知识环境
廖乐健程虎
关键词：一致性人工智能专家系统
人工智能语言及其应用被引量：1
1990年
本文介绍作为人工智能系统研究的基础环境的人工智能语言,及其在各种人工智能问题中的应用,并展示我国在这方面的科研成果,对未来方向提出一些展望。
程虎
关键词：人工智能智能语言计算机
Fortran 90语言及其编译系统被引量：1
1995年
本文首先对Fortran90语言的新特点作些叙述。然后介绍“八五”国家重点科技攻关子专题“Fortran90语言编译系统”，着重阐述它的设计思想与实现技术，包括编译系统的总体功能设计与结构设计，符号表的数据结构，中间语言文件格式，各语句的目标，以及词法分析、语法分析、约束检查（语义分析），中间代码生成和目标代码生成等各模块的构造方法。
程虎
关键词：FORTRAN程序语言
Java虚拟机用户级多线程的设计与实现被引量：17
2000年
详细介绍了国产开放系统平台 Java虚拟机多线程的设计与实现 .在线程调度上 ,采用带有独立队列的静态级别轮巡调度 ,较好地解决了独立循环线程的调度问题 .对于线程的同步 ,采用了哈希混合锁的设计方案 .实验结果证明 ,该锁具有空间小。
丁宇新程虎126.com
关键词：虚拟机多线性JAVA语言
JAVA语言的汉化
随着Internet在中国的普及，JAVA语言作为Internet网上有力的编程语言，它的汉化就尤其显得重要和迫切，JAVA语言的汉化有利于JAVA语言在中国的推广和应用。经过大量的实例测试和分析、研究，该文指出了所需要...
冀振燕程虎
关键词：JAVA语言汉化
文献传递
程序设计语言的现状、发展与标准化
程虎
关键词：程序设计程序语言逻辑设计
Ｊａｖａ构件技术
ｖａ ＢＧｅａｎｓ与Ｅｎｔｅｒｐｒｉｓｅ Ｊａｖａ Ｂｅａｎ作为Ｊａｖａ的构件模型为Ｊａｖａ应用的开共了便利，该文对这两种构件模型进行了详细介绍。
丁宇新程虎冀振燕梅嘉
关键词：软件开发
国产开放系统平台Java及时编译器的设计与实现被引量：7
1999年
详细阐述了国产操作系统平台（ＣＯＳＡ／ＣＯＳＩＸ）Ｊａｖａ 及时编译器的设计与实现技术．在设计时作者采用了指令静态模拟与宏替换相结合的编译方法，抽象出平台独立的指令属性四元组，提高了程序的可移植性；就及时编译的特点及其优化进行了讨论，并就如何评价及时编译的热点提出了作者的观点．
丁宇新梅嘉程虎
关键词：操作系统平台JAVA语言
Hopfield网的图灵等价性被引量：4
1998年
本文给出了用Ｈｏｐｆｉｅｌｄ网计算部分递归函数的构造性证明．由于部分递归函数与图灵机等价，故Ｈｏｐｆｉｅｌｄ网与图灵机等价．
孟祥武程虎
关键词：HOPFIELD网图灵机神经网络图灵等价性
JAVA的安全结构被引量：8
1999年
Ｊａｖａ的安全结构———“沙盒”模型的４个组成部分：内建于Ｊａｖａ虚拟机和语言的安全特性、类的载入结构、类文件校验器、安全管理器和ＪＡＶＡＡＰＩ。
冀振燕程虎
关键词：JAVA语言安全性程序设计语言
全选 清除 导出
共7页<1234567>
聚类工具0