开放网—交互式并行系统的模型

定义了开放网的静态结构、动态行为、系统的进程,讨论了开放网及其进程的分解与合成、抽象对象、开放网的外部特性——黑盒理论及开放网的层次结构等基本问题。由于开放网引入了系统与外部的交互机制及层次结构,它可以作为交互式并行系统,特别是规模较大的复杂系统的描述与分析的工具。     

蛛网的进化

蛛网的进化是令人感兴趣的一个难题。近年来对这一领域的研究取得许多新进展，修正了以往一些旧的错误观点。蜘蛛的演化已公认为腹部仍保留背板的中纺蛛最先出现，后者产生后纺蛛中的原蛛和新蛛。蛛网起源于原始的空居蜘蛛在洞穴内壁用丝编织的衬里。以后丝管出口处向外延伸出领域放射的绊丝。进而出现漏斗蛛科的带丝管的片网或皿蛛科网片上下有缠结缄的网。     

单层柱面网壳在多点输入下的地震反应

采用可考虑行波效应和部分相干效应的人工合成多点地震动，同时考虑网壳结构的材料非线性和几何非线性，对柱壳在多点输入下的地震反应进行计算，并与一致输入下的地震反应进行对比，考察二者之间的差异；深入分析了大跨度单层柱面网壳结构在多点输入下的地震反应规律，得出一些有益于工程实际的重要结论．     

基于Petri网的分层半导体制造过程调度结构

针对复杂的半导体制造过程调度，在综述现有调度问题及方法的基础上，提出由投料调度、路径调度和两种类型的工件调度共同组成的分层调度结构的思想及方案，继而基于Petri订网模型，探讨所提出的分层半导体调度结构基于Petri网模型的实现方法，最后通过仿真对分层调度结构加以应用验证，并总结全文．     

基于现场总线的电梯控制教学实验系统研究

本文介绍了一种基于现场总线网络的电梯控制教学实验系统，现场总线网络采用以太网（Ether Net）、设备网（Device Net）两层结构．该教学实验系统可用于学生进行综合性、设计性实验．     

132m跨双层圆柱面网壳的非线性稳定分析

以132 m跨国内最大的干煤棚双层三心圆柱面网壳为研究对象,采用ANSYS有限元分析程序研究其稳定性。在计算中,考虑了载荷作用方式及结构的几何缺陷等因素对网壳稳定性的影响。研究表明:竖向载荷的分布方式对网壳的屈曲载荷影响不大,但对屈曲模态影响较大;满跨水平载荷的屈曲载荷仅为满跨竖向的56%;网壳的屈曲载荷均随结构几何缺陷的增加而减小,且几何缺陷对水平载荷作用下屈曲载荷的影响大于对竖向载荷作用下的影响。     

基于瑞利分布的计量型序贯网图检验

针对瞄准发射系统中着落点位置通常服从瑞利分布的事实,研究了计量型检验问题,建立了基于瑞利分布的序贯网图检验.采用搜索和迭代的计算机程序,可以得到计量型序贯网图检验方案.通过实例将序贯网图与计量型定数检验和计量型序贯概率比检验进行比较.结果显示,计量型序贯网图检验在减小最大样本量方面有更好的效果,更适用于高成本的抽样检验.     

基于精确标识对象Petri网模型的检测方法

精确标识PNO要求一个对象实例既不能同时出现在多个库所,也不能在一个托肯中出现多次,SMV是一个功能强大的符号化模型检验工具.本文提出了将精确标识PNO模型转换成相应SMV程序的算法,并通过列车运行区域模型(TOPNO)演示了具体的转换过程.通过该转换算法不仅能有效地解决精确标识PNO活性、安全性等属性的检测问题,还能验证与模型中对象相关的属性.     

J2EE在IP综合网管系统中的应用研究

从分析IP网管系统的现状及存在问题入手,对比传统IP网管系统的体系架构,阐述了采用J2EE平台下的EJB组件开发多层次、分布式IP综合网管系统的优点,提出了采用J2EE平台的Session Facade模式和TransferO bject模式相结合的具体实现方案,有效改善了传统IP网管系统在开放性、可移植性和扩充性等方面的性能.     

大学生评定体育教师教学指标体系的研究

当前素质教育背景下,以学生为中心的教学指导思想,使得学生对教师教学的评定显得尤为重要。因而,对大学生评定教师教学指标体系方面的研究,就更有理论价值和实践价值,而体育教育作为大学生全面发展不可缺少的一部分,使得对其指标体系的研究成为必要。本研究在借鉴国内外有关研究的基础上,结合初步访谈,设计了《大学生对体育教师教学的评定问卷》,根据调查结果,建构出了大学生评定体育教师教学的指标体系。