BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

David Braun

David Braun contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
astro-ph.IMComputational GeometryMathematical SoftwareSymbolic Computation

Trust snapshot

Quick read

Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2022arXiv

Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach

Several tools have been developed to enhance automation of theorem proving in the 2D plane. However, in 3D, only a few approaches have been studied, and to our knowledge, nothing has been done in higher dimensions. In this paper, we present a few examples of incidence geometry theorems in dimensions 3, 4, and 5. We then prove them with the help of a combinatorial prover based on matroid theory applied to geometry.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Developing Engineering Model Cobra fiber positioners for the Subaru Telescope Prime Focus Spectrometer

The Cobra fiber positioner is being developed by the California Institute of Technology (CIT) and the Jet Propulsion Laboratory (JPL) for the Prime Focus Spectrograph (PFS) instrument that will be installed at the Subaru Telescope on Mauna Kea, Hawaii. PFS is a fiber fed multi-object spectrometer that uses an array of Cobra fiber positioners to rapidly reconfigure 2394 optical fibers at the prime focus of the Subaru Telescope that are capable of positioning a fiber to within 5um of a specified target location. A single Cobra fiber positioner measures 7.7mm in diameter and is 115mm tall. The Cobra fiber positioner uses two piezo-electric rotary motors to move a fiber optic anywhere in a 9.5mm diameter patrol area. In preparation for full-scale production of 2550 Cobra positioners an Engineering Model (EM) version was developed, built and tested to validate the design, reduce manufacturing costs, and improve system reliability. The EM leveraged the previously developed prototype versions of the Cobra fiber positioner. The requirements, design, assembly techniques, development testing, design qualification and performance evaluation of EM Cobra fiber positioners are described here. Also discussed is the use of the EM build and test campaign to validate the plans for full-scale production of 2550 Cobra fiber positioners scheduled to begin in late-2014.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Fiber Optical Cable and Connector System (FOCCoS) for PFS/Subaru

FOCCoS, Fiber Optical Cable and Connector System, has the main function of capturing the direct light from the focal plane of Subaru Telescope using optical fibers, each one with a microlens in its tip, and conducting this light through a route containing connectors to a set of four spectrographs. The optical fiber cable is divided in 3 different segments called Cable A, Cable B and Cable C. Multi-fibers connectors assure precise connection among all optical fibers of the segments, providing flexibility for instrument changes. To assure strong and accurate connection, these sets are arranged inside two types of assemblies: the Tower Connector, for connection between Cable C and Cable B; and the Gang Connector, for connection between Cable B and Cable A. Throughput tests were made to evaluate the efficiency of the connections. A lifetime test connection is in progress. Cable C is installed inside the PFI, Prime Focus Instrument, where each fiber tip with a microlens is bonded to the end of the shaft of a 2-stage piezo-electric rotatory motor positioner; this assembly allows each fiber to be placed anywhere within its patrol region, which is 9.5mm diameter.. Each positioner uses a fiber arm to support the ferrule, the microlens, and the optical fiber. 2400 of these assemblies are arranged on a motor bench plate in a hexagonal-closed-packed disposition.

0 citations0 reviewsNo code linkedOpen access