An eyepiece is a type of lens that is attached to a variety of optical devices such as telescopes and microscopes.

It is assumed that any OpticalElement - of which Lens and EyePiece are special cases - may (but need not) have a focalLength:FocalLength[0..1], where the ValueType FocalLength offers the opportunity to document how it is defined.

Representing the concept 'focal point' is tricky. A block FocalPoint has been used, rather than a composite ValueType, so that any geometrical properties can be represented as value properties with Units. It has been assumed that any OpticalElement may have a focalPoint:FocalPoint[0..1], however the specific objective:OpticalElement has a constraint asserting that it does - exists(focalPoint) - and further if it does, it must be the same as that the single focalPoint:FocalPoint[1] of the OpticalTelescope.

Those readers who know anything about optics may be unsettled about the use of a single focal point, as in fact for any given distant object (and depending on its relationship to the telescope's axis), and for any given telescope configuration, there is a subtle region around a "focal point" that will have some relationship to a focal plane (not yet covered). Ignore diffraction limiting and chromatic aberration, the basic idea is conveyed by the concept circle of confusion:

Wikipedia: 'In an imperfect lens L, all the rays do not pass through a focal point. The smallest circle that they pass through C is called the circle of least confusion.'

Image author: Chetvorno; Copyright licence: Creative Commons CC0 1.0 Universal Public Domain Dedication.

For now, we are just going to assert that for every telescope mode and distant object one can define some single focal point in space.

The OpticalTelescope has an optional eyepiece:Eyepiece[0..1] which {subsets} lens:Lens[0..*]. There is an ItemFlow with a conveyed Classifier Light on an Association between Eyepiece and Eye, which in turn has an Association with an Actor Viewer.

The internal structure compartment of block OpticalTelescope has once again been used to indicate the semantic triples for «collects» (means also 'gathers') and «produces», and now also that the eyepiece «magnifies» the image. It has been assumed that the Eyepiece «produces» the viewedImage identified earlier.

Again, there is a minor «problem» indicated, the snippets so far seem to not explicitly include the possibility of a secondary mirror in the image forming process, which concern will be addressed in due course.

Up next

Most (but not all) telescope designs produce an inverted image at the focal plane

Notes

[DISPLAY, STYLE, TIP]{SUGGESTED} Webel Parsing Analysis: If the dashed-line "anchors" from your «snippet» ElementGroup symbols to elicited elements make a «pa» Parsing Analysis Diagram (PAD) too hard to read, try making them light grey using symbol properties.

[POLICY, STYLE]{STRICT} Webel «pa» Parsing Analysis Diagrams (PADs) are "scratchpads" used to elicit model elements traceably from text Snippets (extracts from source Documents). While BDDs are a good initial choice, most types of SysML diagram can be used as a «pa» diagram.

[POLICY, STYLE]{STRICT} Webel Parsing Analysis «pa» diagrams are NOT intended as final presentation diagrams! They serve merely to traceably elicit model elements, which may then be shown in other (typically much tidier) presentation diagrams elsewhere.

Snippets (quotes/extracts)

An eyepiece, or ocular lens, is a type of lens that is attached to a variety of optical devices such as telescopes and microscopes. It is so named because it is usually the lens that is closest to the eye when someone looks through the device.

The objective lens or mirror collects light and brings it to focus creating an image.

The eyepiece is placed near the focal point of the objective to magnify this image. The amount of magnification depends on the focal length of the eyepiece.

In an imperfect lens L, all the rays do not pass through a focal point. The smallest circle that they pass through C is called the circle of least confusion.