diff --git a/Writing/ERLM/SaboOnePager.pdf b/Writing/ERLM/SaboOnePager.pdf new file mode 100644 index 00000000..8ecc0b8b Binary files /dev/null and b/Writing/ERLM/SaboOnePager.pdf differ diff --git a/Writing/ERLM/dane_proposal_format.cls b/Writing/ERLM/dane_proposal_format.cls index b307cdad..e1786d42 100644 --- a/Writing/ERLM/dane_proposal_format.cls +++ b/Writing/ERLM/dane_proposal_format.cls @@ -2,12 +2,12 @@ \ProvidesClass{prayer_circle}[2025/09/02 Custom class for academic documents] % Pass options and load base class -\PassOptionsToClass{12pt,titlepage}{article} +\PassOptionsToClass{11pt,titlepage}{article} \LoadClass{article} % Core packages \RequirePackage[utf8]{inputenc} -\RequirePackage[margin=1in]{geometry} +\RequirePackage[margin=0.75in]{geometry} \RequirePackage[hyphens]{url} % Font selection (NSF compliant) diff --git a/Writing/ERLM/goals-and-outcomes/research_statement.tex b/Writing/ERLM/goals-and-outcomes/research_statement.tex new file mode 100644 index 00000000..49829e23 --- /dev/null +++ b/Writing/ERLM/goals-and-outcomes/research_statement.tex @@ -0,0 +1,101 @@ +\section*{Formal Synthesis of Hybrid Controllers for Nuclear Power} +\subsection*{PI: Dane Sabo, NRC Fellow, University of Pittsburgh \\\today} +% GOAL PARAGRAPH +The goal of this research is to develop a methodology for creating autonomous +hybrid control systems with 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. Currently, nuclear power relies on extensively trained +operators who follow detailed written procedures to manage reactor control. +These operators make critical decisions about when to switch between control +objectives based on their interpretation of plant conditions and procedural guidance. +% Gap +However, this reliance on human operators prevents autonomous control and +creates an economic challenge for next-generation nuclear power plants. Small modular +reactors face significantly higher per-megawatt staffing costs than conventional +plants, threatening their economic viability. Autonomous control systems are +needed that can safely manage complex operational sequences with the same +assurance as human-operated systems, but without constant supervision. + +% APPROACH PARAGRAPH Solution +To address this need, we will combine formal methods with control theory to +build hybrid control systems that are correct by construction. +% Rationale +Hybrid systems use discrete logic to switch between continuous dynamic modes, +similar to how operators change control strategies. Existing formal methods can +generate provably correct switching logic with reactive synthesis, but cannot +incorporate continuous dynamics or hybrid system transitions. Traditional +control theory verifies continuous behavior but lacks tools for proving discrete +switching correctness. +% Hypothesis +We will combine tools from these two fields to build autonomous hybrid control +systems that are correct by construction. We will formalize existing procedures +into logical specifications and verify that continuous dynamics satisfy +transition requirements between discrete modes. +% Pay-off +This approach will enable autonomous control in nuclear power plants while +maintaining required safety standards. + +\vspace{11pt} +% OUTCOMES PARAGRAPHS +If this research is successful, we will be able to do the following: + +\begin{enumerate} + + % OUTCOME 1 Title + \item \textbf{Synthesize written procedures into verified control logic.} + % Strategy + We will develop a methodology for converting written operating procedures + into formal specifications. These specifications can be automatically + synthesized into discrete control logic using reactive synthesis tools. This + process uses structured intermediate representations to bridge natural + language and mathematical logic. + % Outcome + Control engineers will be able to generate verified mode-switching controllers + from regulatory procedures with little formal methods expertise, reducing + barriers to 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 discrete transition requirements. Using classical control + theory for linear systems and reachability analysis for nonlinear dynamics, + we verify each continuous mode safely reaches intended transitions. + % Outcome + Engineers will be able to design continuous controllers using standard practices while + ensuring system correctness and proving mode transitions occur safely 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. We will implement this methodology on a small modular reactor + simulation using industry-standard control hardware. This trial will include + multiple coordinated control modes from cold shutdown through + criticality to power operation. + % Outcome + This will provide evidence that autonomous hybrid control can be realized with + current equipment, establishing a path toward reducing operator staffing + while maintaining safety. + +\end{enumerate} + +% IMPACT PARAGRAPH Innovation +The innovation is unifying 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, making high-assurance +autonomous control practical for safety-critical applications. +% Impact/Pay-off +This capability is essential for economic viability of next-generation nuclear +power. Small modular reactors represent a promising solution to growing energy +demands, but 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. diff --git a/Writing/ERLM/goals-and-outcomes/v6.tex b/Writing/ERLM/goals-and-outcomes/v6.tex deleted file mode 100644 index 9e48b3a2..00000000 --- a/Writing/ERLM/goals-and-outcomes/v6.tex +++ /dev/null @@ -1,118 +0,0 @@ -\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— such as transitioning from startup -heating to power operation—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, making -high-assurance autonomous control 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. diff --git a/Writing/ERLM/main.aux b/Writing/ERLM/main.aux index 4eec240c..8c990378 100644 --- a/Writing/ERLM/main.aux +++ b/Writing/ERLM/main.aux @@ -1,43 +1,4 @@ \relax \bibstyle{unsrt} \providecommand \oddpage@label [2]{} -\@writefile{toc}{\contentsline {section}{\numberline {1}Goals and Outcomes}{1}{}\protected@file@percent } -\citation{geromel2006stability} -\citation{branicky1998multiple,liberzon2003switching} -\@writefile{toc}{\contentsline {section}{\numberline {2}State of the Art and Limits of Current Practice}{2}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Control Theory and Hybrid Systems}{2}{}\protected@file@percent } -\citation{mitchell2005time} -\citation{yang2024learning} -\citation{alur1993hybrid} -\citation{alur1995algorithmic} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Formal Methods and Reactive Synthesis}{3}{}\protected@file@percent } -\citation{giannakopoulou2022fret} -\citation{meyer2018strix,jacobs2017syntcomp} -\citation{platzer2008differential,platzer2017complete} -\citation{fulton2015keymaera} -\@writefile{toc}{\contentsline {section}{\numberline {3}Research Approach}{5}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Requirements: $(Procedures \wedge FRET) \rightarrow Temporal Specifications$}{5}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Discrete Synthesis: $(TemporalLogic \wedge ReactiveSynthesis) \rightarrow DiscreteAutomata$}{6}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}$(DiscreteAutomata \wedge ControlTheory \wedge Reachability) \rightarrow ContinuousModes$}{6}{}\protected@file@percent } -\citation{eia_lcoe_2022} -\citation{eesi_datacenter_2024} -\citation{eia_lcoe_2022} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Broader Impacts}{8}{}\protected@file@percent } -\bibdata{references} -\bibcite{geromel2006stability}{1} -\bibcite{branicky1998multiple}{2} -\bibcite{liberzon2003switching}{3} -\bibcite{mitchell2005time}{4} -\bibcite{yang2024learning}{5} -\bibcite{alur1993hybrid}{6} -\bibcite{alur1995algorithmic}{7} -\bibcite{giannakopoulou2022fret}{8} -\bibcite{meyer2018strix}{9} -\bibcite{jacobs2017syntcomp}{10} -\bibcite{platzer2008differential}{11} -\bibcite{platzer2017complete}{12} -\bibcite{fulton2015keymaera}{13} -\bibcite{eia_lcoe_2022}{14} -\bibcite{eesi_datacenter_2024}{15} -\@writefile{toc}{\contentsline {section}{References}{10}{}\protected@file@percent } -\gdef \@abspage@last{12} +\gdef \@abspage@last{1} diff --git a/Writing/ERLM/main.fdb_latexmk b/Writing/ERLM/main.fdb_latexmk index 99b8cb16..e2590e62 100644 --- a/Writing/ERLM/main.fdb_latexmk +++ b/Writing/ERLM/main.fdb_latexmk @@ -1,54 +1,24 @@ # Fdb version 4 -["bibtex main"] 1759870878.63919 "main.aux" "main.bbl" "main" 1759870879.52101 0 - "./references.bib" 1759167577.47323 10304 77c9387d6b0ce7e1af7f15e6fb0e19c3 "" - "/usr/share/texlive/texmf-dist/bibtex/bst/base/unsrt.bst" 1292289607 18030 1376b4b231b50c66211e47e42eda2875 "" - "main.aux" 1759870879.38834 2371 0b7e48a03f45dbd09ec32422fa17b1e2 "pdflatex" - (generated) - "main.bbl" - "main.blg" - (rewritten before read) -["pdflatex"] 1759870878.6614 "main.tex" "main.pdf" "main" 1759870879.52119 0 - "/etc/texmf/web2c/texmf.cnf" 1722610814.59577 475 c0e671620eb5563b2130f56340a5fde8 "" +["pdflatex"] 1760104729.74758 "main.tex" "main.pdf" "main" 1760104730.17368 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/symbol/psyr.tfm" 1136768653 1408 5937f58aa508ea2cea4901c07d10f5fe "" - "/usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/psyro.tfm" 1136768653 1544 23a042a74981a3e4b6ce2e350e390409 "" "/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/ptmr8c.tfm" 1136768653 1352 fa28a7e6d323c65ce7d13d5342ff6be2 "" "/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/adobe/times/zptmcm7m.tfm" 1136768653 2232 db256afffc8202da192b4641df14d602 "" "/usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7t.tfm" 1136768653 2172 1d00c2a0d10f23031be62329457a870c "" "/usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7v.tfm" 1136768653 1032 20febbd0f0c9a48eb78616f897008286 "" "/usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7y.tfm" 1136768653 1520 ad7b3c1a480a03b3e41b5fbb13d938f2 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1246382020 916 f87d7c45f9c908e672703b83b72241a3 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1246382020 908 2921f8a10601f252058503cc6570e581 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm" 1136768653 1528 abec98dbc43e172678c11b3b9031252a "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" 1136768653 1296 45809c5a464d5f32c8f98ba97c1bb47f "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1136768653 1288 655e228510b4c2a1abe905c368440826 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss12.tfm" 1136768653 1324 37b971caf729d7edd9cbb9f9b0ea76eb "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm" 1136768653 1296 d77f431d10d47c8ea2cc18cf45346274 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss9.tfm" 1136768653 1320 49357c421c0d469f88b867dd0c3d10e8 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1136768653 1124 6c73e740cf17375f03eec0ee63599741 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/rsfs/rsfs10.tfm" 1229303445 688 37338d6ab346c2f1466b29e195316aa4 "" - "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1248133631 36299 5f9df58c2139e7edcf37c8fca4bd384d "" - "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1248133631 35752 024fb6c41858982481f6968b5fc26508 "" - "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb" 1248133631 24393 3b7eb51a67a0a62aec5849271bdb9c2e "" - "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1248133631 32569 5e5ddc8df908dea60932f3c484a54c0d "" - "/usr/share/texlive/texmf-dist/fonts/type1/urw/symbol/usyr.pfb" 1136849748 33709 b09d2e140b7e807d3a97058263ab6693 "" "/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/ptmr8c.vf" 1136768653 3556 8a9a6dcbcd146ef985683f677f4758a6 "" - "/usr/share/texlive/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf" 1136768653 1384 a9d8adaf491ce34e5fba99dc7bbe5f39 "" - "/usr/share/texlive/texmf-dist/fonts/vf/adobe/times/zptmcm7m.vf" 1136768653 1132 27520247d3fe18d4266a226b461885c2 "" - "/usr/share/texlive/texmf-dist/fonts/vf/adobe/times/zptmcm7t.vf" 1136768653 1108 d271d6f9de4122c3f8d3b65666167fac "" - "/usr/share/texlive/texmf-dist/fonts/vf/adobe/times/zptmcm7y.vf" 1136768653 964 5673178ff30617b900214de28ab32b38 "" "/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 "" @@ -152,7 +122,7 @@ "/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/size12.clo" 1705352648 8449 f07039d8e4e89f21078d9b5137579bfc "" + "/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 "" @@ -214,7 +184,6 @@ "/usr/share/texlive/texmf-dist/tex/latex/psnfss/omxztmcm.fd" 1137110629 329 c8cddcc90b6f567b28408eb374773c9c "" "/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1ptm.fd" 1137110629 961 15056f4a61917ceed3a44e4ac11fcc52 "" "/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1ztmcm.fd" 1137110629 329 aee7226812ba4138ac67a018466b488d "" - "/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd" 1137110629 619 96f56dc5d1ef1fe1121f1cfeec70ee0c "" "/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 "" @@ -231,16 +200,12 @@ "/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" 1722610820.43889 128028 f533b797fba58d231669ea19e894e23e "" - "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1726005817 6800784 2b63e5a224c5ad740802d8f9921962c1 "" - "broader-impacts/v1.tex" 1759167577.47123 4916 8f9b155145119717e181909e7ce40ed4 "" - "dane_proposal_format.cls" 1759861808.72975 2553 3bbf169a90a50515ed103fe388c111f0 "" - "goals-and-outcomes/v6.tex" 1759870860.65316 6132 978a430623148b07dc06f1fa9ce4a2e0 "" - "main.aux" 1759870879.38834 2371 0b7e48a03f45dbd09ec32422fa17b1e2 "pdflatex" - "main.bbl" 1759870878.65533 3654 cb7bb2c7072cb5aea3ed65a8abe6024a "bibtex main" - "main.tex" 1759870875.8503 233 b14d908b969b3e0790528a34f9ae8ceb "" - "research-approach/v2.tex" 1758557109.9037 13747 97ad683c7942f87218a074a6187782d1 "" - "state-of-the-art/v2.tex" 1757962977.69875 10918 a65147e24336b6a318bf18223339313e "" + "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1726065856.46263 128028 f533b797fba58d231669ea19e894e23e "" + "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1726065868 6800790 607442c924ed54405961d2b8ac2a25ae "" + "dane_proposal_format.cls" 1760101946.17006 2556 c1bd3b926e6061ad7830d53a6adf2dbf "" + "goals-and-outcomes/research_statement.tex" 1760104677.78816 5279 468822afcd2b4570c045b117635ac23d "" + "main.aux" 1760104730.11914 86 4f687615febcadcf7ed6342d13aa3006 "pdflatex" + "main.tex" 1760101819.45278 122 445e46b5a5324d70fffe15cfb35f4fbb "" (generated) "main.aux" "main.log" diff --git a/Writing/ERLM/main.fls b/Writing/ERLM/main.fls index 4288ca74..2fd47f4a 100644 --- a/Writing/ERLM/main.fls +++ b/Writing/ERLM/main.fls @@ -9,11 +9,11 @@ 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/size12.clo -INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size12.clo -INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size12.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/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/cmr12.tfm +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 @@ -354,8 +354,11 @@ 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 /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm +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/tex/latex/psnfss/ot1ztmcm.fd INPUT /usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1ztmcm.fd INPUT /usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1ztmcm.fd @@ -382,7 +385,6 @@ INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7v.tfm INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7v.tfm 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/ptmb7t.tfm INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm @@ -392,95 +394,16 @@ INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmr7t.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/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/ptmr7t.vf -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmr8r.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 ./goals-and-outcomes/v6.tex -INPUT ./goals-and-outcomes/v6.tex -INPUT ./goals-and-outcomes/v6.tex -INPUT ./goals-and-outcomes/v6.tex -INPUT goals-and-outcomes/v6.tex -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmb7t.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 /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/ptmb7t.vf -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm -INPUT ./state-of-the-art/v2.tex -INPUT ./state-of-the-art/v2.tex -INPUT ./state-of-the-art/v2.tex -INPUT ./state-of-the-art/v2.tex -INPUT state-of-the-art/v2.tex -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7t.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7t.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7t.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7m.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7m.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7m.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7y.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7y.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7y.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7v.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7v.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/zptmcm7v.tfm -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/tfm/adobe/times/ptmri7t.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/times/zptmcm7t.vf -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/symbol/psyr.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr10.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/times/zptmcm7m.vf -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/psyro.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/times/zptmcm7y.vf -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/rsfs/rsfs10.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss12.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss9.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf -INPUT /usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd -INPUT /usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd -INPUT /usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/adobe/times/ptmr8c.tfm -INPUT ./research-approach/v2.tex -INPUT ./research-approach/v2.tex -INPUT ./research-approach/v2.tex -INPUT ./research-approach/v2.tex -INPUT research-approach/v2.tex -INPUT /usr/share/texlive/texmf-dist/fonts/vf/adobe/times/ptmr8c.vf -INPUT ./broader-impacts/v1.tex -INPUT ./broader-impacts/v1.tex -INPUT ./broader-impacts/v1.tex -INPUT ./broader-impacts/v1.tex -INPUT broader-impacts/v1.tex -INPUT ./main.bbl -INPUT ./main.bbl -INPUT main.bbl INPUT main.aux -INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb -INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb -INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb -INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb -INPUT /usr/share/texlive/texmf-dist/fonts/type1/urw/symbol/usyr.pfb 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 diff --git a/Writing/ERLM/main.log b/Writing/ERLM/main.log index 1188a3b9..234cb379 100644 --- a/Writing/ERLM/main.log +++ b/Writing/ERLM/main.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2024.9.10) 7 OCT 2025 17:01 +This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2024.9.11) 10 OCT 2025 09:58 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. @@ -15,8 +15,8 @@ LaTeX Warning: You have requested document class `dane_proposal_format', 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/size12.clo -File: size12.clo 2023/05/17 v1.4n Standard LaTeX file (size option) +(/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 @@ -799,23 +799,23 @@ LaTeX Font Info: ... okay on input line 3. * layout: * layoutoffset:(h,v)=(0.0pt,0.0pt) * modes: -* h-part:(L,W,R)=(72.26999pt, 469.75502pt, 72.26999pt) -* v-part:(T,H,B)=(72.26999pt, 650.43001pt, 72.26999pt) +* 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=469.75502pt -* \textheight=650.43001pt -* \oddsidemargin=0.0pt -* \evensidemargin=0.0pt -* \topmargin=-37.0pt +* \textwidth=505.89pt +* \textheight=686.56499pt +* \oddsidemargin=-18.06749pt +* \evensidemargin=-18.06749pt +* \topmargin=-55.06749pt * \headheight=12.0pt * \headsep=25.0pt -* \topskip=12.0pt +* \topskip=11.0pt * \footskip=30.0pt -* \marginparwidth=44.0pt +* \marginparwidth=59.0pt * \marginparsep=10.0pt * \columnsep=10.0pt -* \skip\footins=10.8pt plus 4.0pt minus 2.0pt +* \skip\footins=10.0pt plus 4.0pt minus 2.0pt * \hoffset=0.0pt * \voffset=0.0pt * \mag=1000 @@ -852,65 +852,50 @@ Package: pdflscape-nometadata 2022-10-28 v0.13 Display of landscape pages in PDF Package pdflscape Info: Auto-detected driver: pdftex on input line 81. )) \c@lstlisting=\count389 -LaTeX Font Info: Trying to load font information for OT1+ztmcm on input line 5. + (./goals-and-outcomes/research_statement.tex +LaTeX Font Info: Trying to load font information for OT1+ztmcm on input line 2. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1ztmcm.fd File: ot1ztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OT1/ztmcm. ) -LaTeX Font Info: Trying to load font information for OML+ztmcm on input line 5. +LaTeX Font Info: Trying to load font information for OML+ztmcm on input line 2. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/omlztmcm.fd File: omlztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OML/ztmcm. ) -LaTeX Font Info: Trying to load font information for OMS+ztmcm on input line 5. +LaTeX Font Info: Trying to load font information for OMS+ztmcm on input line 2. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/omsztmcm.fd File: omsztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OMS/ztmcm. ) -LaTeX Font Info: Trying to load font information for OMX+ztmcm on input line 5. +LaTeX Font Info: Trying to load font information for OMX+ztmcm on input line 2. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/omxztmcm.fd File: omxztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OMX/ztmcm. ) -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 5. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10.95> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 5. +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 2. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <8> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 5. - [1 +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 2. +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <6> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 2. +) [1 -{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}] (./goals-and-outcomes/v6.tex [1]) (./state-of-the-art/v2.tex -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 15. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 15. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 15. - [2] [3] -LaTeX Font Info: Trying to load font information for TS1+ptm on input line 168. - (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd -File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm. -)) (./research-approach/v2.tex [4] -Overfull \hbox (1.34416pt too wide) in paragraph at lines 44--48 -[]\OT1/ptm/m/n/12 FRET em-ploys a spe-cial-ized re-quire-ments lan-guage sim-i-lar to nat-u-ral lan-guage called FRETish. - [] - -[5] [6] [7]) (./broader-impacts/v1.tex [8]) [9] (./main.bbl [10]) [11] (./main.aux) +{/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: - 25428 strings out of 476182 - 528199 string characters out of 5795595 - 1935975 words of memory out of 5000000 - 46870 multiletter control sequences out of 15000+600000 - 590786 words of font info for 108 fonts, out of 8000000 for 9000 + 25281 strings out of 476182 + 525582 string characters out of 5795595 + 1934975 words of memory out of 5000000 + 46754 multiletter control sequences out of 15000+600000 + 573148 words of font info for 67 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 - 110i,9n,107p,1008b,285s stack positions out of 10000i,1000n,20000p,200000b,200000s - -Output written on main.pdf (12 pages, 124660 bytes). + 110i,5n,107p,1008b,285s stack positions out of 10000i,1000n,20000p,200000b,200000s + +Output written on main.pdf (1 page, 35369 bytes). PDF statistics: - 111 PDF objects out of 1000 (max. 8388607) - 64 compressed objects within 1 object stream + 46 PDF objects out of 1000 (max. 8388607) + 22 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) diff --git a/Writing/ERLM/main.pdf b/Writing/ERLM/main.pdf index ffcbbf11..e79a2690 100644 Binary files a/Writing/ERLM/main.pdf and b/Writing/ERLM/main.pdf differ diff --git a/Writing/ERLM/main.synctex.gz b/Writing/ERLM/main.synctex.gz index dab9a27a..adbf98ff 100644 Binary files a/Writing/ERLM/main.synctex.gz and b/Writing/ERLM/main.synctex.gz differ diff --git a/Writing/ERLM/main.tex b/Writing/ERLM/main.tex index a6978d00..be713702 100644 --- a/Writing/ERLM/main.tex +++ b/Writing/ERLM/main.tex @@ -2,13 +2,6 @@ \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} +\input{goals-and-outcomes/research_statement.tex} \end{document} diff --git a/Writing/ERLM/main.tex.backup b/Writing/ERLM/main.tex.backup new file mode 100644 index 00000000..a6978d00 --- /dev/null +++ b/Writing/ERLM/main.tex.backup @@ -0,0 +1,14 @@ +\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}