Author: social

Original:http://www.pitt.edu/~druzdzel/abstracts/dss.html

Авторы: Марек Дж. Друздель и Роджер Флинн
Лаборатория систем принятия решений
Школа информационных наук
и программа интеллектуальных систем
Университет Питтсбурга
e-mail: marek@sis.pitt.edu, flynn@sis.pitt.edu

  Это статья в энциклопедии, в которой рассматривается область систем поддержки принятия решений. Ниже следует введение в статью. Если это вас заинтересовало, см. Полную версию (ссылки на электронные версии доступны ниже).

Введение:

Принятие решений в отношении сложных систем (например, управление организационными операциями, производственными процессами или инвестиционными портфелями, командование и контроль воинских частей, контроль над атомными электростанциями) часто обуславливает наши познавательные способности. Несмотря на то, что индивидуальные взаимодействия между переменными системы могут быть хорошо поняты, прогнозирование того, как система будет реагировать на внешние манипуляции, такие как политическое решение, часто бывает затруднительным. Каким будет, например, эффект введения третьей смены на заводской этаж? Можно было бы ожидать, что это увеличит производство завода примерно на 50%. Тем не менее, необходимо учитывать такие факторы, как добавочная заработная плата, изношенность машин, разрывы обслуживания, использование сырья, логистика поставок и будущий спрос, поскольку они все повлияют на общий финансовый результат этого решения. Многие переменные вовлечены в сложные и часто тонкие взаимозависимости, и прогнозирование общего результата может быть сложным.

Существует немало эмпирических доказательств того, что человеческие интуитивные суждения и принятие решений могут быть далеки от оптимальных, и это еще более усложняется со сложностью и стрессом. Во многих ситуациях важно качество решений; поэтому помощь в решении человеческих суждений и принятии решений была основным направлением науки на протяжении всей истории. Дисциплины, такие как исследования статистики, экономики и операций, разработали различные методы для рационального выбора. Совсем недавно эти методы, часто усиливаемые различными методами, происходящими из информатики, когнитивной психологии и искусственного интеллекта, были реализованы в виде компьютерных программ либо как автономные инструменты, либо как интегрированные вычислительные среды для комплексного принятия решений. Такие среды часто получают общее название систем поддержки принятия решений (DSS). Концепция DSS чрезвычайно широка, и ее определения различаются в зависимости от авторской точки зрения. Чтобы избежать исключения любого из существующих типов DSS, мы определяем их примерно как интерактивные компьютерные системы, которые помогают пользователям в суждениях и действиях выбора. Другое имя, иногда используемое в качестве синонима для DSS, – это системы, основанные на знаниях, которые ссылаются на их попытку формализовать знание домена, чтобы оно было поддано механизированным рассуждениям. Системы поддержки принятия решений приобретают все большую популярность в различных областях, включая бизнес, инженерию, военную и медицину. Они особенно ценны в ситуациях, когда количество доступной информации является неподъемным для интуиции невостребованного лица, принимающего решения, и в котором важны точность и оптимальность. Системы поддержки принятия решений могут помочь человеческим когнитивным недостаткам путем интеграции различных источников информации, обеспечения интеллектуального доступа к соответствующим знаниям и содействия процессу структурирования решений. Они также могут поддерживать выбор среди четко определенных альтернатив и основываться на формальных подходах, таких как методы инженерной экономики, исследования операций, статистика и теория принятия решений. Они также могут использовать методы искусственного интеллекта для эвристического решения проблем, которые трудно поддаются формальным методам. Надлежащее применение инструментов принятия решений повышает производительность, эффективность и эффективность и дает многим предприятиям сравнительное преимущество перед конкурентами, позволяя им оптимально выбирать технологические процессы и их параметры, планируя бизнес-операции, логистику или инвестиции. Хотя трудно переоценить важность различных компьютерных средств, которые имеют отношение к принятию решений (например, баз данных, программного обеспечения для планирования, электронных таблиц), в этой статье основное внимание уделяется ядру DSS, которая напрямую поддерживает проблемы моделирования решений и определяет лучшие альтернативы. Мы кратко обсудим характеристики проблем решения и способы поддержки принятия решений с помощью компьютерных программ. Затем мы охватываем различные компоненты DSS и роль, которую они играют в поддержке принятия решений. Мы также вводим новый класс нормативных систем (т. Е. DSS, основанный на прочных теоретических принципах) и, в частности, аналитические аналитические DSS. Наконец, мы рассматриваем проблемы, связанные с пользовательскими интерфейсами для DSS, и подчеркиваем важность пользовательских интерфейсов для максимального качества решений, поддерживаемых компьютерными программами.

Original Article:http://www.roizen.com/ron/dogpounds.htm

El estudio del alcoholismo parece siempre suspendido entre dos perspectivas de la ciencia del comportamiento, una que se concentra en los individuos y otra que se concentra en las variables socioculturales. Esta división conceptual ha planteado muchas cuestiones fundamentales sobre la naturaleza de las ciencias del comportamiento y la relación entre estas ciencias y la política pública. Cualquier definición de bebida desviada parece necesitar al menos dos variables: por un lado, debe haber un comportamiento (de bebida); por otro lado, debe haber un contexto social dentro del cual ese comportamiento sea inapropiado. Por lo tanto, la idea de la bebida desviada debe ser un desajuste entre la conducta de beber y el contexto social. Durante muchos años, los estudiantes de alcoholismo han estudiado la gama de posibles causas del consumo excesivo (el “comportamiento”); más recientemente, algunos de nosotros nos hemos interesado más por la variación en los contextos sociales como una explicación de la bebida desviada. Cuando el comportamiento es el sujeto, a menudo existe una suposición implícita de que existe un estándar general de consumo habitual de alcohol del cual el alcohólico es claramente desviado. Por lo tanto, el estudio de los alcohólicos en las clínicas, por ejemplo, implícitamente ha implicado a menudo una norma de consumo común y homogénea y un conjunto de prácticas de bebida para los no alcohólicos. El estudio de contextos, por otro lado, ha tendido a desinflar la importancia del comportamiento de beber y concentrarse en las variaciones en los patrones de consumo habituales y aceptables en diferentes contextos sociales. Esta diferencia de perspectiva está cargada de implicaciones y consecuencias científicas y de política. Una pequeña analogía puede ayudar a agudizar algunas de estas implicaciones divergentes:

Supongamos que uno estuviera interesado en comprender el “problema” de los perros callejeros en una comunidad típica. Un enfoque individualista podría comenzar con la idea de que los perros varían en cuanto a su propensión a extraviarse, algunos perros son muy propensos a extraviarse. El problema central para el investigador individualista, por lo tanto, es descubrir las causas de una propensión a la deriva. O, dicho de otra manera, qué es diferente acerca de los perros que se descarrilan en lugar de los perros “normales”. Este enfoque podría postular que la alta desviación es un fenómeno similar a una enfermedad que algunos perros tienen y otros no. La investigación de los vagabundos altos podría proceder “clínicamente” o, en este caso, en el refugio comunitario para animales. Ahí hay perros que han sido capturados por extraviarse y, por extensión, una muestra que puede revelar elementos comunes que difieren de los perros “normales” y que son sintomáticos o implicativos de la etiología de la alta desviación. No todos los perros callejeros, por supuesto, están encarcelados a la vez. Pero en tanto se impute a los extraviados tener cualidades similares a las de las entidades, el problema de una mala muestra no es particularmente importante. Cualquiera que se extravíe correctamente entendido revelará los datos clínicos necesarios, de la misma manera que una muestra de uno es adecuada para la investigación de enfermedades infecciosas si eso es todo lo que tiene que trabajar. Con suerte, el clínico puede descubrir un conjunto de características comunes entre los altos niveles que, vinculados a una teoría de desviación alta, ofrecen una explicación. Dentro de un contexto “clínico”, es probable que esta teoría sea probada por medio del éxito de la terapia que sugiere. En muchos casos, sin embargo, la terapia y la teoría pueden estar notablemente separadas entre sí. En cualquier caso, si se usan drogas o métodos didácticos o (en casos severos) cirugía craneal o locomotora, la prueba del modelo será la falla de estos perros para regresar al refugio o (al menos) regresar con menos frecuencia o por menos episodios de desviación.

Está profundamente enterrado en este enfoque la suposición de que el fenómeno de la alta desviación es relativamente raro. Esta rareza se asume tanto desde el punto de vista práctico como lógico: lógicamente, la alta desviación es identificable solo si la gran mayoría de los perros no son de alta categoría. Si también fueran de alta categoría, el enfoque clínico sería muy amenazante: estaríamos lidiando con una calidad de perros (todos perros o la mayoría de los perros) en lugar de una patología identificable en unos pocos. En segundo lugar, pocas comunidades asumirían el costo de aplicar la terapia correctiva a la mayoría de los perros dentro de sus límites. Por lo tanto, el enfoque clínico contiene el objetivo de “salir del negocio” una vez que se ha rehabilitado el número limitado de perros de alta derivación.

Algunos sociólogos, sin embargo, verían el “problema” de los perros callejeros de una manera bastante diferente de la del investigador individualista. Los sociólogos podrían comenzar con la suposición de que la mayoría de los perros a veces se desviarán. Las diferencias en una propensión inherente a extraviarse no son ni muy grandes ni muy importantes conceptualmente. Más bien, lo importante es la relación entre los perros callejeros y la comunidad. En esta línea, el sociólogo podría comenzar preguntando: “¿Por qué los perros callejeros son un problema en primer lugar?”

Como el investigador individualista, el sociólogo podría sentirse atraído por el refugio de animales, pero la naturaleza de sus observaciones allí sería bastante diferente. Partiendo de la idea de que muchos perros tienen episodios de extravío pero pocos son capturados y mantenidos en la perrera, el sociólogo podría comenzar su investigación sobre el “problema” de los perros callejeros investigando las circunstancias que rodean la captura de perros. Podría descubrir, por ejemplo, que las áreas periféricas de la comunidad contribuyen con pocos o ningún perro al refugio, lo que sugiere que la desviación per se no es la causa de la preocupación de la comunidad (es decir, la captura). Los perros en áreas periféricas, después de todo, probablemente se dejan salir más que los perros del centro. Las implicaciones de las circunstancias que rodean la captura de los perros en la perrera pueden sugerir al sociólogo que el problema de los perros callejeros no es extraviador sino el contexto social: los perros errantes solo crean un problema en ciertos tipos de situaciones. Por lo tanto, la pregunta que enfrenta el sociólogo es una de las variaciones en los contextos con respecto a la amenaza o la interrupción que representan los perros callejeros en cada uno. En lugar de escribir perros, si así lo desea, el sociólogo se preocupa por los contextos de tipeo para llegar a la raíz conceptual del problema social que se presenta. Digamos, por ejemplo, que la mayoría de los perros fueron capturados cuando se congregaron en manadas, cuando defecaron en las propiedades de los observadores sensibles, cuando se volvieron problemáticos en las intersecciones de gran tráfico, cuando pasaron por la zona del circuito normal de las rondas de atrapamoscas, cuando estaban en celo, cuando estaban enfermos o incapacitados, cuando parecían hambrientos o enloquecidos cuando eran grandes, cuando picaban a alguien o se involucraban en una pelea con otro perro, o cuando no estaban lo suficientemente familiarizados con el atrapamoscas para intentar eludir sus esfuerzos de captura.

