Automating the extraction of quantities

The Automated Estimator and LCADesign are two early examples of nD modelling software which both rely on the extraction of quantities from CAD models to support their further processing. The issues of building information modelling (BIM), quantity takeoff for different purposes and automating quantity takeoff are discussed by comparing the aims and use of the two programs. The technical features of the two programs are also described. The technical issues around the use of 3D models is described together with implementation issues and comments about the implementation of the IFC specifications. Some user issues that emerged through the development process are described, with a summary of the generic research tasks which are necessary to fully support the use of BIM and nD modelling.

How to extract and expand randomness : a summary and explanation of existing results

We examine the use of randomness extraction and expansion in key agreement (KA) pro- tocols to generate uniformly random keys in the standard model. Although existing works provide the basic theorems necessary, they lack details or examples of appropriate cryptographic primitives and/or parameter sizes. This has lead to the large amount of min-entropy needed in the (non-uniform) shared secret being overlooked in proposals and efficiency comparisons of KA protocols. We therefore summa- rize existing work in the area and examine the security levels achieved with the use of various extractors and expanders for particular parameter sizes. The tables presented herein show that the shared secret needs a min-entropy of at least 292 bits (and even more with more realistic assumptions) to achieve an overall security level of 80 bits using the extractors and expanders we consider. The tables may be used to �nd the min-entropy required for various security levels and assumptions. We also �nd that when using the short exponent theorems of Gennaro et al., the short exponents may need to be much longer than they suggested.