扩展有限状态协议机模型及其检证法

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出基于该模型的形式检证法，试制了检证系统。     

澳大利亚政府职能一瞥

今年6月,笔者有幸前往位于悉尼市的澳大利亚国家工业部进行业务访问,并从中了解到了该国政府职能部门的一些值得借鉴的办事方法. 　　澳大利亚国家工业部每年有20亿澳元用于发放项目资金、投资、贷款、减免税.该工业部主要在三个方面开展工作:在科研上发展新项目,并使其商业化结构上进行调整;帮助小企业更好地发展.它所服务的机构包括小企业、学校、科研单位、公共机构.这些机构由若干社区或行业协会联系.而这里的中介都是非营利机构,如果它们想要得到政府的认可,必须具备很多条件.……     

我国企业信息化建设现状、问题及其对策研究

本文针对我国企业信息化现状和存在的诸如信息孤岛、重硬轻软、受到外部环境的制约、缺乏具有自主知识产权的核心技术等问题进行了深入的分析，并针对问题提出了多种资源整合、企业信息化建设与业务流程再造同步、建立健全企业信息化建设的政府支持体系等一系列相应对策。     

草酸铵试法鉴定Ca2+用NaNTU掩蔽Ag+和Hg2+

在实验的基础上，提出了用草酸铵试法签定钙时，用N—烯丙基—N’—(对苯磺酸钠)硫脲掩蔽Ag^ 和Hg^2 离子干扰，与传统的H2S沉淀消除的干扰的方法相比，具有操作筒便、条件易控制、无污染等优点．     

我国超细粉碎机械现状及展望(3)

(上接第10期) 5.2.5 冲击式粉碎机高速冲击式粉碎机国外在上世纪60年代已开始在市场上使用,我国在上世纪80年代才引进并很快推向市场,但是由于当时国内粉体界部分企业受气流磨、搅拌磨等机种引进的影响,同时许多使用者也在对设备并不了解的情况下纷纷选购气流磨,当时几乎形成一种凡超细,必用气流磨的情况.     

抓住机遇 加快发展现代远程教育

<正>石河子教委电教馆申报了《石河子中小学现代远程教育及教育教学资源库建设》科研项目。为加快项目的实施,提出了《石河子中小学现代远程教育示范工程可行性报告》、《石河子现代远程教育管理和运行办法》。为使方案更加科学、完善和更具有可操作性,教委组织工作人员去外地学习考察有关现代远程教育的先进思想和经验。     

线性定常系统的广义最佳状态调节器问题

本文提出线性定常系统广义最佳状态调节器问题的概念,并对其主要方面,如最佳解的存在性与Riccati方程之间的对应关系,最佳解存在的必要条件、充分条件等,进行系统的分析,给出一些相应的定理。     

新型玻璃的现状和将来

前言高技术发展不仅要求制造方法先进,而且要求与其配套的设备高性能化,但作为最基本重要的还是具有卓越功能的尖端材料。假如把尖端材料应具有的功能进行分类的话,可分为光、电磁、热、机械、化学、生物等各种功能领域,而对新型玻璃来说是具有各种功能的优越材料,并深信今后将有更加优越的新型玻璃问世。新型玻璃可定义为对各领域高技术材料有用的高功能、高性能化的玻璃。为了认识和掌握新型玻璃技术,不仅要熟悉了解玻璃状态,而且也要熟悉了解非结晶(无定形)状态物质以及经过这些状态采用结晶化制造的功能性结晶化玻璃。然而像这些物质,非结晶质半导体、金属玻璃、无定形的碳、有机高分子等物质,由于分别属于大的材料领域内使用,这里不采用。因此在化学组成上局限于氧化物、卤化物、硫族(硫、硒、碲     

乙烷裂解炉的数学模拟

乙烷、丙烷是裂解制乙烯的原料,后者是有机合成的基本原料。然而直到现在,裂解炉的设计参数(例如热通量)通常还是用经验方法得到。本文叙述了一个较严格的方法,用于生产乙烯的裂解炉的设计。采用区域法计算辐射传热,系统被分成若干表面区与气体区,炉子中的温度分布是通过联立求解每区的能量平衡式而得。计及管内反应动力学、对流传热、压力降,预言了产品分布以及工艺气、烟气、管表面、耐火墙的温度分布。计算结果与工厂实测数据吻合较好。