El “problema” de los extraviados, por lo tanto, es que en algunas situaciones amenazan la seguridad, los estándares de limpieza, el flujo de comercio, los conceptos de moralidad pública, paz y tranquilidad, o excitan los impulsos humanitarios en los observadores humanos. Algunos perros, por supuesto, pueden tener diferentes probabilidades de verse envueltos en este tipo de situaciones: perros cuyos amos viven en el centro o los dejan salir con frecuencia o habitan en áreas con pocos céspedes atractivos o donde ambos cónyuges trabajan o lo que sea pueden tener estructuras de oportunidad diferencial . Pero estos factores explican solo la recurrencia o la reincidencia de los perros en lugar de los problemas sociales centrales a mano. Se pueden descubrir determinantes aún más sofisticados de la captura: si, por ejemplo, los funcionarios de la empresa de captura de perros son evaluados en términos de los ingresos de las multas que producen, los esfuerzos para capturar perros pueden concentrarse en barrios ricos en lugar de pobres para maximice tanto la cantidad de multas o compensaciones como para maximizar la probabilidad de que los propietarios les paguen para recuperar sus perros. En cualquier caso, el producto del análisis del sociólogo será radicalmente diferente del del investigador individualista. En el fondo, el informe del sociólogo hará hincapié en que ciertos problemas son presentados por los perros y estos problemas más que el concepto general de perros callejeros plantean los problemas centrales para la política pública. Puede sugerir que pocas medidas pueden cambiar significativamente las conductas de los perros, y que los esfuerzos o sanciones dirigidas a los propietarios sirven para mantener el nivel de transgresiones caninas a un nivel aceptable. Por lo tanto, una preocupación para el sociólogo es que él fue llamado en absoluto, es decir, estará predispuesto a examinar la situación en términos que iluminen o señalen (en la medida de lo posible) qué ha cambiado de tal manera que sus servicios fueron requisado en absoluto. Partiendo de la idea de una homeostasis o equilibrio en los sistemas sociales, puede reflexionar sobre el desequilibrio que ocasionó sus servicios. Aquí está el problema que presenta el análisis sociológico de la desviación. Puede ser que la fecundidad de los perros haya creado una población de perros ampliada; o tal vez la creciente resistencia a los perros se debe a un cambio en el desarrollo de la comunidad o la desaparición del césped en la ciudad.

Obviamente, las recomendaciones de política que surgen de los análisis individualistas y sociológicos serán bastante diferentes. Un enfoque individualista podría sugerir que la “única” manera de resolver el problema es solicitar activamente a todos los perros que se extravían (o identificarlos en la comunidad de alguna manera) y beneficiarlos con el tratamiento o los tratamientos que resultan ser los más exitosos en la supresión muy errante. El sociólogo, por otro lado, podría sugerir que ciertos cambios en la comunidad o en la población de perros han ocasionado el desequilibrio con respecto a los perros callejeros. Una vez que se identificaron estos cambios, la comunidad podría elegir responder a sí mismos y de diferentes maneras. Tal vez podrían intentar cambiarse a sí mismos para convertir lo que era una situación amenazante en uno no amenazante. La cópula canina, por ejemplo, podría redefinirse como algo ajeno al alcance de las normas humanas de conducta pública si ese fenómeno se relacionara de alguna manera con la mayor visibilidad de los extraviados. Si el problema se originó en el aumento de la población canina, la esterilización de mascotas privadas (gratis) podría iniciarse.

Esta analogía simplifica bastante algunas de las diferencias entre las dos perspectivas. Sin embargo, debe quedar claro que las suposiciones y las implicaciones ampliamente divergentes surgen de cualquiera de los modos de estudio. En el caso de los perros callejeros, podemos suponer que los factores individualistas y socioculturales juegan un papel importante en la determinación de desviarse y capturar, y ambos tipos de perspectivas no son tan contradictorios, ya que son inconmensurables, es decir, lógicamente independientes de cada uno. otro. Uno estudia el fenómeno de la desviación, la otra captura, uno estudia los determinantes localizados dentro del individuo, las otras estructuras sociales a nivel agregado; uno resalta el comportamiento y el otro el contexto en el cual el comportamiento plantea problemas; uno hablaría del problema del cambio de comportamiento y el otro de los caprichos del cambio de la estructura social y las respuestas.

Es útil señalar que la analogía del perro callejero “tiene sentido” dentro de los términos sociales estructurales, mientras que los ejemplos humanos (alcoholismo, enfermedad mental, retraso mental, crimen, etc.) son a menudo difíciles de interpretar en los mismos términos. Tal vez debido a una profunda corriente de pensamiento individualista en nuestra cultura, a menudo es difícil evitar hacer preguntas como: ¿por qué es un alcohólico? La perspectiva estructural social, sin embargo, no está centrada en la génesis o etiología del comportamiento alcohólico. Más bien, esa perspectiva se concentra en los significados y problemas creados por la bebida dentro de contextos sociales en los que beber está normado negativamente. Exploraremos esta diferencia más a fondo más adelante. Una pregunta que vale la pena pensar en este momento es por qué una explicación estructural social de los perros callejeros tiene sentido, mientras que una explicación estructural social del alcoholismo es difícil de mantener. Hay varias razones importantes para este fenómeno. En primer lugar, se puede decir que los perros no siempre son sabios en la forma de los hombres en cuyas comunidades viven. Por lo tanto, es fácil aceptar el hecho de que los perros son en gran medida ignorantes de la cultura humana y, de hecho, imponer las regularidades de los comportamientos de sus propias especies sobre el espacio disponible en las comunidades humanas. En cierto sentido, estamos diciendo que la palatabilidad del relato social estructural de los perros callejeros se basa en parte en nuestra capacidad para aceptar una brecha cultural entre perros y hombres. Sin embargo, esta misma brecha es más difícil de extender a los hombres que habitan (al menos geográficamente) la misma comunidad. Nuestras leyes, por ejemplo, “se aplican por igual” a todos los ciudadanos de la comunidad, hablamos el mismo idioma, compartimos en muchas de las mismas instituciones si desde diferentes puntos de vista. Es decir, tenemos una amplia presunción subyacente de la uniformidad y homogeneidad de nuestra cultura y nuestras normas. Cuando el antropólogo informa que las cosas son diferentes o significan cosas diferentes en las culturas A y B, podemos ver esa discrepancia cómodamente. Pero las diferencias en las realidades subculturales y normativas para los vecinos y la gente del otro lado del camino a menudo parecen estar estirando un punto. Por lo tanto, la explicación social estructural de un fenómeno como el alcoholismo está íntimamente relacionada con la demostración de diferencias en los mundos percibidos de “los derechos y los errores” entre (ostensiblemente) los miembros de la misma comunidad. Pero incluso la demostración de estas diferencias, por supuesto, puede reinterpretarse en términos individualistas: uno puede preguntarse por qué ciertas personas no han aprendido o internalizado las reglas cotidianas de la conducta pública tal como las vemos. Aquí, una vez más, nuestra investigación puede volver a caer en cuestiones que rodean las capacidades de los individuos para hacerse susceptibles o no susceptibles a las normas de la cultura central. En resumen, una explicación social estructural de la desviación depende de una diversidad de subculturas en las que existen normas discretas y diferentes para comportamientos y muros seleccionados entre subculturas que son lo suficientemente altas como para dificultar que las minorías subculturales “vean” el funcionamiento del núcleo estándares culturales y sanciones.

Sobre la cuestión de los muros subculturales altos, hay al menos dos formas de ver su génesis y mantenimiento. Por un lado, podemos tener entidades subculturales que existen “en la naturaleza” como si estuvieran dentro de nuestras comunidades: la diversidad étnica, educativa u ocupacional, estratificada o de sexo o raza de una ciudad determinada, por ejemplo, nos proporciona las bases naturales para anticipando las diferencias en las normas comunes. Por otro lado, un número creciente de estudiantes de la desviación han llamado la atención sobre el hecho de que nuestros modos de enfrentar la desviación pueden, escudriñando alternativas de vida, colocando etiquetas más o menos permanentes, sometiendo a los capturados a experiencias similares y solidarias, y así sucesivamente – crear argot [“erstatz” era la palabra prevista, RR] estilos de vida que toman ciertos aspectos de un mundo cultural nuevo y extranjero. En cualquier caso (subculturas “salvajes” o “desviadas”), el sociólogo necesita un grado suficiente de diversidad normativa o subcultural para proporcionar la apariencia de desviación.

Existe otro nivel de análisis desde el cual el sociólogo puede encontrar fuentes naturales de comportamiento aparentemente desviado: el mundo cultural se divide en subculturas y el sistema social se divide en instituciones. Así, la vida cotidiana de los miembros del sistema puede llevarlos a través de una serie de instituciones en las que se esperan o requieren actuaciones divergentes. Estas actuaciones suelen estar aisladas en el tiempo y el espacio, lo que facilita los conflictos potenciales. Pero el aislamiento de roles y estados no siempre es completo, y el arrastre o rupturas aislantes pueden proporcionar un resorte de comportamiento desfavorable en el que operan las agencias de control social.

Un segundo ingrediente en la palatabilidad del argumento social estructural es el lugar común de la conducta ofensiva. Sobre este tema, una vez más, existe una dificultad cuando intentamos extender el caso a sujetos humanos. Dependiendo de cómo definamos el alcoholismo, por ejemplo, una prevalencia puede estar asociada con esa etiqueta, que puede extenderse de un número relativamente pequeño a un número muy grande.

Un tercer ingrediente es nuestra sensibilidad a las distinciones entre el comportamiento (del alcohólico, por ejemplo) y las dificultades específicas que este comportamiento crea para situaciones sociales definidas. El pensamiento humano es inevitablemente categórico, y el poder de las categorías (etiquetas) no debe subestimarse. Por lo tanto, a menudo podemos tener dificultades para ocultar, por el momento, el problema del “alcoholismo” y examinar en algunos detalles fenomenológicos las dificultades específicas que causan fricciones entre la bebida y el sistema sociocultural.

En cuarto lugar, los perros tal vez aprendan poco de sus estadías en los dogpounds; los hombres, por otro lado, se puede esperar que cambien y que haya otros a su alrededor que cambien como consecuencia y posterior a una experiencia sancionadora. Para algunos, la institución del control social puede ofrecer algo parecido a una carrera de argot [“ersatz”, R.R.] en la que la matriz social ambiental de esa institución se convierte en el marco de referencia de las acciones posteriores del desviado. En cualquier caso, el comportamiento humano es adaptativo y anticipativo. Es posible que tengamos dificultades para distinguir entre los comportamientos que preexistieron la institucionalización y que fueron decisivos para causar la institucionalización y aquellos comportamientos que fueron recogidos en el proceso de institucionalización. Esto plantea varios dilemas metodológicos para el investigador interesado en establecer las realidades estructurales sociales de la desviación. Las rutas institucionales muy usadas de los desviados pueden ser surcos de acción en los que algunas personas se ven obligadas y que otros buscan activamente.

Original Article: http://www.gobosoft.com/eiffel/syntax/

La sintaxis anotada de Eiffel descrita aquí está dirigida a escritores de herramientas de Eiffel como compiladores, intérpretes, correctores de sintaxis, herramientas breves y planas, lindas impresoras, etc., que quieran beneficiarse de algunos consejos y trucos. Aunque esta no es la especificación oficial de la sintaxis de Eiffel proporcionada por el Consorcio Internacional sin fines de lucro para Eiffel (NICE), se aparta de ella en solo dos o tres ocasiones bien documentadas. En particular, explica dónde, y a veces por qué, los compiladores existentes han extendido la sintaxis de Eiffel.

Las construcciones de sintaxis de Eiffel se enumeran en grupos, comenzando con constructos de alto nivel como Class_declaration hasta componentes léxicos como Identifier. Alternativamente, estos constructos también se dan en orden alfabético. La notación utilizada para describir la sintaxis de Eiffel se especifica en otro lugar. Una posible implementación de la sintaxis de Eiffel en formato yacc– y lex-like también se proporciona como ejemplo.

Class_declaration

[ Indexing ]
Class_header
[ Formal_generics ]
[ Obsolete ]
[ Inheritance ]
[ Creators ]
[ Features ]
[ Invariant ]
end [ -- class Class_name ]

Nota: la mayoría de los compiladores de Eiffel no verifican la validez del comentario opcional después del final de la palabra clave. SmallEiffel emite una advertencia sin embargo.

Nota: Un archivo puede contener más de una declaración de clase. Sin embargo, la mayoría de los compiladores de Eiffel tienen una limitación de una clase por archivo.

Indexing

indexing Index_list

Index_list

{ Index_clause ; ... }

Index_clause

[ Index ] Index_terms

Index

Identifier :

Index_terms

{ Index_value , ... }+

Index_value

Identifier | Manifest_constant

Class_header

[ Header_mark ] class Class_name

Header_mark

deferred | expanded | separate

Nota: la palabra clave separada no es parte del estándar de Eiffel. Se ha presentado en ISE Eiffel para admitir el mecanismo SCOOP. Lea Construcción de software orientado a objetos, segunda edición, para más detalles.

Class_name

Identifier

Formal_generics

[ Formal_generic_list ]

Formal_generic_list

{ Formal_generic , ... }

Nota: la lista de genéricos formales puede estar vacía. Como consecuencia, FOO [] es válido y significa lo mismo que FOO. Sin embargo, este no es el estilo recomendado.

Formal_generic

Formal_generic_name [ Constraint ]

Formal_generic_name

