danesabo/Thesis
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Convert dense margin comments to inline to fix line tracing

Browse Source 
Reduced marginpar collisions from 12 to 3 by converting multi-line
suggestions/polish comments to \splitinline{} in research-statement.tex
and goals.tex. Remaining warnings are spread across different pages
(4, 5, 7) and no longer cluster/cross.
This commit is contained in:
Split 2026-03-09 22:07:31 -04:00
parent 02ecfaad94
commit e36b86e39d
2 changed files with 33 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
1-goals-and-outcomes/goals.tex
View File

@ -18,9 +18,10 @@ conditions and procedural guidance.
% Gap % Gap
This reliance on human operators prevents autonomous control capabilities and This reliance on human operators prevents autonomous control capabilities and
creates a fundamental economic challenge for next-generation reactor creates a fundamental economic challenge for next-generation reactor
designs.\splitsuggest{The ``and'' here joins two distinct issues (autonomy designs.
barrier + economics). Consider making the causal link explicit: ``This reliance \splitinline{The ``and'' here joins two distinct issues (autonomy barrier +
on human operators not only prevents autonomous control capabilities but also economics). Consider making the causal link explicit: ``This reliance on human
operators not only prevents autonomous control capabilities but also
creates...'' or split into two sentences.} creates...'' or split into two sentences.}
Small modular reactors, in particular, face per-megawatt staffing costs far Small modular reactors, in particular, face per-megawatt staffing costs far
exceeding those of conventional plants and threaten their economic viability. exceeding those of conventional plants and threaten their economic viability.
@ -28,10 +29,11 @@ exceeding those of conventional plants and threaten their economic viability.
% Critical Need % Critical Need
What is needed is a method to create autonomous control systems that safely What is needed is a method to create autonomous control systems that safely
manage complex operational sequences with the same assurance as human-operated manage complex operational sequences with the same assurance as human-operated
systems, but without constant human supervision.\splitpolish{``What is needed systems, but without constant human supervision.
is'' — Gopen would call this a weak topic position. The sentence buries the \splitinline{``What is needed is'' — Gopen would call this a weak topic
subject. Try: ``Autonomous control systems must safely manage complex position. The sentence buries the subject. Try: ``Autonomous control systems
operational sequences...'' Puts the actor in the topic position.} must safely manage complex operational sequences...'' Puts the actor in the
topic position.}
% APPROACH PARAGRAPH Solution % APPROACH PARAGRAPH Solution
To address this need, we will combine formal methods with control theory to To address this need, we will combine formal methods with control theory to
build hybrid control systems that are correct by construction. build hybrid control systems that are correct by construction.
@ -60,9 +62,10 @@ maintaining the high safety standards required by the industry.
This work is conducted within the University of Pittsburgh Cyber Energy Center, This work is conducted within the University of Pittsburgh Cyber Energy Center,
which provides access to industry collaboration and Emerson control hardware, which provides access to industry collaboration and Emerson control hardware,
ensuring that developed solutions align with practical implementation ensuring that developed solutions align with practical implementation
requirements.\splitsuggest{This qualifications paragraph feels orphaned here. requirements.
It's important context but reads as an afterthought. Consider integrating it \splitinline{This qualifications paragraph feels orphaned here. It's important
into the approach paragraph (``...demonstrated on Emerson hardware through our context but reads as an afterthought. Consider integrating it into the
approach paragraph (``...demonstrated on Emerson hardware through our
partnership with the Cyber Energy Center'') or moving to a ``Why This Will partnership with the Cyber Energy Center'') or moving to a ``Why This Will
Succeed'' framing later.} Succeed'' framing later.}

34
1-goals-and-outcomes/research-statement.tex
View File

@ -7,19 +7,23 @@ correct behavior.\splitnote{Strong, direct opening. Sets scope immediately.}
Nuclear power relies on extensively trained operators who follow detailed Nuclear power relies on extensively trained operators who follow detailed
written procedures to manage reactor control. Based on these procedures and written procedures to manage reactor control. Based on these procedures and
operators' interpretation of plant conditions, operators make critical decisions operators' interpretation of plant conditions, operators make critical decisions
about when to switch between control objectives.\splitsuggest{Consider: about when to switch between control objectives.
``operators'' appears 3x in two sentences. Maybe: ``Based on these procedures \splitinline{Consider: ``operators'' appears 3x in two sentences. Maybe:
and their interpretation of plant conditions, they make critical decisions...''} ``Based on these procedures and their interpretation of plant conditions,
they make critical decisions...''}
% Gap % Gap
But, reliance on human operators has created an economic challenge for But, reliance on human operators has created an economic challenge for
next-generation nuclear power plants.\splitpolish{``But, reliance'' — the comma next-generation nuclear power plants.
after ``But'' is unusual. Either drop it or restructure: ``However, this \splitinline{``But, reliance'' — the comma after ``But'' is unusual. Either
reliance...'' or ``This reliance, however, has created...''} Small modular drop it or restructure: ``However, this reliance...'' or ``This reliance,
reactors face significantly higher per-megawatt staffing costs than conventional however, has created...''}
Small modular reactors face significantly higher per-megawatt staffing costs
than conventional
plants. Autonomous control systems are needed that can safely manage complex plants. Autonomous control systems are needed that can safely manage complex
operational sequences with the same assurance as human-operated systems, but operational sequences with the same assurance as human-operated systems, but
without constant supervision.\splitsuggest{``are needed that can'' — passive. without constant supervision.
Try: ``Autonomous control systems must safely manage...''} \splitinline{``are needed that can'' — passive. Try: ``Autonomous control
systems must safely manage...''}
% APPROACH PARAGRAPH Solution % APPROACH PARAGRAPH Solution
To address this need, we will combine formal methods from computer science with To address this need, we will combine formal methods from computer science with
@ -49,14 +53,16 @@ certificates to prove that mode transitions occur safely and as defined by the
deterministic automata. This compositional approach enables local verification deterministic automata. This compositional approach enables local verification
of continuous modes without requiring global trajectory analysis across the of continuous modes without requiring global trajectory analysis across the
entire hybrid system. We will demonstrate this on an Emerson Ovation control entire hybrid system. We will demonstrate this on an Emerson Ovation control
system.\splitsuggest{This paragraph is dense. Consider breaking after the system.
three stages, then a new paragraph for the compositional verification point \splitinline{This paragraph is dense. Consider breaking after the three
and Emerson demo.} stages, then a new paragraph for the compositional verification point and
Emerson demo.}
% Pay-off % Pay-off
This approach will demonstrate autonomous control can be used for complex This approach will demonstrate autonomous control can be used for complex
nuclear power operations while maintaining safety nuclear power operations while maintaining safety
guarantees.\splitpolish{``can be used for'' — weak. Try: ``...will demonstrate guarantees.
that autonomous control can manage complex nuclear power operations while \splitinline{``can be used for'' — weak. Try: ``...will demonstrate that
autonomous control can manage complex nuclear power operations while
maintaining safety guarantees.'' Or even stronger: ``...enables autonomous maintaining safety guarantees.'' Or even stronger: ``...enables autonomous
management of complex nuclear power operations with safety guarantees.''} management of complex nuclear power operations with safety guarantees.''}