if-then

Assertions of truth can usually be phrased in the form “if … then …”. Such assertions can be re-stated in many other equivalent ways. Doing so helps you to better understand these fundamental truths or to easily expose falsehoods.

Below are two infographics summarizing the main ways to re-phrase if-then statements. Click here for a PDF document that gives details (especially explaining what is meant by the word “implies”). The PDF also offers additional examples and in-class exercises.

This example is trivial to help make it clear that truth of one implies truth of all others (and untruth of one would also imply untruth of all others). But these sorts of rephrasings can give you unexpected insights when applied to nontrivial if-them statements. Try it on a few of the examples in the full PDF document!

End-of-millennium in Japan: Women, food, and other observations from a first-time visiting scientist

Ed: This post shares an entertaining and insightful essay about customs, food, and women in Japan over 20 years ago. It was written by my friend and colleague, Mark Boslough, after he returned from an engineering business trip in Japan in 1994. I am curious how much has changed over the subsequent 20 years, so please comment if you know which of his observations or impressions no longer apply (or if they never applied in the first place too)!  With Mark’s permission, this version has a few bits [in brackets] that have been altered to remove information that could identify particular individuals or organizations. It also has corrections of some minor typo/style issues. It is written in a style that mimics what Mark’s employer (a major US scientific research laboratory) required after any foreign travel.

CONTENTS:

  1. Status of Women in Japan
  2. Diary of Food Activities
  3. Unusual Japanese customs (by US standards)

Continue reading

Continuum homogenization and RVEs

For now (to help with a conversation that I’m having with a few collaborators) this post provides only the following “infographic” to illustrate the concept of approximating a periodic discrete system with an effective continuum over a sufficiently large scale. (More information will be added about this topic as needed and/or as requested).

Below is shown a five-link chain (in red-blue-green-orange-black). Immediately this colorful chain is a dark-gray plot of the exact (mesocale) lineal density, which is defined at a location “x” to be the mass within an infinitesimal segment dx at that location divided by the segment’s length dx. This local density is shown as the dark-gray shaded plot in the upper-left corner, and it is the slope of the black line in the graph of the lower-left corner.

The continuum concept. Homogenization and identification of an RVE is based on the value of x for which perturbations fall below numerical round-off error for a given application.

The continuum concept. Homogenization and identification of an RVE is based on the value of x for which perturbations fall below numerical round-off error for a given application.

The exact homogenized (macroscale) lineal density at a location “x” is defined as the exact total mass falling inside the span from zero to x,  divided by the chain’s length (x itself).  While the mesoscale density is the local slope at location “x” of the black line in the graph, the macroscale density is the secant slope at location “x” of the same black line.   The continuum (red-dashed) approximation of the local mass distribution ignores local fluctuations from the fact that the chain is actually heterogeneous. For short chain lengths, the exact macroscale density is significantly different from the continuum density, but this discrepancy asymptotes toward zero as the chain length is increased.

 

The theoretical representative volume element (RVE) size corresponds to the size for which the discrepancy (like the plot in the lower-right corner of the infographic) falls below some tolerable threshold, which is determined by considering the tolerable error in an engineering simulation.

These concepts apply to other properties besides density. For example, the macroscale elastic stiffness would be defined as the force applied to the chain divided by the corresponding induced displacement. Like density, this macroscale property varies with the number of links in the chain, but it asymptotes to a steady value as the chain length increases.

Density has a nice asymptotic continuum limit that isn’t sensitive to dilutely distributed statistical perturbations in the local (microscopic) density.  If, for example, 1 in 10000 links is made of light aluminum while the others are made of heavy steel, then the continuum density will be nevertheless close to that of a chain that is made entirely of steel links. The continuum elastic stiffness is likewise not highly sensitive to slight variations in local constituent (link) stiffness.  A chain’s failure strength, on the other hand, is profoundly affected by existence of even a miniscule fraction of weaker links. A mostly steel chain that contains relatively few aluminum links would have a continuum strength equal to the strength of the weaker (aluminum) link. That’s because (in the limit) an infinitely long chain would contain at least one aluminum link. For short chains that are made of, say, 10 links (each of which has a 1 in 10000 chance of being made of aluminum), the average macroscale strength would be higher on average than the strength of longer chains. The strength data for short chains would also be more variable.