Identifier

Constraint

-> Class_type

Obsolete

obsolete Message

Message

Manifest_string

Inheritance

inherit Parent_list

Parent_list

{ Parent ; ... }

Parent

Class_type [ Feature_adaptation ]

Feature_adaptation

[ Rename ]
[ New_exports ]
[ Undefine ]
[ Redefine ]
[ Select ]
end

Nota: Debido a esta construcción, la gramática de Eiffel no es LR (1). Esto ocurre en la siguiente situación:

class FOO
inherit
    BAR
end

La palabra clave end se considerará como parte de la opción Feature_adaptation en lugar de como parte del constructo Class_declaration.

Una forma de resolver este problema sería permitir que la palabra clave termine en Feature_adaptation solo cuando al menos uno de los constructos opcionales que componen la Feature_adaptation está presente

Rename

rename Rename_list

Rename_list

{ Rename_pair , ... }

Rename_pair

Feature_name as Feature_name

New_exports

export New_export_list

New_export_list

{ New_export_item ; ... }

New_export_item

Clients Feature_set

Feature_set

Feature_list | all

Feature_list

{ Feature_name , ... }

Clients

{ Class_list }

Class_list

{ Class_name , ... }

Redefine

redefine Feature_list

Undefine

undefine Feature_list

Select

select Feature_list

Creators

creation { Creation_clause creation ... }+

Creation_clause

[ Clients ] [ Header_comment ] Procedure_list

Nota: La sintaxis estándar requiere una Feature_list en lugar de una Procedure_list pero la Creation_clause realmente enumera los nombres de los procedimientos de creación (ver la regla de validez VGCP-2).

Procedure_list

{ Procedure_name , ... }

Procedure_name

Identifier

Nota: Prefijo e Infijo son nombres de funciones, no nombres de procedimientos. No me queda claro si un Prefijo podría ser un nombre de atributo, pero definitivamente no es un nombre de procedimiento (ver la regla de validez VFFD-5).

Features

feature { Feature_clause feature ... }+

Feature_clause

[ Clients ] [ Header_comment ] Feature_declaration_list

Feature_declaration_list

{ Feature_declaration ; ... }

Feature_declaration

New_feature_list Declaration_body

Declaration_body

[ Formal_arguments ] [ Type_mark ] [ Constant_or_routine ]

Constant_or_routine

is Feature_value

Feature_value

Manifest_constant | Unique | Routine

Unique

Unique

New_feature_list

{ New_feature , ... }+

New_feature

[ frozen ] Feature_name

Feature_name

Identifier | Prefix | Infix

Prefix

prefix " Prefix_operator "

Infix

infix " Infix_operator "

Prefix_operator

Unary | Free_operator

Infix_operator

Binary | Free_operator

Nota: Todos los compiladores de Eiffel aceptan los operadores de prefijo e infijo, independientemente del caso de la letra, como el prefijo “NO” o infijo “AnD”.

Nota: No se permite ningún carácter intermedio después de la primera o antes de la última comilla doble. Sin embargo, no está claro qué tipo de interrupción se debe utilizar entre las dos palabras clave en y luego o bien. SmallEiffel acepta cualquier número de espacios en blanco y caracteres de pestañas, mientras que los otros compiladores requieren un solo espacio en blanco.

Unary

not | + | -

Binary

+ | - | * | / | < | > | <= | >= | // | \\ | ^ |
and | or | xor | and then | or else | implies

Formal_arguments

( Entity_declaration_list )

Entity_declaration_list

{ Entity_declaration_group ; ... }

Entity_declaration_group

Identifier_list Type_mark

Identifier_list

{ Identifier , ... }+

Type_mark

: Type

Nota: La lista de declaraciones de entidades puede estar vacía. Como consecuencia, foo () es válido y significa lo mismo que foo. Sin embargo, este no es un estilo recomendado.

Routine

[ Obsolete ]
[ Header_comment ]
[ Precondition ]
[ Local_declarations ]
Routine_body
[ Postcondition ]
[ Rescue ]
end [ -- Feature_name ]

Nota: La mayoría de los compiladores de Eiffel no verifican la validez del comentario opcional después de la palabra clave end. Ya no está en las pautas de estilo dejar este comentario.

Routine_body

Effective | Deferred

Effective

Internal | External

Internal

Routine_mark Compound

Routine_mark

do | once

Deferred

deferred

External

external Language_name [ External_name ]

Language_name

Manifest_string

External_name

alias Manifest_string

Nota: Cada compilador de Eiffel admite su propia mini sintaxis en el nombre del idioma y las cadenas de nombre externas para describir su interfaz con otros lenguajes de programación. Consulte la documentación que viene con los diferentes compiladores para más detalles.

Local_declarations

local Entity_declaration_list

Precondition

require [ else ] Assertion

Postcondition

ensure [ then ] Assertion

Invariant

invariant Assertion

Assertion

{ Assertion_clause ; ... }

Assertion_clause

[ Tag_mark ] Unlabeled_assertion_clause

Unlabeled_assertion_clause

Boolean_expression | Comment

Tag_mark

Tag :

Tag

Identifier

Nota: Aunque se esperan comentarios como los comentarios de encabezado en algunos constructos como

require
    tag: -- Syntax error when ignored!
do

and

require
    tag: -- If this comment is ignored,
         -- tag will be erroneously
         -- associated with foo.is_valid!
    foo.is_valid

See the second note in Comment for more details.

Rescue

rescue Compound

Note: The validity rule VXRT states that the Retry instruction is only valid in a rescue clause. This could eventually be enforced by the syntax.

Type

Class_type |
Class_type_expanded |
Class_type_separate |
Anchored | Bit_type

Note: The standard Eiffel syntax also lists Formal_generic_name as a possible alternative for Type. However it introduced an ambiguity in the syntax since an identifier could be recognized both as a Formal_generic_name and a Class_type with no actual generics.

Class_type

Class_name [ Actual_generics ]

Actual_generics

[ Type_list ]

Type_list

{ Type , ... }

Note: The list of types may be empty. As a consequence, FOO[] is valid and means the same as FOO. However, this is not the recommended style.

Class_type_expanded

expanded Class_type

Class_type_separate

separate Class_type

Note: Class_type_separate is not part of the Eiffel standard. It has been introduced in ISE Eiffel to support the SCOOP mechanism. Read Object-Oriented Software Construction, second edition, for details.

Bit_type

BIT Bit_length

Note: In the standard syntax, Constant appears instead of Bit_length. However the validity rule VTBT states that a Bit_type declaration is valid if and only if its Constant is of type INTEGER, which means that the constant is either a manifest integer constant or an attribute constant.

Bit_length

Integer_constant | Attribute

Anchored

like Anchor

Anchor

Identifier | Current

Compound

{ Instruction ; ... }

Instruction

Creation | Call | Assignment |
Assignment_attempt | Conditional |
Multi_branch | Loop | Debug |
Check | Retry | Null_instruction

Creation

! [ Type ] ! Writable [ Creation_call ]

Note: If the type is absent, the two exclamation marks may be written with or without intervening break. In the style standard, the recommended form is the one without breaks, which makes !! appear as a single lexical symbol.

Creation_call

. Procedure_name [ Actuals ]

Note: In the standard Eiffel syntax, the Creation_call is made of an Unqualified_call. But the validity rule VGCC-6 states that if f is the feature of the Creation_call, the f is a procedure.

Assignment

Writable := Expression

Assignment_attempt

Writable ?= Expression

Conditional

if Then_part_list [ Else_part ] end

Then_part_list

{ Then_part elseif ... }+

Then_part

Boolean_expression then Compound

Else_part

else Compound

Multi_branch

inspect Expression
[ When_part_list ] [ Else_part ] end

When_part_list

when { When_part when ... }+

When_part

Choices then Compound

Choices

{ Choice , ... }

Note: The list of choices may be empty. As a consequence,

inspect expr
when then
    do_something
...

although meaningless, is syntactically correct. It can be thought of as

if False then
    do_something
...

However, this is not part of the recommended style.

Choice

Choice_constant | Interval

Note: The standard syntax specifies Constant instead of Choice_constant. However the validity rule VOMB-1-2 states that the Constant in Choice and Interval is only of type INTEGER or CHARACTER.

Interval

Choice_constant .. Choice_constant

Note: The lexical analyzer has to be smart enough in the following example:

inspect expr
when 1..2 then
...

Indeed, ‘1..2‘ should be recognized as the two integer constants ‘1‘ and ‘2‘ separated by the Eiffel symbol ‘..‘, instead of as two consecutive real constants ‘1.‘ and ‘.2‘. Visual Eiffel erroneously emits a syntax error when parsing the example above.

Choice_constant

Integer_constant | Character_constant | Attribute

Note: TowerEiffel accepts “remote constant” in Choice and Interval, such as in:

foo: FOO
inspect i
when foo.const then
     do_something
end

where const is declared as constant in class FOO. This is not standard Eiffel syntax.

Loop

Initialization
[ Invariant ]
[ Variant ]
Loop_body
end

Initialization

from Compound

Variant

variant [ Tag_mark ] Expression

Note: The validity rule VAVE states that Expression must be of type INTEGER. This could eventually be partially enforced in the syntax by discarding Equality, Manifest_array, Strip and all non-integer Manifest_constants.

Loop_body

Exit loop Compound

Exit

until Boolean_expression

Debug

debug [ Debug_keys ] Compound end

Debug_keys

( Debug_key_list )

Debug_key_list

{ Debug_key , ... }

Debug_key

Manifest_string

Check

check Assertion end

Retry

retry

Note: The validity rule VXRT states that the Retry instruction is only valid in a Rescue clause. This could eventually be enforced by the syntax.

Null_instruction

empty

Note: This instruction has a purely syntactical role: making sure that extra semicolons added by oversight to a Compound are harmless, as in

if c then ; i1;;; i2; else ;; end

TowerEiffel does not support extra semicolons other than terminators. All other compilers work as expected. SmallEiffel emits a warning when parsing extra semicolons.

Call

Qualified_call | Precursor

Qualified_call

[ Call_qualifier ] Call_chain

Call_qualifier

Call_target .

Call_target

Parenthesized | Result | Current | Precursor

Call_chain

{ Unqualified_call . ... }+

Unqualified_call

Identifier [ Actuals ]

Note: This specification of Call is slightly different from the version supplied in the standard. However the standard syntax accepts constructs which are not correct Eiffel such as Routine o  Features, este es el único lugar donde ignorar un comentario da como resultado un error de sintaxis o un árbol de sintaxis incorrecto. Esto ocurre en las siguientes situaciones

foo.Result
Current (5)

mientras que la especificación dada arriba no lo hace.

Note:En TowerEiffel, las funciones se pueden llamar directamente en un Manifest_constant sin colocar paréntesis alrededor de la constante, como en:

str := 'a'.out

que debería ser, usando la sintaxis estándar:

str := ('a').out

Hay un ligero problema léxico con Integer_constant sin embargo, desde

123.out

es reconocido como

123. out

'123.' ser un  Real_constant. El programador tiene que agregar un extra Break entre la constante entera y el punto para evitar este problema.

Precursor

[ Parent_qualification ] Precursor [ Actuals ]

Parent_qualification

{ Class_name }

Nota:La construcción precursora no es parte de la sintaxis estándar de Eiffel. Se ha presentado en la segunda edición de Construcción de software orientado a objetos y se ha presentado a NICE una propuesta para su estandarización. ISE Eiffel y Halstenbach probablemente apoyarán esta construcción en su próximo lanzamiento.

Nota: En la segunda edición de construcción de software orientada a objetos, el nombre de la clase en Parent_qualification se incluye entre dobles llaves: {{Class_name}}. Sin embargo, la propuesta presentada a NICE utiliza la sintaxis especificada anteriormente.

Attribute

Identifier

Nota: de acuerdo con la regla de validez VFFD-5, un atributo también puede ser un Prefix.

Writable

Identifier | Result

Nota: El grupo de sintaxis de Entity de la especificación de sintaxis estándar se ha simplificado mucho para resolver muchas ambigüedades. Por ejemplo, debería:

foo

ser reconocido como Atributo, Local o Formal? Solo un análisis semántico puede dar la respuesta.

Actuals

( Actual_list )

Actual_list

{ Actual , ... }

Nota: La lista de datos reales puede estar vacía. Como consecuencia, foo() es válido y significa lo mismo que foo. Sin embargo, este no es un estilo recomendado.

Actual

