一种新的环网故障诊断与重构算法

为提高环网的容错性能，文献（1）提出了一种基于事件驱动的故障重构算法，其缺点是该算法只能容忍连线故障。本文给出一种新的采用时钟起时驱动的重构算法，该算法既能容忍连线故障也能容忍站（或节点）故障，且令牌控制较文献（1）的简单。     

微机控制托辊管筒加工机床的设计

介绍了一种生产效率高、加工质量稳定、利用单片机控制液压传动系列带式输送机托辊管筒自动加工机床的设计过程。     

建安工程扣件式钢管脚手架作业中安全技术的应用

扣件式钢管脚手架应用代表着建筑工业化的一个重要发展方向 ,如何安全、规范地使用扣件式钢管脚手架将是我们标准化施工的新课题     

商业创新模式下的建筑设计服务

购物中心作为一种现代的零售商业模式,从上世纪90年代进入中国后,已为一般民众厂为接受。文章首先简要地介绍了美国购物中心的开发历史和类型,尤其是近年来出现的生活方式中心的特点和发展趋势。对于购物中心在中国的开发、规划设计中经常遇到的一些内容,如融资方式,主力商店和专卖店等进行了讨论。最后对于建筑师在这新的商业模式下如何与设计团队一起提供专业服务方面根据自身的经验提出了自己的看法。     

编辑出版自动化技术在医药专业期刊编辑部的初步应用探讨

本文首先概述了编辑出版自动化技术的概念及最新进展,然后就其在医药专业期刊编辑部的初步应用进行了探讨,论述了计算机、网络、数据库技术在稿件的选题、组稿、编辑、审校、排版、印刷、出版中的具体应用,强调了构建基于网络的编辑出版自动化系统对期刊现代化建设的重要作用。     

Tree-shaped flow structures designed by minimizing path lengths

This paper outlines a direct route to the construction of effective tree-shaped flow structures. Dendritic flow structures dominate the design of natural and engineered flow systems, especially in thermal and fluid systems. The starting point is the optimization of the shape of each elemental area or volume, such that the length of the flow path housed by the element is minimized. Proceeding toward larger and more complex structures - from elements, to first constructs, second constructs, etc. - the paper develops tree-shaped flow structures between one point and a straight line, one point and a plane, a circle and its center, and a point and many points distributed uniformly over an area. In the latter, the construction method is applied to a fluid flow configuration with laminar fully developed flow. The constructions reveal several features that are supported by empirical observations of natural tree-shaped flows: asymmetry, flow rate imbalance, pairing or bifurcation, angles between branches, and Y-shaped constructs that lie in a plane. It is shown that these basic features are necessary because of “packing”, i.e., assembling optimized elements into a fixed space, and filling the space completely. For the flow between an area and one point, the best elemental shape is the regular hexagon. It is shown that the emergence of string-shaped links that connect two or more elements are necessary features, which are also required by packing. Strings cover some of the inner zones of the tree network, particularly the inner zones of large and complex trees. Dichotomous Y-shaped constructs dominate the tree structure, especially the peripheral zones of the tree canopy. The practical importance of the simplified design method is discussed.     

高精度视觉贴片机拾放程序设计编程

探讨了SMT高精度视觉贴片机难点之一拾放程序设计编程 ,重点介绍示教编程和CAD输入编程设计方法。     

彩色显像管电子束亮度分布自动测量系统

电子束轮廓的描述是彩色显像管特性检测中的难点之一。采用光电转换与计算机信息处理技术，通过自动调整边界条件和三次样条拟合的方法建立了电子束轮廓自动测量系统。与传统测量方法相比，该系统精度高，测试速度快，极大地减轻了测试人员的工作强度，并增加了对排列率和并列率等的测试功能。     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.     

简易高性能纳秒脉冲发生器

为了实现电子散射飞行时间谱仪电子束的脉冲化及产生时一幅变换器的启动或停止信号。我们利用开关晶体管的雪崩特性研制了一个性能好，成本低的纳秒脉冲发生器。该发生器输出上升时间好于Ｉｎｓ，幅度达１０Ｖ的负尖脉冲，用作时一幅变换器的启动或停止信号；也输出上升时间约３ｎｓ，幅度５－３０Ｖ连续可调和宽度５－２３０ｎｓ可调的正脉冲，用作电子束脉冲化的调制信号，脉冲重复率为１５０×１０＾３ｓ＾－１。它可广泛用于类似