These observations give insight into what a modeler must pay attention to when using continuum macroscale properties in simulations of engineering structures.  To design for the structure’s daily (i.e., normal and therefore usually elastic) usage conditions, homogenized continuum properties would be fine. However, continuum strength properties would need to be appropriately perturbed based on the size of the finite elements. This explicit incorporation of statistical variability in continuum properties is required when those perturbations strongly influence the engineering objective of the analysis (such as computing failure risk). In fact, it can be argued that such revisions are crucial to predict fracture and fragmentation whenever the finite-element size is smaller than a few kilometers. For more details on scale-dependent and statistically variable macroscale properties, see Publication: Aleatory quantile surfaces in damage mechanics and the more recent 2015 IJNME article, “Aleatory uncertainty and scale effects in computational damage models for failure and fragmentation” by Strack, Leavy and Brannon.

I love my MoM

Some mechanical-engineering programs, like ours here at the University of Utah, use the phrase “Strength of Materials” to refer to what the majority of other mechanical engineers more accurately refer to as “Mechanics of Materials” (often locally shortened to “MoM”).   The latter designation is more appropriate because this class typically is focused on an introduction to elementary elasticity with only very lightweight coverage of failure criteria (and almost never any post-failure theories, which are typically covered in upper-division and grad courses). Our University of Utah class, ME EN 3300, is locally called “Strengths” even though strength is barely covered (and only at an idealized level such as Tresca and von Mises criteria).

The following infographic furthermore shows that engineering textbooks appropriately and overwhelmingly favor MoM over Strengths (to see details, click to open in separate page and then zoom to fit the page):

LoveMom

Thanks go to Dr. Ashley Spear for stimulating this commentary/flame.

Linear algebra applied to sundials

CSM alumnus, Scot Swan, offers Sundials_and_Linear_Algebra,  which is a short (informal) writeup on the equations that are used for making standard horizontal dials.   Challenge: see if Scot’s write up is consistent with the calculator at http://www.anycalculator.com/horizontalsundial.htm.

Continue reading

Pyrrhonism (AKA fallibilism) is not contentious

Fallibilism goes beyond the simple recognition that everyone is fallible. It demands that any ethical and equitable quest for truth (or beauty) must be founded on a commitment (not just willingness) to SEEK OUT (not just be open to) alternative viewpoints, which might contradict those of other people (friend or foe) and might even run counter to one’s own cherished beliefs (including a belief in fallibilism itself)!

Graham_Hierarchy_of_Disagreement

Graham’s hierarchy of disagreement

Continue reading

Tips for writing literature reviews

This posting aims to help graduate students write a good literature review for their qualifying exam, proposal, or thesis.

In the Department of Mechanical Engineering at the University of Utah, the qualifier examination is not a proposal, so there is no expectation that your Qual paper should propose new research.  Your literature review should, however, critically assess existing research in the subject area by pointing out specific limitations of (and, if applicable, errors in) existing published work.   The qualifier paper is meant to show that you can string together a coherent scholarly discussion.   The qualifier paper can have a fairly broad literature review as long as it still limits attention to mechanical engineering topics. The proposal document, on the other hand, should include a literature review that is more tightly related to your proposed research, as your aim is to convince the committee that your proposed work is (1) important to the field of Mechanical Engineering and (2) has not been done. The thesis document should include an updated literature review that suggests no one else has accomplished the same thing during the time you were working on it (or prior to your efforts, but inadvertently overlooked in your original literature review). The final thesis literature review should also thoroughly compare/contrast your own accomplishments with alternative approaches in contemporary literature.

Continue reading