Expression | Address

Nota: TowerEiffel trata la dirección como una expresión normal (es decir, como una alternativa en el Expression construir). Como consecuencia, una dirección no necesita ocurrir solo en listas reales.

Address

$ Address_mark

Address_mark

Feature_name | Current | Result

Expression

Current | Result |

Call | Operator_expression |
Equality | Manifest_array |
Old | Strip | Boolean_constant |
Bit_constant | Integer | Real |
Manifest_string | Character_constant |
Wide_character_constant |
Wide_manifest_string |
Hexadecimal_constant

Nota: Esta especificación de Expression es ligeramente diferente de la versión suministrada en el estándar. En primer lugar, se han agregado Corriente y Resultado como consecuencia de las nuevas especificaciones para Call. Entonces, Manifest_constant ha sido reemplazado con la lista de sus alternativas. Esto es para resolver una ambigüedad en la sintaxis estándar. En el siguiente fragmento de código:

foo := - 2

si la expresión en el lado derecho de la asignación se reconoce como una Integer_constant o como una  Unary_expression cuyo Prefix_operator is ‘-‘ y cuyo Expressiones un entero (sin signo)? Reemplazando Integer_constant y Real_constant by Integer y Real resuelve el problema.

Nota: Wide_character_constant, Wide_manifest_string y Hexadecimal_constant no son parte del estándar.Se han introducido en TowerEiffel para admitir caracteres anchos y cadenas y enteros hexadecimales.

Boolean_expression

Expression

Nota: La regla de validez VWBE establece que una expresión booleana debe ser de tipo BOOLEAN. Esto podría eventualmente aplicarse parcialmente en la sintaxis mediante el descarte Manifest_array, Strip y todos los no booleanos Manifest_constants.

Operator_expression

Parenthesized | Unary_expression | Binary_expression

Parenthesized

( Expression )

Unary_expression

Prefix_operator Expression

Binary_expression

Expression Infix_operator Expression

Nota: Ver operador para la precedencia y asociatividad del operador.

Equality

Expression Comparison Expression

Comparison

= | /=

Nota: Ver operador para la precedencia y asociatividad del operador.

Manifest_constant

Boolean_constant | Character_constant |
Integer_constant | Real_constant |
Manifest_string | Bit_constant |
Wide_character_constant |
Wide_manifest_string |
Hexadecimal_constant

Note: Wide_character_constant, Wide_manifest_string  y  Hexadecimal_constant no son parte del estándar.Se han introducido en TowerEiffel para admitir caracteres anchos y cadenas y enteros hexadecimales.

Boolean_constant

True | False

Integer_constant

[ Sign ] Integer

Nota: Aquí hay una ambigüedad en la sintaxis estándar. En el siguiente fragmento de código:

foo := - 2

si el Expression en el lado derecho de la asignación se reconocerá como una Integer_constant o como un Unary_expression cuyo  Prefix_operator is ‘-‘ y cuyo Expression is an (unsigned) Integer? Esto se ha resuelto en la descripción de la sintaxis actual mediante la reescritura de la especificación de Expression.

Real_constant

[ Sign ] Real

Nota: la misma ambigüedad que para Integer_constant anterior.

Sign

+ | -

Wide_character_constant

$ Character_constant

Nota: Wide_character_constant no es parte del estándar. Se ha presentado en TowerEiffel para admitir personajes anchos.

Nota: No se permite ningún carácter intermedio entre el signo de dólar y el Character_constant.

Wide_manifest_string

$ Manifest_string

Nota: Wide_manifest_string no es parte del estándar. Se ha presentado en TowerEiffel para admitir caracteres anchos en cadenas.

Nota: No se permite ningún carácter intermedio entre el signo de dólar y el Manifest_string.

Manifest_array

<< Expression_list >>

Expression_list

{ Expression , ... }

Old

old Expression

Nota: La regla de validez VAOL-1 establece que la expresión anterior solo es válida en una Postcondition. Esto eventualmente podría ser impuesto por la sintaxis.

Strip

Strip ( Attribute_list )

Attribute_list

{ Attribute , ... }

Identifier

Un identificador es una secuencia de uno o más caracteres, de los cuales el primero es una letra (de la aa la Z y de la A a la Z) y cada uno de los siguientes, si los hay, es una letra, un dígito decimal (0 a 9) o un carácter de subrayado (_).
Letter Case no es significativo para las letras: los dos identificadores lInKeD_liST y LINKED_LIST se consideran iguales.

Nota: Desafortunadamente, SmallEiffel distingue entre mayúsculas y minúsculas. (Sorprendentemente, no distingue entre mayúsculas y minúsculas Reserved_words.)

Nota: Un identificador es válido si y solo si no es uno de los Reserved_words.

Nota: TowerEiffel no puede manejar guiones bajos contiguos en nombres de funciones y nombres de clase.

Integer

Un número entero es una secuencia de caracteres, cada uno de los cuales debe ser:

1. un dígito decimal (0 a 9)
2. un underscore (_), que puede no ser el primer personaje.

Si hay un guion bajo presente, debe haber tres dígitos a la derecha de cada guion bajo, y no debe haber ningún grupo consecutivo de cuatro dígitos.

Nota: Las últimas dos restricciones con respecto a los guiones bajos podrían eliminarse en el futuro, permitiendo grupos de cualquier cantidad de dígitos.

Nota:Contrariamente a Integer_constant, Integer no tiene señal.

Nota: ¡Tenga en cuenta el problema del valor entero mínimo! Por ejemplo, en plataformas donde los enteros se almacenan en 32 bits, el siguiente código de Eiffel es válido:

Minimum_integer: INTEGER is - 2_147_483_648
        -- Smallest supported value of type INTEGER

pero el analizador debe ser lo suficientemente inteligente, de lo contrario leerá un unario menos seguido del entero 2147483648, que no cabe en 32 bits y por lo tanto desencadena un desbordamiento.

Hexadecimal_constant

Una constante hexadecimal es una secuencia de dos o más caracteres, cuyo primer carácter es un dígito decimal (0 a 9), cuyos caracteres siguientes pero los últimos son dígitos decimales o letras de la a a la f de la A a la F, y seguidos de x o X , sin otros personajes intermedios.

Nota: Hexadecimal_constant no es parte del estándar. Se ha introducido en TowerEiffel para admitir enteros hexadecimales.

Nota: No está claro si los guiones bajos están permitidos en constantes hexadecimales.

Real

Un número real está compuesto de los siguientes elementos:

1. un opcional Integer,dando la parte integral (si no está presente, la parte integral es 0.)
2. un punto requerido (.)
3. un opcional Integerescrito al revés, que da la parte fraccionaria (si está ausente, la parte fraccionaria es 0.)
4. un exponente opcional, que es la letra eo E seguida de una opción Sign (+ or -) y un Integer. El entero es obligatorio si la e o E está presente. Esto indica que el valor que aparece antes de e o E debe ser escalado por 10 ^ n, donde n es el número entero dado.

No se permite ningún carácter intermedio (en blanco u otro) entre estos elementos. Las partes integrales y fraccionarias pueden no estar ausentes. Si los guiones bajos se usan en la parte integral o fraccionaria, también deben aparecer en la otra parte, a menos que tenga tres dígitos o menos.

Nota: El estilo recomendado es usar E en lugar de e.

Nota: Contrariamente a Real_constant, Real no tiene señal

Nota: La restricción que establece que las partes integral y fraccional pueden no estar ambas ausentes es léxicamente importante. De lo contrario, la siguiente pieza de código

a.e1

podría escanearse como

a  .e1

en lugar de

a  .  e1

'.e1' ser reconocido como un verdadero.

Character_constant

Una constante de caracteres es:

1. un personaje imprimible excepto por ciento (%) y comillas simples (‘)
2. un Special_character

encerrado entre comillas simples (‘).

Nota: Los caracteres imprimibles incluyen, en este caso, espacios en blanco y tabuladores, pero no líneas nuevas. Compare eso con Free_operator.

Manifest_string

Una cadena manifiesta es una secuencia arbitraria de:

1. caracteres imprimibles excepto por ciento (%) y comillas dobles (“)
2. Special_characters

encerrado entre comillas dobles (“).

Una forma extendida permite escribir una cadena de manifiesto en dos o más líneas. Cada línea, excepto la última, debe terminar con un porcentaje (%) y cada línea, excepto la primera, debe comenzar con un porcentaje (%) posiblemente precedido por espacios en blanco () y tabular caracteres.

Nota: Los caracteres imprimibles incluyen, en este caso, espacios en blanco y tabuladores, pero no líneas nuevas.Compare eso con Free_operator.

Bit_constant

Un bit constante es una secuencia de dígitos 0 o 1, seguida de bo B, sin otros caracteres intermedios.

Nota: El estilo recomendado es usar B en lugar de b.

Free_operator

Un operador libre es una secuencia de uno o más caracteres, cuyo primer carácter es cualquiera de @ # | & y cuyos caracteres posteriores, si los hay, pueden ser cualquier carácter imprimible. Letter Case no es significativo para letras en operadores libres.

Nota: Los caracteres imprimibles no incluyen, en este caso, los caracteres permitidos en Breaks. Compare eso con Character_constant.

Nota: El siguiente código

a@1

se escanea como

a  @1

que no es sintácticamente correcto. Ver Eiffel gotchas para más detalles.

Nota:Eiffel: El idioma, segunda impresión, permite caracteres especiales (aunque imprimibles) en operadores libres. Ningún compilador de Eiffel lo admite.

Nota: SmallEiffel y Visual Eiffel son sensibles a las mayúsculas y minúsculas para los operadores libres.

Comment

Un comentario comienza con dos caracteres de guion (-) y se extiende hasta el final de la línea.

Una forma extendida le permite a uno escribir un comentario en dos o más líneas. Cada línea, excepto la primera, debe comenzar con dos caracteres de guion posiblemente precedidos por espacios en blanco y caracteres tabulados.

Header_comment

Comment

Nota: Esta no es la descripción oficial de Comment. Sin embargo, no pude ver por qué el carácter de porcentaje (%) no estaba permitido en su forma desnuda (es decir, no formaba parte de  Special_character) en un comentario.

Nota: Hay dos tipos de comentarios: comentarios gratuitos y comentarios esperados. Los comentarios gratis pueden ser descartados por algunas herramientas. Sin embargo, los comentarios esperados aparecen como parte de cuatro constructos: Routine, Assertion_clause, Creation_clause and Feature_clause, y debe ser procesado por herramientas tales como la utilidad corta. Aunque, en Routine, Creation_clause and Feature_clause, el comentario del encabezado es opcional y puede ignorarse sin demasiado daño, es obligatorio in Assertion_clause e ignorarlo sería un error de sintaxis. Una solución para implementar estos comentarios esperados podría ser el uso de enlaces léxicos.

Nota: TowerEiffel emite erróneamente un error de sintaxis cuando aparece un comentario entre feature palabra clave y los clientes opcionales en el Features construir. Este es probablemente un efecto secundario del uso de los vínculos léxicos sugeridos anteriormente.

Nota: En el siguiente Routine declaración:

foo is
        -- This is the first comment.

        -- This is the second comment.

        -- This is the third comment.
    do
        ...
    end

no está claro cuál de los tres comentarios es el esperado Header_comment y cuáles son los otros dos comentarios gratuitos. TowerEiffel eligió el primer comentario para ser el comentario del encabezado. Algunos otros compiladores, como ISE Eiffel, Halstenbach y Visual Eiffel, realmente fusionan los tres comentarios en uno que se convierte en el comentario del encabezado.

Note: Algunos compiladores de Eiffel ignoran cualquier línea que comience con ‘- |’ en lugar de simplemente ‘-‘ en los comentarios de encabezado.

Break

Se divide una secuencia de uno o más de los siguientes caracteres:

1. blanco
2. lengüeta
3. nueva línea

Se puede insertar una ruptura entre dos elementos adyacentes sin afectar la semántica.

Nota: Algunas plataformas como Windows ponen un carácter de retorno de carro antes de la nueva línea. En tales casos, es más fácil considerar el retorno de carro como un cuarto personaje posible que constituye un descanso.

Special_character

Un personaje especial tiene una de las siguientes formas:

1. un código de secuencia% / code / where es un entero sin signo que representa el carácter del código de código ASCII en valor decimal

