校园网网络教育应用平台的设计与建设

本文首先分析了国内网络教育平台的现状,接着介绍了南通大学网络教育平台的建设情况,并阐述了网络教育平台建设的主要环节——网络课程建设的内容。     

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.     

填料萃取塔的操作性能及设计计算

系统地介绍了填料抽提塔的两相流动及传质特性，设计计算，对填料塔的设计和操作有一定指导意义。     

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

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

应用并行技术实现CAD／CAM的高度集成

传统的CAD/CAM系统由于设计思想本身的局限性,其内部只能达到一种松散的基于数据交换的低水平的集成,产品的设计方法也不符合工程技术人员的设计思路。本文提出了基于全耦合的单一数据模型的并行CAD/CAM系统设计思想,使得CAD/CAM系统内部达到以数据共享为基础的高度集成。并行CAD/CAM系统充分体现了工程技术人员的思维方式及产品设计过程的反复性和协调性。此外,文中还提出广义参数化设计的新概念,它与特征设计方法的有机结合保证了产品模型的完整性和产品设计过程的同步性。特征共享是实现CAD和CAM集成的关键因素。并行CAD/CAM系统应用面向对象软件设计思想,实现了复杂数据模型的内部封装,并为数据模型和功能模块之间提供简单直观的界面。面向对象设计方法是开发并行CAD/CAM系统的有效手段。     

关于统一冶金矿山采矿工序能耗指标的看法

对原有的冶金矿山设计和生产不同能耗指标，提出统一为一个指标体系的设想，并提出了指标体系的计算公式以及各系数的选取意见。     

微电子电路PC机辅助教育系统

文章介绍法中两国合作开发的微电子电路计算机辅助教育系统中的两部分，重点陈述其中的辅助测试虚拟仪器和专用实验芯片，期望对电子测试领域的教育工作者和科技工作者有所启发。     

工业设计院信息化建设过程的一些体会

成都建筑材料工业设计研究院有限公司在国内工业设计院中率先实现了全院设计生产和管理工作的全盘信息化和无纸化,显著地提高了劳动生产率,增强了质量管理体系的严格性和有效性,提高了生产过程的科学管理水平和全员信息资源共享程度和档案管理水平,这是一个管理创新的过程。