Search
Skip to Search Results- 2Building Information Modeling
- 2Generative Design
- 2Model Checking
- 1Computational Design
- 1Connection Optimization
- 1Construction automation
-
Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors
DownloadFall 2012
Inexpensive yet versatile limited-capability processors enable computing to be embedded in many kinds of devices and situations. Most applications are simple purpose-programmed reactive systems that interact with the environment through sensors and actuators. Because the processors are limited...
-
Fall 2019
Building Information Modeling (BIM) has become an integral part of the design process, as all building data is accessible in a digital representation and can be viewed in a 3D environment prior to construction. This supports the capability of evaluating or checking a model against building codes...
-
A design support system to determine the machine eligibility for manufacturing frame assemblies
DownloadFall 2019
As offsite construction is trending, an increasing number of construction products are fabricated in a controlled factory environment. By using automated machinery, the productivity and accuracy of construction-oriented products have been improved. However, as BIM models do not provide...
-
Fall 2023
Steel fabricators and connection designers in the building construction industry often rely on traditional connection design methods, which involve using connection design software or spreadsheets to simulate and design connections with the goal of minimizing costs associated with fabrication and...