قالب 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 سانتی‌متر، یک‌ستونی) است که روی کاغذ Letter، یا با گزینهٔ a4paper روی A4، وسط‌چین می‌شود و با 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.