2. una secuencia% K utilizada para representar los siguientes caracteres especiales:

   Character	Code	Mnemonic name
   @	%A	At-sign
   BS	%B	Backspace
   ^	%C	Circumflex
   $	%D	Dollar
   FF	%F	Form feed
   \	%H	backslasH
   ~	%L	tiLda
   NL (LF)	%N	Newline
   `	%Q	back Quote
   CR	%R	carriage Return
   #	%S	Sharp
   HT	%T	horizontal Tab
   NUL	%U	nUll character
   |	%V	Vertical bar
   %	%%	percent
   ‘	%'	single quote
   “	%"	double quote
   [	%(	opening bracket
   ]	%)	closing bracket
   {	%<	opening brace
   }	%>	closing brace

Nota:La mayoría de los compiladores de Eiffel emiten un error de sintaxis cuando la secuencia% K no aparece en la tabla anterior. Sin embargo, Visual Eiffel considera que la secuencia% K representa el carácter K cuando la secuencia no figura en la tabla anterior. Como consecuencia,% P representa el carácter P y% D representa el carácter $.

Nota:Todos los compiladores de Eiffel que he probado (es decir, ISE Eiffel, Halstenbach, SmallEiffel, Visual Eiffel, TowerEiffel) esperan que la letra K en% K esté en mayúsculas para que se reconozca como un carácter especial de la tabla anterior. Como consecuencia% d y% D no se consideran lo mismo.

Nota: No me queda claro si los guiones bajos están permitidos en el code entero (especialmente cuando es el código de un personaje ancho).

Reserved_word

Una palabra reservada es:

1. una palabra clave, que sirve para introducir y delimitar los componentes variantes de los constructos. Las palabras clave de Eiffel son:alias, all, and, as, check, class, creation, debug, deferred, do, else, elseif, end, ensure, expanded, export, external, feature, from, frozen, if, implies, indexing, infix, inherit, inspect, invariant, is, like, local, loop, not, obsolete, old, once, or, prefix, redefine, rename, require, rescue, retry, select, separate, then, undefine, until, variant, when, xor.
2. un nombre predefinido, que viene en posiciones donde tokens variables también serían permisibles. Los nombres predefinidos de Eiffel son: BIT, Current, False, Precursor, Result, Strip, True, Unique.

El caso de la letra no es significativo para las palabras reservadas: las dos palabras Resultado y RESOLUCIÓN se consideran las mismas.

Nota: La especificación de sintaxis oficial enumera los siguientes nombres de clase como palabras reservadas: BOOLEAN, CHARACTER, DOUBLE, INTEGER, NONE, POINTER, REAL, STRING. Entiendo que estas clases deben ser conocidas por los compiladores de Eiffel, pero no veo por qué deberían ser palabras reservadas. Tenga en cuenta que ANY, GENERAL, PLATFORM ¡ y muchos otros nombres de clase del Estándar de biblioteca de Kernel no se enumeran tampoco! Además, estos nombres de clase no aparecen en ninguna parte en las construcciones de sintaxis. Finalmente, solo Visual Eiffel considera estos nombres de clase como palabras reservadas.

Nota: En Eiffel: The Language,segunda impresión, False, Strip, True  y  Unique se consideran palabras clave. No comparto este punto de vista.

Nota: Aunque SmallEiffel distingue entre mayúsculas y minúsculas con respecto a Identifier, ¡considera que el caso de las cartas no es significativo para las palabras reservadas!

Nota: Precursoris not part of the standard syntax. It has been introduced to support the Precursor mechanism.

Operator

Los operadores de la siguiente tabla están agrupados por nivel de precedencia, comenzando por el grupo de precedencia más alta. Los operadores dentro de cada grupo tienen la misma precedencia. Para dos o más ocurrencias consecutivas de operadores binarios con el mismo nivel de precedencia, la columna de asociatividad especifica el orden de evaluación.

Symbol	Associativity
.	left
old not unary + unary - All free unary operators
All free binary operators
^	right
* / // \\	left left left left
binary + binay -	left left
= /= < > <= >=	left left left left left left
and and then	left left
or or else xor	left left left
implies	left

Note: La razón por la cual los compiladores de Eiffel rechazan la siguiente pieza de código:

foo := 1 < 2 < 3

no es porque los operadores de comparación son no asociativos. Estos operadores realmente se quedan asociativos. El código anterior es sintácticamente correcto, pero simplemente se rechaza porque ‘1 <2’ es de tipo BOOLEAN y no hay ninguna función como:

infix "<" (i: INTEGER): SOME_TYPE

en la clase BOOLEAN.

Semicolon

Los puntos y coma se usan como separadores en listas como Index_list o Compound.Los puntos y coma son opcionales en la mayoría de los lugares. Sin embargo, en algunos casos se requieren para eliminar ambigüedades en Assertion  y Compound. La ambigüedad aparece en el siguiente fragmento de código:

foo (expr).bar

donde esto podría reconocerse como “barra aplicada al resultado de la función foo con argumento expr” o como “una llamada a foo seguida de una barra aplicada a expr”. La regla para resolver esta ambigüedad es poner un punto y coma entre ‘foo’ y ‘(expr) .bar’ para obtener la segunda interpretación, o dejarla tal como está para obtener la primera.

Nota: Para algunos constructos, algunos compiladores de Eiffel considerarán los puntos y comas como terminadores, los consideran obligatorios o simplemente emiten una advertencia si faltan.

Original Article: AdaControl

AdaControl es una herramienta gratuita (GMGPL) que detecta el uso de varios tipos de construcciones en los programas de Ada. Su primer objetivo es controlar el uso correcto del estilo o las reglas de programación, pero también se puede utilizar como una poderosa herramienta para buscar el uso (o no uso) de varias formas de estilos de programación o patrones de diseño. Los elementos buscados van desde muy simples, como la aparición de ciertas entidades, declaraciones o declaraciones, hasta muy sofisticados, como verificar que se están obedeciendo ciertos patrones de programación.

Qué elementos o construcciones se buscan se define mediante un conjunto de reglas; La siguiente tabla ofrece un breve resumen de las reglas actualmente controladas por AdaControl. El número entre paréntesis después del nombre de la regla proporciona el número de subreglas, si corresponde. Considerando todas las reglas y subreglas posibles, ¡esto hace que 539 pruebas puedan ser realizadas actualmente por AdaControl!

Para obtener más detalles sobre estas reglas o sobre el uso de AdaControl en general, consulte la guía del usuario.

AdaControl es una herramienta de línea de comandos, pero se ha integrado completamente en el entorno de GPS de AdaCore. Desde el GPS, puede ejecutar AdaControl, arreglar las violaciones o editar el archivo de reglas con solo unos pocos clics.

Pero AdaControl es más que un conjunto de reglas de codificación: es un entorno completo, diseñado para extenderse fácilmente. Si no se proporciona su regla favorita, ¡puede agregarla usted mismo! Y, por supuesto, continuaremos ampliando la cantidad de reglas en el futuro. Si desea ver cómo es posible, consulte la guía del programador AdaControl.

El desarrollo inicial de AdaControl fue patrocinado por Eurocontrol. Algunas reglas fueron patrocinadas por BelgoControl, Alstom-Transport, Ansaldo-STS (anterior CSEE-Transporte) y SAGEM-DS. Es una herramienta madura, utilizada rutinariamente para verificar los códigos Ada en Eurocontrol (Bruselas, más de 2_000_000 SLOC, Maastricht), BelgoControl, Alstom, Ansaldo-STS, Faiveley, SAGEM-DS (nivel DO178B / A) … También tiene se han ejecutado contra todas las pruebas ejecutables de ACATS.

AdaControl es una aplicación ASIS.

AdaControl es una herramienta gratuita bajo la licencia GMGPL. No obstante, es un producto comercial de Adalog, para el cual ofrecemos un contrato de soporte y mantenimiento. También ofrecemos servicios para el desarrollo de reglas para sus necesidades específicas o, más en general, asistencia para la definición y uso de reglas de programación. Para obtener información, póngase en contacto con info@adalog.fr.

Descargar

AdaControl, como cualquier aplicación ASIS, solo puede ejecutarse si se compila con la misma versión exacta del compilador que usa al ejecutar. Por lo tanto, se proporciona como ejecutable solo para GNAT GPL / 2017 (Windows y Linux); para usar con cualquier otra versión de GNAT, descargue la versión de origen y vuelva a compilar (lo cual es bastante fácil de hacer, siempre que se haya instalado ASIS). Se ha probado solo con GNAT, pero debe ser fácilmente portable a cualquier otro compilador que proporcione una interfaz ASIS.

Las versiones ZIP o TGZ le permiten instalar AdaControl a su gusto; en Windows, los instaladores instalan todo automáticamente, siempre que el directorio <GNAT> \ bin esté en su ruta de ejecución.

ADVERTENCIA: Se introdujo una incompatibilidad en la interfaz de ASIS para Ada 2005/2012, que era necesaria para manejar adecuadamente algunas de las nuevas funciones. La distribución fuente de AdaControl requiere al menos GnatPro-7.2.0 o GnatGPL 2013. Si desea utilizar una versión anterior de Gnat, descargue una versión fuente de SourceForge (consulte a continuación), utilizando la rama “master-old_gnat” para las versiones hasta GnatPro-7.0.x y GnatGPL2011, y rama “GPL2012” para GnatPro-7.1.x y GnatGPL2012.

Usuarios de Debian:AdaControl está empaquetado para Debian. Para instalarlo:
apt-get install adacontrol

Usuarios de FreeBSD: aquí puedes encontrar un puerto de AdaControl para FreeBSD.

Integración GnatHub

A continuación se muestra un archivo ZIP descargable que contiene complementos para usar AdaControl como herramienta de medición en GnatHub (AdaCore) y permite el análisis de resultados con GnatDashboard / SONARQube.

Las directivas de instalación y uso son parte de la Guía del usuario de AdaControl

SourceForge

La versión de desarrollo actual (inestable) está disponible (bajo GIT) de SourceForge. También puede encontrar versiones intermedias entre versiones oficiales que pueden ser apropiadas para ciertas versiones de Gnat e incluso proporcionar su propia calificación de AdaControl. Puede enviar informes de errores, sugerir mejoras, etc. haciendo clic en “Ticket” en la página de SourceForge o haciendo clic en este enlace directo.

Contrato de soporte y mantenimiento

Adalog proporciona soporte comercial para AdaControl. El soporte incluye los siguientes servicios:

• Ayuda con los procedimientos de instalación.
• Explicaciones sobre el uso de la herramienta y ayuda para traducir estándares de codificación en las reglas de AdaControl.
• Manejo prioritario de tickets reportados a través de nuestro sistema BT.
• Corrección de problemas encontrados en el uso de AdaControl. Se proporcionan versiones preliminares de AdaControl para cada problema corregido.
• Acceda a las versiones beta antes de que se publiquen.
• Mantener sincronizadas las reglas personalizadas del cliente con la última versión de AdaControl.
• Tarifa reducida para el desarrollo bajo demanda de reglas personalizadas.
• Consideración prioritaria de las solicitudes de mejoras. Las solicitudes de mejoras satisfactorias no son parte del contrato de soporte; sin embargo, Adalog está mejorando constantemente AdaControl, y las sugerencias que se originan en clientes respaldados reciben una alta prioridad en nuestra lista de tareas pendientes.

Adalog no puede corregir problemas cuyo origen se deba a errores del compilador o defectos en la implementación de ASIS (póngase en contacto con su proveedor de compiladores para obtener asistencia sobre estos problemas). Sin embargo, Adalog hará su mejor esfuerzo para ayudar a informar tales problemas al proveedor del compilador, y para encontrar soluciones provisionales hasta que se resuelva el problema.

Publicaciones sobre AdaControl

Se han publicado varios artículos sobre AdaControl o su uso para diversas tareas de verificación:

• Jean-Pierre Rosen: “Sobre los beneficios para los industriales de patrocinar el desarrollo de software libre”, Ada User Journal, Volume 26, number 4, december 2005http://www.adalog.fr/publicat/Free-software.pdf
• Jean-Pierre Rosen: “Una comparación de las reglas de codificación industrial”, Ada User Journal, Volume 29, number 4, december 2008http://www.adalog.fr/publicat/coding-rules.pdf
• Jean-Pierre Rosen: “Una metodología para evitar problemas conocidos del compilador mediante el análisis estático”, proceedings of the ACM SIGAda Annual International Conference (SIGAda 2010)http://dl.acm.org/authorize?316395
• Jacob Sparre Andersen: “Presentando análisis estático a un proyecto maduro”, Proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies – Ada-Europe 2017, Vienna, Austria, 12-16 June 2017. http://www.springer.com/us/book/9783319605876

Original Article: Why is ethnocentrism bad?

Author:Howard Culbertson

El etnocentrismo nos lleva a hacer suposiciones falsas sobre las diferencias culturales. Somos etnocéntricos cuando utilizamos nuestras normas culturales para hacer generalizaciones sobre las culturas y costumbres de otras personas. Tales generalizaciones, a menudo realizadas sin una conciencia consciente de que hemos usado nuestra cultura como criterio universal, pueden estar fuera de contexto y hacer que juzguemos mal a otros pueblos. El etnocentrismo puede llevar a una mala interpretación cultural y a menudo distorsiona la comunicación entre los seres humanos.

El pensamiento etnocéntrico hace que hagamos suposiciones erróneas sobre otras personas porque. . .

El etnocentrismo nos lleva a hacer juicios prematuros.

“Ellos” pueden no ser muy buenos en lo que somos mejores.

Al evaluar a “ellos” por lo que somos mejores, nos percatamos de los muchos otros aspectos de la vida que a menudo manejan más competentemente que nosotros.

Algunos ejemplos muy simples de pensamiento etnocéntrico. . .

A menudo hablamos de conductores británicos conduciendo “en el lado equivocado” de la carretera. ¿Por qué no simplemente decir “lado opuesto” o incluso “lado izquierdo”?

Hablamos de hebreo escrito como lectura “hacia atrás”. ¿Por qué no simplemente decir “de derecha a izquierda” o “en dirección opuesta al inglés”?

Alentamos a los estudiantes de SNU que van a misiones de corto plazo a usar la frase “Oh, eso es diferente” en lugar de términos más peyorativos cuando se encuentran con costumbres o alimentos extraños.

Xenocentrismo

Lo opuesto al etnocentrismo es el xenocentrismo, que significa preferir ideas y cosas de otras culturas sobre ideas y cosas de su propia cultura. En el corazón del xenocentrismo está la suposición de que otras culturas son superiores a las tuyas.

Original Article: PyMeld

Un sistema simple y liviano para manipular HTML (y XML, informalmente) usando un modelo de objetos Pythonic. PyMeld es un único módulo de Python, PyMeld.py.

Caracteristicas:

• Permite que la lógica del programa y el HTML estén completamente separados: un diseñador gráfico puede diseñar el HTML en un editor visual de HTML, sin necesidad de tratar con ninguna sintaxis no estándar o nombres de atributos no estándar. El código del programa no sabe nada de XML o HTML, solo trata con objetos y atributos como cualquier otra parte del código de Python.
• Diseñado con tareas comunes de programación de aplicaciones HTML en mente. Llenar un formulario HTML con un registro de una base de datos es un trazador de líneas (usando el operador%, ver a continuación). Crear una tabla HTML a partir de un conjunto de registros es igual de fácil, como se muestra en el siguiente ejemplo.
• No se requieren requisitos especiales para HTML / XML (o solo uno: los valores de los atributos), por lo que puede usar cualquier editor, y su HTML / XML no necesita ser estrictamente válido.Funciona mediante la sustitución de cadenas, en lugar de descomponer y reconstruir el marcado, por lo tanto no tiene impacto en las partes de la página que no manipulas.
  No hace más que manipular HTML / XML, por lo tanto, encaja con cualquier otro juego de herramientas web que esté utilizando.
• Los rastreos siempre apuntan al lugar correcto: muchos sistemas de mezcla Python / HTML usan exec o eval, lo que hace que los bugs sean difíciles de rastrear.

Vista rápida

Un objeto PyMeld.Meld representa un documento XML, o una pieza de uno. Todos los elementos en un documento con id = atributos de nombre están disponibles por un objeto Meld como object.name. Los atributos de los elementos están disponibles de la misma manera. Un breve ejemplo vale más que mil palabras:

>>> from PyMeld import Meld
>>> xhtml = '''<html><body>
... <textarea id="message" rows="2" wrap="off">Type your message.</textarea>
... </body></html>'''
>>> page = Meld(xhtml)                # Create a Meld object from XHTML.
>>> print page.message                # Access an element within the document.
<textarea id="message" rows="2" wrap="off">Type your message.</textarea>
>>> print page.message.rows           # Access an attribute of an element.
2
>>> page.message = "New message."     # Change the content of an element.
>>> page.message.rows = 4             # Change an attribute value.
>>> del page.message.wrap             # Delete an attribute.
>>> print page                        # Print the resulting page.
<html><body>
<textarea id="message" rows="4">New message.</textarea>
</body></html>

Por lo tanto, la lógica del programa y el HTML están completamente separados: un diseñador gráfico puede diseñar el HTML en un editor visual XHTML, sin necesidad de tratar con ninguna sintaxis no estándar o nombres de atributos no estándar. El código del programa no sabe nada de XML o HTML, solo trata con objetos y atributos como cualquier otra parte del código de Python. Llenar un formulario HTML con un registro de una base de datos es un trazador de líneas (usando el operador%, ver a continuación). Crear una tabla HTML a partir de un conjunto de registros es igual de fácil, como se muestra en el siguiente ejemplo:

Ejemplo del mundo real:

Aquí hay un ejemplo basado en datos que puebla una tabla de una fuente de datos, basando la tabla en los datos de muestra introducidos por el diseñador de la página. Tenga en cuenta que en el mundo real, el HTML normalmente sería una página más grande leída desde un archivo externo, manteniendo los datos y la presentación por separado, y los datos provendrían de una fuente externa como un RDBMS. El HTML podría estar lleno de estilos, imágenes, cualquier cosa que te guste y todo funcionaría igual.

>>> xhtml = '''<html><table id="people">
... <tr id="header"><th>Name</th><th>Age</th></tr>
... <tr id="row"><td id="name">Example name</td><td id="age">21</td></tr>
... </table></html>'''
>>> doc = Meld(xhtml)
>>> templateRow = doc.row.clone()  # Take a copy of the template row, then
>>> del doc.row                    # delete it to make way for the real rows.
>>> for name, age in [("Richie", 30), ("Dave", 39), ("John", 78)]:
...      newRow = templateRow.clone()
...      newRow.name = name
...      newRow.age = age
...      doc.people += newRow
>>> print re.sub(r'</tr>\s*', '</tr>\n', str(doc))  # Prettify the output
<html><table id="people">
<tr id="header"><th>Name</th><th>Age</th></tr>
<tr id="row"><td id="name">Richie</td><td id="age">30</td></tr>
<tr id="row"><td id="name">Dave</td><td id="age">39</td></tr>
<tr id="row"><td id="name">John</td><td id="age">78</td></tr>
</table></html>

Tenga en cuenta que si posteriormente manipulara la tabla, utilizando PyMeld o JavaScript, por ejemplo, necesitaría cambiar el nombre de cada fila, nombre y elemento de edad para tener un nombre único; puede hacerlo asignando al atributo id pero yo Me salté eso para simplificar el ejemplo.

Como muestra el ejemplo, el operador + = agrega contenido a un elemento, agregando elementos <tr> a una <table> en este caso.

Atajo: el operador%

Usar la sintaxis object.id = value para cada operación puede ser tedioso, por lo que hay atajos que puede tomar usando el operador%. Esto funciona igual que el operador% incorporado para cadenas. El ejemplo anterior podría haberse escrito así:

>>> for name, age in [("Richie", 30), ("Dave", 39), ("John", 78)]:
...      doc.people += templateRow % (name, age)

El operador%, dado un valor único o una secuencia, asigna valores a elementos con `id`s en el orden en que aparecen, al igual que el operador% para cadenas. Tenga en cuenta que no es necesario llamar a clone () cuando usa%, ya que devuelve automáticamente un clon modificado (de nuevo, al igual que% hace para cadenas). También puedes usar un diccionario:

>>> print templateRow % {'name': 'Frances', 'age': 39}
<tr id="row"><td id="name">Frances</td><td id="age">39</td></tr>

El operador% es realmente útil cuando tiene una gran cantidad de elementos de datos; por ejemplo, rellenar un formulario HTML con un registro de un RDBMS se convierte en una sola línea.

Tenga en cuenta que estos ejemplos se escriben por claridad en lugar de por rendimiento, y no necesariamente se escalan muy bien: usar + = para generar un resultado en un ciclo es ineficiente, y el operador% de PyMeld es más lento que el de Python. Consulte toFormatString () en el manual de referencia para conocer las formas de acelerar este tipo de código.

Contenido del elemento

Cuando te refieres a un elemento nombrado en un documento, obtienes un objeto Meld que representa ese elemento completo:

>>> page = Meld('<html><span id="x">Hello world</span></html>')
>>> print page.x
<span id="x">Hello world</span>

Si solo desea obtener el contenido del elemento como una cadena, use el atributo _content:

>>> print page.x._content
Hello world

También puedes asignar a _content,aunque eso es directamente equivalente a la asignación a la etiqueta en sí:

>>> page.x._content = "Hello again"
>>> print page
<html><span id="x">Hello again</span></html>
>>> page.x = "Goodbye"
>>> print page
<html><span id="x">Goodbye</span></html>

La única vez que necesita asignar a _contentes cuando ha tomado una referencia a un elemento dentro de un documento:

>>> x = page.x
>>> x._content = "I'm back"
>>> print page
<html><span id="x">I'm back</span></html>

Diciendo x = "I'm back" simplemente volvería a vincular x a la cuerda"I'm back" sin afectar el documento.

Original:http://www.pruittfamily.com/paul/freepdf.htm

Существует множество бесплатных способов бесплатного создания PDF-документов. PDF-файлы – замечательные документы с фиксированной компоновкой, но иногда необходимо конвертировать PDF в Excel или в слова для практических приложений. Недостатки попадают в несколько лагерей. Существуют бесплатные веб-сервисы от Adobe и другие, которые требуют, чтобы вы отправили им документ, который их автоматизированные программы конвертируют, а затем отправляют обратно. Недостатки заключаются в следующем: они ограничены количеством документов, которые вы можете конвертировать под одной регистрацией, или количеством документов, которые вы можете конвертировать в день, или выход возвращается с помощью водяной рекламы их услуг на всех страницах (вы можете удалить это). Далее – фактическое автономное приложение с их недостатками. Эти бесплатные приложения часто ограничиваются типом документа, который вы можете преобразовать в PDF, например, простым текстом или HTML или ограничены нерабочим использованием. Наконец, есть «принтеры», создатели PDF. Некоторые из них – это nagware, в котором вам нужно щелкнуть по экрану с просьбой зарегистрироваться за небольшую плату, каждый раз, когда вы используете программу. Существуют, однако, «принтеры» создатели PDF, которые после их настройки позволяют печатать из любой программы, создавая документ PDF даже в полном цвете. Недостатком здесь является некоторая трудность в настройке, но не отчаивайтесь, есть полностью документированные инструкции со скриншотами о том, как это сделать .. Последнее окончание, очевидно, файлы PDF могут быть очень сложными, с закладками, гиперссылками и т. Д. Есть много проблем, связанных с созданием PDF для профессионального использования, в частности, в Graphics and Printing Industries, которые я не претендую на понимание. Файлы PDF, созданные с помощью приведенных ниже методов, предназначены для простых PDF-файлов, не для профессиональных руководств и т. П. Вы должны будете заплатить за про-программы, если хотите сделать что-нибудь интересное. В большинстве случаев я буду вставлять в рекламные ролики с веб-сайтов для всех продуктов, после чего мои собственные комментарии в курсив.

Веб-службы

http://createpdf.adobe.com/index.pl/?BP=IE – Создать Adobe PDF Online – это веб-хостинг, который позволяет конвертировать различные документы в файлы Adobe PDF, которые каждый может просматривать, используя бесплатный AdobeAcrobat� Reader?. Поддерживаемые форматы: файлы Microsoft Office, графические форматы, веб-страницы и другие типы файлов. Используйте Paper Capture для создания файлов PDF с возможностью поиска из отсканированных бумажных документов. Вы можете создать первые пять экземпляров бесплатно.

http://www.pdfonline.com/ – goBCL предоставляет вам быстрое и бесплатное преобразование документов в форматы PDF и HTML. В качестве веб-серверного решения goBCL позволяет конвертировать документы автоматически – с вашего ПК или вашего Mac, из вашего дома или офиса … из любой точки мира! goBCL позволяет отправлять документы из вашего веб-браузера. Затем goBCL обрабатывает ваш документ и в течение нескольких минут генерирует и отправляет вам точный PDF или HTML (в комплекте с файлами JPEG), представляющий ваш документ. Максимальный размер, который вы можете загрузить, составляет 500 тыс. На файл. – Ограничивает ваши документы до 500 КБ.

http://docupub.com/pdfconvert/ -Neevia Document Converter eXPress – это бесплатный веб-сервис, который позволяет конвертировать ваши деловые документы в формат Adobe Portable Document Format (PDF). Adobe PDF решает многие распространенные проблемы с совместным доступом к файлам: от сохранения внешнего вида оригинального документа, позволяющего любому, на любой платформе, просматривать, перемещать и печатать документы с помощью бесплатного Adobe Acrobat Reader. Поддерживаемые форматы: файлы Microsoft Office, графические форматы и другие форматы документов. – Ограничивает ваши документы до 500 КБ.

http://64.39.14.230/abcpdf/ -Используя приведенные ниже ссылки, вы можете добавить текст, изображения и другую графику в свой собственный документ PDF. Вы можете просмотреть документ в окне браузера или загрузить его на компьютер для просмотра. Сам фактический документ динамически генерируется и отправляется прямо в ваш веб-браузер – файлы не сохраняются нигде. В этом примере веб-сайт мы ограничиваем документ одной страницей, чтобы было легко увидеть изменения, которые вы делаете. Однако, если вы хотите создавать многостраничные документы, это всего лишь несколько строк кода!

http://www.fastpdf.com/receive.php – Этот сайт помещает рекламный водяной знак на каждую страницу, если вы делаете это бесплатно.

http://www.pdfconvert.ch/index.asp?lang=e – NetPower PDFconvert – это онлайн-решение для конвертации документов Microsoft Office (Word, Excel, PowerPoint), веб-страниц, изображений и … в файлы Adobe PDF. Примечание: * Эта услуга в настоящее время бесплатна. Конвертируемые документы могут включать наш водяной знак. * Adobe Acrobat Reader (предоставляется бесплатно) позволяет читать полученные таким образом документы. * Размер файла для конвертации не должен превышать 15 МБ или 5 минут во время обработки. Этот сайт может помещать водяной знак в результирующий файл.

http://www.teamprinting.com/toolbox.asp -ваши документы в Интернете в файлы Adobe PDF, которые можно просматривать и распечатывать в любом месте. Поддерживает более 280 форматов! – Этот сайт ограничивает вас одним конверсией в день.

http://www.nitropdf.com/pdf-reader – простое слияние онлайн-файлов, переименование страницы и удаление файлов PDF-файлов. -Обновление, похоже, превратилось в PDF-ридер. Это не похоже на то, что он позволяет вам переупорядочивать страницы, но он выглядит как отличный читатель, который позволяет создавать PDF-файлы, заполнять формы и многое другое.

Актуальные приложения

http://www.pdfforge.org/products/pdfcreator – лучший бесплатный pdf-принтер в моей книге. Также можно распечатать любой файл в jpg и другие стандартные типы изображений, включая PS. Он может установить Ghost Script (см. Следующий раздел).

http://perso.wanadoo.fr/fricotin/index.htm – Это французский инструмент под названием MiniPDF 2.03. В ближайшее время это может появиться в английской версии. Вероятно, он имеет ограниченную функциональность.

http://www.easysw.com/htmldoc/ – Преобразует HTML-файлы в PDF или PostScript. Создает таблицу содержимого для книг. Создает индексированные HTML-файлы. Генерирует файлы «на лету» для веб-приложений, из командной строки для пакетных заданий или из графического интерфейса для интерактивной работы. Работает на большинстве операционных систем UNIX / Linux и Windows. Предоставляет интерфейс командной строки для пакетных и WWW-приложений. Предоставляет графический интерфейс для интерактивной работы. – Ограниченная версия предоставляется бесплатно.

http://www.e-press.com/easy_office_premium.html -Бесплатный обширный пакет Office для личного использования и nagware. Может сохранять текстовые файлы и файлы электронных таблиц в формате PDF. Коммерческая лицензия и личная регистрация очень дешевы.

http://www.fytek.com/text2pdf.html – FyTek’s Text to PDF Converter делает больше, чем просто конвертирует обычный текст. Вы можете включать HTML-подобные теги для добавления изображений, изменения размера или цвета шрифта, подчеркивания и выделения текста и т. Д. Если вы хотите еще больше функций, подумайте о регистрации своей копии, которая позволяет вставлять шрифты, создавать закладки и использовать более широкий спектр типов изображений. – Бесплатная версия ограничена 50 страницами и только конвертирует текст.

http://www.visagesoft.com/easypdf/ -Easy PDF – это специализированная среда WYSIWYG для быстрого и легкого создания документов Adobe Portable Document Format (PDF). Easy PDF предоставляет все возможности для создания сложных PDF-документов и применения ссылок / гипертекста в конечном документе. – Это процессор Word, и, хотя он ограничен, это замена Notepad или WordPad, довольно хорошая.

http://www.dreamscape.it/Eng/AcroPAD.htm – AcroPAD – это программа, очень похожая на «Блокнот»; Основные отличия: панель инструментов с кнопками для открытия / сохранения и т. д. файлов, возможность открытия файлов RTF (например, из WinWord) и, в частности, меню «Сохранить как PDF»! AcroPAD позволяет конечным пользователям копировать текст из своих документов в MSWord или Excel и вставлять внутри себя; то они могут экспортировать все в PDF, без необходимости в Adobe Acrobat ™. Не существует программы установки; просто скопируйте исполняемый файл 600 Кбайт, и все работает! Программа полностью бесплатна и представляет собой просто эксперимент, позволяющий увидеть, что можно сделать с компонентом PDFREPORT. Экспорт всего текста – это всего лишь одна команда: TEXTOUT (). – Замена WordPad, сохраняющая в PDF.

http://www.websupergoo.com/abcpdf-1.htm – ABCpdf встает рядом и личным! Потому что он не использует никаких драйверов печати и идет прямо в PDF? это невероятно быстро. Поскольку это полностью обе резьбовые, вы можете использовать его гибко изнутри ASP, VB и под COM +, MTS или .NET. ABCpdf прост, но мощный. Он спроектирован так, чтобы вы могли быстро и продуктивно добраться в течение десяти минут. Тем не менее, если вам нужен тонкий контроль низкого уровня, вы можете получить это тоже с ABCpdf. – Это бесплатно, если вы поместите на свой сайт ссылку на свой сайт, они одобрят и отправят вам лицензионный ключ. Я еще не пробовал.

http://archives.scovetta.com/pub/simtelnet/win95/txtutl/ttpdf.exe – Программное обеспечение, которое преобразует текстовые документы (.txt) в файлы PDF, также добавляет страницы и позволяет вводить информацию для файла, такого как автор, авторское право и т. Д. – Обновление 0 05/31/2014 – Я только что загрузил приложение. Это может быть Windows 95, но он действительно работает в Windows 8.1 без специальной настройки, хотя, может быть, просто с текстовыми файлами.

Printer Methods

Все эти методы, за исключением последних, включают использование Ghostscipt и GSView, а иногда и Redmon. Все три программы используют либо публичную лицензию GNU, либо бесплатную публичную лицензию Aladdin. Это означает, что они могут свободно загружаться и использоваться даже в бизнесе. Существуют ограничения, которые я пока не понимаю о продаже программного обеспечения или производной для денег.
http://www.cs.wisc.edu/~ghost/ – это версия Ghostscript Gnu и хорошо работает со всеми методами, описанными ниже. Ghostscript – это программа командной строки, которая, среди прочего, преобразует файлы Postscript в файлы PDF. Если вы установите «манекен» PostScript-принтер на ваш компьютер Windows и скажите ему, чтобы он печатался в файл, он создаст файл PostScript или PS. Если вы введете правильные команды в командную строку программы, она преобразует ее в файл PDF. Однако команды очень сложны. Однако есть решение, и GSView обеспечивает. См. Следующую ссылку.

http://www.cs.wisc.edu/~ghost/gsview/index.htm – GSView – просмотрщик PDF, такой как Acrobat Reader, но больше. Это интерфейс графического интерфейса Windows для Ghostscript, и поэтому с помощью нескольких щелчков мыши вы можете преобразовать файл PS в файл PDF. Объяснение всей задачи установки и установки PostScript-принтера объясняется в следующей ссылке.

http://kenchiro.tripod.com/howtoPDF.html -возможно более доступный набор инструкций выше.

http://sourceforge.net/projects/ghostword/ -GhostWord – это интерфейс для пакета GhostScript, который позволяет создавать документы PDF из документов Microsoft Word, Excel или PowerPoint. GhostWord устанавливается в Word, Excel и PowerPoint, и вы конвертируете документы, просто щелкнув значок. GhostWord – бесплатная программа. Вы можете свободно копировать и использовать его без каких-либо сборов.

http://home.hccnet.nl/s.vd.palen/ -FreeDist – бесплатный дистиллятор (в сочетании с Ghostscript). Он может конвертировать файлы postscript, которые помещаются в «просматриваемую папку», автоматически в PDF. Он также может составлять несколько файлов postscript или PDF в один PDF-файл в том порядке, который вам нравится. FreeDist может справиться с чистыми файлами postscript с расширениями eps, ps, plt и prn. – Это требует немного большей автоматизации. Вам не нужно открывать GSView, все, что вам нужно сделать, – это переместить ваши вновь созданные файлы PostScript в предопределенную папку.

Примечание. В следующих наборах методов принтера используется Redmon. Их немного сложно настроить, и я позже дам ссылку на более общий набор инструкций по установке первой программы. Однако, как только они настроены, промежуточный этап открытия GSView для преобразования документа PS отсутствует. Вы просто печатаете на свой фиктивный принтер PostScript и создаете файлы PDF. Redmon создает фиктивный порт принтера для фиктивного принтера, а затем перенаправляет вывод в Ghostscript с правильными параметрами и voila, у вас есть файл PDF. Вы даже можете переименовать свой принтер в «PDF Creator».

http://www.cs.wisc.edu/~ghost/redmon/index.htm – Редмон можно скачать здесь.

http://archives.scovetta.com/pub/simtelnet/win95/print/fpdfz_95.zip – Бесплатный PDF – это утилита, которая позволяет создавать PDF-файлы, просто распечатывая принтер «Создать PDF» из любого приложения Windows 9x / ME БЕСПЛАТНО! Бесплатные PDF-мосты между RedMon (принадлежащие Ghostgum Software Pty Ltd) и Aladdin Ghostscript (принадлежащие Aladdin Enterprises), что упрощает процесс создания PDF-файлов, предоставляет полезные возможности и упрощает их использование. Конфигурация программ требует понимания и некоторых усилий с вашей стороны. – Не откладывайте рекламу и сложность настройки, это хорошая программа. Это программа, на которую я надеюсь в будущем создать более обобщенный набор инструкций. Достаточно сказать, что, несмотря на то, что может сказать здесь любой набор инструкций, вы можете использовать версию Ghostscript GNU, просто не забудьте указать pdfConverter на bin / gswin32c.exe, который при нормальной установке должен находиться под C: / gs / gs [ваш номер версии здесь] /.

http://download.cnet.com/PDF-Ghostscript-Tool/3000-2088_4-10143616.html – Инструмент PDF Ghostscript – это мощный интерфейс для RedMon и Ghostscript – бесплатный интерпретатор Postscript и PDF. RedMon перенаправляет вывод принтера во внешнюю программу, а Ghostscript может конвертировать файлы PostScript в файлы PDF. Инструмент PDF Ghostscript получает данные принтера от RedMon и создает файлы PDF с Ghostscript. С помощью инструмента PDF Ghostscript вы можете легко и бесплатно создавать PDF-файлы! – Это аналогичный инструмент из Германии, и может быть даже лучше, и проще настроить. Есть английские инструкции. Обязательно используйте цветной драйвер принтера PS, например, Tektronix, упомянутый в приведенных выше инструкциях. Драйвер принтера Adobe здесь тоже должен работать в цвете.

http://home.hccnet.nl/s.vd.palen/ – Это третий, с диким интерфейсом, который немного сложно понять (три белых круга в верхнем левом углу не украшают, а небольшие кнопки, о которых он говорит). Эта программа также позволяет добавлять несколько файлов PS (таким образом, все, что напечатано на вашем фиктивном принтере PS из разных программ) в один файл PDF.

http://site4.pdf995.com/download.html – Pdf995 – это быстрый и доступный способ создания документов профессионального качества в популярном формате PDF-файла. Его простой в использовании интерфейс позволяет создавать PDF-файлы, просто выбирая команду «Печать» из любого приложения, создавая документы, которые можно просматривать на любом компьютере с программой просмотра PDF. Pdf995 поддерживает расширенные функции, такие как закладки, ссылки и автоматическое прикрепление PDF к электронному сообщению для отправки. Pdf995 – бесплатное полнофункциональное программное обеспечение. Он не истекает, и он не ограничивает или не маркирует ваши документы PDF каким-либо образом. Загрузка бесплатна. Однажды на вашем компьютере просто дважды щелкните установочный файл, и вы готовы начать создавать PDF-файлы профессионального качества по быстрому доступному способу. – Это очень удобно и легко использовать, за исключением элемента nagware. Он не использует Ghostscript, GSView или Redmon.

Original:https://www.cv.nrao.edu/nvss/

J. J. Condon, W. D. Cotton, E. W. Greisen, and Q. F. Yin

National Radio Astronomy Observatory, 520 Edgemont Road, Charlottesville, VA 22903

R. A. Perley and G. B. Taylor

National Radio Astronomy Observatory, P.O. Box 0, Socorro, NM 87801

J. J. Broderick

Physics Department, Virginia Polytechnic Institute and State University, Blacksburg, VA 24061

NRAO VLA Sky Survey (NVSS) – это непрерывный обзор на 1,4 ГГц, охватывающий все небо к северу от -40 градусов склонения. Подробное описание представлено в выпуске «Астрономический журнал» 1998 года (Condon, JJ, Cotton, WD, Greisen, EW, Yin, QF, Perley, RA, Taylor, GB и Broderick, JJ 1998, AJ, 115, 1693) , Основными продуктами данных NVSS являются:

• Набор из 2326 сплошных изображений “ кубов ”, каждый из которых покрывает 4 град X 4 град с тремя плоскостями, содержащими изображения Стокса I, Q и U. Эти изображения были сделаны с относительно большим восстанавливающим лучом (45 arcsec FWHM), чтобы получить высокую чувствительность к поверхностной яркости, необходимую для полноты и фотометрической точности. Их среднеквадратичные флуктуации яркости составляют около 0,45 мДж / пучок = 0,14 К (Стокса I) и 0,29 мДж / пучок = 0,09 К (Стокс Q и U). Среднеквадратичные неопределенности в прямом восхождении и склонении варьируются от <1 arcsec для относительно сильных (S> 15 mJy) точечных источников до 7 arcsec для самых слабых (S = 2,3 мДж) детектируемых источников. Предел полноты составляет около 2,5 мДж.
• Каталог дискретных источников на этих изображениях (более 1,8 миллиона источников во всем опросе).
• Обработанные (u, v) наборы данных. Каждое большое изображение было построено из более чем 100 меньших снимков «моментальных снимков». Все отредактированные и откалиброванные массивы данных с одним источником (u, v), используемые для создания снимков моментальных снимков, способствующих каждому большому изображению, были объединены в один файл с несколькими источниками (u, v) для пользователей, которые хотят исследовать данные, лежащие в основе изображений.

NVSS был создан как услуга для астрономического сообщества, а основные продукты данных были выпущены анонимным FTP, как только они были подготовлены и проверены. Для обзора NVSS пользователи должны прочитать бумагу с постскриптумом (около 4,7 мегабайта) или сжатую бумагу gzip (около 1,2 мегабайта). Если вы используете NVSS, обратитесь к нему: Condon, J. J., Cotton, W. D., Greisen, E. W., Yin, Q. F., Perley, R. A., Taylor, G. B. and Broderick, J. J. 1998, AJ, 115, 1693.

Невы положения больших изображений NVSS показаны на графике сетки изображения. Эти изображения находятся в формате FITS и могут быть прочитаны крупными астрономическими пакетами программного обеспечения (AIPS, IRAF и т. Д.), А также автономным средством просмотра FITS для систем Windows 3.1, Windows 95, Macintosh и Unix / X-windows , Полные 4-градусные X 4-градусные кубы изображений FITS доступны через анонимный FTP. Вы также можете просмотреть (как изображения в виде серого или контурные графики) и / или скопировать выбранные субимазы с использованием нашего почтового маркера.

Мы извлекли исходный каталог из каждого изображения, установив эллиптические гауссианы во все значимые пики. Отдельные каталоги были объединены в основной каталог источников из всех изображений. Подробные сведения об исходных параметрах каталога приведены в описании каталога. Браузер каталога NVSS доступен, но будьте осторожны (не просите каталог всего неба!). Пользовательская программа NVSSlist может отображать выбранные части каталога. Оба браузера каталога и NVSSlist исправляют исходный каталог для известных смещений и вычисляют ошибки, связанные с параметрами исходной модели (положение, плотность потока и т. Д.), Используя уравнения, полученные в Condon, JJ 1997, PASP, 109, 166. Для интерпретации каталога приводит к сложным или переполненным полям, пользователи должны смотреть на контурные графики (доступные на сервере почтовых марок), показывающие фактические распределения яркости, из которых были извлечены источники.

Плотности потока изображения в определенных положениях в изображениях NVSS можно получить здесь.

Пользователям AIPS-задачи IMAGR часто нужно отображать дополнительные поля, охватывающие соседние запутанные источники. Генератор файлов RUN создает требуемый список смещений полей для источников NVSS, плотность потоков которых, ослабленная первичным лучом, превышает выбранное обрезание.

Чтобы избежать двусмысленности, обратитесь к источникам NVSS, используя стандартный формат IAU NVSS EHHMMSS + DDMMSS, с E = J для равноденствия J2000 или E = B для координат равноденствия B1950, HHMMSS часы, минуты и усеченные (не округленные) секунды правого восхождение, знак склонения (+ или -) и DDMMSS – градусы, минуты и секунды (усеченные, не округленные) склонения. Таким образом, источник NVSS на J2000 RA = 00 00 00.24, DEC = -20 04 49,2 (= B1950 RA = 23 57 26,34, DEC = -20 21 31,5) следует называть NVSS J000000-200449 или NVSS B235726-202131.

Original:http://www.math.stonybrook.edu/~tony/mazes/juniordemo.html

Эта работа была проведена с  учениками 4-го класса. Это можно сделать за 50 минут.

Необходимое оборудование:

• Каждый участник должен иметь лист бумаги (желательно напечатанный с «критским» ядром с одной стороны и с «проходным» ядром (см. Ниже) на другом. Эти две страницы доступны здесь: критский и проходной ,
• Каждый участник должен иметь два разноцветных карандаша.
• Необязательно – изображения критского лабиринта на греческих монетах, родные американские корзины и т. Д. Их можно найти в нескольких разных книгах, например, tony at math.stonybrook.edu
  Matthews, Bord, Kern.
• Газетная лента: достаточно, чтобы покрыть площадь 18×24 футов.
• Широкая лента для маскировки – вам понадобится не менее 150 футов.
• Три или четыре маркерных ручки для жира (для рисования на земле).
• Дополнительно – музыка для лабиринтов.

1. Нарисуйте критский лабиринт (как показано здесь).
Когда я это сделал, у всех детей были напечатаны куски бумаги с «ядром». (на листе 8.5×11 ядро должно быть около 2×2 дюйма и помещено на 1,5 дюйма ниже верхней части страницы).
Может быть полезно указать свободные концы от 1 до 8 с каждой стороны, начиная снизу:

                    8   8   7
               7.   |   |   |   .6
                    |   |   |   
             6 _____|   |   |_____ 5
                        |
             5 _________|_________ 4
                        |
             4 _____    |    _____ 3
                    |   |   |   
               3.   |   |   |   .2
                    |   |   |
                    2   1   1

        The nucleus for the Cretan maze.

поэтому вы можете объяснить: «присоединитесь 1 к 1, затем присоединитесь 2 к 2, …, всегда обойдясь снизу и оставив место для пути».

2. Покажите им, что заполненная картинка дает путь, который ветрует взад-вперед и заканчивается в центре. Попросите их проследить путь с помощью разноцветного карандаша на своих собственных копиях.

3. Необязательно: покажите им фотографии вхождений дизайна, которые они только что нарисовали на древних монетах, на колонке в Помпеях, на местных американских корзинах и т. Д.

4. Скажите им, что мы собираемся сделать другой лабиринт, который мы можем пройти. Они могут иметь это ядро на обратной стороне той же страницы:

                             7
                             |   6
                     7   |   |   |   5
                 6   |   |   |   |   |   4
           5 .   |   |   |   |   |   |   |   . 3
                 4   |   |   |   |   |   2
                     3   |   |   |   1
                         2   |   
                             1

          The nucleus for the "walk-through" maze.

Как и раньше, присоединяйте свободные концы 1 к 1, 2 к 2 и т. Д. Всегда вокруг дна и оставляя пространство для пути (т. Е. Держите линии достаточно далеко друг от друга). Обратите внимание, что в нижней части есть немеченный конец и один вверху. Они ни к чему не привязаны. Вы должны получить что-то похожее на это

                              _______________________________
                             |                               |
                             |    _______________________    |
                             |   |                       |   |
      _______________    |   |   |    _______________    |   |
     |               |   |   |   |   |               |   |   |
     |    _______    |   |   |   |   |    _______    |   |   |
     |   |       |   |   |   |   |   |   |       |   |   |   |
     |   |   .   |   |   |   |   |   |   |   .   |   |   |   |
     |   |   |   |   |   |   |   |   |   |   |   |   |   |   |
     |   |   |   |   |   |   |   |   |   |   |   |   |   |   |
     |   |   |   |   |   |   |       |   |   |   |   |   |   |
     |   |   |   |   |   |   |_______|   |   |   |   |   |   |
     |   |   |   |   |   |               |   |   |   |   |   |
     |   |   |   |   |   |_______________|   |   |   |   |   |
     |   |   |   |   |                       |   |   |   |   |
     |   |   |   |   |_______________________|   |   |   |   |
     |   |   |   |                               |   |   |   |
     |   |   |   |_______________________________|   |   |   |
     |   |   |                                       |   |   |
     |   |   |_______________________________________|   |   |
     |   |                                               |   |
     |   |_______________________________________________|   |
     |                                                       |
     |_______________________________________________________|

(где я выбрал ядро в красном), за исключением того, что линии не обязательно будут прямыми. У этого лабиринта есть вход и выход (его можно запустить в любом случае).

5. Теперь мы собираемся нарисовать этот лабиринт на полу и пройтись по нему. (Преимущество этого над критским лабиринтом состоит в том, что каждый не заканчивается сгруппированным посередине.) Давайте подсчитаем, какое большое пространство нам нужно, если пути будут иметь ширину 18 дюймов. Это 14 дорожек поперек и 11 дорожек высотой, что означает 21 футов в поперечнике и 17,5 футов в ширину. (Дети могут сделать этот расчет.)
Чтобы нарисовать лабиринт на полу, не разрушая ничего, я выкладываю газету. Концы рулонов можно получить в местной типографии – они, как правило, счастливы отдать их. Дети выкатывают бумагу и разрезают ее, пока я кладу маскировочную ленту по краям между полосками. Хорошо, если все снимают с них обувь. Затем я рисую ядро, как указано выше (оставляя некоторое пространство для путей, которые идут сверху: практика на листе бумаги) с 18 дюймами между полосками, и я рисую первую (от 1 до 1) ссылку внизу. Дети по очереди рисуют в других частях пути (я приношу несколько толстых маркеров). Им просто необходим контроль, чтобы держать путь достаточно широким.

6. Наконец, мы готовы к обходу. Удостоверьтесь, что у всех есть свои туфли; иначе бумага будет разорвана. Дети выстраиваются в очередь у входа, каждый со своими руками на бедрах ребенка впереди. Выбирайте кого-то устойчивого, чтобы вести линию. Важно пройти медленно и методично, наслаждаясь опытом. Когда я сделал это с 4-й степенью моей дочери, у меня был друг, который играл на лабиринте на фортепиано. В противном случае я использовал Satie’s «Gymnopedies», который идеально подходит.

7. Для дальнейшего исследования: возьмите сквозное ядро и соедините концы по-разному: присоедините 1 к следующему концу справа и продолжайте соединять следующие два свободных конца по низу. Что вы получаете?