Public Attitudes Towards Space Science

Astronomy and space science, including their associated basic research activities, enjoy broad popular backing. People generally support them, and say that they follow their results with interest. This article summarizes some of the detailed results of public surveys in the United States, focusing on popular opinions and attitudes, and the somewhat paradoxical finding that despite being interested and supportive, people are often ignorant about the basic facts. I explore some of the reasons for the popularity of space science, and suggest ways of justifying space science research in the broader context of science research. I argue that vigorous and innovative education and outreach programs are important, and can be made even more effective. This revised version was published online in June 2006 with corrections to the Cover Date.     

符号流生成器在教学中的应用

简要介绍了美国ＵＮＩＳＹＳ公司１１００、２２００系列中型计算机上符号流生成器的使用，并用它编制了一些常用的运行流，简化了用户的上机操作，提高了上机效率。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

从汉译英的赘冗和疏漏问题看汉英语法特征之差异——汉语语法的柔性之于英语语法的刚性

本文从汉译英的翻译实践出发，从英语译文的错误以及汉英译文对比中，去发现并分析汉语和英语语法特征的差异。论述了英语语法的刚性、显性和汉语语法的柔性、隐性，并从语言对思维的影响的角度，探讨了汉语语言文化的深邃独特和英语语言的缜密精确。     

Ada语言在星载软件上的应用

介绍了星载软件的特点和构成，从提高星载软件可靠性的角度引入了高级程序设计语言－Ada语言与汇编语言的接口调用技术，以及使用Ada 语言开发星载软件和应用技术。     

新的面向对象编程语言Ada95

介绍了Ａｄａ９５的主要面向对象特征，分析了Ａｄａ９５对面向对象模型和面向对象逻辑设计的支持。     

管理软件生成器系统CDBAG—4GL

阐述了“管理软件生成器系统CDBAG-4GL”的研制背景、系统组成、逻辑结构、功能及特点;并简要介绍了设计思想、生成原理以及实现技术要点等。“CD-BAG一4GL”已商品化,它可根据用户要求自动生成各类专用的管理信息系统。为应用开发人员和最终用户提供一个一体化的通用的快速开发工具和环境。作为第四代软件开发工具的生成器和第四代语言是提高应用开发效率和质量的有效途径。     

政府信誉与自然垄断产业的规制绩效

政府信誉度高是政府对自然垄断产业的微观规制取得较好效果的必要条件，如果政府信誉度低，就会出现规制的失效。体制转轨中的中国，政府信誉低，这在政府规制中表现为：规制的法制环境存在根本性缺陷、政府规制背后的实质是行政垄断、规制部门身份与职能的重叠，等等。这一特性造成政府对自然垄断产业的规制绩效的低下，其相关的规制政策实际上造成市场扭曲和社会福利的损失。我们必须加强政府的法律制约并改善政府质量，才能提高政府信誉和规制绩效。     

一种实用型报警装置的研制

本文综合地运用了５５５集成电路，ＴＷＨ９２４８，ＴＷＨ９２４９雷达式扫描探测传感集成电路的ＳＲ９Ｇ２６Ａ／Ｄ、Ｄ／Ａ转换语音存放电路等，中大规模集成电路。并利用一种简单的高频发射线路，而研制成的实用型报警装置。     

螺旋弹簧局部振动频率分析与控制

本文首先讨论了单螺旋弹簧局部振动的固有频率的计算方法，在此基础上进一步建立了串联、并联弹簧局部振动的分析模型，并探讨了弹簧局部振动频率的控制方法。