Compare commits
2 Commits
3c3f395320
...
25bb5a2bde
| Author | SHA1 | Date | |
|---|---|---|---|
| 25bb5a2bde | |||
| e9997bac76 |
@ -95,3 +95,16 @@
|
||||
{"description":"Complete broader impacts peer review","due":"20251003T040000Z","entry":"20251002T151613Z","modified":"20251002T151613Z","project":"ERLM","status":"pending","uuid":"a5877ce8-f750-413d-8ec1-0e9429395cee"}
|
||||
{"description":"Write GO v3","due":"20251006T040000Z","entry":"20251002T151628Z","modified":"20251002T151628Z","project":"ERLM","status":"pending","uuid":"f43f2943-a017-4a3a-a1dd-06ff7a01c22e"}
|
||||
{"description":"Complete midterm","due":"20251006T040000Z","entry":"20251002T151541Z","modified":"20251002T152619Z","priority":"H","project":"classes","status":"pending","uuid":"10e41665-b456-4d9f-8ded-577690446a59","tags":["NUCE2101"]}
|
||||
{"description":"Write zettel about lipschitz continuity","end":"20251008T182756Z","entry":"20250911T211029Z","modified":"20251008T182804Z","status":"completed","uuid":"b7f68988-8c06-4d18-bf77-91d7e39fd55f","tags":["zk"]}
|
||||
{"description":"Complete midterm","due":"20251006T040000Z","end":"20251008T182804Z","entry":"20251002T151541Z","modified":"20251008T182809Z","priority":"H","project":"classes","status":"completed","uuid":"10e41665-b456-4d9f-8ded-577690446a59","tags":["NUCE2101"]}
|
||||
{"description":"Write GO v3","due":"20251006T040000Z","end":"20251008T182809Z","entry":"20251002T151628Z","modified":"20251008T182811Z","project":"ERLM","status":"completed","uuid":"f43f2943-a017-4a3a-a1dd-06ff7a01c22e"}
|
||||
{"description":"Complete peer review with Simeona","due":"20251009T040000Z","entry":"20251008T183016Z","modified":"20251008T183016Z","project":"ERLM","status":"pending","uuid":"a2970741-1bdf-4f67-a63f-40da1f96315e"}
|
||||
{"description":"Write metrics of success section","entry":"20251008T183024Z","modified":"20251008T183024Z","project":"ERLM","status":"pending","uuid":"3bf52991-f8df-4387-9a79-0b5f14f2c5d1","tags":["writing"]}
|
||||
{"description":"Make list of internship spots","due":"20251010T040000Z","entry":"20251008T183053Z","modified":"20251008T183053Z","project":"Internship","status":"pending","uuid":"e978e178-5069-44a6-b9de-c835bdf1774f"}
|
||||
{"description":"Find INL person Robert mentioned","due":"20251008T040000Z","entry":"20251008T183121Z","modified":"20251008T183121Z","project":"Internship","status":"pending","uuid":"4e709e7a-91f6-47ad-af29-11d3c2cee3d9"}
|
||||
{"description":"Do intial play around with Emerson Ovation system","due":"20251010T040000Z","entry":"20251008T184338Z","modified":"20251008T184338Z","status":"pending","uuid":"1116b9e1-e2a9-44e3-939a-1ca7f66d3eea"}
|
||||
{"description":"Edit goals and outcomes","end":"20251008T190250Z","entry":"20250924T163953Z","modified":"20251008T190252Z","project":"ERLM","status":"deleted","uuid":"bbc41e22-c647-4209-9500-382e0321b625"}
|
||||
{"description":"Fix pagination that Dan was complaining about","end":"20251008T190257Z","entry":"20250924T164344Z","modified":"20251008T190257Z","project":"ERLM","status":"completed","uuid":"306c574b-c3f6-4363-914b-f1eddda04543"}
|
||||
{"description":"Complete peer review with Simeona","due":"20251009T040000Z","end":"20251009T200847Z","entry":"20251008T183016Z","modified":"20251009T200847Z","project":"ERLM","status":"completed","uuid":"a2970741-1bdf-4f67-a63f-40da1f96315e"}
|
||||
{"description":"Find INL person Robert mentioned","due":"20251008T040000Z","end":"20251009T200847Z","entry":"20251008T183121Z","modified":"20251009T200847Z","project":"Internship","status":"completed","uuid":"4e709e7a-91f6-47ad-af29-11d3c2cee3d9"}
|
||||
{"description":"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations","entry":"20250910T150523Z","modified":"20251009T200934Z","project":"thesis","start":"20251009T200934Z","status":"pending","uuid":"96c76e6b-5c33-4f54-a156-5c59e718f01a","tags":["reading"]}
|
||||
|
||||
@ -1,3 +1,8 @@
|
||||
[description:"Edit goals and outcomes" end:"1759950170" entry:"1758731993" modified:"1759950172" project:"ERLM" status:"deleted" uuid:"bbc41e22-c647-4209-9500-382e0321b625"]
|
||||
[description:"Fix pagination that Dan was complaining about" end:"1759950177" entry:"1758732224" modified:"1759950177" project:"ERLM" status:"completed" uuid:"306c574b-c3f6-4363-914b-f1eddda04543"]
|
||||
[description:"Write zettel about lipschitz continuity" end:"1759948076" entry:"1757625029" modified:"1759948084" status:"completed" tags:"zk" tags_zk:"x" uuid:"b7f68988-8c06-4d18-bf77-91d7e39fd55f"]
|
||||
[description:"Complete midterm" due:"1759723200" end:"1759948084" entry:"1759418141" modified:"1759948089" priority:"H" project:"classes" status:"completed" tags:"NUCE2101" tags_NUCE2101:"x" uuid:"10e41665-b456-4d9f-8ded-577690446a59"]
|
||||
[description:"Write GO v3" due:"1759723200" end:"1759948089" entry:"1759418188" modified:"1759948091" project:"ERLM" status:"completed" uuid:"f43f2943-a017-4a3a-a1dd-06ff7a01c22e"]
|
||||
[dep_47b4efbf-8785-40d2-857d-6c9e44d2369e:"x" depends:"47b4efbf-8785-40d2-857d-6c9e44d2369e" description:"Broader Impacts First Draft" due:"1759118400" end:"1759161466" entry:"1758731886" modified:"1759161466" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"403ad6c3-34b1-424c-a0ac-c50f91756dbf"]
|
||||
[description:"get FSAE COM and track data to Matt barry for statics problem. He also wants a cad model?" due:"1758254400" end:"1759156557" entry:"1757515988" modified:"1759156557" status:"completed" uuid:"48f997bf-b686-4c0b-bee5-ac8e5f874ad9"]
|
||||
[description:"Broader Impacts Worksheet" end:"1759156557" entry:"1758731868" modified:"1759156557" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"47b4efbf-8785-40d2-857d-6c9e44d2369e"]
|
||||
|
||||
@ -2,8 +2,7 @@
|
||||
[description:"Write zettels about webofscience database" entry:"1757443242" modified:"1757443242" project:"zk" status:"pending" uuid:"9cb17c85-f1e6-4280-86da-a5af8f229b15"]
|
||||
[description:"Look over obsidian tasks and see if anything is worth moving over" entry:"1757443262" modified:"1757443262" status:"pending" tags:"taskwarrior" tags_taskwarrior:"x" uuid:"c1a5390d-5b84-4f9c-8acb-ffb970682660"]
|
||||
[description:"Look around for summer internships with national labs" entry:"1757449731" modified:"1757449731" status:"pending" uuid:"d3f3dc53-4feb-4b7e-8de5-86ebf3c535d5"]
|
||||
[description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1758125189" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"]
|
||||
[description:"Write zettel about lipschitz continuity" entry:"1757625029" modified:"1757625029" status:"pending" tags:"zk" tags_zk:"x" uuid:"b7f68988-8c06-4d18-bf77-91d7e39fd55f"]
|
||||
[description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1760040574" project:"thesis" start:"1760040574" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"]
|
||||
[description:"The Algorithmic Analysis of Hybrid Systems (1995)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"b15bdc1a-205f-4489-a8fb-e9843306e40d"]
|
||||
[description:"Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems (1993)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"6ed5ae99-0296-4011-bb90-39d97021d7ae"]
|
||||
[description:"Hybrid Systems: Review and Recent Progress (2003)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"1d8043ca-e583-4835-9d77-65e0e92361c3"]
|
||||
@ -30,11 +29,12 @@
|
||||
[description:"Learning Local Control Barrier Functions for Hybrid Systems (2024)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"3abf4246-566a-4ba8-b392-cbab5d7a9aa0"]
|
||||
[description:"Model Predictive Control of Stochastic Hybrid Systems with Signal Temporal Logic Constraints (2025)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"320ec48e-134f-462f-ac3c-ffaf70698691"]
|
||||
[description:"Online Control Synthesis for Uncertain Systems under Signal Temporal Logic Specifications (2024)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"b47de464-8a66-45d2-b487-6588a60c8112"]
|
||||
[description:"Edit goals and outcomes" entry:"1758731993" modified:"1758731993" project:"ERLM" status:"pending" uuid:"bbc41e22-c647-4209-9500-382e0321b625"]
|
||||
[description:"Rewrite state of the art for nuclear controls engineering and hybrid systems" due:"1759118400" entry:"1758732019" modified:"1758732076" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"e0636009-9061-47d0-9b59-1f2464a252a7"]
|
||||
[description:"Edit goals and outcomes to adjust capabilities. What is new capability, not research task" entry:"1758732156" modified:"1758732156" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"ce706282-31bb-4cba-882d-86f09a76045d"]
|
||||
[description:"Add research tasks to research approach section" entry:"1758732208" modified:"1758732208" project:"ERLM" status:"pending" tags:"editing,writing" tags_editing:"x" tags_writing:"x" uuid:"56028c48-5a4b-46cd-a40e-ada624cf6187"]
|
||||
[description:"Fix pagination that Dan was complaining about" entry:"1758732224" modified:"1758732224" project:"ERLM" status:"pending" uuid:"306c574b-c3f6-4363-914b-f1eddda04543"]
|
||||
[description:"Complete midterm" due:"1759723200" entry:"1759418141" modified:"1759418779" priority:"H" project:"classes" status:"pending" tags:"NUCE2101" tags_NUCE2101:"x" uuid:"10e41665-b456-4d9f-8ded-577690446a59"]
|
||||
[description:"Complete broader impacts peer review" due:"1759464000" entry:"1759418173" modified:"1759418173" project:"ERLM" status:"pending" uuid:"a5877ce8-f750-413d-8ec1-0e9429395cee"]
|
||||
[description:"Write GO v3" due:"1759723200" entry:"1759418188" modified:"1759418188" project:"ERLM" status:"pending" uuid:"f43f2943-a017-4a3a-a1dd-06ff7a01c22e"]
|
||||
[description:"Complete peer review with Simeona" due:"1759982400" end:"1760040527" entry:"1759948216" modified:"1760040527" project:"ERLM" status:"completed" uuid:"a2970741-1bdf-4f67-a63f-40da1f96315e"]
|
||||
[description:"Write metrics of success section" entry:"1759948224" modified:"1759948224" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3bf52991-f8df-4387-9a79-0b5f14f2c5d1"]
|
||||
[description:"Make list of internship spots" due:"1760068800" entry:"1759948253" modified:"1759948253" project:"Internship" status:"pending" uuid:"e978e178-5069-44a6-b9de-c835bdf1774f"]
|
||||
[description:"Find INL person Robert mentioned" due:"1759896000" end:"1760040527" entry:"1759948281" modified:"1760040527" project:"Internship" status:"completed" uuid:"4e709e7a-91f6-47ad-af29-11d3c2cee3d9"]
|
||||
[description:"Do intial play around with Emerson Ovation system" due:"1760068800" entry:"1759949018" modified:"1759949018" status:"pending" uuid:"1116b9e1-e2a9-44e3-939a-1ca7f66d3eea"]
|
||||
|
||||
@ -324,3 +324,50 @@ time 1759418779
|
||||
old [description:"Complete midterm" due:"1759723200" entry:"1759418141" modified:"1759418141" priority:"H" project:"NUCE2102" status:"pending" uuid:"10e41665-b456-4d9f-8ded-577690446a59"]
|
||||
new [description:"Complete midterm" due:"1759723200" entry:"1759418141" modified:"1759418779" priority:"H" project:"classes" status:"pending" tags:"NUCE2101" tags_NUCE2101:"x" uuid:"10e41665-b456-4d9f-8ded-577690446a59"]
|
||||
---
|
||||
time 1759948084
|
||||
old [description:"Write zettel about lipschitz continuity" entry:"1757625029" modified:"1757625029" status:"pending" tags:"zk" tags_zk:"x" uuid:"b7f68988-8c06-4d18-bf77-91d7e39fd55f"]
|
||||
new [description:"Write zettel about lipschitz continuity" end:"1759948076" entry:"1757625029" modified:"1759948084" status:"completed" tags:"zk" tags_zk:"x" uuid:"b7f68988-8c06-4d18-bf77-91d7e39fd55f"]
|
||||
---
|
||||
time 1759948089
|
||||
old [description:"Complete midterm" due:"1759723200" entry:"1759418141" modified:"1759418779" priority:"H" project:"classes" status:"pending" tags:"NUCE2101" tags_NUCE2101:"x" uuid:"10e41665-b456-4d9f-8ded-577690446a59"]
|
||||
new [description:"Complete midterm" due:"1759723200" end:"1759948084" entry:"1759418141" modified:"1759948089" priority:"H" project:"classes" status:"completed" tags:"NUCE2101" tags_NUCE2101:"x" uuid:"10e41665-b456-4d9f-8ded-577690446a59"]
|
||||
---
|
||||
time 1759948091
|
||||
old [description:"Write GO v3" due:"1759723200" entry:"1759418188" modified:"1759418188" project:"ERLM" status:"pending" uuid:"f43f2943-a017-4a3a-a1dd-06ff7a01c22e"]
|
||||
new [description:"Write GO v3" due:"1759723200" end:"1759948089" entry:"1759418188" modified:"1759948091" project:"ERLM" status:"completed" uuid:"f43f2943-a017-4a3a-a1dd-06ff7a01c22e"]
|
||||
---
|
||||
time 1759948216
|
||||
new [description:"Complete peer review with Simeona" due:"1759982400" entry:"1759948216" modified:"1759948216" project:"ERLM" status:"pending" uuid:"a2970741-1bdf-4f67-a63f-40da1f96315e"]
|
||||
---
|
||||
time 1759948224
|
||||
new [description:"Write metrics of success section" entry:"1759948224" modified:"1759948224" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3bf52991-f8df-4387-9a79-0b5f14f2c5d1"]
|
||||
---
|
||||
time 1759948253
|
||||
new [description:"Make list of internship spots" due:"1760068800" entry:"1759948253" modified:"1759948253" project:"Internship" status:"pending" uuid:"e978e178-5069-44a6-b9de-c835bdf1774f"]
|
||||
---
|
||||
time 1759948281
|
||||
new [description:"Find INL person Robert mentioned" due:"1759896000" entry:"1759948281" modified:"1759948281" project:"Internship" status:"pending" uuid:"4e709e7a-91f6-47ad-af29-11d3c2cee3d9"]
|
||||
---
|
||||
time 1759949018
|
||||
new [description:"Do intial play around with Emerson Ovation system" due:"1760068800" entry:"1759949018" modified:"1759949018" status:"pending" uuid:"1116b9e1-e2a9-44e3-939a-1ca7f66d3eea"]
|
||||
---
|
||||
time 1759950172
|
||||
old [description:"Edit goals and outcomes" entry:"1758731993" modified:"1758731993" project:"ERLM" status:"pending" uuid:"bbc41e22-c647-4209-9500-382e0321b625"]
|
||||
new [description:"Edit goals and outcomes" end:"1759950170" entry:"1758731993" modified:"1759950172" project:"ERLM" status:"deleted" uuid:"bbc41e22-c647-4209-9500-382e0321b625"]
|
||||
---
|
||||
time 1759950177
|
||||
old [description:"Fix pagination that Dan was complaining about" entry:"1758732224" modified:"1758732224" project:"ERLM" status:"pending" uuid:"306c574b-c3f6-4363-914b-f1eddda04543"]
|
||||
new [description:"Fix pagination that Dan was complaining about" end:"1759950177" entry:"1758732224" modified:"1759950177" project:"ERLM" status:"completed" uuid:"306c574b-c3f6-4363-914b-f1eddda04543"]
|
||||
---
|
||||
time 1760040527
|
||||
old [description:"Complete peer review with Simeona" due:"1759982400" entry:"1759948216" modified:"1759948216" project:"ERLM" status:"pending" uuid:"a2970741-1bdf-4f67-a63f-40da1f96315e"]
|
||||
new [description:"Complete peer review with Simeona" due:"1759982400" end:"1760040527" entry:"1759948216" modified:"1760040527" project:"ERLM" status:"completed" uuid:"a2970741-1bdf-4f67-a63f-40da1f96315e"]
|
||||
---
|
||||
time 1760040527
|
||||
old [description:"Find INL person Robert mentioned" due:"1759896000" entry:"1759948281" modified:"1759948281" project:"Internship" status:"pending" uuid:"4e709e7a-91f6-47ad-af29-11d3c2cee3d9"]
|
||||
new [description:"Find INL person Robert mentioned" due:"1759896000" end:"1760040527" entry:"1759948281" modified:"1760040527" project:"Internship" status:"completed" uuid:"4e709e7a-91f6-47ad-af29-11d3c2cee3d9"]
|
||||
---
|
||||
time 1760040574
|
||||
old [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1758125189" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"]
|
||||
new [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1760040574" project:"thesis" start:"1760040574" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"]
|
||||
---
|
||||
|
||||
BIN
Writing/ERLM/Sabo_GO3_Whitepaper_Draft.pdf
Normal file
BIN
Writing/ERLM/Sabo_GO3_Whitepaper_Draft.pdf
Normal file
Binary file not shown.
118
Writing/ERLM/goals-and-outcomes/v6.tex
Normal file
118
Writing/ERLM/goals-and-outcomes/v6.tex
Normal file
@ -0,0 +1,118 @@
|
||||
\section{Goals and Outcomes}
|
||||
|
||||
% GOAL PARAGRAPH
|
||||
The goal of this research is to develop a methodology for creating autonomous
|
||||
hybrid control systems with mathematical guarantees of safe and correct
|
||||
behavior.
|
||||
|
||||
% INTRODUCTORY PARAGRAPH Hook
|
||||
Nuclear power plants require the highest levels of control system reliability,
|
||||
where failures can result in significant economic losses, service interruptions,
|
||||
or radiological release.
|
||||
% Known information
|
||||
Currently, nuclear plant operations rely on extensively trained human operators
|
||||
who follow detailed written procedures and strict regulatory requirements to
|
||||
manage reactor control. These operators make critical decisions about when to
|
||||
switch between different control modes based on their interpretation of plant
|
||||
conditions and procedural guidance.
|
||||
% Gap
|
||||
However, this reliance on human operators prevents the introduction of
|
||||
autonomous control capabilities and creates a fundamental economic challenge for
|
||||
next-generation reactor designs. Emerging technologies like small modular
|
||||
reactors face significantly higher per-megawatt staffing costs than conventional
|
||||
plants, threatening their economic viability.
|
||||
% Critical Need
|
||||
What is needed is a way to create autonomous control systems that can safely
|
||||
manage complex operational sequences with the same level of assurance as
|
||||
human-operated systems, but without requiring constant human supervision.
|
||||
|
||||
% APPROACH PARAGRAPH Solution
|
||||
To address this need, we will combine formal methods from computer science with
|
||||
control theory to build hybrid control systems that are correct by construction.
|
||||
% Rationale
|
||||
Hybrid systems use discrete logic to switch between continuous control modes,
|
||||
similar to how operators change control strategies. Existing formal methods can
|
||||
generate provably correct switching logic from written requirements, but they
|
||||
cannot handle the continuous dynamics that occur during transitions between
|
||||
modes. Meanwhile, traditional control theory can verify continuous behavior but
|
||||
lacks tools for proving correctness of discrete switching decisions.
|
||||
% Hypothesis
|
||||
By synthesizing discrete mode transitions directly from written operating
|
||||
procedures and verifying continuous behavior between transitions, we can create
|
||||
hybrid control systems with end-to-end correctness guarantees. If we can
|
||||
formalize existing procedures into logical specifications and verify that
|
||||
continuous dynamics satisfy transition requirements, then we can build
|
||||
autonomous controllers that are provably free from design defects.
|
||||
% Pay-off
|
||||
This approach will enable autonomous control in nuclear power plants while
|
||||
maintaining the high safety standards required by the industry.
|
||||
% Qualifications
|
||||
This work is conducted within the University of Pittsburgh Cyber Energy Center,
|
||||
which provides access to industry collaboration and Emerson control hardware,
|
||||
ensuring that solutions developed are aligned with practical implementation
|
||||
requirements.
|
||||
|
||||
% OUTCOMES PARAGRAPHS
|
||||
If this research is successful, we will be able to do the following:
|
||||
|
||||
\begin{enumerate}
|
||||
|
||||
% OUTCOME 1 Title
|
||||
\item \textbf{Translate written procedures into verified control logic.}
|
||||
% Strategy
|
||||
We will develop a methodology for converting existing written operating
|
||||
procedures into formal specifications that can be automatically synthesized
|
||||
into discrete control logic. This process will use structured intermediate
|
||||
representations to bridge natural language procedures and mathematical
|
||||
logic.
|
||||
% Outcome
|
||||
Control system engineers will be able to generate verified mode-switching
|
||||
controllers directly from regulatory procedures without requiring expertise
|
||||
in formal methods, reducing the barrier to creating high-assurance control
|
||||
systems.
|
||||
|
||||
% OUTCOME 2 Title
|
||||
\item \textbf{Verify continuous control behavior across mode transitions.}
|
||||
% Strategy
|
||||
We will establish methods for analyzing continuous control modes to ensure
|
||||
they satisfy the discrete transition requirements. Using a combination of
|
||||
classical control theory for linear systems and reachability analysis for
|
||||
nonlinear dynamics, we will verify that each continuous mode can safely
|
||||
reach its intended transitions.
|
||||
% Outcome
|
||||
Engineers will be able to design continuous controllers using standard
|
||||
practices while iterating to ensure broader system correctness, proving that
|
||||
mode transitions occur safely and at the right times.
|
||||
|
||||
% OUTCOME 3 Title
|
||||
\item \textbf{Demonstrate autonomous reactor startup control with safety
|
||||
guarantees.}
|
||||
% Strategy
|
||||
We will apply this methodology to develop an autonomous controller for
|
||||
nuclear reactor startup procedures, implementing it on a small modular
|
||||
reactor simulation using industry-standard control hardware. This
|
||||
demonstration will prove correctness across multiple coordinated control
|
||||
modes from cold shutdown through criticality to power operation.
|
||||
% Outcome
|
||||
We will provide evidence that autonomous hybrid control can be realized in
|
||||
the nuclear industry with current control equipment, establishing a path
|
||||
toward reducing operator staffing requirements while maintaining safety.
|
||||
|
||||
\end{enumerate}
|
||||
|
||||
% IMPACT PARAGRAPH Innovation
|
||||
The innovation in this work is the unification of discrete synthesis and
|
||||
continuous verification to enable end-to-end correctness guarantees for hybrid
|
||||
systems.
|
||||
% Outcome Impact
|
||||
If successful, control engineers will be able to create autonomous controllers
|
||||
from existing procedures with mathematical proof of correct behavior.
|
||||
High-assurance autonomous control will become practical for safety-critical
|
||||
applications.
|
||||
% Impact/Pay-off
|
||||
This capability is essential for the economic viability of next-generation
|
||||
nuclear power. Small modular reactors represent a promising solution to growing
|
||||
energy demands, but their success depends on reducing per-megawatt operating
|
||||
costs through increased autonomy. This research will provide the tools to
|
||||
achieve that autonomy while maintaining the exceptional safety record required
|
||||
by the nuclear industry.
|
||||
@ -1,4 +0,0 @@
|
||||
\relax
|
||||
\bibstyle{unsrt}
|
||||
\providecommand \oddpage@label [2]{}
|
||||
\gdef \@abspage@last{1}
|
||||
@ -1,69 +1,4 @@
|
||||
\begin{thebibliography}{10}
|
||||
|
||||
\bibitem{geromel2006stability}
|
||||
Jos{\'e}~C Geromel and Patrizio Colaneri.
|
||||
\newblock Stability and stabilization of continuous-time switched linear systems.
|
||||
\newblock {\em SIAM Journal on Control and Optimization}, 45(5):1915--1930, 2006.
|
||||
|
||||
\bibitem{branicky1998multiple}
|
||||
Michael~S Branicky.
|
||||
\newblock Multiple lyapunov functions and other analysis tools for switched and hybrid systems.
|
||||
\newblock {\em IEEE Transactions on Automatic Control}, 43(4):475--482, 1998.
|
||||
|
||||
\bibitem{liberzon2003switching}
|
||||
Daniel Liberzon.
|
||||
\newblock {\em Switching in systems and control}.
|
||||
\newblock Birkh{\"a}user Boston, 2003.
|
||||
|
||||
\bibitem{mitchell2005time}
|
||||
Ian~M Mitchell, Alexandre~M Bayen, and Claire~J Tomlin.
|
||||
\newblock A time-dependent hamilton-jacobi formulation of reachable sets for continuous dynamic games.
|
||||
\newblock {\em IEEE Transactions on Automatic Control}, 50(7):947--957, 2005.
|
||||
|
||||
\bibitem{yang2024learning}
|
||||
Shuo Yang, Yiwei Chen, Xiang Yin, and Rahul Mangharam.
|
||||
\newblock Learning local control barrier functions for hybrid systems.
|
||||
\newblock {\em arXiv preprint arXiv:2401.14907}, 2024.
|
||||
|
||||
\bibitem{alur1993hybrid}
|
||||
Rajeev Alur, Costas Courcoubetis, Thomas~A Henzinger, and Pei-Hsin Ho.
|
||||
\newblock Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems.
|
||||
\newblock In {\em Hybrid Systems}, pages 209--229. Springer, 1993.
|
||||
|
||||
\bibitem{alur1995algorithmic}
|
||||
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas~A Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine.
|
||||
\newblock The algorithmic analysis of hybrid systems.
|
||||
\newblock {\em Theoretical Computer Science}, 138(1):3--34, 1995.
|
||||
|
||||
\bibitem{giannakopoulou2022fret}
|
||||
Dimitra Giannakopoulou, Anastasia Mavridou, Julian Rhein, Thomas Pressburger, Johann Schumann, and Nija Shi.
|
||||
\newblock Capturing and analyzing requirements with fret.
|
||||
\newblock Technical Report NASA/TM-20220007610, NASA Ames Research Center, 2022.
|
||||
|
||||
\bibitem{meyer2018strix}
|
||||
Philipp~J Meyer and Michael Luttenberger.
|
||||
\newblock Strix: Explicit reactive synthesis strikes back!
|
||||
\newblock In {\em International Conference on Computer Aided Verification}, pages 578--586. Springer, 2018.
|
||||
|
||||
\bibitem{jacobs2017syntcomp}
|
||||
Swen Jacobs, Roderick Bloem, Romain Brenguier, et~al.
|
||||
\newblock The 4th reactive synthesis competition (syntcomp 2017): Benchmarks, participants \& results.
|
||||
\newblock In {\em 6th Workshop on Synthesis}, volume 260 of {\em EPTCS}, 2017.
|
||||
|
||||
\bibitem{platzer2008differential}
|
||||
Andr{\'e} Platzer.
|
||||
\newblock Differential dynamic logic for hybrid systems.
|
||||
\newblock {\em Journal of Automated Reasoning}, 41(2):143--189, 2008.
|
||||
|
||||
\bibitem{platzer2017complete}
|
||||
Andr{\'e} Platzer.
|
||||
\newblock A complete uniform substitution calculus for differential dynamic logic.
|
||||
\newblock {\em Journal of Automated Reasoning}, 59(2):219--265, 2017.
|
||||
|
||||
\bibitem{fulton2015keymaera}
|
||||
Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus V{\"o}lp, and Andr{\'e} Platzer.
|
||||
\newblock Keymaera x: An axiomatic tactical theorem prover for hybrid systems.
|
||||
\newblock In {\em International Conference on Automated Deduction}, pages 527--538. Springer, 2015.
|
||||
\begin{thebibliography}{1}
|
||||
|
||||
\bibitem{eia_lcoe_2022}
|
||||
{U.S. Energy Information Administration}.
|
||||
|
||||
@ -3,44 +3,44 @@ Capacity: max_strings=200000, hash_size=200000, hash_prime=170003
|
||||
The top-level auxiliary file: main.aux
|
||||
The style file: unsrt.bst
|
||||
Database file #1: references.bib
|
||||
You've used 15 entries,
|
||||
You've used 2 entries,
|
||||
1791 wiz_defined-function locations,
|
||||
541 strings with 6280 characters,
|
||||
and the built_in function-call counts, 3692 in all, are:
|
||||
= -- 340
|
||||
> -- 159
|
||||
< -- 5
|
||||
+ -- 60
|
||||
- -- 45
|
||||
* -- 243
|
||||
:= -- 579
|
||||
add.period$ -- 50
|
||||
call.type$ -- 15
|
||||
change.case$ -- 15
|
||||
458 strings with 3888 characters,
|
||||
and the built_in function-call counts, 290 in all, are:
|
||||
= -- 27
|
||||
> -- 8
|
||||
< -- 0
|
||||
+ -- 4
|
||||
- -- 2
|
||||
* -- 7
|
||||
:= -- 58
|
||||
add.period$ -- 8
|
||||
call.type$ -- 2
|
||||
change.case$ -- 3
|
||||
chr.to.int$ -- 0
|
||||
cite$ -- 15
|
||||
duplicate$ -- 166
|
||||
empty$ -- 359
|
||||
format.name$ -- 45
|
||||
if$ -- 831
|
||||
cite$ -- 2
|
||||
duplicate$ -- 11
|
||||
empty$ -- 31
|
||||
format.name$ -- 2
|
||||
if$ -- 62
|
||||
int.to.chr$ -- 0
|
||||
int.to.str$ -- 15
|
||||
missing$ -- 13
|
||||
newline$ -- 80
|
||||
num.names$ -- 15
|
||||
pop$ -- 46
|
||||
int.to.str$ -- 2
|
||||
missing$ -- 0
|
||||
newline$ -- 15
|
||||
num.names$ -- 2
|
||||
pop$ -- 7
|
||||
preamble$ -- 1
|
||||
purify$ -- 0
|
||||
quote$ -- 0
|
||||
skip$ -- 76
|
||||
skip$ -- 3
|
||||
stack$ -- 0
|
||||
substring$ -- 243
|
||||
swap$ -- 47
|
||||
text.length$ -- 5
|
||||
substring$ -- 0
|
||||
swap$ -- 1
|
||||
text.length$ -- 0
|
||||
text.prefix$ -- 0
|
||||
top$ -- 0
|
||||
type$ -- 0
|
||||
warning$ -- 0
|
||||
while$ -- 36
|
||||
width$ -- 17
|
||||
write$ -- 171
|
||||
while$ -- 2
|
||||
width$ -- 3
|
||||
write$ -- 27
|
||||
|
||||
@ -1,206 +0,0 @@
|
||||
# Fdb version 4
|
||||
["pdflatex"] 1760129048.56664 "main.tex" "main.pdf" "main" 1760129049.07274 0
|
||||
"/etc/texmf/web2c/texmf.cnf" 1726065852.27662 475 c0e671620eb5563b2130f56340a5fde8 ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc" 1165713224 4850 80dc9bab7f31fb78a000ccfed0e27cab ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm" 1136768653 2172 fd0c924230362ff848a33632ed45dc23 ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" 1136768653 4524 6bce29db5bc272ba5f332261583fee9c ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm" 1136768653 2124 2601a75482e9426d33db523edf23570a ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" 1136768653 4408 25b74d011a4c66b7f212c0cc3c90061b ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm" 1136768653 2288 f478fc8fed18759effb59f3dad7f3084 ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm" 1136768653 4640 532ca3305aad10cc01d769f3f91f1029 ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" 1136768653 1296 45809c5a464d5f32c8f98ba97c1bb47f ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb" 1136849748 44729 811d6c62865936705a31c797a1d5dada ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" 1136849748 46026 6dab18b61c907687b520c72847215a68 ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb" 1136849748 45458 a3faba884469519614ca56ba5f6b1de1 ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf" 1136768653 1372 788387fea833ef5963f4c5bffe33eb89 ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf" 1136768653 1380 0ea3a3370054be6da6acd929ec569f06 ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf" 1136768653 1384 a9d8adaf491ce34e5fba99dc7bbe5f39 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" 1461363279 71627 94eb9990bed73c364d7f53f960cc8c5b ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty" 1644112042 7237 bdd120a32c8fdb4b433cf9ca2e7cd98a ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty" 1572645307 1057 525c2192b5febbd8c1f662c9468335bb ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty" 1701727651 17865 1a9bd36b4f98178fa551aca822290953 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex" 1673816307 1016 1c2b89187d12a2768764b83b4945667c ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex" 1601326656 43820 1fef971b75380574ab35a0d37fd92608 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex" 1601326656 19324 f4e4c6403dd0f1605fd20ed22fa79dea ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex" 1601326656 6038 ccb406740cc3f03bbfb58ad504fe8c27 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex" 1673816307 6911 f6d4cf5a3fef5cc879d668b810e82868 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex" 1601326656 4883 42daaf41e27c3735286e23e48d2d7af9 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex" 1601326656 2544 8c06d2a7f0f469616ac9e13db6d2f842 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex" 1601326656 44195 5e390c414de027626ca5e2df888fa68d ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex" 1601326656 17311 2ef6b2e29e2fc6a2fc8d6d652176e257 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex" 1601326656 21302 788a79944eb22192a4929e46963a3067 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex" 1673816307 9691 3d42d89522f4650c2f3dc616ca2b925e ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex" 1601326656 33335 dd1fa4814d4e51f18be97d88bf0da60c ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex" 1601326656 2965 4c2b1f4e0826925746439038172e5d6f ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex" 1601326656 5196 2cc249e0ee7e03da5f5f6589257b1e5b ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex" 1673816307 20821 7579108c1e9363e61a0b1584778804aa ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex" 1601326656 35249 abd4adf948f960299a4b3d27c5dddf46 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex" 1673816307 22012 81b34a0aa8fa1a6158cc6220b00e4f10 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex" 1601326656 8893 e851de2175338fdf7c17f3e091d94618 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/graphs/tikzlibrarygraphs.code.tex" 1673816307 86723 0209bbf0dbb55cd8213ecb06ebea3349 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex" 1601326656 319 225dfe354ba678ff3c194968db39d447 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarybackgrounds.code.tex" 1601326656 4572 4a19637ef65ce88ad2f2d5064b69541d ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex" 1601326656 15929 463535aa2c4268fead6674a75c0e8266 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarychains.code.tex" 1673816307 6816 d02c83dff7646998a96988d92df7f6f4 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex" 1673816307 5628 dc0ee4ba7f3e40acae5600067ce833de ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.markings.code.tex" 1601326656 788 fb28645a91ec7448ebe79bee60965a88 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryfadings.code.tex" 1601326656 1179 5483d86c1582c569e665c74efab6281f ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypatterns.code.tex" 1601326656 770 82e332cc9cc48e06b8070d74393a185a ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex" 1601326656 3937 3f208572dd82c71103831da976d74f1a ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshadows.code.tex" 1601326656 2889 d698e3a959304efa342d47e3bb86da5b ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.arrows.code.tex" 1601326656 410 048d1174dabde96757a5387b8f23d968 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.callouts.code.tex" 1601326656 1201 8bd51e254d3ecf0cd2f21edd9ab6f1bb ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.code.tex" 1601326656 494 8de62576191924285b021f4fc4292e16 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex" 1601326656 339 be0fe46d92a80e3385dd6a83511a46f2 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.misc.code.tex" 1601326656 329 ba6d5440f8c16779c2384e0614158266 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.multipart.code.tex" 1673816307 923 c7a223b32ffdeb1c839d97935eee61ff ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.symbols.code.tex" 1601326656 475 4b4056fe07caa0603fede9a162fe666d ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex" 1608933718 11518 738408f795261b70ce8dd47459171309 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex" 1673816307 186782 af500404a9edec4d362912fe762ded92 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.markings.code.tex" 1601326656 5220 c70346acb7ff99702098460fd6c18993 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex" 1601326656 31874 89148c383c49d4c72114a76fd0062299 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.code.tex" 1601326656 58801 1e750fb0692eb99aaac45698bbec96b1 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryfadings.code.tex" 1601326656 2563 d5b174eb7709fd6bdcc2f70953dbdf8e ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibrarypatterns.code.tex" 1601326656 7936 49e55444d57eb69a380c6baa35094828 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex" 1601326656 32995 ac577023e12c0e4bd8aa420b2e852d1a ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.arrows.code.tex" 1673816307 91587 d9b31a3e308b08833e4528a7b4484b4a ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.callouts.code.tex" 1601326656 33336 427c354e28a4802ffd781da22ae9f383 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex" 1673816307 161011 76ab54df0aa1a9d3b27a94864771d38d ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.misc.code.tex" 1673816307 46249 d1f322c52d26cf506b4988f31902cd5d ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.multipart.code.tex" 1601326656 62281 aff261ef10ba6cbe8e3c872a38c05a61 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.symbols.code.tex" 1673816307 90521 9d46d4504c2ffed28ff5ef3c43d15f21 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex" 1557692582 3063 8c415c68a0f3394e45cfeca0b65f6ee6 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex" 1673816307 949 cea70942e7b7eddabfb3186befada2e6 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex" 1673816307 13270 2e54f2ce7622437bf37e013d399743e3 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex" 1673816307 104717 9b2393fbf004a0ce7fa688dbce423848 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex" 1601326656 10165 cec5fa73d49da442e56efc2d605ef154 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex" 1601326656 28178 41c17713108e0795aac6fef3d275fbca ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex" 1673816307 9649 85779d3d8d573bfd2cd4137ba8202e60 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex" 1601326656 3865 ac538ab80c5cf82b345016e474786549 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex" 1557692582 3177 27d85c44fbfe09ff3b2cf2879e3ea434 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex" 1621110968 11024 0179538121bc2dba172013a3ef89519f ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex" 1673816307 7890 0a86dbf4edfd88d022e0d889ec78cc03 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex" 1601326656 3379 781797a101f647bab82741a99944a229 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex" 1601326656 92405 f515f31275db273f97b9d8f52e1b0736 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex" 1673816307 37466 97b0a1ba732e306a1a2034f5a73e239f ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex" 1601326656 8471 c2883569d03f69e8e1cabfef4999cfd7 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex" 1673816307 71742 3da44a8be6626eef1c400c68776c7a0f ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex" 1673816307 21211 1e73ec76bd73964d84197cc3d2685b01 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex" 1601326656 16121 346f9013d34804439f7436ff6786cef7 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex" 1673816307 44792 271e2e1934f34c759f4dedb1e14a5015 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex" 1673816307 114 e6d443369d0673933b38834bf99e422d ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg" 1601326656 926 2963ea0dcf6cc6c0a770b69ec46a477b ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def" 1673816307 5542 32f75a31ea6c3a7e1148cd6d5e93dbb7 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def" 1673816307 12612 7774ba67bfd72e593c4436c2de6201e3 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex" 1673816307 61351 bc5f86e0355834391e736e97a61abced ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex" 1601326656 1896 b8e0ca0ac371d74c0ca05583f6313c91 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex" 1601326656 7778 53c8b5623d80238f6a20aa1df1868e63 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfcalendar.code.tex" 1673816307 24149 056c3eb5ebac53bc396649bc52434c12 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex" 1673816307 24033 d8893a1ec4d1bfa101b172754743d340 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex" 1673816307 39784 414c54e866ebab4b801e2ad81d9b21d8 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.tex" 1673816307 37433 940bc6d409f1ffd298adfdcaf125dd86 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex" 1673816307 4385 510565c2f07998c8a0e14f0ec07ff23c ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex" 1673816307 29239 22e8c7516012992a49873eff0d868fed ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def" 1673816307 6950 8524a062d82b7afdc4a88a57cb377784 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkeyval.tex" 1655411236 19231 27205ee17aaa2902aea3e0c07a3cfc65 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkvutils.tex" 1655411236 7677 9cb1a74d945bc9331f2181c0a59ff34a ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/adjustbox/adjcalc.sty" 1666037967 5598 c49b91713cbe5e50a1fabefb733eda0d ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/adjustbox/adjustbox.sty" 1666037967 56907 e3e515e490dbc35309a010b5bbe1bef5 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/adjustbox/tc-pdftex.def" 1666037967 4070 1677cfee6374067b93f61cf57ecd7144 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/adjustbox/trimclip.sty" 1666037967 7244 36558f478da08e083d7316a63ba4bcd6 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1359763108 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1359763108 13829 94730e64147574077f8ecfea9bb69af4 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1686341992 2222 499d61426192c39efd8f410ee1a52b9c ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty" 1686341992 4173 82ac04dfb1256038fad068287fbb4fe6 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty" 1686341992 88371 d84032c0f422c3d1e282266c01bef237 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty" 1686341992 4474 b811654f4bf125f11506d13d13647efb ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty" 1686341992 2444 0d0c1ee65478277e8015d65b86983da2 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/base/article.cls" 1705352648 20144 147463a6a579f4597269ef9565205cfe ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty" 1705352648 5319 2b738d02ce36ada6dcdd9534940db0ee ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty" 1705352648 5048 425739d70251273bf93e3d51f3c40048 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo" 1705352648 8464 59874a3b0776c73e2a138b025d8473dd ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/booktabs/booktabs.sty" 1579038678 6078 f1cb470c9199e7110a27851508ed7a5c ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/cite/cite.sty" 1425427964 26218 19edeff8cdc2bcb704e8051dc55eb5a7 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/collectbox/collectbox.sty" 1666037909 9124 59c3b56f1a073de66e3eea35f9c173c8 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/currfile/currfile.sty" 1665433346 10709 a0fbaa73a4497077eef19db56dca76fd ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/datetime/datetime-defaults.sty" 1427500626 4105 4c80eaed8cd4f9a80cc6244c0adeb81f ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/datetime/datetime.sty" 1427500626 27587 b023ffe1328fa89e7f133201d87029de ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty" 1561238569 51697 f8f08183cd2080d9d18a41432d651dfb ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" 1579991033 13886 d1306dcf79a944f6988e688c1785f9ce ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/eso-pic/eso-pic.sty" 1683144721 11876 6ef493863ae0d7a984706973240c2237 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty" 1601931149 46845 3b58f70c6e861a13d927bff09d35ecbc ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/filehook/filehook-2020.sty" 1666814490 9005 c47d9138e4a690658bcefab0dd0af8d7 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty" 1666814490 1210 95c2d0abf75beadf7e7547b73b345c24 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/filemod/filemod-expmin.sty" 1316560476 2845 2b7393c472a738889b77cb266b9ef35d ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/fmtcount/fc-english.def" 1580337424 14353 f66b7dd28616119c2519cd5cc4dcae14 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/fmtcount/fcnumparser.sty" 1580337424 12389 43a81443714469abac77ce09f44ad2e2 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/fmtcount/fcprefix.sty" 1580337424 12098 5c732241af77b5f0e56e640b7d538395 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/fmtcount/fmtcount.sty" 1582668197 30872 ed70d543c537f19c96fc753321f1c3cc ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty" 1578002852 41601 9cf6c5257b1bc7af01a58859749dd37a ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/gincltex/gincltex.sty" 1315265409 3594 7c105130ddd1211e8275b3c1288d84c8 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1459978653 1213 620bba36b25224fa9b7e1ccb4ecb76fd ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1465944070 1224 978390e9c2234eab29404bc21b268d1e ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def" 1663965824 19448 1e988b341dda20961a6b931bcde55519 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty" 1654720880 18387 8f900a490197ebaf93c02ae9476d4b09 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty" 1654720880 8010 a8d949cbdbc5c983593827c9eec252e1 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty" 1654720880 2671 7e67d78d9b88c845599a85b2d41f2e39 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/graphics/lscape.sty" 1654720880 1822 5e4f855a9ecb640f34881e4b457fa9aa ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx" 1667332637 2885 9c645d672ae17285bba324998918efd8 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/graphics/rotating.sty" 1654720880 7060 497c495d7b832441a479571bbce898ae ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty" 1654720880 4023 293ea1c16429fc0c4cf605f4da1791a9 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty" 1666126449 2142 eae42205b97b7a3ad0e58db5fe99e3e6 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty" 1655478651 22555 6d8e155cfef6d82c3d5c742fea7c992e ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty" 1665067230 13815 760b0c02f691ea230f5359c4e1de23a7 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" 1704491087 30006 57b07afb710ee2f649c65cfbafda39c1 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" 1279039959 678 4792914a8f45be57bb98413425e4c7af ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg" 1677530001 1829 d8258b7d94f5f955e70c623e525f9f45 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty" 1677530001 80947 75a96bb4c9f40ae31d54a01d924df2ff ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty" 1677530001 77021 d05e9115c67855816136d82929db8892 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/makecell/makecell.sty" 1249334690 15773 2dd7dde1ec1c2a3d0c85bc3b273e04d8 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty" 1615845910 6149 2398eec4faa1ee24ff761581e580ecf1 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pdflscape/pdflscape-nometadata.sty" 1667072951 6572 ea530fbbe537629fd97736d33babc07d ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pdflscape/pdflscape.sty" 1667072951 2224 1230ab76aa62221ccbd90bca8c8c015e ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pdfpages/pdfpages.sty" 1705871773 54914 ea9713532d0d0ae802ca2446650f9ded ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pdfpages/pppdftex.def" 1705871773 6591 249ecc067cc3246c4ed39a577ded77e3 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty" 1601326656 1090 bae35ef70b3168089ef166db3e66f5b2 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty" 1673816307 373 00b204b1d7d095b892ad31a7494b0373 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty" 1601326656 21013 f4ff83d25bb56552493b030f27c075ae ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty" 1601326656 989 c49c8ae06d96f8b15869da7428047b1e ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty" 1601326656 339 c2e180022e3afdb99c7d0ea5ce469b7d ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty" 1601326656 306 c56a323ca5bf9242f54474ced10fca71 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty" 1601326656 443 8c872229db56122037e86bcda49e14f3 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfcalendar.sty" 1601326656 328 7411531f2e9e5c6aa139c84fbe10702e ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty" 1601326656 348 ee405e64380c11319f0e249fed57e6c5 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty" 1601326656 274 5ae372b7df79135d240456a1c6f2cf9a ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" 1601326656 325 f9f16d12354225b7dd52a3321f085955 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/pgfgantt/pgfgantt.sty" 1515620707 47785 88c861f46c2f86a25c7b7d0c7b0072ed ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/psnfss/mathptmx.sty" 1586716065 4631 6e41de2b7a83dfa5d2c4b0a2fe01f046 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1ptm.fd" 1137110629 961 15056f4a61917ceed3a44e4ac11fcc52 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty" 1670275497 22490 8cac309b79a4c53a4ffce4b1b07aead0 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/standalone/standalone.sty" 1665433651 34855 01a6d48b146a4c824944925004b07205 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/svn-prov/svn-prov.sty" 1272330018 6852 44ea8d7e58290cde708a34ebf3953571 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/titlesec/titlesec.sty" 1698436711 48766 0b93839be28e9744a24c45075c75b2e2 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/tocbibind/tocbibind.sty" 1287012853 8927 46f54e33fc9cef24f78ab3bc811cb63f ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty" 1698869629 12667 e4b5eb11e4b7239e6c8a52bbe074a6c6 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty" 1698869629 10214 547fd4d29642cb7c80bf54b49d447f01 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/tools/dcolumn.sty" 1698869629 2758 6d8c3b2be328b1495f570893443a8736 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/tools/shellesc.sty" 1698869629 4121 f96144e646260251ded7f19bcb6f4e71 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty" 1698869629 7147 d45559f8a31b8c53ada0640516660003 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/url/url.sty" 1388531844 12796 8edb7d69a20b857904dd0ea757c14ec9 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/varwidth/varwidth.sty" 1238697683 10894 d359a13923460b2a73d4312d613554c8 ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty" 1700082560 55487 80a65caedd3722f4c20a14a69e785d8f ""
|
||||
"/usr/share/texlive/texmf-dist/tex/latex/xkeyval/xkeyval.sty" 1655411236 4937 4ce600ce9bd4ec84d0250eb6892fcf4f ""
|
||||
"/usr/share/texlive/texmf-dist/web2c/texmf.cnf" 1707919699 40399 f2c302f7d2af602abb742093540a5834 ""
|
||||
"/usr/share/texmf/web2c/texmf.cnf" 1707919699 40399 f2c302f7d2af602abb742093540a5834 ""
|
||||
"/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1760105440.02229 5312232 f3296911be9cc021788f3f879cf0a47d ""
|
||||
"/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1726065868 6800790 607442c924ed54405961d2b8ac2a25ae ""
|
||||
"dane_proposal_format.cls" 1760101946.17006 2556 c1bd3b926e6061ad7830d53a6adf2dbf ""
|
||||
"goals-and-outcomes/research_statement.tex" 1760129029.6828 6149 62d6d868a6a6f35ed37916a44a268d72 ""
|
||||
"main.aux" 1760129049.01006 86 4f687615febcadcf7ed6342d13aa3006 "pdflatex"
|
||||
"main.tex" 1760101819.45278 122 445e46b5a5324d70fffe15cfb35f4fbb ""
|
||||
(generated)
|
||||
"main.aux"
|
||||
"main.log"
|
||||
"main.pdf"
|
||||
(rewritten before read)
|
||||
@ -1,376 +0,0 @@
|
||||
PWD /home/danesabo/Documents/Dane's Vault/Writing/ERLM
|
||||
INPUT /etc/texmf/web2c/texmf.cnf
|
||||
INPUT /usr/share/texmf/web2c/texmf.cnf
|
||||
INPUT /usr/share/texlive/texmf-dist/web2c/texmf.cnf
|
||||
INPUT /var/lib/texmf/web2c/pdftex/pdflatex.fmt
|
||||
INPUT main.tex
|
||||
OUTPUT main.log
|
||||
INPUT ./dane_proposal_format.cls
|
||||
INPUT dane_proposal_format.cls
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/url/url.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/url/url.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/psnfss/mathptmx.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/psnfss/mathptmx.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/titlesec/titlesec.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/titlesec/titlesec.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/datetime/datetime.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/datetime/datetime.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/fmtcount/fmtcount.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/fmtcount/fmtcount.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/xkeyval/xkeyval.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/xkeyval/xkeyval.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkeyval.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkvutils.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/fmtcount/fcprefix.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/fmtcount/fcprefix.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/fmtcount/fcnumparser.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/fmtcount/fcnumparser.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/datetime/datetime-defaults.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/datetime/datetime-defaults.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/cite/cite.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/cite/cite.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/tocbibind/tocbibind.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/tocbibind/tocbibind.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pdfpages/pdfpages.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pdfpages/pdfpages.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/eso-pic/eso-pic.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/eso-pic/eso-pic.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pdfpages/pppdftex.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pdfpages/pppdftex.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pdfpages/pppdftex.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/rotating.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/rotating.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.misc.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.misc.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.misc.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.misc.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.symbols.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.symbols.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.symbols.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.symbols.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.arrows.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.arrows.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.arrows.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.arrows.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.callouts.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.callouts.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.callouts.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.callouts.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.multipart.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.multipart.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.multipart.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.multipart.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/graphs/tikzlibrarygraphs.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/graphs/tikzlibrarygraphs.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarychains.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarychains.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.markings.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.markings.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.markings.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.markings.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshadows.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshadows.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryfadings.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryfadings.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryfadings.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryfadings.code.tex
|
||||
OUTPUT main.pdf
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/standalone/standalone.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/standalone/standalone.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/shellesc.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/shellesc.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/shellesc.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/currfile/currfile.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/currfile/currfile.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/filehook/filehook-2020.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/filehook/filehook-2020.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/gincltex/gincltex.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/gincltex/gincltex.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/gincltex/gincltex.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/svn-prov/svn-prov.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/svn-prov/svn-prov.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/adjustbox/adjustbox.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/adjustbox/adjustbox.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/adjustbox/adjcalc.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/adjustbox/adjcalc.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/adjustbox/trimclip.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/adjustbox/trimclip.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/collectbox/collectbox.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/collectbox/collectbox.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/adjustbox/tc-pdftex.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/adjustbox/tc-pdftex.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/adjustbox/tc-pdftex.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/varwidth/varwidth.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/varwidth/varwidth.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/varwidth/varwidth.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/filemod/filemod-expmin.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/filemod/filemod-expmin.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/booktabs/booktabs.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/booktabs/booktabs.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/array.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/array.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/makecell/makecell.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/makecell/makecell.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/dcolumn.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/dcolumn.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/lscape.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/lscape.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgfgantt/pgfgantt.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgfgantt/pgfgantt.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarybackgrounds.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarybackgrounds.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypatterns.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypatterns.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibrarypatterns.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibrarypatterns.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfcalendar.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfcalendar.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfcalendar.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfcalendar.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfcalendar.code.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1ptm.fd
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1ptm.fd
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1ptm.fd
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
|
||||
INPUT ./main.aux
|
||||
INPUT ./main.aux
|
||||
INPUT main.aux
|
||||
OUTPUT main.aux
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/fmtcount/fc-english.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/fmtcount/fc-english.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/fmtcount/fc-english.def
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pdflscape/pdflscape.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pdflscape/pdflscape.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pdflscape/pdflscape-nometadata.sty
|
||||
INPUT /usr/share/texlive/texmf-dist/tex/latex/pdflscape/pdflscape-nometadata.sty
|
||||
INPUT ./goals-and-outcomes/research_statement.tex
|
||||
INPUT ./goals-and-outcomes/research_statement.tex
|
||||
INPUT goals-and-outcomes/research_statement.tex
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm
|
||||
INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm
|
||||
INPUT main.aux
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb
|
||||
INPUT /usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb
|
||||
@ -1,878 +0,0 @@
|
||||
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2024.9.11) 10 OCT 2025 16:44
|
||||
entering extended mode
|
||||
restricted \write18 enabled.
|
||||
file:line:error style messages enabled.
|
||||
%&-line parsing enabled.
|
||||
**main.tex
|
||||
(./main.tex
|
||||
LaTeX2e <2023-11-01> patch level 1
|
||||
L3 programming layer <2024-01-22>
|
||||
(./dane_proposal_format.cls
|
||||
|
||||
LaTeX Warning: You have requested document class `dane_proposal_format',
|
||||
but the document class provides `prayer_circle'.
|
||||
|
||||
Document Class: prayer_circle 2025/09/02 Custom class for academic documents
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
|
||||
Document Class: article 2023/05/17 v1.4n Standard LaTeX document class
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
|
||||
File: size11.clo 2023/05/17 v1.4n Standard LaTeX file (size option)
|
||||
)
|
||||
\c@part=\count187
|
||||
\c@section=\count188
|
||||
\c@subsection=\count189
|
||||
\c@subsubsection=\count190
|
||||
\c@paragraph=\count191
|
||||
\c@subparagraph=\count192
|
||||
\c@figure=\count193
|
||||
\c@table=\count194
|
||||
\abovecaptionskip=\skip48
|
||||
\belowcaptionskip=\skip49
|
||||
\bibindent=\dimen140
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
|
||||
Package: inputenc 2021/02/14 v1.3d Input encoding file
|
||||
\inpenc@prehook=\toks17
|
||||
\inpenc@posthook=\toks18
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
|
||||
Package: geometry 2020/01/02 v5.9 Page Geometry
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
|
||||
Package: keyval 2022/05/29 v1.15 key=value parser (DPC)
|
||||
\KV@toks@=\toks19
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty
|
||||
Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead.
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty
|
||||
Package: iftex 2022/02/03 v1.0f TeX engine tests
|
||||
))
|
||||
\Gm@cnth=\count195
|
||||
\Gm@cntv=\count196
|
||||
\c@Gm@tempcnt=\count197
|
||||
\Gm@bindingoffset=\dimen141
|
||||
\Gm@wd@mp=\dimen142
|
||||
\Gm@odd@mp=\dimen143
|
||||
\Gm@even@mp=\dimen144
|
||||
\Gm@layoutwidth=\dimen145
|
||||
\Gm@layoutheight=\dimen146
|
||||
\Gm@layouthoffset=\dimen147
|
||||
\Gm@layoutvoffset=\dimen148
|
||||
\Gm@dimlist=\toks20
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
|
||||
\Urlmuskip=\muskip16
|
||||
Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/mathptmx.sty
|
||||
Package: mathptmx 2020/03/25 PSNFSS-v9.3 Times w/ Math, improved (SPQR, WaS)
|
||||
LaTeX Font Info: Redeclaring symbol font `operators' on input line 28.
|
||||
LaTeX Font Info: Overwriting symbol font `operators' in version `normal'
|
||||
(Font) OT1/cmr/m/n --> OT1/ztmcm/m/n on input line 28.
|
||||
LaTeX Font Info: Overwriting symbol font `operators' in version `bold'
|
||||
(Font) OT1/cmr/bx/n --> OT1/ztmcm/m/n on input line 28.
|
||||
LaTeX Font Info: Redeclaring symbol font `letters' on input line 29.
|
||||
LaTeX Font Info: Overwriting symbol font `letters' in version `normal'
|
||||
(Font) OML/cmm/m/it --> OML/ztmcm/m/it on input line 29.
|
||||
LaTeX Font Info: Overwriting symbol font `letters' in version `bold'
|
||||
(Font) OML/cmm/b/it --> OML/ztmcm/m/it on input line 29.
|
||||
LaTeX Font Info: Redeclaring symbol font `symbols' on input line 30.
|
||||
LaTeX Font Info: Overwriting symbol font `symbols' in version `normal'
|
||||
(Font) OMS/cmsy/m/n --> OMS/ztmcm/m/n on input line 30.
|
||||
LaTeX Font Info: Overwriting symbol font `symbols' in version `bold'
|
||||
(Font) OMS/cmsy/b/n --> OMS/ztmcm/m/n on input line 30.
|
||||
LaTeX Font Info: Redeclaring symbol font `largesymbols' on input line 31.
|
||||
LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal'
|
||||
(Font) OMX/cmex/m/n --> OMX/ztmcm/m/n on input line 31.
|
||||
LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold'
|
||||
(Font) OMX/cmex/m/n --> OMX/ztmcm/m/n on input line 31.
|
||||
\symbold=\mathgroup4
|
||||
\symitalic=\mathgroup5
|
||||
LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 34.
|
||||
LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal'
|
||||
(Font) OT1/cmr/bx/n --> OT1/ptm/bx/n on input line 34.
|
||||
LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold'
|
||||
(Font) OT1/cmr/bx/n --> OT1/ptm/bx/n on input line 34.
|
||||
LaTeX Font Info: Redeclaring math alphabet \mathit on input line 35.
|
||||
LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal'
|
||||
(Font) OT1/cmr/m/it --> OT1/ptm/m/it on input line 35.
|
||||
LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold'
|
||||
(Font) OT1/cmr/bx/it --> OT1/ptm/m/it on input line 35.
|
||||
LaTeX Info: Redefining \hbar on input line 50.
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/titlesec/titlesec.sty
|
||||
Package: titlesec 2023/10/27 v2.16 Sectioning titles
|
||||
\ttl@box=\box51
|
||||
\beforetitleunit=\skip50
|
||||
\aftertitleunit=\skip51
|
||||
\ttl@plus=\dimen149
|
||||
\ttl@minus=\dimen150
|
||||
\ttl@toksa=\toks21
|
||||
\titlewidth=\dimen151
|
||||
\titlewidthlast=\dimen152
|
||||
\titlewidthfirst=\dimen153
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty
|
||||
Package: setspace 2022/12/04 v6.7b set line spacing
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/datetime/datetime.sty
|
||||
Package: datetime 2015/03/20 v2.60 Date Time Package
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty
|
||||
Package: etoolbox 2020/10/05 v2.5k e-TeX tools for LaTeX (JAW)
|
||||
\etb@tempcnta=\count198
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/fmtcount/fmtcount.sty
|
||||
Package: fmtcount 2020/01/30 v3.07
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
|
||||
Package: ifthen 2022/04/13 v1.1d Standard LaTeX ifthen package (DPC)
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/xkeyval/xkeyval.sty
|
||||
Package: xkeyval 2022/06/16 v2.9 package option processing (HA)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkeyval.tex (/usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkvutils.tex
|
||||
\XKV@toks=\toks22
|
||||
\XKV@tempa@toks=\toks23
|
||||
)
|
||||
\XKV@depth=\count199
|
||||
File: xkeyval.tex 2014/12/03 v2.7a key=value parser (HA)
|
||||
)) (/usr/share/texlive/texmf-dist/tex/latex/fmtcount/fcprefix.sty
|
||||
Package: fcprefix 2012/09/28
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/fmtcount/fcnumparser.sty
|
||||
Package: fcnumparser 2017/06/15
|
||||
\fc@digit@counter=\count266
|
||||
)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
|
||||
File: amsgen.sty 1999/11/30 v2.0 generic functions
|
||||
\@emptytoks=\toks24
|
||||
\ex@=\dimen154
|
||||
)
|
||||
\c@padzeroesN=\count267
|
||||
\fc@tmpcatcode=\count268
|
||||
\@DT@modctr=\count269
|
||||
\@ordinalctr=\count270
|
||||
\@orgargctr=\count271
|
||||
\@strctr=\count272
|
||||
\@tmpstrctr=\count273
|
||||
\@DT@loopN=\count274
|
||||
\@DT@X=\count275
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/datetime/datetime-defaults.sty
|
||||
Package: datetime-defaults 2013/09/10
|
||||
)
|
||||
\@day=\count276
|
||||
\@month=\count277
|
||||
\@year=\count278
|
||||
\c@HOUR=\count279
|
||||
\c@HOURXII=\count280
|
||||
\c@MINUTE=\count281
|
||||
\c@TOHOUR=\count282
|
||||
\c@TOMINUTE=\count283
|
||||
\c@SECOND=\count284
|
||||
\currenthour=\count285
|
||||
\currentminute=\count286
|
||||
\currentsecond=\count287
|
||||
Package datetime Info: No datetime.cfg file found, using default settings on input line 308.
|
||||
\@dtctr=\count288
|
||||
\dayofyear=\count289
|
||||
\dayofweek=\count290
|
||||
LaTeX Info: Redefining \today on input line 736.
|
||||
\dt@a=\toks25
|
||||
\dt@b=\toks26
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/cite/cite.sty
|
||||
LaTeX Info: Redefining \cite on input line 302.
|
||||
LaTeX Info: Redefining \nocite on input line 332.
|
||||
Package: cite 2015/02/27 v 5.5
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/tocbibind/tocbibind.sty
|
||||
Package: tocbibind 2010/10/13 v1.5k extra ToC listings
|
||||
Package tocbibind Info: The document has section divisions on input line 50.
|
||||
|
||||
|
||||
Package tocbibind Note: Using section or other style headings.
|
||||
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
|
||||
Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR)
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
|
||||
Package: graphics 2022/03/10 v1.4e Standard LaTeX Graphics (DPC,SPQR)
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
|
||||
Package: trig 2021/08/11 v1.11 sin cos tan (DPC)
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
|
||||
File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
|
||||
)
|
||||
Package graphics Info: Driver file: pdftex.def on input line 107.
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def
|
||||
File: pdftex.def 2022/09/22 v1.2b Graphics/color driver for pdftex
|
||||
))
|
||||
\Gin@req@height=\dimen155
|
||||
\Gin@req@width=\dimen156
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/pdfpages/pdfpages.sty
|
||||
Package: pdfpages 2024/01/21 v0.5y Insert pages of external PDF documents (AM)
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty
|
||||
Package: calc 2023/07/08 v4.3 Infix arithmetic (KKT,FJ)
|
||||
\calc@Acount=\count291
|
||||
\calc@Bcount=\count292
|
||||
\calc@Adimen=\dimen157
|
||||
\calc@Bdimen=\dimen158
|
||||
\calc@Askip=\skip52
|
||||
\calc@Bskip=\skip53
|
||||
LaTeX Info: Redefining \setlength on input line 80.
|
||||
LaTeX Info: Redefining \addtolength on input line 81.
|
||||
\calc@Ccount=\count293
|
||||
\calc@Cskip=\skip54
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/eso-pic/eso-pic.sty
|
||||
Package: eso-pic 2023/05/03 v3.0c eso-pic (RN)
|
||||
\ESO@tempdima=\dimen159
|
||||
\ESO@tempdimb=\dimen160
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
|
||||
Package: xcolor 2023/11/15 v3.01 LaTeX color extensions (UK)
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg
|
||||
File: color.cfg 2016/01/02 v1.6 sample color configuration
|
||||
)
|
||||
Package xcolor Info: Driver file: pdftex.def on input line 274.
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)
|
||||
Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1350.
|
||||
Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1354.
|
||||
Package xcolor Info: Model `RGB' extended on input line 1366.
|
||||
Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1368.
|
||||
Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1369.
|
||||
Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1370.
|
||||
Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1371.
|
||||
Package xcolor Info: Model `Gray' substituted by `gray' on input line 1372.
|
||||
Package xcolor Info: Model `wave' substituted by `hsb' on input line 1373.
|
||||
))
|
||||
\AM@pagewidth=\dimen161
|
||||
\AM@pageheight=\dimen162
|
||||
\AM@fboxrule=\dimen163
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/pdfpages/pppdftex.def
|
||||
File: pppdftex.def 2024/01/21 v0.5y Pdfpages driver for pdfTeX (AM)
|
||||
)
|
||||
\pdfpages@includegraphics@status=\count294
|
||||
\AM@pagebox=\box52
|
||||
\AM@global@opts=\toks27
|
||||
\AM@pagecnt=\count295
|
||||
\AM@toc@title=\toks28
|
||||
\AM@lof@heading=\toks29
|
||||
\c@AM@survey=\count296
|
||||
\AM@templatesizebox=\box53
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/graphics/rotating.sty
|
||||
Package: rotating 2016/08/11 v2.16d rotated objects in LaTeX
|
||||
\c@r@tfl@t=\count297
|
||||
\rotFPtop=\skip55
|
||||
\rotFPbot=\skip56
|
||||
\rot@float@box=\box54
|
||||
\rot@mess@toks=\toks30
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
|
||||
\pgfutil@everybye=\toks31
|
||||
\pgfutil@tempdima=\dimen164
|
||||
\pgfutil@tempdimb=\dimen165
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
|
||||
\pgfutil@abb=\box55
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex)
|
||||
Package: pgfrcs 2023-01-15 v3.1.10 (3.1.10)
|
||||
))
|
||||
Package: pgf 2023-01-15 v3.1.10 (3.1.10)
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
|
||||
Package: pgfsys 2023-01-15 v3.1.10 (3.1.10)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
|
||||
\pgfkeys@pathtoks=\toks32
|
||||
\pgfkeys@temptoks=\toks33
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.tex
|
||||
\pgfkeys@tmptoks=\toks34
|
||||
))
|
||||
\pgf@x=\dimen166
|
||||
\pgf@y=\dimen167
|
||||
\pgf@xa=\dimen168
|
||||
\pgf@ya=\dimen169
|
||||
\pgf@xb=\dimen170
|
||||
\pgf@yb=\dimen171
|
||||
\pgf@xc=\dimen172
|
||||
\pgf@yc=\dimen173
|
||||
\pgf@xd=\dimen174
|
||||
\pgf@yd=\dimen175
|
||||
\w@pgf@writea=\write3
|
||||
\r@pgf@reada=\read2
|
||||
\c@pgf@counta=\count298
|
||||
\c@pgf@countb=\count299
|
||||
\c@pgf@countc=\count300
|
||||
\c@pgf@countd=\count301
|
||||
\t@pgf@toka=\toks35
|
||||
\t@pgf@tokb=\toks36
|
||||
\t@pgf@tokc=\toks37
|
||||
\pgf@sys@id@count=\count302
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
|
||||
File: pgf.cfg 2023-01-15 v3.1.10 (3.1.10)
|
||||
)
|
||||
Driver file for pgf: pgfsys-pdftex.def
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
|
||||
File: pgfsys-pdftex.def 2023-01-15 v3.1.10 (3.1.10)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
|
||||
File: pgfsys-common-pdf.def 2023-01-15 v3.1.10 (3.1.10)
|
||||
)))
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
|
||||
File: pgfsyssoftpath.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgfsyssoftpath@smallbuffer@items=\count303
|
||||
\pgfsyssoftpath@bigbuffer@items=\count304
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
|
||||
File: pgfsysprotocol.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
|
||||
Package: pgfcore 2023-01-15 v3.1.10 (3.1.10)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
|
||||
\pgfmath@dimen=\dimen176
|
||||
\pgfmath@count=\count305
|
||||
\pgfmath@box=\box56
|
||||
\pgfmath@toks=\toks38
|
||||
\pgfmath@stack@operand=\toks39
|
||||
\pgfmath@stack@operation=\toks40
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
|
||||
\c@pgfmathroundto@lastzeros=\count306
|
||||
)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
|
||||
File: pgfcorepoints.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgf@picminx=\dimen177
|
||||
\pgf@picmaxx=\dimen178
|
||||
\pgf@picminy=\dimen179
|
||||
\pgf@picmaxy=\dimen180
|
||||
\pgf@pathminx=\dimen181
|
||||
\pgf@pathmaxx=\dimen182
|
||||
\pgf@pathminy=\dimen183
|
||||
\pgf@pathmaxy=\dimen184
|
||||
\pgf@xx=\dimen185
|
||||
\pgf@xy=\dimen186
|
||||
\pgf@yx=\dimen187
|
||||
\pgf@yy=\dimen188
|
||||
\pgf@zx=\dimen189
|
||||
\pgf@zy=\dimen190
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
|
||||
File: pgfcorepathconstruct.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgf@path@lastx=\dimen191
|
||||
\pgf@path@lasty=\dimen192
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
|
||||
File: pgfcorepathusage.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgf@shorten@end@additional=\dimen193
|
||||
\pgf@shorten@start@additional=\dimen194
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
|
||||
File: pgfcorescopes.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgfpic=\box57
|
||||
\pgf@hbox=\box58
|
||||
\pgf@layerbox@main=\box59
|
||||
\pgf@picture@serial@count=\count307
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
|
||||
File: pgfcoregraphicstate.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgflinewidth=\dimen195
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
|
||||
File: pgfcoretransformations.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgf@pt@x=\dimen196
|
||||
\pgf@pt@y=\dimen197
|
||||
\pgf@pt@temp=\dimen198
|
||||
)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
|
||||
File: pgfcorequick.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
|
||||
File: pgfcoreobjects.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
|
||||
File: pgfcorepathprocessing.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
|
||||
File: pgfcorearrows.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgfarrowsep=\dimen199
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
|
||||
File: pgfcoreshade.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgf@max=\dimen256
|
||||
\pgf@sys@shading@range@num=\count308
|
||||
\pgf@shadingcount=\count309
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
|
||||
File: pgfcoreimage.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
|
||||
File: pgfcoreexternal.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgfexternal@startupbox=\box60
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
|
||||
File: pgfcorelayers.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
|
||||
File: pgfcoretransparency.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
|
||||
File: pgfcorepatterns.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex
|
||||
File: pgfcorerdf.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
|
||||
File: pgfmoduleshapes.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgfnodeparttextbox=\box61
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
|
||||
File: pgfmoduleplot.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
|
||||
Package: pgfcomp-version-0-65 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgf@nodesepstart=\dimen257
|
||||
\pgf@nodesepend=\dimen258
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
|
||||
Package: pgfcomp-version-1-18 2023-01-15 v3.1.10 (3.1.10)
|
||||
)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
|
||||
Package: pgffor 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgffor@iter=\dimen259
|
||||
\pgffor@skip=\dimen260
|
||||
\pgffor@stack=\toks41
|
||||
\pgffor@toks=\toks42
|
||||
)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
|
||||
Package: tikz 2023-01-15 v3.1.10 (3.1.10)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
|
||||
File: pgflibraryplothandlers.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgf@plot@mark@count=\count310
|
||||
\pgfplotmarksize=\dimen261
|
||||
)
|
||||
\tikz@lastx=\dimen262
|
||||
\tikz@lasty=\dimen263
|
||||
\tikz@lastxsaved=\dimen264
|
||||
\tikz@lastysaved=\dimen265
|
||||
\tikz@lastmovetox=\dimen266
|
||||
\tikz@lastmovetoy=\dimen267
|
||||
\tikzleveldistance=\dimen268
|
||||
\tikzsiblingdistance=\dimen269
|
||||
\tikz@figbox=\box62
|
||||
\tikz@figbox@bg=\box63
|
||||
\tikz@tempbox=\box64
|
||||
\tikz@tempbox@bg=\box65
|
||||
\tikztreelevel=\count311
|
||||
\tikznumberofchildren=\count312
|
||||
\tikznumberofcurrentchild=\count313
|
||||
\tikz@fig@count=\count314
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
|
||||
File: pgfmodulematrix.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgfmatrixcurrentrow=\count315
|
||||
\pgfmatrixcurrentcolumn=\count316
|
||||
\pgf@matrix@numberofcolumns=\count317
|
||||
)
|
||||
\tikz@expandcount=\count318
|
||||
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex
|
||||
File: tikzlibrarytopaths.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex
|
||||
File: tikzlibrarypositioning.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.code.tex
|
||||
File: tikzlibraryshapes.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex
|
||||
File: tikzlibraryshapes.geometric.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex
|
||||
File: pgflibraryshapes.geometric.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.misc.code.tex
|
||||
File: tikzlibraryshapes.misc.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.misc.code.tex
|
||||
File: pgflibraryshapes.misc.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.symbols.code.tex
|
||||
File: tikzlibraryshapes.symbols.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.symbols.code.tex
|
||||
File: pgflibraryshapes.symbols.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.arrows.code.tex
|
||||
File: tikzlibraryshapes.arrows.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.arrows.code.tex
|
||||
File: pgflibraryshapes.arrows.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.callouts.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.callouts.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.multipart.code.tex
|
||||
File: tikzlibraryshapes.multipart.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.multipart.code.tex
|
||||
File: pgflibraryshapes.multipart.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgfnodepartlowerbox=\box66
|
||||
\pgfnodeparttwobox=\box67
|
||||
\pgfnodepartthreebox=\box68
|
||||
\pgfnodepartfourbox=\box69
|
||||
\pgfnodeparttwentybox=\box70
|
||||
\pgfnodepartnineteenbox=\box71
|
||||
\pgfnodeparteighteenbox=\box72
|
||||
\pgfnodepartseventeenbox=\box73
|
||||
\pgfnodepartsixteenbox=\box74
|
||||
\pgfnodepartfifteenbox=\box75
|
||||
\pgfnodepartfourteenbox=\box76
|
||||
\pgfnodepartthirteenbox=\box77
|
||||
\pgfnodeparttwelvebox=\box78
|
||||
\pgfnodepartelevenbox=\box79
|
||||
\pgfnodeparttenbox=\box80
|
||||
\pgfnodepartninebox=\box81
|
||||
\pgfnodeparteightbox=\box82
|
||||
\pgfnodepartsevenbox=\box83
|
||||
\pgfnodepartsixbox=\box84
|
||||
\pgfnodepartfivebox=\box85
|
||||
))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex
|
||||
File: tikzlibraryarrows.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex
|
||||
File: pgflibraryarrows.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\arrowsize=\dimen270
|
||||
)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/graphs/tikzlibrarygraphs.code.tex
|
||||
File: tikzlibrarygraphs.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\tikz@lib@auto@number=\count319
|
||||
\tikz@qnode@count=\count320
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex
|
||||
File: tikzlibrarycalc.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarychains.code.tex
|
||||
File: tikzlibrarychains.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.markings.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex
|
||||
\pgfdecoratedcompleteddistance=\dimen271
|
||||
\pgfdecoratedremainingdistance=\dimen272
|
||||
\pgfdecoratedinputsegmentcompleteddistance=\dimen273
|
||||
\pgfdecoratedinputsegmentremainingdistance=\dimen274
|
||||
\pgf@decorate@distancetomove=\dimen275
|
||||
\pgf@decorate@repeatstate=\count321
|
||||
\pgfdecorationsegmentamplitude=\dimen276
|
||||
\pgfdecorationsegmentlength=\dimen277
|
||||
)
|
||||
\tikz@lib@dec@box=\box86
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.markings.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshadows.code.tex
|
||||
File: tikzlibraryshadows.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryfadings.code.tex
|
||||
File: tikzlibraryfadings.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryfadings.code.tex
|
||||
File: pgflibraryfadings.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.code.tex
|
||||
File: pgflibraryarrows.meta.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgfarrowinset=\dimen278
|
||||
\pgfarrowlength=\dimen279
|
||||
\pgfarrowwidth=\dimen280
|
||||
\pgfarrowlinewidth=\dimen281
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/standalone/standalone.sty
|
||||
Package: standalone 2022/10/10 v1.3b Package to include TeX sub-files with preambles
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/tools/shellesc.sty
|
||||
Package: shellesc 2023/07/08 v1.0d unified shell escape interface for LaTeX
|
||||
Package shellesc Info: Restricted shell escape enabled on input line 77.
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/currfile/currfile.sty
|
||||
Package: currfile 2022/10/10 v0.8 Provides the file path elements of the current input file
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty
|
||||
Package: kvoptions 2022-06-15 v3.15 Key value format for package options (HO)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
|
||||
Package: ltxcmds 2023-12-04 v1.26 LaTeX kernel commands for general use (HO)
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty
|
||||
Package: kvsetkeys 2022-10-05 v1.19 Key value parser (HO)
|
||||
)) (/usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty
|
||||
Package: filehook 2022/10/25 v0.8b Hooks for input files
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/filehook/filehook-2020.sty
|
||||
Package: filehook-2020 2022/10/25 v0.8b Hooks for input files
|
||||
))
|
||||
\c@currfiledepth=\count322
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/gincltex/gincltex.sty (/usr/share/texlive/texmf-dist/tex/latex/svn-prov/svn-prov.sty
|
||||
Package: svn-prov 2010/04/24 v3.1862 Package Date/Version from SVN Keywords
|
||||
)
|
||||
Package: gincltex 2011/09/04 v0.3 Include external LaTeX files like graphics
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/adjustbox/adjustbox.sty
|
||||
Package: adjustbox 2022/10/17 v1.3a Adjusting TeX boxes (trim, clip, ...)
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/adjustbox/adjcalc.sty
|
||||
Package: adjcalc 2012/05/16 v1.1 Provides advanced setlength with multiple back-ends (calc, etex, pgfmath)
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/adjustbox/trimclip.sty
|
||||
Package: trimclip 2020/08/19 v1.2 Trim and clip general TeX material
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/collectbox/collectbox.sty
|
||||
Package: collectbox 2022/10/17 v0.4c Collect macro arguments as boxes
|
||||
\collectedbox=\box87
|
||||
)
|
||||
\tc@llx=\dimen282
|
||||
\tc@lly=\dimen283
|
||||
\tc@urx=\dimen284
|
||||
\tc@ury=\dimen285
|
||||
Package trimclip Info: Using driver 'tc-pdftex.def'.
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/adjustbox/tc-pdftex.def
|
||||
File: tc-pdftex.def 2019/01/04 v2.2 Clipping driver for pdftex
|
||||
))
|
||||
\adjbox@Width=\dimen286
|
||||
\adjbox@Height=\dimen287
|
||||
\adjbox@Depth=\dimen288
|
||||
\adjbox@Totalheight=\dimen289
|
||||
\adjbox@pwidth=\dimen290
|
||||
\adjbox@pheight=\dimen291
|
||||
\adjbox@pdepth=\dimen292
|
||||
\adjbox@ptotalheight=\dimen293
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
|
||||
Package: ifoddpage 2022/10/18 v1.2 Conditionals for odd/even page detection
|
||||
\c@checkoddpage=\count323
|
||||
)
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/varwidth/varwidth.sty
|
||||
Package: varwidth 2009/03/30 ver 0.92; Variable-width minipages
|
||||
\@vwid@box=\box88
|
||||
\sift@deathcycles=\count324
|
||||
\@vwid@loff=\dimen294
|
||||
\@vwid@roff=\dimen295
|
||||
))
|
||||
\gincltex@box=\box89
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/filemod/filemod-expmin.sty
|
||||
Package: filemod-expmin 2011/09/19 v1.2 Get and compare file modification times (expandable; minimal)
|
||||
)) (/usr/share/texlive/texmf-dist/tex/latex/booktabs/booktabs.sty
|
||||
Package: booktabs 2020/01/12 v1.61803398 Publication quality tables
|
||||
\heavyrulewidth=\dimen296
|
||||
\lightrulewidth=\dimen297
|
||||
\cmidrulewidth=\dimen298
|
||||
\belowrulesep=\dimen299
|
||||
\belowbottomsep=\dimen300
|
||||
\aboverulesep=\dimen301
|
||||
\abovetopsep=\dimen302
|
||||
\cmidrulesep=\dimen303
|
||||
\cmidrulekern=\dimen304
|
||||
\defaultaddspace=\dimen305
|
||||
\@cmidla=\count325
|
||||
\@cmidlb=\count326
|
||||
\@aboverulesep=\dimen306
|
||||
\@belowrulesep=\dimen307
|
||||
\@thisruleclass=\count327
|
||||
\@lastruleclass=\count328
|
||||
\@thisrulewidth=\dimen308
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty
|
||||
Package: tabularx 2023/07/08 v2.11c `tabularx' package (DPC)
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty
|
||||
Package: array 2023/10/16 v2.5g Tabular extension package (FMi)
|
||||
\col@sep=\dimen309
|
||||
\ar@mcellbox=\box90
|
||||
\extrarowheight=\dimen310
|
||||
\NC@list=\toks43
|
||||
\extratabsurround=\skip57
|
||||
\backup@length=\skip58
|
||||
\ar@cellbox=\box91
|
||||
)
|
||||
\TX@col@width=\dimen311
|
||||
\TX@old@table=\dimen312
|
||||
\TX@old@col=\dimen313
|
||||
\TX@target=\dimen314
|
||||
\TX@delta=\dimen315
|
||||
\TX@cols=\count329
|
||||
\TX@ftn=\toks44
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/makecell/makecell.sty
|
||||
Package: makecell 2009/08/03 V0.1e Managing of Tab Column Heads and Cells
|
||||
\rotheadsize=\dimen316
|
||||
\c@nlinenum=\count330
|
||||
\TeXr@lab=\toks45
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/tools/dcolumn.sty
|
||||
Package: dcolumn 2023/07/08 v1.06 decimal alignment package (DPC)
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty
|
||||
Package: multirow 2021/03/15 v2.8 Span multiple rows of a table
|
||||
\multirow@colwidth=\skip59
|
||||
\multirow@cntb=\count331
|
||||
\multirow@dima=\skip60
|
||||
\bigstrutjot=\dimen317
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/graphics/lscape.sty
|
||||
Package: lscape 2020/05/28 v3.02 Landscape Pages (DPC)
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
|
||||
Package: amsmath 2023/05/13 v2.17o AMS math features
|
||||
\@mathmargin=\skip61
|
||||
|
||||
For additional information on amsmath, use the `?' option.
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
|
||||
Package: amstext 2021/08/26 v2.01 AMS text
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
|
||||
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
|
||||
\pmbraise@=\dimen318
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
|
||||
Package: amsopn 2022/04/08 v2.04 operator names
|
||||
)
|
||||
\inf@bad=\count332
|
||||
LaTeX Info: Redefining \frac on input line 234.
|
||||
\uproot@=\count333
|
||||
\leftroot@=\count334
|
||||
LaTeX Info: Redefining \overline on input line 399.
|
||||
LaTeX Info: Redefining \colon on input line 410.
|
||||
\classnum@=\count335
|
||||
\DOTSCASE@=\count336
|
||||
LaTeX Info: Redefining \ldots on input line 496.
|
||||
LaTeX Info: Redefining \dots on input line 499.
|
||||
LaTeX Info: Redefining \cdots on input line 620.
|
||||
\Mathstrutbox@=\box92
|
||||
\strutbox@=\box93
|
||||
LaTeX Info: Redefining \big on input line 722.
|
||||
LaTeX Info: Redefining \Big on input line 723.
|
||||
LaTeX Info: Redefining \bigg on input line 724.
|
||||
LaTeX Info: Redefining \Bigg on input line 725.
|
||||
\big@size=\dimen319
|
||||
LaTeX Font Info: Redeclaring font encoding OML on input line 743.
|
||||
LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
|
||||
\macc@depth=\count337
|
||||
LaTeX Info: Redefining \bmod on input line 905.
|
||||
LaTeX Info: Redefining \pmod on input line 910.
|
||||
LaTeX Info: Redefining \smash on input line 940.
|
||||
LaTeX Info: Redefining \relbar on input line 970.
|
||||
LaTeX Info: Redefining \Relbar on input line 971.
|
||||
\c@MaxMatrixCols=\count338
|
||||
\dotsspace@=\muskip17
|
||||
\c@parentequation=\count339
|
||||
\dspbrk@lvl=\count340
|
||||
\tag@help=\toks46
|
||||
\row@=\count341
|
||||
\column@=\count342
|
||||
\maxfields@=\count343
|
||||
\andhelp@=\toks47
|
||||
\eqnshift@=\dimen320
|
||||
\alignsep@=\dimen321
|
||||
\tagshift@=\dimen322
|
||||
\tagwidth@=\dimen323
|
||||
\totwidth@=\dimen324
|
||||
\lineht@=\dimen325
|
||||
\@envbody=\toks48
|
||||
\multlinegap=\skip62
|
||||
\multlinetaggap=\skip63
|
||||
\mathdisplay@stack=\toks49
|
||||
LaTeX Info: Redefining \[ on input line 2953.
|
||||
LaTeX Info: Redefining \] on input line 2954.
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
|
||||
Package: amssymb 2013/01/14 v3.01 AMS font symbols
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
|
||||
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
|
||||
\symAMSa=\mathgroup6
|
||||
\symAMSb=\mathgroup7
|
||||
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
|
||||
(Font) U/euf/m/n --> U/euf/b/n on input line 106.
|
||||
)) (/usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty
|
||||
Package: enumitem 2019/06/20 v3.9 Customized lists
|
||||
\labelindent=\skip64
|
||||
\enit@outerparindent=\dimen326
|
||||
\enit@toks=\toks50
|
||||
\enit@inbox=\box94
|
||||
\enit@count@id=\count344
|
||||
\enitdp@description=\count345
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty
|
||||
\lst@mode=\count346
|
||||
\lst@gtempboxa=\box95
|
||||
\lst@token=\toks51
|
||||
\lst@length=\count347
|
||||
\lst@currlwidth=\dimen327
|
||||
\lst@column=\count348
|
||||
\lst@pos=\count349
|
||||
\lst@lostspace=\dimen328
|
||||
\lst@width=\dimen329
|
||||
\lst@newlines=\count350
|
||||
\lst@lineno=\count351
|
||||
\lst@maxwidth=\dimen330
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
|
||||
File: lstmisc.sty 2023/02/27 1.9 (Carsten Heinz)
|
||||
\c@lstnumber=\count352
|
||||
\lst@skipnumbers=\count353
|
||||
\lst@framebox=\box96
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg
|
||||
File: listings.cfg 2023/02/27 1.9 listings configuration
|
||||
))
|
||||
Package: listings 2023/02/27 1.9 (Carsten Heinz)
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/pgfgantt/pgfgantt.sty
|
||||
Package: pgfgantt 2018/01/10 v5.0 Draw Gantt diagrams with TikZ
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarybackgrounds.code.tex
|
||||
File: tikzlibrarybackgrounds.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgf@layerbox@background=\box97
|
||||
\pgf@layerboxsaved@background=\box98
|
||||
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypatterns.code.tex
|
||||
File: tikzlibrarypatterns.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibrarypatterns.code.tex
|
||||
File: pgflibrarypatterns.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfcalendar.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfcalendar.code.tex
|
||||
File: pgfcalendar.code.tex 2023-01-15 v3.1.10 (3.1.10)
|
||||
\pgfcalendarcurrentjulian=\count354
|
||||
\pgf@cal@easter@Y=\count355
|
||||
\pgf@cal@easter@G=\count356
|
||||
\pgf@cal@easter@C=\count357
|
||||
\pgf@cal@easter@X=\count358
|
||||
\pgf@cal@easter@Z=\count359
|
||||
\pgf@cal@easter@D=\count360
|
||||
\pgf@cal@easter@E=\count361
|
||||
\pgf@cal@easter@N=\count362
|
||||
\pgf@cal@easter@M=\count363
|
||||
\pgf@cal@easter@julianday=\count364
|
||||
))
|
||||
\gtt@currentline=\count365
|
||||
\gtt@lasttitleline=\count366
|
||||
\gtt@currgrid=\count367
|
||||
\gtt@chartwidth=\count368
|
||||
\gtt@lasttitleslot=\count369
|
||||
\gtt@elementid=\count370
|
||||
\gtt@today@slot=\count371
|
||||
\gtt@startjulian=\count372
|
||||
\gtt@endjulian=\count373
|
||||
\gtt@chartid=\count374
|
||||
\gtt@vrule@slot=\count375
|
||||
\gtt@calendar@slots=\count376
|
||||
\gtt@calendar@weeknumber=\count377
|
||||
\gtt@calendar@startofweek=\count378
|
||||
\gtt@left@slot=\count379
|
||||
\gtt@right@slot=\count380
|
||||
)
|
||||
\figurewidth=\skip65
|
||||
\figureheight=\skip66
|
||||
\c@task=\count381
|
||||
)
|
||||
LaTeX Font Info: Trying to load font information for OT1+ptm on input line 3.
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1ptm.fd
|
||||
File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm.
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
|
||||
File: l3backend-pdftex.def 2024-01-04 L3 backend support: PDF output (pdfTeX)
|
||||
\l__color_backend_stack_int=\count382
|
||||
\l__pdf_internal_box=\box99
|
||||
) (./main.aux)
|
||||
\openout1 = `main.aux'.
|
||||
|
||||
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 3.
|
||||
LaTeX Font Info: ... okay on input line 3.
|
||||
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 3.
|
||||
LaTeX Font Info: ... okay on input line 3.
|
||||
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 3.
|
||||
LaTeX Font Info: ... okay on input line 3.
|
||||
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 3.
|
||||
LaTeX Font Info: ... okay on input line 3.
|
||||
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 3.
|
||||
LaTeX Font Info: ... okay on input line 3.
|
||||
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 3.
|
||||
LaTeX Font Info: ... okay on input line 3.
|
||||
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 3.
|
||||
LaTeX Font Info: ... okay on input line 3.
|
||||
|
||||
*geometry* driver: auto-detecting
|
||||
*geometry* detected driver: pdftex
|
||||
*geometry* verbose mode - [ preamble ] result:
|
||||
* driver: pdftex
|
||||
* paper: <default>
|
||||
* layout: <same size as paper>
|
||||
* layoutoffset:(h,v)=(0.0pt,0.0pt)
|
||||
* modes:
|
||||
* h-part:(L,W,R)=(54.2025pt, 505.89pt, 54.2025pt)
|
||||
* v-part:(T,H,B)=(54.2025pt, 686.56499pt, 54.2025pt)
|
||||
* \paperwidth=614.295pt
|
||||
* \paperheight=794.96999pt
|
||||
* \textwidth=505.89pt
|
||||
* \textheight=686.56499pt
|
||||
* \oddsidemargin=-18.06749pt
|
||||
* \evensidemargin=-18.06749pt
|
||||
* \topmargin=-55.06749pt
|
||||
* \headheight=12.0pt
|
||||
* \headsep=25.0pt
|
||||
* \topskip=11.0pt
|
||||
* \footskip=30.0pt
|
||||
* \marginparwidth=59.0pt
|
||||
* \marginparsep=10.0pt
|
||||
* \columnsep=10.0pt
|
||||
* \skip\footins=10.0pt plus 4.0pt minus 2.0pt
|
||||
* \hoffset=0.0pt
|
||||
* \voffset=0.0pt
|
||||
* \mag=1000
|
||||
* \@twocolumnfalse
|
||||
* \@twosidefalse
|
||||
* \@mparswitchfalse
|
||||
* \@reversemarginfalse
|
||||
* (1in=72.27pt=25.4mm, 1cm=28.453pt)
|
||||
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/fmtcount/fc-english.def
|
||||
File: fc-english.def 2016/01/12
|
||||
) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
|
||||
[Loading MPS to PDF converter (version 2006.09.02).]
|
||||
\scratchcounter=\count383
|
||||
\scratchdimen=\dimen331
|
||||
\scratchbox=\box100
|
||||
\nofMPsegments=\count384
|
||||
\nofMParguments=\count385
|
||||
\everyMPshowfont=\toks52
|
||||
\MPscratchCnt=\count386
|
||||
\MPscratchDim=\dimen332
|
||||
\MPnumerator=\count387
|
||||
\makeMPintoPDFobject=\count388
|
||||
\everyMPtoPDFconversion=\toks53
|
||||
) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
|
||||
Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf
|
||||
Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 485.
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
|
||||
File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live
|
||||
)) (/usr/share/texlive/texmf-dist/tex/latex/pdflscape/pdflscape.sty
|
||||
Package: pdflscape 2022-10-27 v0.13 Display of landscape pages in PDF
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/pdflscape/pdflscape-nometadata.sty
|
||||
Package: pdflscape-nometadata 2022-10-28 v0.13 Display of landscape pages in PDF (HO)
|
||||
Package pdflscape Info: Auto-detected driver: pdftex on input line 81.
|
||||
))
|
||||
\c@lstlisting=\count389
|
||||
(./goals-and-outcomes/research_statement.tex) [1
|
||||
|
||||
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}] (./main.aux)
|
||||
***********
|
||||
LaTeX2e <2023-11-01> patch level 1
|
||||
L3 programming layer <2024-01-22>
|
||||
***********
|
||||
)
|
||||
Here is how much of TeX's memory you used:
|
||||
25212 strings out of 476182
|
||||
524266 string characters out of 5795595
|
||||
1935975 words of memory out of 5000000
|
||||
46703 multiletter control sequences out of 15000+600000
|
||||
564890 words of font info for 45 fonts, out of 8000000 for 9000
|
||||
14 hyphenation exceptions out of 8191
|
||||
110i,5n,107p,1008b,285s stack positions out of 10000i,1000n,20000p,200000b,200000s
|
||||
</usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb>
|
||||
Output written on main.pdf (1 page, 47287 bytes).
|
||||
PDF statistics:
|
||||
51 PDF objects out of 1000 (max. 8388607)
|
||||
25 compressed objects within 1 object stream
|
||||
0 named destinations out of 1000 (max. 500000)
|
||||
109 words of extra memory for PDF output out of 10000 (max. 10000000)
|
||||
|
||||
Binary file not shown.
Binary file not shown.
@ -2,6 +2,12 @@
|
||||
|
||||
\begin{document}
|
||||
|
||||
\input{goals-and-outcomes/research_statement.tex}
|
||||
\maketitle
|
||||
\input{goals-and-outcomes/v6}
|
||||
\input{state-of-the-art/v3}
|
||||
\input{research-approach/v3}
|
||||
\input{broader-impacts/v1}
|
||||
|
||||
\newpage
|
||||
\bibliography{references}
|
||||
\end{document}
|
||||
|
||||
@ -1,14 +0,0 @@
|
||||
\documentclass{dane_proposal_format}
|
||||
|
||||
\begin{document}
|
||||
|
||||
\maketitle
|
||||
\input{goals-and-outcomes/v6}
|
||||
\input{state-of-the-art/v2}
|
||||
\input{research-approach/v2}
|
||||
\input{broader-impacts/v1}
|
||||
|
||||
\newpage
|
||||
\bibliography{references}
|
||||
|
||||
\end{document}
|
||||
295
Writing/ERLM/research-approach/v3.tex
Normal file
295
Writing/ERLM/research-approach/v3.tex
Normal file
@ -0,0 +1,295 @@
|
||||
\section{Research Approach}
|
||||
|
||||
This research will overcome the limitations of current practice to build
|
||||
high-assurance hybrid control systems for critical infrastructure. Hybrid
|
||||
systems combine continuous dynamics (flows) with discrete transitions (jumps),
|
||||
which can be formally expressed as:
|
||||
|
||||
\begin{equation}
|
||||
\dot{x}(t) = f(x(t),q(t),u(t))
|
||||
\end{equation}
|
||||
|
||||
\begin{equation}
|
||||
q(k+1) = \nu(x(k),q(k),u(k))
|
||||
\end{equation}
|
||||
|
||||
Here, $f(\cdot)$ defines the continuous dynamics while $\nu(\cdot)$ governs
|
||||
discrete transitions. The continuous states $x$, discrete state $q$, and
|
||||
control input $u$ interact to produce hybrid behavior. The discrete state $q$
|
||||
defines which continuous dynamics mode is currently active. Our focus centers
|
||||
on continuous autonomous hybrid systems, where continuous states remain
|
||||
unchanged during jumps—a property naturally exhibited by physical systems. For
|
||||
example, a nuclear reactor switching from warm-up to load-following control
|
||||
cannot instantaneously change its temperature or control rod position, but can
|
||||
instantaneously change control laws.
|
||||
|
||||
To build these systems with formal correctness guarantees, we must accomplish
|
||||
three main thrusts:
|
||||
|
||||
\begin{enumerate}
|
||||
\item Translate operating procedures and requirements into temporal logic
|
||||
formulae
|
||||
|
||||
\item Create the discrete half of a hybrid controller using reactive synthesis
|
||||
|
||||
\item Develop continuous controllers to operate between modes, and verify
|
||||
their correctness using reachability analysis
|
||||
|
||||
\end{enumerate}
|
||||
|
||||
The following sections discuss how these thrusts will be accomplished.
|
||||
|
||||
\subsection{$(Procedures \wedge FRET) \rightarrow Temporal Specifications$}
|
||||
|
||||
The motivation behind this work stems from the fact that commercial nuclear
|
||||
power operations remain manually controlled by human operators, despite
|
||||
significant advances in control systems sophistication. The key insight is that
|
||||
procedures performed by human operators are highly prescriptive and
|
||||
well-documented. This suggests that human operators in nuclear power plants may
|
||||
not be entirely necessary given today's available technology.
|
||||
|
||||
Written procedures and requirements in nuclear power are sufficiently detailed
|
||||
that we may be able to translate them into logical formulae with minimal effort.
|
||||
If successful, this approach would enable automation of existing procedures
|
||||
without requiring system reengineering. To formalize these procedures, we will
|
||||
use temporal logic, which captures system behaviors through temporal relations.
|
||||
Linear Temporal Logic (LTL) provides four fundamental operators: next ($X$),
|
||||
eventually ($F$), globally ($G$), and until ($U$). These operators enable
|
||||
precise specification of time-dependent requirements.
|
||||
|
||||
Consider a nuclear reactor SCRAM requirement expressed in natural language:
|
||||
\textit{``If a high temperature alarm triggers, control rods must immediately
|
||||
insert and remain inserted until operator reset.''} This plain language
|
||||
requirement can be translated into a rigorous logical specification:
|
||||
|
||||
\begin{equation}
|
||||
G(HighTemp \rightarrow X(RodsInserted \wedge (\neg RodsWithdrawn\ U\
|
||||
OperatorReset)))
|
||||
\end{equation}
|
||||
|
||||
This specification precisely captures the temporal relationship between the
|
||||
alarm condition, the required response, and the persistence requirement. The
|
||||
global operator $G$ ensures this property holds throughout system operation,
|
||||
while the next operator $X$ enforces immediate response. The until operator
|
||||
$U$ maintains the state constraint until the reset condition occurs.
|
||||
|
||||
The most efficient path to accomplish this translation is through NASA's
|
||||
Formal Requirements Elicitation Tool (FRET). FRET employs a specialized
|
||||
requirements language called FRETish that restricts requirements to easily
|
||||
understood components while eliminating ambiguity. FRETish bridges natural
|
||||
language and mathematical specifications through a structured English-like
|
||||
syntax that is automatically translatable to temporal logic.
|
||||
|
||||
FRET enforces this structure by requiring all requirements to contain six
|
||||
components: %CITE FRET MANUAL
|
||||
|
||||
\begin{enumerate}
|
||||
\item Scope: \textit{What modes does this requirement apply to?}
|
||||
\item Condition: \textit{Scope plus additional specificity}
|
||||
\item Component: \textit{What system element does this requirement affect?}
|
||||
\item Shall
|
||||
\item Timing: \textit{When does the response occur?}
|
||||
\item Response: \textit{What action should be taken?}
|
||||
\end{enumerate}
|
||||
|
||||
FRET provides functionality to check the \textit{realizability} of a system.
|
||||
Realizability analysis determines whether written requirements are complete by
|
||||
examining the six structural components. Complete requirements are those that
|
||||
neither conflict with one another nor leave any behavior undefined. Systems
|
||||
that are not realizable from their procedure definitions and design
|
||||
requirements present problems beyond autonomous control implementation. Such
|
||||
systems contain behavioral inconsistencies that represent the physical
|
||||
equivalent of software bugs. Using FRET during autonomous controller
|
||||
development allows us to identify and resolve these errors systematically.
|
||||
|
||||
The second category of realizability issues involves undefined behaviors that
|
||||
are typically left to human judgment during control operations. This
|
||||
ambiguity is undesirable for high-assurance systems, since even well-trained
|
||||
humans remain prone to errors. By addressing these specification gaps in FRET
|
||||
during autonomous controller development, we can deliver controllers free from
|
||||
these vulnerabilities.
|
||||
|
||||
FRET provides the capability to export requirements in temporal logic format
|
||||
compatible with reactive synthesis tools. This export functionality enables
|
||||
progression to the next step of our approach: synthesizing discrete mode
|
||||
switching behavior from the formalized requirements.
|
||||
|
||||
\subsection{$(TemporalLogic \wedge ReactiveSynthesis) \rightarrow
|
||||
DiscreteAutomata$}
|
||||
|
||||
Reactive synthesis is an active research field in computer science focused on
|
||||
generating discrete controllers from temporal logic specifications. The term
|
||||
``reactive'' indicates that the system responds to environmental inputs to
|
||||
produce control outputs. These synthesized systems are finite in size, where
|
||||
each node represents a unique discrete state. The connections between nodes,
|
||||
called \textit{state transitions}, specify the conditions under which the
|
||||
discrete controller moves from state to state. This complete mapping of possible
|
||||
states and transitions constitutes a \textit{discrete automaton}. Discrete
|
||||
automata can be represented graphically as a series of nodes that are discrete
|
||||
states, with traces indicating transitions between states. From the automaton
|
||||
graph, it becomes possible to fully describe the dynamics of the discrete system
|
||||
and develop intuitive understanding of system behavior. Hybrid systems
|
||||
naturally exhibit discrete behavior amenable to formal analysis through these
|
||||
finite state representations.
|
||||
|
||||
We will employ state-of-the-art reactive synthesis tools, particularly Strix,
|
||||
which has demonstrated superior performance in the Reactive Synthesis
|
||||
Competition (SYNTCOMP) through efficient parity game solving algorithms. Strix
|
||||
translates linear temporal logic specifications into deterministic automata
|
||||
automatically while maximizing generated automata quality. Once constructed, the
|
||||
automaton can be straightforwardly implemented using standard programming
|
||||
control flow constructs. The graphical representation provided by the automaton
|
||||
enables inspection and facilitates communication with controls programmers who
|
||||
may not have formal methods expertise.
|
||||
|
||||
We will use discrete automata to represent the switching behavior of our hybrid
|
||||
system. This approach yields an important theoretical guarantee: because the
|
||||
discrete automaton is synthesized entirely through automated tools from design
|
||||
requirements and operating procedures, we can prove that the automaton—and
|
||||
therefore our hybrid switching behavior—is \textit{correct by construction}.
|
||||
Correctness of the switching controller is paramount to this work. Mode
|
||||
switching represents the primary responsibility of human operators in control
|
||||
rooms today. Human operators possess the advantage of real-time judgment—when
|
||||
mistakes occur, they can correct them dynamically with capabilities that extend
|
||||
beyond written procedures. Autonomous control lacks this adaptive advantage.
|
||||
Instead, we must ensure that autonomous controllers replacing human operators
|
||||
will not make switching errors between continuous modes. By synthesizing
|
||||
controllers from logical specifications with guaranteed correctness, we
|
||||
eliminate the possibility of switching errors.
|
||||
|
||||
\subsection{$(DiscreteAutomata \wedge ControlTheory \wedge Reachability)
|
||||
\rightarrow ContinuousModes$}
|
||||
|
||||
While discrete system components will be synthesized with correctness
|
||||
guarantees, they represent only half of the complete system. Autonomous
|
||||
controllers like those we are developing exhibit continuous dynamics within
|
||||
discrete states, as described by $f(\cdot)$ in Equation 1. This section
|
||||
describes how we will develop continuous control modes, verify their
|
||||
correctness, and address the unique verification challenges of hybrid systems.
|
||||
|
||||
The approach described for producing discrete automata yields physics-agnostic
|
||||
specifications that represent only half of a complete hybrid autonomous
|
||||
controller. These automata alone cannot define the full behavior of the
|
||||
control systems we aim to construct. The continuous modes will be developed
|
||||
after discrete automaton construction, leveraging the automaton structure and
|
||||
transitions to design multiple smaller, specialized continuous controllers.
|
||||
|
||||
The discrete automaton transitions are key to the supervisory behavior of the
|
||||
autonomous controller. These transitions mark decision points for switching
|
||||
between continuous control modes and define their strategic objectives. We
|
||||
will classify three types of high-level continuous controller objectives based
|
||||
on discrete mode transitions:
|
||||
|
||||
\begin{enumerate}
|
||||
\item \textbf{Stabilizing:} A stabilizing control mode has one primary
|
||||
objective: maintaining the hybrid system within its current discrete mode.
|
||||
This corresponds to steady-state normal operating modes, such as a
|
||||
full-power load-following controller in a nuclear power plant. Stabilizing
|
||||
modes can be identified from discrete automata as nodes with only incoming
|
||||
transitions.
|
||||
|
||||
\item \textbf{Transitory:} A transitory control mode has the primary goal of
|
||||
transitioning the hybrid system from one discrete state to another. In
|
||||
nuclear applications, this might represent a controlled warm-up procedure.
|
||||
Transitory modes ultimately drive the system toward a stabilizing
|
||||
steady-state mode. These modes may have secondary objectives within a
|
||||
discrete state, such as maintaining specific temperature ramp rates before
|
||||
reaching full-power operation.
|
||||
|
||||
\item \textbf{Expulsory:} An expulsory mode is a specialized transitory mode
|
||||
with additional safety constraints. Expulsory modes ensure the system is
|
||||
directed to a safe stabilizing mode during failure conditions. For example,
|
||||
if a transitory mode fails to achieve its intended transition, the
|
||||
expulsory mode activates to immediately and irreversibly guide the system
|
||||
toward a globally safe state. A reactor SCRAM exemplifies an expulsory
|
||||
continuous mode: when initiated, it must reliably terminate the nuclear
|
||||
reaction and direct the reactor toward stabilizing decay heat removal.
|
||||
|
||||
\end{enumerate}
|
||||
|
||||
Building continuous modes after constructing discrete automata enables local
|
||||
controller design focused on satisfying discrete transitions. The primary
|
||||
challenge in hybrid system verification is ensuring global stability across
|
||||
transitions. Current techniques struggle with this problem because dynamic
|
||||
discontinuities complicate verification. This work alleviates these problems by
|
||||
designing continuous controllers specifically with transitions in mind. By
|
||||
decomposing continuous modes according to their required behavior at transition
|
||||
points, we avoid solving trajectories through the entire hybrid system. Instead,
|
||||
we can use local behavior information at transition boundaries. To ensure
|
||||
continuous modes satisfy their requirements, we will employ three main
|
||||
techniques: reachability analysis, assume-guarantee contracts, and barrier
|
||||
certificates.
|
||||
|
||||
\textbf{Reachability Analysis:} Reachability analysis computes the reachable set
|
||||
of states for a given input set. While trivial for linear continuous systems,
|
||||
recent advances have extended reachability to complex nonlinear systems. We will
|
||||
use reachability to define continuous state ranges at discrete transition
|
||||
boundaries and verify that requirements are satisfied within continuous modes.
|
||||
Recent advances using neural network approximations of Hamilton-Jacobi equations
|
||||
have demonstrated significant speedups while maintaining safety guarantees for
|
||||
high-dimensional systems, expanding the practical applicability of these
|
||||
methods.
|
||||
|
||||
\textbf{Assume-Guarantee Contracts:} Assume-guarantee contracts will be
|
||||
employed when continuous state boundaries are not explicitly defined. For any
|
||||
given mode, the input range for reachability analysis is defined by the output
|
||||
ranges of discrete modes that transition to it. This compositional approach
|
||||
ensures each continuous controller is prepared for its possible input range,
|
||||
enabling subsequent reachability analysis without requiring global system
|
||||
analysis.
|
||||
|
||||
\textbf{Barrier Certificates:} Finally, we will use barrier certificates to
|
||||
prove that mode transitions are satisfied. Barrier certificates ensure that
|
||||
continuous modes on either side of a transition behave appropriately. Control
|
||||
barrier functions provide a method to certify safety by establishing
|
||||
differential inequality conditions that guarantee forward invariance of safe
|
||||
sets. For example, a barrier certificate can guarantee that a transitory mode
|
||||
transferring control to a stabilizing mode will always move away from the
|
||||
transition boundary, rather than destabilizing the target stabilizing mode.
|
||||
|
||||
Combining these three techniques will enable us to prove that continuous
|
||||
components of our hybrid controller satisfy discrete requirements, and thus,
|
||||
complete system behavior. To demonstrate this methodology, we will develop an
|
||||
autonomous startup controller for a Small Modular Advanced High Temperature
|
||||
Reactor (SmAHTR). SmAHTR represents an ideal test case as a liquid-salt cooled
|
||||
reactor design with well-documented startup procedures that must transition
|
||||
through multiple distinct operational modes: initial cold conditions, controlled
|
||||
heating to operating temperature, approach to criticality, low-power physics
|
||||
testing, and power ascension to full operating capacity. We have already
|
||||
developed a high-fidelity SmAHTR model in Simulink that captures the
|
||||
thermal-hydraulic and neutron kinetics behavior essential for verifying
|
||||
continuous controller performance under realistic plant dynamics. The
|
||||
synthesized hybrid controller will be implemented on an Emerson Ovation control
|
||||
system platform, which is representative of industry-standard control hardware
|
||||
deployed in modern nuclear facilities. The Advanced Reactor Cyber Analysis and
|
||||
Development Environment (ARCADE) suite will serve as the integration layer,
|
||||
managing real-time communication between the Simulink simulation and the Ovation
|
||||
controller. This hardware-in-the-loop configuration enables validation of the
|
||||
controller implementation on actual industrial control equipment interfacing
|
||||
with a realistic reactor simulation, providing assessment of computational
|
||||
performance, real-time execution constraints, and communication latency effects.
|
||||
By demonstrating autonomous startup control on this representative platform, we
|
||||
will establish both the theoretical validity and practical feasibility of the
|
||||
synthesis methodology for deployment in actual small modular reactor systems.
|
||||
|
||||
This unified approach addresses a fundamental gap in hybrid system design by
|
||||
bridging formal methods and control theory through a systematic, tool-supported
|
||||
methodology. By translating existing nuclear procedures into temporal logic,
|
||||
synthesizing provably correct discrete switching logic, and developing verified
|
||||
continuous controllers, we create a complete framework for autonomous hybrid
|
||||
control with mathematical guarantees. The result is an autonomous controller
|
||||
that not only replicates human operator decision-making but does so with formal
|
||||
assurance that switching logic is correct by construction and continuous
|
||||
behavior satisfies safety requirements. This methodology transforms nuclear
|
||||
reactor control from a manually intensive operation requiring constant human
|
||||
oversight into a fully autonomous system with higher reliability than
|
||||
human-operated alternatives. More broadly, this approach establishes a
|
||||
replicable framework for developing high-assurance autonomous controllers in any
|
||||
domain where operating procedures are well-documented and safety is paramount.
|
||||
|
||||
% COMMENTS FOR FUTURE REVISION:
|
||||
% 1. Add concrete examples throughout (specific nuclear procedures, requirements)
|
||||
% 2. Include a figure showing the overall workflow/methodology
|
||||
% 3. Consider adding a subsection on validation approach
|
||||
% 4. Strengthen the connections between subsections
|
||||
% 5. Add discussion of limitations and assumptions
|
||||
25
Writing/ERLM/state-of-the-art/v3.tex
Normal file
25
Writing/ERLM/state-of-the-art/v3.tex
Normal file
@ -0,0 +1,25 @@
|
||||
\section{State of the Art and Limits of Current Practice}
|
||||
|
||||
UNDER CONSTRUCTION
|
||||
|
||||
Basically this section is going to talk about:
|
||||
\begin{enumerate}
|
||||
\item How operating procedures are written today
|
||||
\item How nuclear operators are trained and what their jobs are
|
||||
\item HARDENS - an early work trying to build a reactor emergency shutdown
|
||||
system with formal methods, by doing a lot of this translation stuff.
|
||||
\end{enumerate}
|
||||
|
||||
Some key limits are:
|
||||
\begin{enumerate}
|
||||
\item Operating procedures are written in natural language. This makes them
|
||||
unavoidable ambiguous and leaves instructions up to interpretation
|
||||
|
||||
\item Human operators can make human errors. Discuss how most nuclear
|
||||
accidents are actually people driven, and not the fault of the plant itself.
|
||||
|
||||
\item HARDENS does not consider continuous dynamics, nor did they really test
|
||||
anything to validate their system works. Dan says TRL 3. I begrudgingly
|
||||
agree.
|
||||
|
||||
\end{enumerate}
|
||||
Loading…
x
Reference in New Issue
Block a user