A MODIFIED METHOD FOR SUPERVISOR SPECIFICATION AND SYNTHESIS OF A CLASS OF DISCRETE EVENT SYSTEMS

In this paper, a model‐refining method is proposed to alleviate the complexity involved in specification interpretation of DES control problems. The legal constraint language is defined in terms of illegal states and events in contrast with constructing the automaton of the specification language. This method could provide a more intuitive view of the DES control problem and would be suitable for practical implementation. Two examples, which have commonly been used in the literature, are employed to show the efficiency of the proposed method. Further, under this framework, it is shown that the supremal controllable sublanguage can take a simpler form based on the concept of an illegal state set. A state‐based supervisor synthesis procedure is presented, and a simple example is provided.     

Stress distributions along a short fibre in fibre reinforced plastics

This paper develops an analysis for predicting the normal stress and interfacial shearing stress distribution along a single reinforcing fibre of a randomly oriented chopped-fibre composite, such as sheet moulding compound (SMC), from a knowledge of the constituent properties and the length-to-diameter ratio of the fibres. The analysis is useful in analysing the tensile strength of SMC, and as a guide to increasing the tensile strength by altering the elastic characteristics. The model is based on a generalized shear-lag analysis. Numerical values of the normal stress and interfacial shearing stress are presented as functions of various parameters. It is observed that the maximum normal stress occurs at the middle of the fibre and the maximum shear stress occurs at the end. The analysis is restricted to loading which does not result in buckling of the fibre; i.e., axial loads on the fibre can be at most only slightly compressive.List of symbols a _f Ratio of the fibre length to diameter (aspect ratio, l _f/d _f) - E _a Young's modulus of the composite (defined in Equation 21) - E _f Young's modulus of the fibre material - E _m Young's modulus of the matrix material - G _f Shear modulus of the fibre material - G _m Shear modulus of the matrix material - l Half the length of the matrix sheath which surrounds the fibre - l _f Half of the length of the fibre - Q Defined in Equation 14. - R Ratio of the length of the fibre to the matrix in a representative volume element; a parameter 0R[(1/V _f–1) ] - r _a Radius of the composite body (we assume r _ar _m, r _f) - r _f Radius of the fibre - r _m Radius of the matrix sheath which surrounds the fibre - u _a Displacement of the composite along the fibre direction - u _f Displacement of the fibre along the fibre direction - V _f Fibre volume fraction - (XYZ) Co-ordinate system with Z-axis parallel to the direction of the applied load (Fig. 1a) - (xyz) Co-ordinate system which is rotated by about the X-axis (Fig. 1a) - (¯x¯y¯z) Co-ordinate system which is rotated by about the z-axis (Fig. 1b) - Fibre orientation angle measured from the Z-axis - _m Engineering shear strain in the matrix - Defined in Equation 8 - Polar angle measured from the x–z plane - Defined in Equation 9 - Applied normal stress - _a Normal stress in the composite along the fibre axis - _f Normal stress in the fibre along the fibre axis - _m Normal stress in the matrix along the fibre axis - Shear stress on the fibre—matrix interface     

Note: A method to isolate and detect a large number of single molecules by microdroplet fluorescence spectroscopy

A laser induced fluorescence system, in combination with a glass-frit nebulizer and a photo-voltaic cell detector, is described for single molecule detection. The glass-frit nebulizer continuously generates a large number of droplets with an average droplet size of three micrometers in diameter. Rhodamine 6G molecules were detected at the 10(-12) M level. Concentrations 10(-12)-10(-10) M would provide mostly single molecules (0, 1, 2, 3, ...) in the individual droplets, as determined by Poisson distribution.     

Can we teach digital natives digital literacy?

In recent years, there has been much debate about the concept of digital natives, in particular the differences between the digital natives' knowledge and adoption of digital technologies in informal versus formal educational contexts. This paper investigates the knowledge about educational technologies of a group of undergraduate students studying the course Introduction to eLearning at a university in Australia and how they adopt unfamiliar technologies into their learning. The study explores the 'digital nativeness' of these students by investigating their degree of digital literacy and the ease with which they learn to make use of unfamiliar technologies. The findings show that the undergraduates were generally able to use unfamiliar technologies easily in their learning to create useful artefacts. They need, however to be made aware of what constitutes educational technologies and be provided with the opportunity to use them for meaningful purposes. The self-perception measures of the study indicated that digital natives can be taught digital literacy.     

Globally Synchronized Frames for guaranteed quality-of-service in on-chip networks

