基于工学结合的网络综合布线教学改革实践

该文阐述了网络综合布线在课程体系的作用,提出了工学结合的教学设计和教学方法,最后给出教学改革产生的教学效果。     

Flash memory efficient LTL model checking

As the capacity and speed of flash memories in form of solid state disks grow, they are becoming a practical alternative for standard magnetic drives. Currently, most solid-state disks are based on NAND technology and much faster than magnetic disks in random reads, while in random writes they are generally not.So far, large-scale LTL model checking algorithms have been designed to employ external memory optimized for magnetic disks. We propose algorithms optimized for flash memory access. In contrast to approaches relying on the delayed detection of duplicate states, in this work, we design and exploit appropriate hash functions to re-invent immediate duplicate detection.For flash memory efficient on-the-fly LTL model checking, which aims at finding any counter-example to the specified LTL property, we study hash functions adapted to the two-level hierarchy of RAM and flash memory. For flash memory efficient off-line LTL model checking, which aims at generating a minimal counterexample and scans the entire state space at least once, we analyze the effect of outsourcing a memory-based perfect hash function from RAM to flash memory.Since the characteristics of flash memories are different to magnetic hard disks, the existing I/O complexity model is no longer sufficient. Therefore, we provide an extended model for the computation of the I/O complexity adapted to flash memories that has a better fit to the observed behavior of our algorithms.     

基于构件的软件工程及其测试、维护和实践

论述了基于构件的软件工程（ＣＢＳＥ）的基本思想。并对其带来的测试和维护上的新问题及解决方案进行了探讨。最后给出所开发的视频编码软件包的例子。     

Re-engineering of the design process for concurrent engineering

According to the requirements of concurrent engineering, three interdependency relationships (uncoupled relationship, coupled relationship and decoupled relationship) between design activities are presented in this paper. And the coupled relationship plays an important role in concurrent product design process. To represent the precedence relationships among design activities, a directed graph is used to describe the design process. And the interdependency relationship between activities is illustrated by a Design Structure Matrix which is the transpose of the accessibility matrix of the corresponding graph. Using the DSM, an algorithm of recognizing the coupled activities during the design process is presented. Moreover, an algorithm to figure out the order levels of activities during the design process is proposed. And both algorithms are illustrated with a die design example.     

并行工程在汽车车身开发与制造上的应用

本文分析了常规车身ＣＡＤ／ＣＡＭ技术所存在的弊病,提出了采用并行工程的原理进行车身开发及车身工装设计与制造的方法。重点介绍了实施车身并行工程要解决的关键性技术,诸如建立集成化的产品数据模型、ＣＡＤ／ＣＡＰＰ／ＣＡＭ集成技术、建立多功能小组、计算机技术支持等。     

运城地区可持续发展农业工程信息资料检索系统研究

采用 Win95操作系统 ,以 VB为开发工具 ,对运城地区农业工程信息进行快速检索并长期存储。该系统成本低、实用性强 ,人机交换界面使用方便 ,不需专业培训 ,为大型农业建设工程信息资料的检索和存储开辟了一条新的途径     

劝导技术及其设计评估的分析

劝导技术是利用计算机、设备及应用软件来影响人类想法及行为的技术。该文对劝导技术的发展及其现状进行了综述,并着重对劝导技术的可信度及其三类劝导技术应用结果通过心理学的角度进行了分析。系统生命周期是现代设计方法理念的一个重要概念,该文介绍了系统生命周期,并介绍了基于系统生命周期中的劝导技术的设计评估行为。该文为劝导技术产品研究设计分析提供了系统的理论的指导。     

学校图书馆管理系统的设计与实现

对学校图书馆的业务进行分析研究,从软件工程的角度,设计出学校图书馆管理系统的总体结构,并且对系统中的主要功能模块的实现方法进行了详细的描述。该系统的建设实现了图书馆管理和服务的自动化,具有实际应用价值。     

The Other Mathematical Bridge

This paper contextualises, describes and discusses a student project which takes a particular exploratory approach to using mathematical surface definition as a language and vehicle for co-rational design co-authorship for architecture and engineering. The project has two authors, one from an architectural and one from an engineering educational background. It investigates the metaphorical and operational role of mathematics in the design process and outcomes.     

《化学反应工程》多媒体课件的开发及应用

本文介绍用VB语言开发《化学反应工程》多媒体课件的性能特点,讨论实现中的一些主要技术及课件的使用情况。