UNIX/XENIX与用户间接口——Shell的应用和研究

根据UNIX/XENIX系统的结构,首先分析Shell的种类,介绍Shell命令、Shell程序设计语言及Shell的工作过程。然后,给出一个典型的Shell应用程序——SUN4系统管理工具。     

量子程序设计语言初探

结合简述几种有代表性的量子程序语言,着重阐明量子计算、语言风范、程序结构、输入输出、异常机制,以及南京大学量子计算研究组的新近研究成果,即函数式量子程序设计语言NDQFP.附录中给出了NDQFP之所有原始函数及组合型.     

论我国宪法解释程序中的宪法专家参与制度

从目前的情况来看．我国的宪法解释工作并没有得到很好地开展．这是由多方面的原因来决定的．在这些原因当中．没有重视和健全的宪法专家参与宪法解释的制度应当说是一个很重要的因素。因此．本文就对此问题作了探讨．提出要健全我国的宪法专家参与制度．要求宪法解释机关每次在进行宪法解释之前．都必须先设立一个临时委员会…宪法专家委员会先对需要进行解释的宪法问题进行可行性研究论证．在此基础上进行解释．同时要求建立在宪法解释机关作出宪法解释之后．还要向公众提交一份做出最终决定的报告和宪法专家作出的报告，一并向公众公示的制度。     

拓广AUTOLISP语言集方法及数组运算解释函数设计

利用 AUTOLISP 的潜在功能可拓广其函数集,不必涉及其存贮分配,文中介绍 AUTOLISP的潜在函数功能,讨论数组运算解释函数的设计方法.     

UNIX和OSF/1与用户接口——Shel过程设计研究

介绍了ＵＮＩＸ系统的不同版本以及ＵＮＩＸ与Ｓｈｅｌ的关系；分析了ＤＥＣＯＳＦ／１的Ｓｈｅｌ和环境配置文件；讨论了Ｓｈｅｌ过程。通过Ｓｈｅｌ过程设计，说明了Ｓｈｅｌ过程内容丰富，功能齐全，对开发ＵＮＩＸ系统十分重要。     

基于面向对象方法的CAI软件设计

通过实例展示了CAI软件设计中的面向对象方法，提出了将CAI软件进一步改善为具有多媒体、网络、智能功能的软件的设想。     

Knowledge reconstruction and justification for regional vitalization

This paper considers the regional vitalization problem and discusses the methodology to create regional vitalization plans, which include activating the local economy, enriching people＇s lives, and activating the feelings of people, by new initiatives. Activily underlying the methodology is the experience of implementing several actual projects with the local residents, and theory underlying the methodology is the knowledge construction and justification theory based on knowledge management and systems thinking. Introducing an actual vitalization project as an illustrative example, the paper proposes a knowledge reconstruction and justification procedure for regional vitalization.     

CTDPS查询语言文本与实现

本文主要介绍CTDPS的查询语言及实现技术。语言文本的设计基本上是结构英语查询语言SEQUEL 2的子集,查询表达能力较强而又非过程化,易为广大用户掌握。实现时除考虑各种情况的嵌套查询块、多表的复合映射和连接外,为提高查找速度还采取了一系列的优化措施。     

LISP机LISP-M1求值机构的实现研究

本文讨论LISP机LISP-M1系统中,面向COMMON·LISP语言子集的求值机构.文中提出了一种新的数据表示综合方案,即系统在整体上以对象上带类型说明法为主,但在适当场合采用指针上带类型说明法.同时,为了提高系统并行操作,运算效率、节省控存,在动态类型检测与分枝,各种类型函数的实现,表存贮器使用等方面都采取了较好的编码策略.本系统在模拟系统上试运行,效果明显.