面向表面微加工工艺的微器件设计框架的研究

本文以微器件设计为对象，对微硅表面制造驱动的微器件并行设计方法学及相应的计算机辅助设计工具的开发逻辑进行了研究，提出了采用基于三层Web-ASP集成框架实现e-CAD原型工具的编程方案，其中，并行任务流管理与控制，微器件实例及设计资源库，微加工工艺规划及仿真，微器件设计评价等是该系统实现的关键要素，在此基础上将建立网上微器件设计中心，并通过应用服务机制，实现对微器件设计工具使用的商务化，以达到降低设计成本，加快MEMS产业化之目的。     

Is construction procurement a key to sustainable development?

Has specialization of professional roles obstructed the holistic approach and sustainable development? A preliminary survey in Botswana involving construction professionals found that existing procurement systems have not integrated the efforts of the different project participants and also fail to fulfil the expectations of the users. A holistic approach involving the re-integration of construction disciplines by applying new procurement methods is proposed. An integrated, holistic way of working could provide a number of synergies through the consideration of the building project as an entire system. The implications include better decision making upstream, more efficient use of resources and the mitigation of negative environmental effects downstream.

La specialisation professionnelle est-elle un obstacle a l'approche globale et au developpement durable? Une etude preliminaire menee au Botswana et portant sur les metiers de la construction a revele que les systemes d'approvisionnement actuels n'integrent pas les efforts des differents participants a un projet et ne repondent pas aux attentes des utilisateurs. Cet article propose une approche globale dont le succes repose sur la reintegration de ces metiers et sur de nouvelles methodes d'approvisionnement. Une methode de travail integree et holistique, ou un projet de construction serait considere comme un systeme complet, pourrait faire naitre un certain nombre de synergies. Cette hypothese exige un meilleur processus decisionnel en amont une utilisation plus efficace des ressources et l'attenuation des effets negatifs sur l'environnement en aval.     

Safety,liveness and fairness in temporal logic

In this paper we present syntactic characterization of temporal formulas that express various properties of interest in the verification of concurrent programs. Such a characterization helps us in choosing the right techniques for proving correctness with respect to these properties. The properties that we consider include safety properties, liveness properties and fairness properties. We also present algorithms for checking if a given temporal formula expresses any of these properties.This work is partly supported by NSF grant CCR-9212183. A preliminary version of this paper appeared in the Fourth ACM Symposium on Principles of Distributed Computing.     

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

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

A strategy for integrating product conceptualization and bid preparation

Collaboration with other members of the supply chain is one means by which small and medium sized enterprises (SMEs) can compete in today’s global business environment. Thus, early stages of the new product development process involve both technical activities, e.g., product platform definition, and commercial activities, e.g., bidding for contracts. This paper introduces an integrated collaborative bidding and design system (CBDS) to help SMEs coordinate the two aspects. General sorting was employed for initial requirements acquisition and platform definition; while a self-organizing map (SOM) neural network was combined with a concurrent cost-schedule estimation strategy for refinement of design options and bid evaluation/preparation. A case study on cellular phone design was then applied for illustrating the proposed prototype system.     

Concurrent error detection of fault-based side-channel cryptanalysis of 128-bit RC6 block cipher

Fault-based side channel cryptanalysis is very effective against symmetric and asymmetric encryption algorithms. Although straightforward hardware and time redundancy based concurrent error detection (CED) architectures can be used to thwart such attacks, they entail significant overhead (either area or performance). In this paper we investigate two systematic approaches to low-cost, low-latency CED for symmetric encryption algorithm RC6. The proposed techniques have been validated on FPGA implementations of RC6, one of the advanced encryption standard finalists.     

CIMS软件开发工具：Petri网编辑器的语法分析及其实现

本文给出并发表达式语言的文法，并描述了Petri网编辑器的语法分析过程和中间代码的产生过程。解决了Petri网在计算机中的存贮结构问题，处理了可能会出现的重名变量，实现了从井发表达式语言到安全标号的Petri网的转换工作。     

ConcurrentC语言在分布式系统上的一种高效实现

本文介绍了ＣｏｎｃｕｒｒｅｎｔＣ语言在一分布式系统上的实现。该实现使用了不同于预编译法的编译器的构造方法，同时将Ｃｏｎｃｕｒｒｅｎｔ Ｃ语言中的进程实现为ＵＮＩＸ进程中的用户级线索，是ＣｏｎｃｕｒｒｅｎｔＣ语言在分布式系统上的一种高效实现。     

CAD／CAPP并行集成理论及系统研究

并行工程作为一个新的设计哲理在工程实践中的实现手段不尽相同，本文中我们提出了ＣＡＤ／ＣＡＰＰ并行集成概念，并开发了原型系统ＣＥＣＡＤＰ，初步实现了一种并行设计的运行模式。     

e-LITE： A Concurrent Engineering Method Dedicated to E-learning Training Development for the Enhancement of Research Project Results

Scientific research projects aim to produce new knowledge generally in domains of high specialization.Some of these projects have goals of improving the performance of companies.In this case,the issues of the capitalization and transfer of scientific knowledge and its rapid transformation into professional skills are directly addressed.However,there is no method to derive e-learning teaching material from project results.So,this paper presents the e-LITE Method and its application to the ISTA3 project to support the process of developing a e-learning training.This application has allowed us to highlight the contributions of the method that promotes better knowledge sharing between partners of a research project and the development and transfer of research results to the professional world.So,after the presentation of the method,an application to the ISTA3 project will be presented.