The Impact of the "Not Sure" Option on Lineup Identification Decisions

Law enforcement officials routinely rely on eyewitness identification evidence to solve crimes. Nonetheless, this form of evidence is prone to errors. Researchers have previously attempted to examine conditions under which such errors can be reduced. The present study examines whether giving witnesses an explicit not sure response option increases the accuracy of lineup identification decisions. 251 participants watched a mock crime video before viewing a lineup that either included the perpetrator, or was made up of innocent suspects. Results indicated that witnesses provided with a not sure option made fewer false identifications, fewer filler identifications, and a similar number of correct identifications as witnesses who were not provided with this option. Furthermore, these benefits occurred regardless of whether witnesses received otherwise biased or unbiased instructions. Results suggest that the inclusion of an explicit not sure response option is a simple procedure that can increase the quality of eyewitness lineup decisions.

A framework for specification and analysis of software architectures

Software architecture is the abstract design of a software system. It plays a key role as a bridge between requirements and implementation, and is a blueprint for development. The architecture represents a set of early design decisions that are crucial to a system. Mistakes in those decisions are very costly if they remain undetected until the system is implemented and deployed. This is where formal specification and analysis fits in. Formal specification makes sure that an architecture design is represented in a rigorous and unambiguous way. Furthermore, a formally specified model allows the use of different analysis techniques for verifying the correctness of those crucial design decisions. ^ This dissertation presented a framework, called SAM, for formal specification and analysis of software architectures. In terms of specification, formalisms and mechanisms were identified and chosen to specify software architecture based on different analysis needs. Formalisms for specifying properties were also explored, especially in the case of non-functional properties. In terms of analysis, the dissertation explored both the verification of functional properties and the evaluation of non-functional properties of software architecture. For the verification of functional property, methodologies were presented on how to apply existing model checking techniques on a SAM model. For the evaluation of non-functional properties, the dissertation first showed how to incorporate stochastic information into a SAM model, and then explained how to translate the model to existing tools and conducts the analysis using those tools. ^ To alleviate the analysis work, we also provided a tool to automatically translate a SAM model for model checking. All the techniques and methods described in the dissertation were illustrated by examples or case studies, which also served a purpose of advocating the use of formal methods in practice. ^

Inspection of parts with complex geometry and welds with structural health monitoring techniques

Structural Health Monitoring (SHM) systems were developed to evaluate the integrity of a system during operation, and to quickly identify the maintenance problems. They will be used in future aerospace vehicles to improve safety, reduce cost and minimize the maintenance time of a system. Many SHM systems were already developed to evaluate the integrity of plates and used in marine structures. Their implementation in manufacturing processes is still expected. The application of SHM methods for complex geometries and welds are two important challenges in this area of research. This research work started by studying the characteristics of piezoelectric actuators, and a small energy harvester was designed. The output voltages at different frequencies of vibration were acquired to determine the nonlinear characteristics of the piezoelectric stripe actuators. The frequency response was evaluated experimentally. AA battery size energy harvesting devices were developed by using these actuators. When the round and square cross section devices were excited at 50 Hz frequency, they generated 16 V and 25 V respectively. The Surface Response to Excitation (SuRE) and Lamb wave methods were used to estimate the condition of parts with complex geometries. Cutting tools and welded plates were considered. Both approaches used piezoelectric elements that were attached to the surfaces of considered parts. The variation of the magnitude of the frequency response was evaluated when the SuRE method was used. The sum of the square of the differences was calculated. The envelope of the received signal was used for the analysis of wave propagation. Bi-orthogonal wavelet (Binlet) analysis was also used for the evaluation of the data obtained during Lamb wave technique. Both the Lamb wave and SuRE approaches along with the three methods for data analysis worked effectively to detect increasing tool wear. Similarly, they detected defects on the plate, on the weld, and on a separate plate without any sensor as long as it was welded to the test plate.

Beginning to Explore Dashboard Dining

