基于CAD环境下设计直动尖顶推杆盘形凸轮

简述在机械CAD环境下,利用图解法设计直动尖顶推杆盘形凸轮机构过程,分析了图解法设计精度,并与传统手工作图相比较,在CAD环境下的图解法设计的凸轮精度更高,更加形象直观,结果表明CAD环境下的图解法将在机械设计领域发挥重要作用。     

美国传媒教育的发展趋势

10月25日,在北京印刷学院举办了2008印刷媒体技术与教育北京论坛。我们从众多演讲人的发言中选取几篇,将从本期起陆续刊出,供读者参考。     

基于图示评审技术的舰载机航空保障时间分析

为了解决舰载机航空保障活动逻辑关系和时间的不确定性问题,在对舰载机航空保障作业流程分析的基础上,建立了一种基于随机网络的保障流程模型。利用图示评审技术（GERT）对保障时间进行求解,并给出了求解步骤。结合案例验证了模型算法有效性和适用性。通过模型的灵敏度参数分析,提出了对航空保障作业的决策建议。     

A multiprocessor architecture for viewing solid models

A simple way of using many processors in picture generation is to allocate each one to a region of the display screen. A device is proposed which uses such an architecture to produce pictures direct from set-theoretic solid models. Alternative strategies for partitioning the screen area between processors are advanced, and evaluated by means of a simulation.     

平面设计师是一名沟通者

本文以蒙古齐的亲身经历和简洁明了的比喻明确指出平面设计师就是一名沟通者，通过沟通获取所需的信息，并且阐述了作为一名真正的设计师，不应受到教条主义等条条框框的制约。     

Visualization of results of load flow calculation and dynamic simulation

This paper proposes graphical representation methods of static and dynamic characteristics of power systems. The methods use the computed results of load flow calculation and dynamic stability calculation. This work develops three kinds of representation methods using maps and animation which are sequential graphical representation of maps based on dynamic stability calculation. Conventionally the results of load flow calculation and dynamic stability calculation are represented and comprehended using load flow maps or dynamic swing curve. However, quick and effective comprehension of power system characteristics by such conventional representation methods is becoming more difficult as power systems to be analyzed are becoming larger and more complicated, especially in power systems with many loops or grids. Graphical representation using the proposed methods makes it easy to understand the static and dynamic characteristics of power systems quickly and comprehensively. In addition to these methods, this paper proposes a heuristic logic that makes it possible to draw maps automatically. It is very convenient to apply these methods to arbitrary power systems even if their constitutions or characteristics are not well known.     

Computer-aided manual work station as an extension of the product-independent flexible factory automation concept

This paper discusses the extension of a concept for product- and process-independent factory automation to include functions for the control and coordination of computer-aided manual work stations. Subsystems already implemented and standardised for factory-wide integration in all production processes have been taken into account. They represent components of the computer-integrated manufacturing factory of the future.     

Presentation of project status reports

In order for project managers to provide their superiors with a monthly summary statement of the progress of each project for which they are responsible, the project status sheet was developed. Prior to the development of this document, a trend chart was produced (using a Calcomp fast plotter) for each project, but the lines joining the successive predicted dates for each event could not be drawn by the machine but had to be drawn manually. The presentation tended to become confused if the number of selected events and the number of review dates increased significantly. To provide a more effective management presentation, the format of the chart was changed and data relating to the financial status of the project included.     

用图形识别技术实现结构信息自动输入

实现结构设计中结构信息的自动输入，是设计人员向往已久的目标。本文作者近年来为实现这一目标进行了不懈的努力，并取得了初步的成果。文中介绍了作者运用图形输入和识别技术，实现结构信息自动输入的方法和技巧，并给出了这些方法的应用效果实例。     

HANDLING INFORMATION LOGICS IN A GRAPHICAL PROOF EDITOR

In order to provide a background for rough set modeling of uncertainty, two types of incompleteness of information are discussed. Representation of uncertain knowledge acquired from incomplete information is outlined within the framework of information logics. Relational proof theory for the information logics is presented. It is shown how these logics and their proof systems can be handled in the GLEFATINF (Graphical & Logical Editing Framework) system. This computer program is a key component of the inference laboratory Atelier d'Inféence (ATINF) developed at LIFIA-IMAG, our lab. It provides a general framework, independent of logic and proof systems, for combining inference tools, editing, and checking proofs. The basic principles of its design and implementation are given and its capabilities are discussed. Its application to define the information logics and their proof systems and to present proofs in these proof systems is discussed and illustrated.