甘油—乙醇混合液超声性质研究

测量了不同浓度的甘油、乙醇混合液的声速和密度,计算了超额绝热压缩系数.结果表明,在整个浓度范围内,甘油和乙醇之间存在着强烈的分子相互作用.     

钢筋混凝土桁架筒的分析与研究

就钢筋混凝土桥架简体系进行了初步的分析与研究，表明这种结构体系有着良好的力学性能、抗震性能，且经济效益显著，有广阔的发展前景。     

适应市场经济规律,实行集中采购

本文从集中采购这一概念入手,提出了高校仪器、设备招标工作的基本程序及实行集中采购的一些具体做法,供大家参考.     

Game Theory Study on Distributors＇ Alliance to Gain Competitive Advantage in Marketing Channel

Using the Cournot Game Model, this paper has analyzed the motivation of the distributors＇ alliance to gain competitive advantage in marketing channel. At first, this paper separately analyzed the advantage of alliance in the situation of one- short game and infinitely repeated game, then, based on the analysis of distributors＇ betrayal of the alliance under infinitely repeated game, the conditions to maintain the distributors alliance are put forward and discussed.     

高校图书馆工作人员的信息素养

本文从图书馆发展需要与图书馆员自身发展的需要出发,论述了图书馆员应具备的信息素养,阐述了信息素养的内涵,分析了图书馆员信息素养的现状,并提出了培养图书馆员信息素养的举措。     

适应型住宅设计

对适应型住宅的概念、主要特点和建筑设计要点进行了分析阐述,对适应型住宅的设计作了进一步的探索,提出若干建议。     

布依族妇女婚姻状况改变的意义

新中国建立以后，随着社会主义公有制的确立，布依族男女之间实现了真正意义上的平等，由此引发了婚姻习俗的巨大变化。这些变化对布依族的发展、社会的稳定、人口素质的提高以及促进各民族间的融合都具有积极的意义。     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

亚硝基血红色素食品着色剂的研究

本文以健康的猪、牛、羊的新鲜牲血为原料，经化学提取、合成及酶解等简单步骤、研制成了亚硝基血红色素食品着色剂。该产品可替代具有毒性作用的亚硝酸盐而直接加入食品着色，是一种无毒副作用的理想的调味食品着色剂，同时也增强了食品的营成份。     

智能化44点啤酒发酵温度巡测仪

本文将八十年代最新研制的集成温度传感器ＡＤ５９０、８０９０单片机，可编程逻辑器件ＧＡＬ－１６Ｖ８Ａ等新器件及智能化新技术，集中应用于啤酒发酵过程的温度检测。与传统人工测温相比，具有测温精度高、稳定性好、反应快、可远距离自动检测、定时打印，减轻工人劳动强度、调节啤酒发酵温度的响应速度快等特点。