It can be nutritious and healthy if done right. Fruits and vegetables, a granola bar, smoothie, or some fresh squeezed Florida orange juice would be good choices. On the other hand, it can poison you. Perishable protein and dairy products must be packed in a well- insulated cooler with plenty of ice and a refrigerator thermometer kept inside to en-sure the food stays below 40 degrees Fahrenheit. If you are not completely safe, it can kill you. According to Hagerty Insurance of Traverse City, Michigan, the top ten worst foods to consume are coffee, hot soups, tacos, chili, juicy hamburgers, fried chicken, any barbecued food, filled doughnuts, soft drinks, and chocolate. (see Lisa Chin, 2003) It simply takes a sudden scalding spill, an unexpected splash, or dripping condiments, any of which demand your immediate attention, to become an instant fatality.

E=MC3 Energy Equals Management's Continued Cost Concerns

E=MC³ Energy Equals Management's Continued Cost Concern, is an essay written by Fritz G. Hagenmeyer, Associate Professor, School of Hospitality Management at Florida International University. In the writing, Hagenmeyer initially tenders: “Energy problems in the hospitality industry can be contained or reduced, yielding elevated profits as a result of applied, quality management principles. The concepts, processes and procedures presented in this article are intended to aid present and future managers to become more effective with a sharpened focus on profitability.” This article is an overview of energy efficiency and the management of such. In an expanding energy consumption market with its escalating costs, energy management has become an ever increasing concern and component of responsible hospitality management, Hagenmeyer will have you know. “In endeavoring to "manage" on a day-to-day basis a functioning hospitality building's energy system, the person in charge must take on the role of Justice with her scales, attempting to balance the often varying comfort needs of guests and occupants with the invariable rising costs of energy utilized to generate and maintain such comfort conditions, since comfort is seen as an integral part of the "service," "product," or "price/value” perception of patrons,” says Hagenmeyer. In contrast to what was thought in the mid point of this century - that energy would be abundant and cheap - the reality has set-in that this is not the case; not by a long shot. The author wants you to be aware that energy costs in buildings are a force to be reckoned with; a major expense to be sure. “Since 1973, "energy-conscious design" has begun to become part of the repertoire of architects, design engineers, and construction companies,” Hagenmeyer states. “For instance, whereas office buildings of the early 1970s might have used 400,000 British Thermal Units (BTUs) per square foot year, new buildings are going up that use 55,000 to 65,000 BTUs per square foot year,” Hagenmeyer, like an incandescent bulb, illuminates you. Hagenmeyer references Robert E. Aulbach’s article - Energy Management – when informing you that the hospitality manager should not become complacent in addressing the energy cost issue, but should and must maintain a diligent focus on the problem. Hagenmeyer also makes reference to the Middle East War and to OPEC, and their influence on energy prices. In closing, Hagenmeyer suggests an - Energy Management Action Plan – which he outlines for you.

The Specialist: Coming Soon To Your Local Hotel

In an article entitled - The Specialist: Coming Soon To Your Local Hotel - by Stan Bromley, Regional Vice President and General Manager, Four Seasons Clift Hotel, San Francisco, the author’s introduction states: “An experienced hotelier discusses the importance of the delivery of a high “quality-to-value” ratio consistently to guests, particularly as the hotel market becomes specialized and a distinction is drawn between a “property” and a “hotel.” The author’s primary intention is to make you, the reader, aware of changes in the hospitality/hotel marketplace. From the embryo to the contemporary, the hotel market has consistently evolved; this includes but is not limited to mission statement, marketing, management, facilities, and all the tangibles and intangibles of the total hotel experience. “Although we are knocking ourselves out trying to be everything to everyone, I don't think hotel consumers are as interested in “mixing and matching” as they were in the past,” Bromley says. “Today's hotel guest is looking for “specialized care,” and is increasingly skeptical of our industry-wide hotel ads and promises of greatness.” As an example Bromley makes an analogy using retail outlets such as Macy’s, Saks, and Sears, which cater to their own unique market segment. Hotels now follow the same outline, he allows. “In my view, two key factors will make a hotel a success,” advises Bromley. “First, know your specialty and market to that segment. Second, make sure you consistently offer a high quality-to-value ratio. That means every day.” To emphasize that second point, Bromley offers this bolstering thought, “The second factor that will make or break your business is your ability to deliver a high "quality/value" ratio-and to do so consistently.” The author evidently considers quality-to-value ratio to be an important element. Bromley emphasizes the importance of convention and trade show business to the hotel industry. That business element cannot be over-estimated in his opinion. This doesn’t mean an operator who can accommodate that type of business should exclude other client opportunities outside the target market. It does mean, however, these secondary opportunities should only be addressed after pursuing the primary target strategy. After all, the largest profit margin lies in the center of the target. To amplify the above statement, and in reference to his own experience, Bromley says, “Being in the luxury end of the business I, on the other hand, need to uncover and book individuals and small corporate meetings more than convention or association business.

