قالب LaTeX لـ Springer LNCS ‏(llncs)

قالب Springer LNCS الرسمي هو الفئة llncs، من CTAN أو من إرشادات Springer لوقائع المؤتمرات. يوفر Scissor LaTeX بديلًا مجانيًا مشابهًا للكتابة في متصفحك من دون حساب: ابدأ من قالب LNCS، أو اكتب \documentclass[runningheads]{llncs}، لتحصل على عمود واحد مع معاهد مرقّمة وبيئات النظريات الخاصة بالفئة. ويُصرَّف ملف .tex نفسه مع الفئة الرسمية.

افتح قالب LNCS في المحرر مجانًا، في متصفحك، بلا حساب

القالب

قالب LNCS ورقة في الأساليب الصورية عن فحص النماذج المحدود، بثلاثة مؤلفين من معهدين، وكلمات مفتاحية، وتعريف، ونظرية مع برهانها، ورسم بياني بمقياس لوغاريتمي، وجدول booktabs، وقسم credits، ومراجع مرقّمة. افتح قالب LNCS في المحرر لترى كل محتواه.

تفعيله

‏llncs فئة مستند:

\documentclass[runningheads]{llncs}

التخطيط هو كتلة نص LNCS ‏(12.2 في 19.3 cm، عمود واحد) في وسط ورق 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.