搜索结果: 1-10 共查到“知识库 计算机科学技术 程序设计语言”相关记录10条 . 查询时间(0.097 秒)
提出了一种基于流演算的动态规划程序设计语言DPPLFC(dynamic planning programming language based on fluent calculus)。通过定义动作表达式来描述顺序、并发、非确定选择等复杂动作，解决了FLUX不方便用户编程的问题。DPPLFC的动态规划算子是当在线执行的状态与前一次离线执行相对应的状态不同时才进行再次离线执行，改进了基于情景演算的动态...
基于可视化程序设计语言的编译系统
面向对象 可视化程序设计语言分析器 小型C编译器
2009/4/9
采用面向对象技术设计可视化程序设计语言的编译系统，通过对复杂的可视化图片语法进行分析，将各语法现象以语法单元类的形式进行抽象分类，提出了编译器－编译器的设计策略，给出了从可视化图片设计语言到伪指令代码的解决方法。主要研究在面向对象的编辑环境中如何实现满足硬件设备控制器的稳定、高效的编译系统。通过将可视化程序语言分析器(VPLPG)和小型的类C编译(LCC)器配合使用最终实现可视化程序设计语言的编译...
框架投影时序逻辑程序设计语言中的指针
形式语言 时序逻辑程序设计 数据结构
2009/1/22
针对框架投影时序逻辑程序设计语言Framed Tempura，提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑，基于名字常量给出了指针引用和反引用的形式化定义，再使用框架操作符和极小模型，给出了指针在投影时序逻辑的可执行子集Framed Tempura中的实现方法．原地逆置单链表的实例说明该方法是切实可行的．
智能神经网络程序设计语言的研究与实现
智能神经元模型 智能神经网络程序设计语言 抽象语法 NIPL编译器
2008/12/10
将神经网络与逻辑推理统一到面向对象理论中，建立了同时具备神经网络和专家系统特性、融合连接机制和符号机制的智能神经元模型。提出了一种新的程序设计语言——智能神经网络程序语言(NIPL)，实现了神经计算、逻辑推理和数值计算的统一。定义了NIPL的语法，设计并实现了智能神经网络程序设计语言NIPL编译器，从而为开发智能神经网络应用系统提供了有效的手段。
Domain理论及其在程序设计语言中的应用
程序设计语言 论域理论 格上拓扑学
2008/11/6
本研究成果围绕着计算机程序设计语言的数学基础理论及其在形式语义学中的应用展开了系统研究，具体为指称语义的论域理论、公理语义的非Hoare型逻辑系统、以及不确定性程序的形式语义等方面。成果由Disjunctive命题逻辑系统，稳定论域的逻辑表示，论域上一类稳定函数的全性与极大性，公理语义学中的非Hoare型逻辑，以及相容谓词转换器的拓扑语义和稳定语义，区间值模糊进程演算系统等研究成果。成果的形式是...
汉语程序设计语言系统数据库开发环境
数据库 开发环境 汉语编程
2008/10/7
本开发环境是基于自主版权的汉语程序设计语言开发的。该成果除继承了汉语程序设计语言的虚拟机技术和无限寄存器技术外，本身还具有安全的表文件管理技术、数据类型转换和处理技术、基于中文结构的查询和关联技术以及安全可靠的网络传输技术和服务端数据库的映射技术。汉语程序设计语言系统数据库开发是基于自主版权的汉语编程系统开发的，是目前国内唯一的自主版权的数据库开发环境。
该《中文程序设计语言》具有中文化、可视化、模块化、具有统一的规范和其它高级语言具有统一的接口等特点，中文程序设计语言能够适应和满足不同层次、不同专业人员的需要，既可以面向仅有懂汉语基础的非计算机专业人员使用，使他们能够迅速学会并掌握计算机软件的编程技术并使用中文程序设计语言编程工具与环境编写计算机应用程序；又可以面向计算机专业编程人员，为他们提供专业化的技术支持和高效实用的集成化开发平台。该成果的...
一种意向驱动式面向agent程序设计语言
2007/11/2
AbstractAn agent-oriented programming language with intention driver is proposed, which is called AOPLID. Based on open situation calculus, AOPLID can be regarded as an improvement of GOLOG that is ba...
面向对象程序设计语言的绑定时间分析技术
2007/11/2
AbstractA technology of binding time analysis for implementing partial evaluation of object-oriented programming languages is proposed in this paper. By tracing context-sensitivity of reference variab...
程序设计语言的GLR优化分析
2007/11/2
Li H, Jin MZ, Xu F, Zhang M. Optimized GLR parsing for programming languages.
Journal of Software, 2005,16(2):174-183.http://www.jos.org.cn/1000-9825/16/174.htm摘要
阐述了在程序设计语言语法分析器的构造中采用通用LR(general...