X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=preamble%2Fglossaries.tex;h=66ea5c57bf2ea5a9fc77c0ee8efca3579928e910;hb=529531e1028ae26ab889456d65958794154d5b25;hp=97975b6fa9f833ae0fec36818591693a6e926125;hpb=168cd542dfa23e95e458c0e7391104b712628d5b;p=phd-thesis.git diff --git a/preamble/glossaries.tex b/preamble/glossaries.tex index 97975b6..66ea5c5 100644 --- a/preamble/glossaries.tex +++ b/preamble/glossaries.tex @@ -1,7 +1,7 @@ \usepackage[nolangwarn,nonumberlist,prefix]{glossaries-extra} -\setabbreviationstyle{long-short-sc} +\setabbreviationstyle{long-short} \setabbreviationstyle[noexpand]{short-nolong} -\setabbreviationstyle[scabbr]{short-sc-nolong} +%\setabbreviationstyle[scabbr]{short-sc-nolong} \Addlcwords{of} \glssetcategoryattribute{abbreviation}{glossname}{uc} \glssetcategoryattribute{noexpand}{glossname}{uc} @@ -9,7 +9,7 @@ \GlsXtrEnableInitialTagging{acronym,abbreviation}{\itag} \newcommand*{\glsxtrpostnameacronym}{% - \space\rm\glsentrylong{\glscurrententrylabel}, % + \space\rm\glsentrylong{\glscurrententrylabel}% } %\renewcommand*{\glsxtrpostdescabbreviation}{% % \space (initialism)% @@ -36,80 +36,79 @@ \makeglossaries% % Acronyms -\newacronym[description={the CO\textsubscript{2} concentration calculated from \glsxtrshort{TVOC} measurements}]{ECO2}{(eCO\textsubscript{2})}{equivalent carbon dioxide} -\newacronym[category=scabbr,description={a open data interchange format using human readable text}]{JSON}{{\scshape JSON}}{(JavaScript object notation)} -\newacronym[category=scabbr,description={a publish-subscribe network protocol designed for resource constrained devices}]{MQTT}{{\scshape MQTT}}{(MQ telemetry transport)} +\newacronym[description={a open data interchange format using human readable text}]{JSON}{JSON}{(JavaScript object notation)} +\newacronym[description={a publish-subscribe network protocol designed for resource constrained devices}]{MQTT}{MQTT}{(MQ telemetry transport)} \newacronym[description={a pure lazy \glsxtrlong{FP} language based on graph rewriting}]{CLEAN}{Clean}{(Clean language of East-Anglia and Nijmegen)} -\newacronym[description={a simple serial communication protocol often used to connect sensors to microcontrollers}]{I2C}{I\textsuperscript{2}C}{(inter-integrated circuit)} -\newacronym[category=scabbr,description={passive infrared}]{PIR}{{\scshape PIR}}{} -\newacronym[category=scabbr,description={task-oriented programming}]{TOP}{{\scshape TOP}}{} -\newacronym[category=scabbr,description={the three ``CO'' (composability, comprehensibility, correctness) of working software}]{3COWS}{{\scshape 3COWS}}{} +\newacronym[description={a simple serial communication protocol often used to connect sensors to microcontrollers}]{I2C}{\IIC{}}{(inter-integrated circuit)} +\newacronym[description={passive infrared}]{PIR}{PIR}{} +\newacronym[description={task-oriented programming}]{TOP}{TOP}{} +\newacronym[description={the three ``CO'' (composability, comprehensibility, correctness) of working software}]{3COWS}{3COWS}{} % Initialisms -\newabbreviation{ADC}{adc}{analog-to-digital converter} -\newabbreviation{ADT}{adt}{algebraic data type} -\newabbreviation{AST}{ast}{abstract syntax tree} -\newabbreviation{API}{api}{application programming interface} -\newabbreviation{ARDSL}{ardsl}{\gls{ARDUINO} \glsxtrshort{DSL}} -\newabbreviation[category=noexpand]{CEFP}{cefp}{Central European \glsxtrlong{FP} School} -\newabbreviation{CRS}{crs}{\gls{CLEAN} Raspberry Pi system} -\newabbreviation{CRTS}{crts}{\gls{CLEAN} Raspberry Pi temperature sensor} -\newabbreviation{CWS}{cws}{\gls{CLEAN} \gls{WEMOS} system} -\newabbreviation{CWTS}{cwts}{\gls{CLEAN} \gls{WEMOS} temperature sensor} -\newabbreviation{DHT}{dht}{digital humidity and temperature} -\newabbreviation{DSL}{dsl}{domain-specific language} -\newabbreviation{DVFS}{dvfs}{dynamic voltage and frequency scaling} -\newabbreviation{EDSL}{edsl}{embedded \glsxtrlong{DSL}} -\newabbreviation[prefixfirst={a\ },prefix={an\ }]{FP}{fp}{functional programming} -\newabbreviation[prefixfirst={a\ },prefix={an\ }]{FRP}{frp}{functional reactive programming} -\newabbreviation[prefixfirst={a\ },prefix={an\ }]{FPGA}{fpga}{field-programmable gate array} -\newabbreviation{GADT}{gadt}{generalised \glsxtrshort{ADT}} -\newabbreviation{GHC}{ghc}{Glasgow \gls{HASKELL} Compiler} -\newabbreviation{GPIO}{gpio}{general-purpose \glsxtrlong{IO}} -\newabbreviation{GPL}{gpl}{general-purpose language} -\newabbreviation{GRS}{grs}{graph rewriting system} -\newabbreviation{GUI}{gui}{graphical \glsxtrlong{UI}} -\newabbreviation{HOAS}{hoas}{high-order abstract syntax} -%\newabbreviation{IOT}{Io\kern-.3mmT}{internet of things} -\newabbreviation{IOT}{iot}{internet of things} -\newabbreviation[category=noexpand]{IDE}{ide}{integrated development environment} -\newabbreviation[category=noexpand]{IO}{i/o}{input/output} -\newabbreviation{IR}{ir}{intermediate representation} -\newabbreviation{ISR}{isr}{interrupt service routine} -\newabbreviation[category=noexpand,prefixfirst={a\ },prefix={an\ }]{LED}{led}{light-emitting diode} -\newabbreviation[category=noexpand]{OLED}{oled}{organic \glsxtrshort{LED}} -\newabbreviation[category=noexpand]{OS}{os}{operating system} -\newabbreviation{OTA}{ota}{over-the-air} +\newabbreviation{ADC}{ADC}{analog-to-digital converter} +\newabbreviation{ADT}{ADT}{algebraic data type} +\newabbreviation{AST}{AST}{abstract syntax tree} +\newabbreviation{API}{API}{application programming interface} +\newabbreviation{ARDSL}{ARDSL}{\gls{ARDUINO} \glsxtrshort{DSL}} +\newabbreviation{CRS}{CRS}{\gls{CLEAN} Raspberry Pi system} +\newabbreviation{CRTS}{CRTS}{\gls{CLEAN} Raspberry Pi temperature sensor} +\newabbreviation{CWS}{CWS}{\gls{CLEAN} \gls{WEMOS} system} +\newabbreviation{CWTS}{CWTS}{\gls{CLEAN} \gls{WEMOS} temperature sensor} +\newabbreviation{DHT}{DHT}{digital humidity and temperature} +\newabbreviation{DSL}{DSL}{domain-specific language} +\newabbreviation{DVFS}{DVFS}{dynamic voltage and frequency scaling} +\newabbreviation{EDSL}{eDSL}{embedded \glsxtrlong{DSL}} +\newabbreviation[prefixfirst={a\ },prefix={an\ }]{FP}{FP}{functional programming} +\newabbreviation[prefixfirst={a\ },prefix={an\ }]{FRP}{FRP}{functional reactive programming} +\newabbreviation[prefixfirst={a\ },prefix={an\ }]{FPGA}{FPGA}{field-programmable gate array} +\newabbreviation{GADT}{GADT}{generalised \glsxtrshort{ADT}} +\newabbreviation{GHC}{GHC}{Glasgow \gls{HASKELL} compiler} +\newabbreviation{GPIO}{GPIO}{general-purpose \glsxtrlong{IO}} +\newabbreviation{GPL}{GPL}{general-purpose language} +\newabbreviation{GRS}{GRS}{graph rewriting system} +\newabbreviation{GUI}{GUI}{graphical \glsxtrlong{UI}} +\newabbreviation{HOAS}{HOAS}{high-order abstract syntax} +\newabbreviation{IOT}{\IOT{}}{internet of things} +\newabbreviation[category=noexpand]{IDE}{IDE}{integrated development environment} +\newabbreviation[category=noexpand]{IO}{I/O}{input/output} +\newabbreviation{IR}{IR}{intermediate representation} +\newabbreviation{ISR}{ISR}{interrupt service routine} +\newabbreviation[category=noexpand,prefixfirst={a\ },prefix={an\ }]{LED}{LED}{light-emitting diode} +\newabbreviation[category=noexpand]{OLED}{OLED}{organic \glsxtrshort{LED}} +\newabbreviation[category=noexpand]{OS}{OS}{operating system} \newabbreviation{PFRP}{p-frp}{priority-based \glsxtrshort{FRP}} -\newabbreviation{PRS}{prs}{\gls{PYTHON} Raspberry Pi system} -\newabbreviation{PWS}{pws}{\gls{MICROPYTHON} \gls{WEMOS} system} -\newabbreviation{PRTS}{prts}{\gls{PYTHON} Raspberry Pi temperature sensor} -\newabbreviation{PWTS}{pwts}{\gls{MICROPYTHON} \gls{WEMOS} temperature sensor} -\newabbreviation{QDSL}{qdsl}{quoted \glsxtrshort{DSL}} -\newabbreviation[category=noexpand]{RAM}{ram}{random-access memory} -\newabbreviation{RFID}{rfid}{radio-frequency identification} -\newabbreviation{RTOS}{rtos}{real-time \glsxtrshort{OS}} -\newabbreviation{RTS}{rts}{run-time system} -\newabbreviation[prefixfirst={a\ },prefix={an\ }]{SDS}{sds}{shared data source} -\newabbreviation[prefixfirst={a\ },prefix={an\ }]{SN}{sn}{sensor network} -\newabbreviation{SLOC}{sloc}{source lines of code} +\newabbreviation{PRS}{PRS}{\gls{PYTHON} Raspberry Pi system} +\newabbreviation{PWS}{PWS}{\gls{MICROPYTHON} \gls{WEMOS} system} +\newabbreviation{PRTS}{PRTS}{\gls{PYTHON} Raspberry Pi temperature sensor} +\newabbreviation{PWTS}{PWTS}{\gls{MICROPYTHON} \gls{WEMOS} temperature sensor} +\newabbreviation{QDSL}{QDSL}{quoted \glsxtrshort{DSL}} +\newabbreviation[category=noexpand]{RAM}{RAM}{random-access memory} +\newabbreviation{RFID}{RFID}{radio-frequency identification} +\newabbreviation{RTOS}{RTOS}{real-time \glsxtrshort{OS}} +\newabbreviation{RTS}{RTS}{run-time system} +\newabbreviation[prefixfirst={a\ },prefix={an\ }]{SDS}{SDS}{shared data source} +\newabbreviation[prefixfirst={a\ },prefix={an\ }]{SN}{SN}{sensor network} +\newabbreviation{SLOC}{SLOC}{source lines of code} \newabbreviation[description={a synchronous serial communication protocol often used to connect sensors to microcontrollers}]{SPI}{SPI}{Serial Peripheral Interface} -\newabbreviation{TH}{th}{Template \gls{HASKELL}} -\newabbreviation[category=noexpand]{TCP}{tcp}{transmission control protocol} -\newabbreviation{TOSD}{tosd}{task-oriented software development} -\newabbreviation{TRS}{trs}{term rewriting system} -\newabbreviation{TTH}{tth}{typed \glsxtrlong{TH}} -\newabbreviation{TVOC}{tvoc}{total volatile organic compounds} -\newabbreviation{UI}{ui}{user interface} -\newabbreviation{UOD}{uod}{universe of discourse} -\newabbreviation{UOG}{uog}{University of Glasgow} -\newabbreviation{VM}{vm}{virtual machine} +\newabbreviation{TH}{TH}{Template \gls{HASKELL}} +\newabbreviation[category=noexpand]{TCP}{TCP}{transmission control protocol} +\newabbreviation{TOSD}{TOSD}{task-oriented software development} +\newabbreviation{TTH}{TTH}{typed \glsxtrlong{TH}} +\newabbreviation{TVOC}{TVOC}{total volatile organic compounds} +\newabbreviation{UI}{UI}{user interface} +\newabbreviation{UOD}{UoD}{universe of discourse} +\newabbreviation{UOG}{UoG}{University of Glasgow} +\newabbreviation{VM}{VM}{virtual machine} % Glossaries \newglossaryentry{ABC}{% name=ABC, description={\gls{CLEAN}'s intermediate graph-rewriting language}, } +\newglossaryentry{ECO2}{% + name={eCO\textsubscript{2}}, + description={CO\textsubscript{2} concentration calculated from \glsxtrshort{TVOC} measurements}, +} \newglossaryentry{MTASK}{% name=mTask, description={a \glsxtrshort{TOP} \glsxtrshort{EDSL} for edge devices integrated with the \gls{ITASK} system}, @@ -126,18 +125,10 @@ name=Haskell, description={a pure lazy \glsxtrlong{FP} language designed by a committe as a concept language} } -\newglossaryentry{HASKELL98}{% - name=Haskell98, - description={a standardised version of \gls{HASKELL}}, -} \newglossaryentry{ARDUINO}{% name=Arduino, description={a widely used framework for programming microcontrollers} } -\newglossaryentry{MBED}{% - name=mbed, - description={a widely used framework for programming microcontrollers designed for ARM cortex-M} -} \newglossaryentry{CPP}{ name=C\texttt{++}, description={a general-purpose imperative programming language based on \gls{C}} @@ -150,10 +141,6 @@ name=Wi-Fi, description={is a family of wireless network protocols commonly used for local area networking} } -\newglossaryentry{TINYML}{ - name=TinyML, - description={a deep learning framework for microcontrollers} -} \newglossaryentry{PYTHON}{ name=Python, description={a multi-paradigm interpreted programming language} @@ -162,10 +149,6 @@ name=MicroPython, description={a \gls{PYTHON} implementation tailored for microcontrollers} } -\newglossaryentry{FREERTOS}{ - name=FreeRTOS, - description={an open-source \glsxtrshort{RTOS} for microcontrollers} -} \newglossaryentry{ONEWIRE}{ name=1-wire, description={a simple single wire communication protocol often used to connect sensors to microcontrollers}