Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
- Publication
- Publication Type
Articles 1 - 10 of 10
Full-Text Articles in Engineering
Singular And Plural Non-Deterministic Parameters, Sigurd Meldal, M. A. Walicki
Singular And Plural Non-Deterministic Parameters, Sigurd Meldal, M. A. Walicki
Sigurd Meldal
The article defines algebraic semantics of singular (call-time-choice) and plural (run-time-choice) nondeterministic parameter passing and presents a specification language in which operations with both kinds of parameters can be defined simultaneously. Sound and complete calculi for both semantics are introduced. We study the relations between the two semantics and point out that axioms for operations with plural arguments may be considered as axiom schemata for operations with singular arguments.
Singular And Plural Non-Deterministic Parameters, Sigurd Meldal, M. A. Walicki
Singular And Plural Non-Deterministic Parameters, Sigurd Meldal, M. A. Walicki
Faculty Publications
The article defines algebraic semantics of singular (call-time-choice) and plural (run-time-choice) nondeterministic parameter passing and presents a specification language in which operations with both kinds of parameters can be defined simultaneously. Sound and complete calculi for both semantics are introduced. We study the relations between the two semantics and point out that axioms for operations with plural arguments may be considered as axiom schemata for operations with singular arguments.
Effect Of Temperature On Wetting Angle, Guna S. Selvaduray, R. Brindos
Effect Of Temperature On Wetting Angle, Guna S. Selvaduray, R. Brindos
Faculty Publications
No abstract provided.
Effect Of Temperature On Wetting Angle, Guna S. Selvaduray, R. Brindos
Effect Of Temperature On Wetting Angle, Guna S. Selvaduray, R. Brindos
Guna S. Selvaduray
No abstract provided.
Mechatronics Engineering Laboratory Development At San Jose State University, J. Wang, Burford Furman, T. Hsu, P. Hsu, P. Reischl, Freidoon Barez
Mechatronics Engineering Laboratory Development At San Jose State University, J. Wang, Burford Furman, T. Hsu, P. Hsu, P. Reischl, Freidoon Barez
Faculty Publications, Mechanical Engineering
The Mechanical Engineering Department of San Jose State University has been developing a new mechatronics engineering laboratory since Fall 1995. This laboratory is intended to provide engineering students on the application of electronics, microprocessors and software in designing electro-mechanical systems, mechatronics products and process control systems. The laboratory development is a principal part of an award for “Undergraduate Curriculum Development on Mechatronics System Engineering” by the division of undergraduate education of the National Science Foundation (NSF). Major task of the new laboratory is to support instruction and provide hands-on study of two of the five new courses: ME106 Fundamentals of …
Analytical Models For Vehicle/Gap Distribution On Automated Highway Systems, Jacob Tsao, Randolph W. Hall, Indrajit Chatterjee
Analytical Models For Vehicle/Gap Distribution On Automated Highway Systems, Jacob Tsao, Randolph W. Hall, Indrajit Chatterjee
Faculty Publications
Highway congestion has in recent years become a pervasive problem for urban and suburban areas alike. The concept of Automated Highway Systems is based on the belief that integration of sensing, communication, and control technologies into vehicles and highways can lead to a large improvement in capacity and safety without requiring a significant amount of additional highway right-of-way. A fundamental determinant of Automated Highway Systems capacity is the vehicle-following rule, the rule that governs the behavior of vehicles traveling along a common lane (e.g., the spacing between any two longitudinally adjacent vehicles). Vehicle following affects the longitudinal capacity (achievable flow …
Concatenated Multilevel Coded Modulation Schemes For Digital Satellite Broadcasting, Robert H. Morelos-Zaragoza, Hideki Imai
Concatenated Multilevel Coded Modulation Schemes For Digital Satellite Broadcasting, Robert H. Morelos-Zaragoza, Hideki Imai
Faculty Publications
The error performance of bandwith-efficient concatenated multilevel coded modulation (MCM) schemes for digital satellite broadcasting is analyzed. Nonstandard partitioning, multistage decoding, and outer Reed-Solomon (RS) codes are employed to provided unequal error protection capabilities.
Analytical Models For Vehicle/Gap Distribution On Automated Highway Systems, Jacob Tsao, Randolph W. Hall, Indrajit Chatterjee
Analytical Models For Vehicle/Gap Distribution On Automated Highway Systems, Jacob Tsao, Randolph W. Hall, Indrajit Chatterjee
H.-S. Jacob Tsao
Highway congestion has in recent years become a pervasive problem for urban and suburban areas alike. The concept of Automated Highway Systems is based on the belief that integration of sensing, communication, and control technologies into vehicles and highways can lead to a large improvement in capacity and safety without requiring a significant amount of additional highway right-of-way. A fundamental determinant of Automated Highway Systems capacity is the vehicle-following rule, the rule that governs the behavior of vehicles traveling along a common lane (e.g., the spacing between any two longitudinally adjacent vehicles). Vehicle following affects the longitudinal capacity (achievable flow …
The Nuts & Bolts Of Cooperative Learning In Engineering, Nikos J. Mourtos
The Nuts & Bolts Of Cooperative Learning In Engineering, Nikos J. Mourtos
Nikos J. Mourtos
A great number of engineering students work alone most of the time. This is in sharp contrast with industry where most of the work is performed in teams. The ability to work in a team effectively is not acquired automatically. It takes interpersonal and social skills which need to be developed and practiced. In addition, research shows that the student-student interaction, often neglected in traditional ways of teaching, is a most effective way of learning. Thus, it is imperative that we encourage our students to work with each other in their efforts to achieve their educational goals. In this paper …
Multilevel Block Coded Modulation With Unequal Error Protection, Robert H. Morelos-Zaragoza, Marc P. C. Fossorier, Shu Lin, Hideki Imai
Multilevel Block Coded Modulation With Unequal Error Protection, Robert H. Morelos-Zaragoza, Marc P. C. Fossorier, Shu Lin, Hideki Imai
Faculty Publications
Multilevel block coded modulation (BCM) schemes with unequal error protection (UEP) are investigated. These schemes are based on unconventional set partitions that greatly reduce the error coefficients associated with multi-stage decoding of conventional BCM, at the expense of smaller intra-set distances.