Development of New Structural Health Monitoring Techniques

During the past two decades, many researchers have developed methods for the detection of structural defects at the early stages to operate the aerospace vehicles safely and to reduce the operating costs. The Surface Response to Excitation (SuRE) method is one of these approaches developed at FIU to reduce the cost and size of the equipment. The SuRE method excites the surface at a series of frequencies and monitors the propagation characteristics of the generated waves. The amplitude of the waves reaching to any point on the surface varies with frequency; however, it remains consistent as long as the integrity and strain distribution on the part is consistent. These spectral characteristics change when cracks develop or the strain distribution changes. The SHM methods may be used for many applications, from the detection of loose screws to the monitoring of manufacturing operations. A scanning laser vibrometer was used in this study to investigate the characteristics of the spectral changes at different points on the parts. The study started with detecting a load on a plate and estimating its location. The modifications on the part with manufacturing operations were detected and the Part-Based Manufacturing Process Performance Monitoring (PbPPM) method was developed. Hardware was prepared to demonstrate the feasibility of the proposed methods in real time. Using low-cost piezoelectric elements and the non-contact scanning laser vibrometer successfully, the data was collected for the SuRE and PbPPM methods. Locational force, loose bolts and material loss could be easily detected by comparing the spectral characteristics of the arriving waves. On-line methods used fast computational methods for estimating the spectrum and detecting the changing operational conditions from sum of the squares of the variations. Neural networks classified the spectrums when the desktop – DSP combination was used. The results demonstrated the feasibility of the SuRE and PbPPM methods.

Development of New Structural Health Monitoring Techniques

During the past two decades, many researchers have developed methods for the detection of structural defects at the early stages to operate the aerospace vehicles safely and to reduce the operating costs. The Surface Response to Excitation (SuRE) method is one of these approaches developed at FIU to reduce the cost and size of the equipment. The SuRE method excites the surface at a series of frequencies and monitors the propagation characteristics of the generated waves. The amplitude of the waves reaching to any point on the surface varies with frequency; however, it remains consistent as long as the integrity and strain distribution on the part is consistent. These spectral characteristics change when cracks develop or the strain distribution changes. The SHM methods may be used for many applications, from the detection of loose screws to the monitoring of manufacturing operations. A scanning laser vibrometer was used in this study to investigate the characteristics of the spectral changes at different points on the parts. The study started with detecting a load on a plate and estimating its location. The modifications on the part with manufacturing operations were detected and the Part-Based Manufacturing Process Performance Monitoring (PbPPM) method was developed. Hardware was prepared to demonstrate the feasibility of the proposed methods in real time. Using low-cost piezoelectric elements and the non-contact scanning laser vibrometer successfully, the data was collected for the SuRE and PbPPM methods. Locational force, loose bolts and material loss could be easily detected by comparing the spectral characteristics of the arriving waves. On-line methods used fast computational methods for estimating the spectrum and detecting the changing operational conditions from sum of the squares of the variations. Neural networks classified the spectrums when the desktop – DSP combination was used. The results demonstrated the feasibility of the SuRE and PbPPM methods.