时序电路逻辑初始化问题研究

讨论同步时序电路初始化问题,提出了一种基于电路存储元件逻辑定级和可控性分析的同步时序电路逻辑初始化方法。同时也给出了针对ISCAS89电路的一些实验结果。     

地基设计基本原则的探讨

地基设计是整个建（构）筑物设计中的重要组成部分，它关系到建（构）筑物的安全及其功能能否正常发挥。本文着重分析探讨了在地基设计中应遵循的原则及注意事项。以保证建（构）筑物的安全和正常使用，充分发挥地基的作用。     

Only connect: teaching, technology and telesis

Abstract This paper describes an approach to the design of interactive multimedia materials being developed in a European Community project. The developmental process is seen as a dialogue between technologists and teachers. This dialogue is often problematic because of the differences in training, experience and culture between them. Conditions needed for fruitful dialogue are described and the generic model for learning design used in the project is explained.     

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

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

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.     

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

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

CONSTRUCTION OF ADMISSIBLE OPERATION CONDITION DOMAIN FOR WELL-STIRRED REACTORS DURING THEIR DESIGN AND CONTROL STAGES

The work examines the problem of constructing an admissible operation condition domain for a well-stirred reactor which would satisfy restrictions in conversion, selectivity, heat removal and stability. The domain is very important and must be known during the reactor design and control stages because it yields visual information for analyzing the reactor operations and makes it possible to find the variation intervals of decision variables, necessary to calculate and optimize the reactor. Being known, the admissible operation condition domain makes it possible to estimate the limiting restrictions and to choose the necessary reserves. The domain has completely been studied analytically for chemical processes with arbitrary kinetics.