高等院校财经类专业程序设计语言教学问题探讨

本文从高等院校财经类专业程序设计语言教学出发,论述了程序设计语言教学体系;从当前财经类专业学生的知识结构与程序设计语言的特点,阐述高等院校财经类专业设计语言宜采用ＱＢＡＳＩＣ原因;并强调程序设计语言教学中应充发利用各种教学工具,来提高学生计算机应用的综合素质。     

基于认知规律讲授程序设计语言课程

阐述了稃序设计语言中语法与算法的关系,从宏观和微观角度分析了语法与算法在程序设计语言授课中的地位,提出从语言角度按照问题驱动、归纳及演绎等人类认知规律讲授程序设计语言课程的新思路,并以C程序设计语言为例提供了教学案例。     

基于逻辑语言的计算机软件开放设计

基于逻辑语言的特点分析了计算机软件开放设计问题,应用对比法,分析在计算机软件开放设计中,应用不同计算机逻辑语言的优势,对几种逻辑语言对比,分析在设计计算机开放软件应用Java语言的优势。并基于Java逻辑语言,设计开放式的计算机软件,研究分析应用Java逻辑语言设计开放式计算机软件的价值。     

LISP语言特点综述

Ｌｉｓｐ语言是人工智能语言族中应用最广泛的程序设计语言。本文通过对Ｌｉｓｐ语言和其它程序设计语言的比较分析，总结出了Ｌｉｓｐ语言适合于人工智能程序设计的若干显著特点。     

LISP-ELP语言的实现技术

LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现.     

面向过程程序设计语言与面向对象程序设计语言及其特征比较

本文对程序设计中的面向过程语言和面向对象语言进行了分析,对两种设计语言的特性作了较详细比较。     

C语言编程的技巧探讨

虽然各种各样的开发工具层出不穷,C语言依然是最基础、最实用的程序设计语言之一。如何快速高效地掌握C语言的精华,是每个初学者普遍思考的问题。本文从程序设计的基本过程出发,给出了程序设计的基本思路,并结合C语言实际,提出学好C语言的方法和技巧,指出C语言中的知识要点和难点,使初学者可以有的放矢地学习C语言,起到事半功倍的效果。     

VHDL语言实现四位频率计的仿真设计

本文介绍了VHDL语言及其基本特点,讨论了VHDL语言在EDA中的诸多优点,并以四位频率计电路的设计为例,综合说明用VHDL语言设计数字电路的方法以及VHDL语言在数字电路设计仿真中的重要作用,并给出了频率计电路的时序仿真波形。以验证结果与设计指标之间的一致性是否满足实际要求。     

强类型面向对象程序设计语言——Toop

本文介绍一种强类型面向对象程序设计语言——Toop. 该语言是一种类型化语言,可用于开发可靠性较高的程序,并具有与弱类型的面向对象程序设计语言相当的灵活性。     

语言作为设计的规定

传统的设计理念是主客二分的,在主客二分的理念下,有很多设计理念存在很大的缺陷,造成这种缺陷不是设计之过,乃是认识设计的角度有限。为了克服缺陷,走出形而上的设计思维,我们立足现代后现代的哲学维度进行批判,把语言摄入到设计中,让语言通达设计,消解设计中的形而上学的东西。在摄入语言之后,我们对设计有了不同以往历史的全新的认识,认为语言和设计在某种意义上可以相互生成,在生成的过程中,设计不仅自我可以得到规定,而且也从语言得到规定,从而让设计走向自身,本源的被揭示出来,为我们认识设计提供道路。     

并行逻辑语言PARLOG顺序编译系统的设计

ＰＡＲＬＯＧ语言是一种适合于并行逻辑程序设计的语言，广泛应用于人工智能及并行处理等领域。从 ＰＡＲＬＯＧ的语义描述出发．结合与／或树计算模型及进程调度算法．介绍了 ＳＵＮ工作站上设计实现的一个实用的并行逻辑设计环境——ＰＡＲＬＯＧ顺序编译系统（ＰＳＣＳ）。该系统采用中间抽象机结构．以Ｃ语言为目标语言，不仅具有高效率的执行代码．而且易于移植。     

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

基于LabVIEW实现数字逻辑电路仿真

文章采用基于图形化编程语言的LabVIEW开放式虚拟仪器开发平台,设计了一个数字逻辑电路仿真系统,它不仅能完成组合逻辑电路的仿真,而且能够很好的仿真时序逻辑电路.此系统为数字逻辑实验教学提供一种现代化的教学手段,具有使用方便、节约时间、可靠度高和开放性等优点.     

基于Petri网络的码垛机器人生产线控制软件设计方法

研究了基于验证完毕的逻辑和软件体系的码垛机器人生产线控制软件设计问题.基于软件开发的瀑布模型,首先根据需求提出了软件体系架构,其次采用Petri网络建立软件模块调用规则模型和控制逻辑模型,并使用可达图证明了调用规则的安全性和无死锁性,基于系统仿真软件Simulink-stateflow仿真技术验证了控制逻辑的合理性.在...     

多规范语言LIPS

LIPS是作者设计的一种兼有LISP,PROLOG,SMALLTALK语言功能的“函数+逻辑+目标”程序设计语言.本文阐述LIPS的设计思想、LIPS中的面向对象程序设计功能、LIPS的多规范程序设计风格及LIPS的实现技术,提出了“逻辑变量作用域”、“狭义归约”和“广义合一”等概念.     

基于PLC的煤矿配煤装车系统

本系统基于可鳊程序控制器(PLC)本身具有的逻辑和计算功能及抗干扰和抗震性能强的特点，实现煤矿配煤装车系统的自动化控制。系统软件采用模块化鳊程．程序用梯形图语言编写。系统性能稳定，运行费用低，运行可靠。     

基于PLC的煤矿配煤装车系统

本系统基于可编程序控制嚣(PLC)本身具有的逻辑和计算功能及抗干扰和抗震性能强的特点，实现煤矿配煤装丰系统的自动化控制。系统软件采用模块化编程。程序用梯形图语言编写。系统性能稳定，运行费用低，运行可靠。     

基于国产FPGA的星载Nor Flash控制器设计与验证

为满足航天星载存储系统进一步提高数据传输速率和系统可靠性,降低定制成本等需求,设计了一款基于国产宇航级可编程逻辑门阵列(field programmable gata array,FPGA)的Nor Flash控制器.该控制器针对Nor Flash编程和擦除操作速度较慢等问题,采用了解锁省略策略与增设写入缓冲器编程算法...