1. A wheel assembly comprising:
an axle having a circumferentially extending notch therein inwardly of a stub end of the axle;
a wheel having a central wheel bore extending therethrough from an inner side to an outer side of the wheel; and
a wheel mounting sleeve mounted in the wheel bore and having a sleeve bore dimensioned to receive the axle, the sleeve being formed to couple the wheel to the axle against removal and being formed with a wall extending transversely at least partially across the wheel bore on the outer side of the wheel, the wall defining an opening therethrough along a central axis of the axle, the opening dimensioned to receive and laterally support the stub end of the axle beyond the notch, and the opening extending to the outer side of the wheel for visual confirmation of seating of the stub end of the axle in the opening.
2. The wheel assembly as defined in claim 1 wherein,
the sleeve includes a resilient finger carrying a tooth which engages the notch in the axle to retain the wheel on the axle.
3. The wheel assembly as defined in claim 1 wherein,
the stub end of the axle includes at least one recess axially distant from the notch.
4. The wheel assembly as defined in claim 3 wherein,
the recess is provided by a circumferentially extending groove dimensioned to receive the teeth of a push-on hat fastener.
5. The wheel assembly as defined in claim 1 wherein,
the outer end of the axle beyond the notch is formed with a cotter pin receiving transverse bore therethrough.
6. The wheel assembly as defined in claim 1 wherein,
the sleeve is mounted in the wheel bore in a manner causing the wheel to rotate with the sleeve; and
the stub end of the axle is provided with a non-circular cross-section formed to provide engagement with an opposing, mating surface of the sleeve to cause the sleeve to rotate with the axle.
7. The wheel assembly as defined in claim 6 wherein,
the sleeve is mounted in an interference fit with the wheel bore to secure the sleeve to the wheel for rotation therewith.
8. The wheel assembly as defined in claim 1 wherein,
the sleeve is formed with a passageway suitable for insertion of a tool therethrough to release the wheel from the axle, and the sleeve includes a resiliently radially outwardly displaceable finger latching the sleeve to the axle with the finger being in axial alignment with the passageway, and the finger having an axially tapered inwardly facing tool engagement surface thereon.
9. The wheel assembly as defined in claim 1 wherein,
the wall defining the opening is formed with a converging entrance to the opening to assist in seating of the stub end of the axle in the opening.
10. The wheel assembly as defined in claim 1, and
an insert member mounted between the wheel bore and the wheel mounting sleeve, the insert member being formed to interfit with one of the sleeve and the wheel in a manner preventing removal of the insert when the sleeve is mounted in the wheel bore.
11. The wheel assembly as defined in claim 10 wherein,
the insert member includes a decorative annular surface mounted in an abutting relation to the exterior surface of the wheel radially outwardly of the wheel bore.
12. The wheel assembly as defined in claim 1 wherein,
the sleeve extends inwardly of the inner side of the wheel to provide an axial spacer concentric to the axle.
13. A wheel mounting sleeve comprising:
a sleeve body formed for mounting into a central wheel bore and having a sleeve bore dimensioned for mounting on an axle;
the sleeve body having at least one axle-engaging shoulder retaining the sleeve on the axle; and
the sleeve body having a transversely extending end wall having an opening therethrough dimensioned to receive an outer stub end of the axle in seated relation thereto for support of transverse loads on the axle by the end wall of the sleeve.
14. The wheel mounting sleeve as defined in claim 13 wherein,
the shoulder is provided on a resiliently outwardly displaceable finger positioned proximate the end wall and formed to engage a circumferentially extending notch in the axle positioned proximate the stub end of the axle.
15. The wheel mounting sleeve as defined in claim 14 wherein,
the finger is progressively thicker in a radial direction and in a direction extending from the distal end toward a proximal end.
16. The wheel mounting sleeve as defined in claim 13 wherein,
the sleeve body includes an extension formed to extend inwardly of the inner side of the wheel by a distance axially spacing the wheel from an apparatus to which the wheel is to be mounted.
17. The wheel mounting sleeve as defined in claim 16, and
a radially extending flange positioned proximate an inner end of the sleeve; and the extension is slotted to enable radially inward resilient displacement of the flange as the sleeve is inserted down the wheel bore.
18. The wheel mounting sleeve as defined in claim 16 wherein,
the extension is formed with at least one opening in a side wall thereof to reduce the quantity of material used to form the sleeve.
19. The wheel mounting sleeve as defined in claim 13 wherein,
the finger is formed with a tapered, inwardly facing surface formed to receive a wheel-releasing tool there-under.
20. An axle for use with a wheel having a central bore therein terminating in a reduced diameter opening in an exterior side of the wheel, the axle comprising:
an axle body dimensioned for slidable mounting in the bore of the wheel, the axle body having a circumferentially extending notch proximate and inward of a stub end of the axle body, the stub end of the axle body extending beyond the notch and dimensioned for seating in the opening in the exterior side of the wheel, and the stub end of the axle extending beyond the notch by a distance sufficient to laterally support the axle beyond the notch and secure a fastening device to the axle body exteriorly of the wheel.
21. The axle as defined in claim 20 wherein,
the end of the axle body at a position beyond the exterior wall of the wheel includes a recess dimensioned to receive the teeth of a push-on hat fastener.
22. The axle as defined in claim 21 wherein,
the recess is a circumferentially extending groove.
23. The axle as defined in claim 20 wherein,
the outer end of the axle body is formed with a transverse passageway extending therethrough at a position beyond the exterior wall of the wheel, the passageway dimensioned to receive a cotter pin therethrough.
24. The axle as defined in claim 22 wherein,
the outer end of the axle body is formed with a transverse passageway extending therethrough at a position beyond the exterior wall of the wheel, the passageway being dimensioned to receive a cotter pin therethrough.
25. The axle as defined in claim 20 wherein,
the outer wall of the axle body is provided with a non-circular cross-section formed to provide engagement with an opposing planar surface of one of a wheel mounting sleeve and the wheel to cause the axle to rotate with the wheel.
26. The axle as defined in claim 20 wherein,
the axle body is hollow and defines an axle bore formed with at least one shoulder in the axle bore configured to enable attachment of the wheel to the axle by a coupling member formed to be inserted in an open end of the axle bore.
27. A wheel assembly as defined in claim 1, and
a fastening device mounted to the axle beyond the outer side of the wheel and formed to couple the wheel to the axle.
28. The wheel assembly as defined in claim 27 wherein,
the outer end of the axle body beyond the exterior wall of the wheel includes a recess therein dimensioned to receive the teeth of a push-on hat fastener.
29. The wheel assembly as defined in claim 28, and
a push-on hat fastener mounted on the outer end of the axle and coupling the axle to the wheel.
30. The wheel assembly as defined in claim 27 wherein,
the outer end of the axle body includes a transverse bore therethrough positioned outwardly of the outer side of the wheel and dimensioned to receive a cotter pin fastener.
31. The wheel assembly as defined in claim 30, and
a washer mounted on the outer end of the axle between the transverse bore and the outer side of the wheel; and
a cotter pin mounted through the transverse bore.
32. The wheel assembly as defined in claim 27 wherein,
the outer end of the axle includes push-on hat fastener teeth-receiving groove and a transverse cotter pin receiving bore; and
the wheel is coupled to the axle by one of:
a. a mounting sleeve engaging the axle at the notch;
b. a pawl nut engaging the axle at the groove; and
c. a cotter pin engaging the axle at the transverse bore.
33. The wheel assembly as defined in claim 27 wherein,
the axle body is tubular with an open outer end, and
an interior shoulder in the hollow axle body formed for coupling of the wheel to the axle by a fastening member formed to be inserted into the open end and to be interengaged with the shoulder.
34. The wheel assembly as defined in claim 33, and
a fastening member mounted into the open end of the axle and interengaged with the shoulder to couple the wheel to the axle.
35. The wheel assembly as defined in claim 33 wherein,
the outer end of the axle further includes at least one of a push-on hat fastener teeth-receiving groove and a transverse bore; and
the wheel is coupled to the axle by one of:
a. a fastening member mounted into the open end of the axle and interengaged with the shoulder;
b. a mounting sleeve engaging the axle at the notch;
c. a pawl nut engaging the axle at the groove; and
d. a cotter pin engaging the axle at the transverse bore.
The claims below are in addition to those above.
All refrences to claims which appear below refer to the numbering after this setence.
1. A non-transitory electronic device readable medium storing instructions that, when executed by a processor, cause the processor to:
access a model in a graphical modeling environment, the model including:
a first condition that is either satisfied or unsatisfied depending on data that is associated with the first condition,
a point of observation, the point of observation generating an output that is at least partially dependent on the data associated with the first condition, and
a second condition that is either satisfied or unsatisfied depending, at least partially, on the output of the point of observation; and
validate at least a portion of the model, the validating comprising:
placing the first condition in an enforced satisfied status, wherein a verification tool is forced to assume that the first condition is satisfied regardless of whether the condition would actually be satisfied by underlying data,
generating the output from the point of observation based on the enforced satisfied status of the first condition, and
verifying that the second condition is in a satisfied status based at least in part on the output of the point of observation.
2. The medium of claim 1, wherein the model is an executable block diagram model of a system.
3. The medium of claim 2, wherein the point of observation is a block in the block diagram model.
4. The medium of claim 2, wherein the point of observation is a subsystem in the block diagram model, the subsystem comprising one or more blocks.
5. The medium of claim 1, wherein:
the point of observation is a first point of observation,
the processor further identifies a second point of observation associated with second output information that is at least partially dependent on the first condition, and
the second output information is used as input information into the first point of observation.
6. The medium of claim 5, wherein the placing the first condition in the enforced satisfied status comprises causing the second point of observation to output a value satisfying the first condition.
7. The medium of claim 5, wherein the placing the first condition in an enforced satisfied status comprises instructing the modeling environment that the input information into the first point of observation satisfies the first condition.
8. The medium of claim 1, wherein the validating at least a portion of the model comprises receiving an instruction, the instruction identifying:
one or more conditions indicated to be in an enforced satisfied status, the one or more conditions comprising the first condition; and
the second condition, the second condition being evaluated based at least in part on the one or more conditions indicated to be in an enforced satisfied status.
9. The medium of claim 1, wherein the first condition and second condition are textually or graphically indicated on the model.
10. The medium of claim 9, wherein the first condition and second condition are associated with at least one of a value or a range of values for one or more of the following: an output, a signal, an attribute of a signal, a state, a data element, a parameter, and a property of an object.
11. The medium of claim 1, further comprising instructions for:
validating at least a second portion of the model, wherein the second condition is used as a precondition for a third condition in the validating of the second portion of the model, the third condition being validated at least in part based on the second condition.
12. The medium of claim 1, wherein the portion of the model is validated during a simulation of the model.
13. The medium of claim 1, further comprising instructions for:
displaying a verification tool on a display device, the verification tool presenting a graphical interface for identifying at least one of the first condition and the second condition.
14. The medium of claim 1, wherein the first condition and the second condition are identified during a design of the model.
15. The medium of claim 1, wherein at least one of the first condition and the second condition is associated with an element external to the model.
16. The medium of claim 1, wherein at least one of the first condition and the second condition is activated or deactivated based on a state of the model during an execution of the model.
17. A method implemented in an electronic device, the method causing a processor to:
access, using the processor, a model in a graphical modeling environment, the model comprising:
a first condition that is either satisfied or unsatisfied depending on data that is associated with the first condition,
a point of observation, the point of observation generating an output that is at least partially dependent on the data associated with the first condition, and
a second condition that is either satisfied or unsatisfied depending, at least partially, on the output of the point of observation; and
validate, using the processor, at least a portion of the model, the validating comprising:
placing the first condition in an enforced satisfied status, wherein a verification tool is forced to assume that the first condition is satisfied regardless of whether the condition would actually be satisfied by underlying data,
generating the output from the point of observation based on the enforced satisfied status of the first condition, and
verifying that the second condition is in a satisfied status based at least in part on the output of the point of observation.
18. A system comprising:
a non-transitory storage medium for storing a model in a graphical modeling environment, the model comprising:
a first condition that is either satisfied or unsatisfied depending on data that is associated with the first condition,
a point of observation, the point of observation generating an output that is at least partially dependent on the data associated with the first condition, and
a second condition that is either satisfied or unsatisfied depending, at least partially, on the output of the point of observation; and
a processor programmed with instructions that, when executed, cause the processor to:
validate at least a portion of the model, the validating comprising:
placing the first condition in an enforced satisfied status, wherein a verification tool is forced to assume that the first condition and the second condition are satisfied regardless of whether the condition would actually be satisfied by underlying data,
generating the output from the point of observation based on the enforced satisfied status of the first condition, and
verifying that the second condition is in a satisfied status based at least in part on the output of the point of observation.
19. A non-transitory electronic device storage readable medium storing instructions that, when executed by a processor, cause the processor to:
access a model in a graphical modeling environment, the model comprising:
a first condition that is either satisfied or unsatisfied depending on data that is associated with the first condition,
a point of observation representing an elemental dynamic system, the point of observation generating an output that is at least partially dependent on the data associated with the first condition, and
a second condition that is either satisfied or unsatisfied depending, at least partially, on the output of the point of observation;
validate at least a portion of the model, the validating comprising:
placing the first condition in an enforced satisfied status, wherein a verification tool is forced to assume that the first condition is satisfied regardless of whether the first condition would actually be satisfied by underlying data,
evaluating the point of observation based, at least in part, on the satisfied first condition, the evaluating comprising:
generating the output of the point of observation based on the enforced satisfied status of the first condition, and
determining whether it is possible to satisfy the second condition based on the evaluating,
wherein the determining includes verifying that the second condition is in a satisfied status based at least in part on the output of the point of observation.
20. A non-transitory electronic device readable storage medium storing instructions that, when executed by a processor, cause the processor to:
identify one or more preconditions, the one or more preconditions include one or more condition placed in an enforced status and providing one or more inputs constraints in a portion of a model;
identify a postcondition, the postcondition includes one or more condition placed in an enforced status, and representing a proposition to be evaluated based on the one or more preconditions such that a verification tool is forced to assume that the condition is satisfied regardless of whether the condition would actually be satisfied by underlying data;
evaluate the postcondition based at least in part on the one or more preconditions to generate one or more output based on the enforced satisfied status of the one or more condition and to determine if the one or more condition is in an enforced status; and
wherein if it is determined the one or more condition is in a satisfied status, use the evaluated postcondition as a new precondition in the same portion or a different portion of the model.