Future chip multiprocessors (CMPs) may have hundreds to thousands of threads competing to access shared resources, and will require quality-of-service (QoS) support to improve system utilization. This paper introduces Globally-Synchronized Frames (GSF), a framework for providing guaranteed QoS in on-chip networks in terms of minimum bandwidth and maximum delay bound. The GSF framework can be easily integrated in a conventional virtual channel (VC) router without significantly increasing the hardware complexity. We exploit a fast on-chip barrier network to efficiently implement GSF. Performance guarantees are verified by analysis and simulation. According to our simulations, all concurrent flows receive their guaranteed minimum share of bandwidth in compliance with a given bandwidth allocation. The average throughput degradation of GSF on an 8×8 mesh network is within 10% compared to the conventional best-effort VC router.     

Human and program factors affecting the maintenance of programs with deployed design patterns

Context

Practitioners may use design patterns to organize program code. Various empirical studies have investigated the effects of pattern deployment and work experience on the effectiveness and efficiency of program maintenance. However, results from these studies are not all consistent. Moreover, these studies have not considered some interesting factors, such as a maintainer’s prior exposure to the program under maintenance.

Objective

This paper aims at identifying what factors may contribute to the productivity of maintainers in the context of making correct software changes when they work on programs with deployed design patterns.

Method

We performed an empirical study involving 118 human subjects with three change tasks on a medium-sized program to explore the possible effects of a suite of six human and program factors on the productivity of maintainers, measured by the time taken to produce a correctly revised program in a course-based setting. The factors we studied include the deployment of design patterns and the presence of pattern-unaware solutions, as well as the maintainer’s prior exposure to design patterns, the subject program and the programming language, and prior work experience.

Results

Among the factors under examination, we find that the deployment of design patterns, prior exposure to the program and the presence of pattern-unaware solutions are strongly correlated with the time taken to correctly complete maintenance tasks. We also report some interesting observations from the experiment.

Conclusion

A new factor, namely, the presence of pattern-unaware solutions, contributes to the efficient completion of maintenance tasks of programs with deployed design patterns. Moreover, we conclude from the study that neither prior exposure to design patterns nor prior exposure to the programming language is supported by sufficient evidences to be significant factors, whereas the subjects’ exposure to the program under maintenance is notably more important.     

Disturbance decoupled fault reconstruction using cascaded sliding mode observers

This paper presents a disturbance decoupled fault reconstruction (DDFR) scheme using cascaded sliding mode observers (SMOs). The processed signals from a SMO are found to be the output of a fictitious system which treats the faults and disturbances as inputs; the ‘outputs’ are then fed into the next SMO. This process is repeated until the attainment of a fictitious system which satisfies the conditions that guarantee DDFR. It is found that this scheme is less restrictive and enables DDFR for a wider class of systems compared to previous work when only one or two SMOs were used. This paper also presents a systematic routine to check for the feasibility of the scheme and to calculate the required number of SMOs from the outset and also to design the DDFR scheme. A design example verifies its effectiveness.     

The effects of user factors and symbol referents on public symbol design using the stereotype production method

This study investigated the influence of user factors and symbol referents on public symbol design among older people, using the stereotype production method for collecting user ideas during the symbol design process. Thirty-one older adults were asked to draw images based on 28 public symbol referents and to indicate their familiarity with and ease with which they visualised each referent. Differences were found between the pictorial solutions generated by males and females. However, symbol design was not influenced by participants' education level, vividness of visual imagery, object imagery preference or spatial imagery preference. Both familiar and unfamiliar referents were illustrated pictorially without much difficulty by users. The more visual the referent, the less difficulty the users had in illustrating it. The findings of this study should aid the optimisation of the stereotype production method for user-involved symbol design.     

An optimization model for storage yard management in transshipment hubs

This paper studies a yard storage allocation problem in a transshipment hub where there is a great number of loading and unloading activities. The primary challenge is to efficiently shift containers between the vessels and the storage area so that reshuffling and traffic congestion is minimized. In particular, to reduce reshuffling, a consignment strategy is used. This strategy groups unloaded containers according to their destination vessel. To reduce traffic congestion, a new workload balancing protocol is proposed. A mixed integer-programming model is then formulated to determine the minimum number of yard cranes to deploy and the location where unloaded containers should be stored. The model is solved using CPLEX. Due to the size and complexity of this model two heuristics are also developed. The first is a sequential method while the second is a column generation method. A bound is developed that allows the quality of the solution to be judged. Lastly, a numerical investigation is provided and demonstrates that the algorithms perform adequately on most cases considered.