תבנית LaTeX של Springer LNCS (llncs)

התבנית הרשמית של Springer LNCS היא המחלקה llncs, מ-CTAN או מההנחיות של Springer לכינוסים. ל-Scissor LaTeX יש חיקוי חינמי שלה לכתיבת טיוטות בדפדפן, בלי חשבון: מתחילים מתבנית LNCS, או כותבים \documentclass[runningheads]{llncs}, לעמודה אחת עם מוסדות ממוספרים וסביבות המשפטים של המחלקה. אותו קובץ .tex מתקמפל עם המחלקה הרשמית.

פתיחת התבנית LNCS בעורך בחינם, בדפדפן, בלי חשבון

התבנית

תבנית LNCS היא מאמר בשיטות פורמליות על בדיקת מודלים חסומה (bounded model checking), עם שלושה מחברים בשני מוסדות, מילות מפתח, הגדרה, משפט עם הוכחה, גרף בסקאלה לוגריתמית, טבלת booktabs, פרק credits ומקורות ממוספרים. פותחים את תבנית LNCS בעורך כדי לראות את כולה.

הפעלה

llncs היא מחלקת מסמך:

\documentclass[runningheads]{llncs}

הפריסה היא גוש הטקסט של LNCS (12.2 על 19.3 ס"מ, עמודה אחת) ממורכז על נייר Letter, או על A4 עם האפשרות a4paper, ומסודר ב-Latin Modern ב-10 pt. runningheads מוסיף את הכותרת המקוצרת ואת רשימת המחברים בראש העמודים שאחרי הראשון, עם מספר העמוד; בלעדיה אין לעמודים כותרת עליונה.

מחברים עם מוסדות, ORCID, מילות מפתח ומשפט

LaTeXהעתקהפתיחה בעורך (נפתח בכרטיסייה חדשה)

\documentclass[runningheads]{llncs}
\usepackage{amsmath}

\begin{document}
\title{Bounded Model Checking of Timed Message Protocols}
\titlerunning{Bounded Model Checking of Timed Protocols}
\author{Erika Mustermann\inst{1}\orcidID{0000-0000-0000-0044} \and
John Doe\inst{2}}
\authorrunning{E. Mustermann and J. Doe}
\institute{Example University, Musterstadt, Germany\\
\email{erika.mustermann@example.org} \and
Institute of Example Studies, Exampleton, USA}
\maketitle

\begin{abstract}
We encode timed protocols as SMT problems and check them up to a bound.
\keywords{Model checking \and Timed automata \and SMT.}
\end{abstract}

\section{Introduction}
\begin{definition}
A run of a protocol is a finite sequence of states $s_0, \dots, s_k$.
\end{definition}

\begin{theorem}\label{thm:bound}
Every run of a protocol with 44 nodes reaches a fixed point within $2n$ steps.
\end{theorem}

\begin{proof}
By induction on the number of pending messages. \qed
\end{proof}

Theorem~\ref{thm:bound} gives the bound we use.
\end{document}

לשונית הבעיות: Layout in the style of the Springer LNCS format (final mode). Not official. To compile elsewhere, add llncs.cls from ctan.org/pkg/llncs.

הפקודות של המחלקה

הכותרות עוקבות אחרי המחלקה: "1 Introduction" ו-"1.1" בהדגשה, ו-\subsubsection מסודר ככותרת קטנה מודגשת בשורה משלה (המחלקה משלבת אותה בתחילת הפסקה). כיתובי איורים וטבלאות הם "Fig. 1." ו-"Table 1.".

ביבליוגרפיה

התבנית משתמשת ב-\bibliographystyle{splncs04}, ש-Scissor LaTeX מסדר בסגנון הציטוט של Springer LNCS: רשומות ממוספרות וציטוטים [1]. ראו ביבליוגרפיות.

מה שונה מ-llncs

כדי להגיש, מורידים את llncs.cls מ-CTAN (llncs), שם נמצא גם התיעוד של המחלקה, או מההנחיות של Springer לכינוסים. קובץ ה-.tex שלך מתקמפל איתה בלי שינוי. ראו תבניות דומות לפורמטים של כנסים לפריסות האחרות, ומשפטים והוכחות לסביבות משפטים באופן כללי.

כל דוגמה בדף הזה מסודרת על ידי Scissor LaTeX בזמן בניית האתר. עודכן לאחרונה: 2026-11-07.