No description available.

No description available.

Introducción: Se evaluó el grado de aceptación, concurrencia y factores asociados a la colonoscopia de tamizaje del carcinoma rectocolónico, en pacientes que asistieron a un hospital público. Pacientes y métodos: Se efectuó un estudio prospectivo, descriptivo, de tipo observacional. Participaron del programa de prevención del cáncer colorrectal, 102 pacientes que asistieron al Consultorio de Gastroenterología del Hospital “General San Martín”, desde diciembre de 2009 hasta mayo de 2010. Resultados: La adherencia fue mayor en los pacientes con antecedentes de pólipos adenomatosos, en los que refirieron antecedentes de cáncer colorrectal o adenomas en familiares de primer grado y en los que se sometieron a una colonoscopia previamente. La instrucción fue primaria en el 52 % de los casos. El 45 % de los pacientes conocía los programas de prevención. El 19 % de los pacientes refirió una colonoscopia anterior y el 5 % otro método de tamizaje. La relación entre el médico y el paciente podría ser fundamental. Conclusión: La aceptación de la colonoscopia como método de tamizaje fue del 97 %, mientras que la concurrencia fue del 69 %. En el 27 % de los asistentes se encontraron pólipos colorrectales.

Todos los procesadores disponibles en el mercado (incluso los procesadores utilizados en dispositivos móviles) poseen una arquitectura típica multicore. En consecuencia, el modelo de programación en memoria compartida se impuso sobre el modelo de programación secuencial como modelo por excelencia para obtener el máximo desempeño de estas arquitecturas. En este modelo de programación las suposiciones de orden de ejecución entre instrucciones y atomicidad en el acceso a las variables heredadas del modelo de programación secuencial ya no son válidas. El no determinismo implícito en la ejecución de los programas concurrentes, obliga al programador a utilizar algún mecanismo de sincronización para asegurar esas propiedades. Frecuentemente el programador se equivoca al sincronizar los procesos, dando lugar a nuevos errores de programación como son los deadlocks, condiciones de carrera, violaciones de orden, violaciones de atomicidad simple y violaciones de atomicidad multivariable. Los métodos tradicionales de depuración de programas no son aplicables en el contexto de los programas concurrentes, por lo que es necesario disponer de herramientas de depuración que puedan ayudar al programador a detectar esta clase de errores. De estos errores, los deadlocks y las condiciones de carrera han gozado de mayor popularidad en la comunidad científica. Sin embargo, solo el 29,5 % de los errores son deadlocks: del 70,5 % restante, las violaciones de atomicidad representan más del 65 % de los errores, el 96 % ocurren entre dos threads y el 66 % involucran una sola variable. Por eso las violaciones de atomicidad simple se han definido en los últimos años como el caso más general de error de concurrencia y han recibido gran atención por numerosos grupos de investigación. En 2005 aparecen las primeras propuestas que utilizan métodos de instrumentación dinámicos para la detección de violaciones de atomicidad, mejorando notablemente la capacidad de detección sobre las propuestas anteriores. De estas propuestas, AVIO(Lu, Tucek, Qin, y Zhou, 2006) se destaca como la propuesta con mejor rendimiento y capacidad de detección. Para detectar una violación de atomicidad, el método de AVIO consiste en monitorizar los accesos a memoria por parte de los procesos concurrentes durante la ejecución, registrando qué procesos acceden a cada variable, en búsqueda de interleavings no serializables. Pese a que AVIO es superior a las propuestas previas, el overhead que introduce (en promedio 25×) es demasiado elevado para ser utilizado en entornos en producción. Muchas propuestas proponen reducir el overhead de los algoritmos de detección implementándolos directamente en el hardware a través de extensiones (cambios en el procesador, memoria cache, etc.), consiguiendo excelentes resultados. Sin embargo, este enfoque requiere que los fabricantes de procesadores decidieran incorporar esas modificaciones en sus diseños (cosa que no ha sucedido por el momento), por lo que es de esperar que tardarán en llegar al mercado y más aún en reemplazar las plataformas que actualmente están en producción. Por otro lado, las implementaciones en software aplican métodos de instrumentación de programas. Debido a que requieren agregar llamadas a una rutina de análisis a cada instrucción que accede a la memoria, los métodos de detección de errores utilizan instrumentación a nivel de instrucción. Lamentablemente, este granularidad de instrumentación es lenta, penalizando el tiempo de la ejecución con más de un orden de magnitud. Sin embargo, la posibilidad de error solamente existe si al menos dos threads acceden simultáneamente a datos compartidos. Esto significa que, si de la totalidad de la aplicación que está siendo monitorizada sólo un pequeño porcentaje de las operaciones acceden a datos compartidos, gran parte del tiempo invertido en instrumentar todos los accesos a memoria está siendo desperdiciado. Para reducir el overhead de la instrumentación a nivel de instrucción restringiéndolo sólo a los accesos a memoria compartida, es necesario detectar el momento preciso en que esos accesos ocurren. La mejor opción para detectar este momento es cuando ocurre algún cambio en la memoria cache compartida entre los núcleos que ejecutan los procesos. Una herramienta muy útil para esta tarea son los contadores hardware, un conjunto de registros especiales disponibles en todos los procesadores actuales. Esos registros pueden ser programados para contar el número de veces que un evento ocurre dentro del procesador durante la ejecución de una aplicación. Los eventos proveen información sobre diferentes aspectos de la ejecución de un programa (por ejemplo el número de instrucciones ejecutadas, el número de fallos en cache L1 o el número de operaciones en punto flotante ejecutadas). Se plantea como estrategia encontrar un evento que detecte la ocurrencia de interleavings no serializables y en función de ello activar/desactivar AVIO. Lamentablemente, no existe un evento capaz de indicar la ocurrencia de casos de interleavings. Sin embargo, si es posible representar los casos a través de patrones de acceso a memoria. La búsqueda de eventos asociados a los cambios de estado en el protocolo de coherencia cache reveló que para la arquitectura de pruebas existe un evento, cuya descripción indica que ocurre con uno de los patrones de acceso presentes en los casos de interleavings. El patrón asociado al evento está presente en tres de los cuatro casos de interleavings no serializables que AVIO debe detectar. La experimentación realizada para validar el evento demostró que efectivamente ocurre con precisión con el patrón de acceso, y en consecuencia puede detectar la ocurrencia interleavings no serializables. Luego de determinar la viabilidad del evento seleccionado, se experimentó con los contadores en un modo de operación llamado muestreo, el cual permite configurar los contadores para generar señales dirigidas a un proceso ante la ocurrencia de eventos. En este modo el programador especifica la cantidad de eventos que deben ocurrir antes de que la señal sea generada, permitiendo ajustar esta prestación de acuerdo a los requerimientos de la aplicación. Este modo de operación fue utilizado para decidir cuándo activar la rutina de análisis de las herramientas de detección y en consecuencia reducir la instrumentación del código. Por otro lado, el desactivado puede ser un poco más complejo. Debido a que no es posible configurar un contador para enviar una señal ante la no ocurrencia de eventos, se propone configurar un timer para verificar a intervalos regulares de tiempo si es seguro desactivar la rutina de análisis (por ejemplo porque en el último intervalo no se detectaron violaciones de atomicidad). El modelo propuesto se utilizó para implementar una nueva versión llamada AVIO-SA, la cual inicia la ejecución de las aplicaciones monitorizadas con la rutina de análisis desactivada. En el momento en que detecta un evento la rutina es activada, funcionando por un tiempo como la versión original de AVIO. Eventualmente AVIO deja de detectar interleavings y la rutina de análisis es desactivada. Debido a que no es posible estimar el valor óptimo para el tiempo del intervalo de muestreo analíticamente, se desarrollaron experimentos para encontrar este valor empíricamente. Se encontró que un intervalo de 5ms permite a AVIO-SA detectar aproximadamente la misma cantidad de interleavings que AVIO, pero con un tiempo de ejecución significativamente menor. Para completar las pruebas de rendimiento se completaron los experimentos con HELGRIND, una herramienta libre de detección de condiciones de carrera y se estimó el overhead de cada herramienta con respecto a cada aplicación. En promedio, HELGRIND demostró un overhead de 223×, AVIO un overhead de 32× y AVIO-SA de 9×. Aparte del rendimiento, se evaluó la capacidad de detección de errores de AVIO-SA. Para ello se hicieron 3 experimentos: - Prueba de detección con kernels de bugs conocidos. - Prueba de detección en aplicaciones reales (Apache). - Comparación de bugs informados entre AVIO y AVIO-SA (a partir de SPLASH-2). Afortunadamente AVIO-SA pasó las 3 pruebas satisfactoriamente. Los resultados obtenidos demuestran que el modelo propuesto no afecta negativamente la capacidad de detección de la herramienta, empleando en el proceso menos del 30 % del tiempo requerido por AVIO. Debido a que AVIO-SA altera menos la historia de ejecución de la aplicación monitorizada, es una mejor opción para ser utilizada en entornos de producción.

Una característica fundamental de los sistemas de software es que se construyen desde el principio sabiendo que deberán incorporar cambios a lo largo de su ciclo de vida. Todos los libros que tratan sobre ingeniería de software coinciden en que los sistemas son evolutivos. Incluso al evaluar el esfuerzo que se debe invertir en un proyecto de software, se considera que un 20% está en el desarrollo y 80% se aplica al mantenimiento (Pfleeger & Atlee, 2009). Ian Sommerville estima que el 17% del esfuerzo de mantenimiento se invierte en localizar y eliminar los posibles defectos de los programas (Sommerville, 2006). Por ello, conseguir programas libres de errores es uno de los principales objetivos que se plantea (o se debería plantear) el desarrollador frente a cualquier proyecto de software. Por otro lado, las limitaciones a la integración impuestas por factores físicos como son la temperatura y el consumo de energía, se han traducido en la integración de unidades de cómputo en un único chip, dando lugar a los procesadores de múltiples núcleos. Para obtener la máxima eficiencia de estas arquitecturas, es necesario el desarrollo de programas concurrentes (Grama, Gupta, Karypis, & Kumar, 2003). A diferencia de los programas secuenciales, en un programa concurrente existen múltiples hilos en ejecución accediendo a datos compartidos. El orden en que ocurren estos accesos a memoria puede variar entre ejecuciones, haciendo que los errores sean más difíciles de detectar y corregir. En cómputo de altas prestaciones donde los tiempos de ejecución de las aplicaciones pueden variar de un par de horas hasta días, la presencia de un error no detectado en la etapa de desarrollo adquiere una importancia mayor. Por este motivo, resulta indispensable contar con herramientas que ayuden al programador en la tarea de verificar los algoritmos concurrentes y desarrollar tecnología robusta para tolerar los errores no detectados. En este contexto, la eficiencia de los programas monitorizados se ve comprometida por el overhead que introduce el proceso de monitorización. Este trabajo forma parte de las investigaciones para la tesis doctoral del autor en el tema "Software para arquitecturas basadas en procesadores de múltiples núcleos. Detección automática de errores de concurrencia". Como tal, su aporte constituye un estudio de las técnicas y métodos vigentes en la comunidad científica aplicados a la detección y corrección de errores de programación en programas concurrentes. Las siguientes secciones constituyen una introducción al proceso de detectar, localizar y corregir errores de software en programas secuenciales y se explican las complicaciones introducidas por los programas concurrentes. El Capítulo 2 trata los distintos errores que se pueden manifestar en programas concurrentes. El Capítulo 3 resume los antecedentes en técnicas de detección y corrección de errores de concurrencia y se justifica la elección de las violaciones de atomicidad como caso de error más general. El Capítulo 4 explica las características de un algoritmo de detección de violaciones de atomicidad, y da detalles de su implementación. El Capítulo 5 contiene las características de la plataforma de experimentación y de la metodología empleada. El Capítulo 6 proporciona los resultados del trabajo experimental. Finalmente, se presentan las conclusiones del trabajo y se proponen las líneas de investigación futuras.

The study addresses the way, according to the author, in which must be resolved the problem of the concurrence of termination events in an administrative contract. It is common that parties attribute non-compliances to each other or the coexistence of termination events with different effects each of them. In these situations, the termination event which must be applied as a matter of priority with its corresponding associated effects must be determined. In this context, it should be pointed out the doctrine of the Spanish Council of the State according to which the termination event occurred before in time is applicable as a priority. However, the author considers that should be taken into account the priority in time regarding the invocation of the termination event («activación») rather than its appearance («aparición»). Thus, the general rule is that termination events may be used by the party of the contract which has not caused them. However, the aforementioned rule does not entail that the party which may invoke a termination event, actually does so (la active), even though the presence of a material circumstance that justifies the existence of the termination event.On this basis, the author concludes that it is the priority in time of the invocation of the termination event [«activación»] (and not of its mere appearance) [y no de la simple «aparición»] which determines the termination event applicable as a priority when several termination events concur. / El estudio aborda la forma en la que, a juicio del autor, hay que resolver el problema de laconcurrencia de causas de resolución sobre un mismo contrato administrativo. Es bastante habitual que las partes se imputen incumplimientos recíprocos, o que coexistan causas de resolución del contrato con efectos distintos cada una de ellas. En tales situaciones, hay que determinar la causa de resolución que debe aplicarse de manera prioritaria, con sus efectos anejos.En este contexto, se alude a la doctrina del Consejo de Estado español, relativa a considerar de aplicación prioritaria la causa de resolución que aparezca antes en el tiempo. Ahora bien, el autor considera que debe atenderse a la prioridad cronológica, no en la «aparición» de la causa de resolución, sino en su «activación». La regla general es que las causas de resolución sean de utilización potestativa por la parte en el contrato que no las provocó; ello se traduce en que aun cuando exista la circunstancia material que justifica la existencia de la causa de resolución, sin embargo ello no significa que quien puede hacerla valer efectivamente la ponga en funcionamiento (la active). Concluye por ello el autor que es la prioridad en el tiempo de la«activación» (y no de la simple «aparición») la que determina la causa de resolución del contratoque deberá aplicarse prioritariamente cuando concurran varias causas de resolución.

[EN] The main objective of Doctoral Thesis "Modelling Concurrency in Distributed Multi-Agent Systems: Cooperating Automata" is the definition and extension of a model conceived to describe multi-agent systems that combines desirable features of the "Petri Nets" and "Automata Theory". Another goal is the definition of an automated analysis mechanism over the model in order to simplify those systems in subsystems to detect critical parts even before the end of the modelling phase. The last objective of the Doctoral Thesis is to develop some software tools in order to help designers with the edition, analysis and provide simulation of the systems modelled. The expressive power of the model of the Cooperating Automata (CA) when describing concurrent systems has been swoen as one of the contributions of the Thesis. The model has been compared with other similar proposals in the literature such as "Parallel Finite Automata", "Team Automata" and "Reference Nets". Some convertion algorithms between AC and these proposal has been presented also. Another contribution of the author is an extension of the original model, the Extended Cooperating Automata (ECA), which aims to improve usability and reduce the state diagram of automatons without sacrificing any of the desirable features of the original model. This extension has been defined adding clarity and readability to the resulting models and a more natural approach to represent common situations without the use of the full model of the Cooperative Automata because, in this case, some properties such as boundedness are undecidable. The ECA model expressive power is completely equivalent to the original model. However, systems modelled with ECA are quite simple compared to the same systems modelled with CA. The same translations between systems shown before are now simplified. And another conversion two-ways algorithm between CA and ECA has been also described. The complexity of new systems, and consequently their respective models, has been increasing constantly. In this sense, simplifying but also detecting problems as bottlenecks is crucial at early stages of the design. Doing so over the implementation or implantation phases may duplicate the budget of the whole construction of a given system. Some relations between ECA model parts has been defined in order to perform this authomatic analysis. i.e. Linking relation between an automaton and a transaction rule, Concurrency relation between two automata, and Competition relation between two transaction rules. These relations are defined with four levels of certainty from the weakest to the strongest. The weakest relations can be obtaied automatically at design time. An algorithm of calculus can be applied to these relations in order to identify different threads, critical parts of the system and even superfluous or unifiable elements. This analysis can be performed regardless of heuristic knowledge about the system. An example of this analysis (applied over a system where the names of rules, controllers, actions and statements have been coded to conceal this heuristic) has been included also. Finally, two software tools are presented, the first is a support system for modeling with ECA, which guides the designer with the description of the different parts that comprise the model. It includes syntax check and also can perform the a priori analysis automatically during the design stage. This tool presents a report of the analysis results. The second tool is an extended simulator capable to simulate both AC systems as ACE. The simulator provide non-determinism choice of rules and/or automata during execution. / [ES] La Tesis Doctoral "Modelización de la concurrencia en sistemas distribuidos multiagente: autómatas cooperativos" tiene como objetivo final la definición y extensión de un modelo para la descripción de sistemas multiagente que aúne características deseables de las "Redes de Petri" y la "Teoría de Autómatas", así como la definición de un mecanismo automatizable de análisis sobre los sistemas descritos con este modelo que permite la simplificación de los mismos en sub-sistemas y la detección de partes críticas antes incluso de finalizar el modelado. También como objetivo se persigue dotar al sistema de un software de ayuda que automatice las partes de diseño, de análisis y de simulación de los sistemas descritos. Como aportaciones de la Tesis Doctoral se muestra la potencia expresiva del modelo de los Autómatas Cooperativos (AC) a la hora de describir sistemas concurrentes, además partiendo del modelo de los AC se realiza una comparativa de los mismos con otros modelos presentes en la literatura, como son los "Autómatas finitos Paralelos", los "Autómatas Team", y las "Redes de referencias", presentando en su caso mecanismos semiautomáticos de conversión entre los Automatas Cooperativos y ellos. En la Tesis Doctoral también se define una extensión del modelo original cuyo objetivo es de mejorar su usabilidad y reducir el diagrama de estados de los autómatas sin renunciar a ninguna de las características deseables del modelo original, pero añadiendo, sin embargo, mayor claridad y legibilidad a los modelos resultantes y una manera más natural de enfocar situaciones habituales sin necesidad del uso del modelo completo de los Autómatas Cooperativos dado que en este caso no hay decibilidad sobre determinadas propiedades como la de acotamiento. Los, así llamados, Autómatas Cooperativos Extendidos (ACE), cuya equivalencia expresiva con el modelo original es completa, permiten simplificar en gran medida y a tal efecto se muestran las simplificaciones resultantes en las conversiones entre sistemas desarrolladas anteriormente, así como un algoritmo de conversión entre el modelo AC original y el extendido. Una vez realizada la extensión se plantea la necesidad de realizar un análisis de los sistemas modelados identificando partes críticas y subprocesos durante las etapas más temprana del diseño y que este análisis fuera, dentro de lo posible, automático. Para realizar dicho análisis se definen formalmente las relaciones existentes entre las distintas componentes del modelo. Más concretamente las relaciones de vinculación entre autómatas y reglas, las de concurrencia de autómatas en reglas y las de competencia de reglas por autómatas. Dichas relaciones se definen con cuatro niveles de certidumbre siendo la más débil la que puede obtenerse automáticamente en tiempo de diseño. Una vez explicadas las relaciones propone un algoritmo de cálculo que permite identificar tanto los subprocesos, las partes críticas del sistema e incluso los elementos supérfluos o unificables, independientemente del conocimiento heurístico que sobre el sistema a modelar se tenga. Un ejemplo de este cálculo presenta sobre un sistema tipo donde los nombres de reglas, autómatas, acciones y estados han sido codificados para ocultar dicha heurística. Finalmente se presentan dos herramientas software, la primera es un sistema de ayuda para el modelado con los Autómatas Cooperativos Extendidos, que guia al diseñador en la descripción de las diferentes partes de las que consta el modelo verifica la sintaxis del mismo y parte de la lógica del mismo y a su vez permite realizar el análisis a priori antes mencionado de forma automática en cualquier momento del diseño, presentando un informe del resultado del mismo. La segunda es un simulador a su vez extendido para simular tanto sistemas AC como ACE y que permite el uso de no determinismo en la elección tanto de reglas como de autómatas. / [CA] La Tesi Doctoral "Modelització de la concurrència en sistemes distribuïts multiagent: autòmats cooperatius" té com a objectiu final la definició i extensió d'un model per a la descripció de sistemes multiagent que uneix característiques desitjables de les "Xarxes de Petri" i la "Teoria d'Autòmats", així com la definició d'un mecanisme automatitzable d'anàlisi sobre els sistemes descrits amb aquest model que permet la simplificació dels mateixos en sub-sistemes i la detecció de parts crítiques abans fins i tot de finalitzar el modelatge. També com a objectiu es persegueix dotar al sistema de programes d'ajuda que automatitzen les parts de disseny, d'anàlisi i de simulació dels sistemes descrits. Com a aportacions de la Tesi Doctoral es mostra la potència expressiva del model dels Autòmats Cooperatius (AC) a l'hora de descriure sistemes concurrents, a més, partint del model dels AC, es realitza una comparativa dels mateixos amb altres models presents en la literatura, com són els "Autòmats finits Paral·lels", els "Autòmats Team", i les "Xarxes de referències", presentant si escau mecanismes semiautomàtics de conversió entre els Autòmats Cooperatius i ells. En la Tesi Doctoral també es defineix una extensió del model original que el seu objectiu és de millorar la seua usabilitat i reduir el diagrama d'estats dels autòmats sense renunciar a cap de les característiques desitjables del model original, però afegint, no obstant açò, major claredat i llegibilitat als models resultants i una manera més natural d'enfocar situacions habituals sense necessitat de l'ús del model complet dels Autòmats Cooperatius atès que en aquest cas no hi ha decibilidad sobre determinades propietats com la d'acotament. Els, així anomenats, Autòmats Cooperatius Estesos (*ACE), l'equivalència expressiva dels quals amb el model original és completa, permeten simplificar en gran mesura i a aquest efecte es mostren les simplificacions resultants en les conversions entre sistemes desenvolupades anteriorment, així com un algorisme de conversió entre el model AC original i l'estès. Una vegada realitzada l'extensió es planteja la necessitat de realitzar una anàlisi dels sistemes modelats identificant parts crítiques i sub-processos durant les etapes més primerenca del disseny i que aquesta anàlisi fora, en la mesura del possible, automàtic. Per a realitzar aquesta anàlisi es defineixen formalment les relacions existents entre les diferents components del model. Més concretament les relacions de vinculació entre autòmats i regles, les de concurrència d'autòmats en regles i les de competència de regles per autòmats. Aquestes relacions es defineixen amb quatre nivells de certitud sent la més feble la que pot obtenir-se automàticament en temps de disseny. Una vegada explicades les relacions proposa un algorisme de càlcul que permet identificar tant els *sub-processos, les parts crítiques del sistema i fins i tot els elements innecesaris o unificables, independentment del coneixement heurístic que sobre el sistema a modelar es tinga. Un exemple d'aquest càlcul presenta sobre un sistema tipus on els noms de regles, autòmats, accions i estats han sigut codificats per a ocultar aquesta heurística. Finalment es presenten dues eines software, la primera és un sistema d'ajuda per al modelatge amb els Autòmats Cooperatius Estesos, que ajuda al dissenyador en la descripció de les diferents parts de les quals consta el model verifica la sintaxi del mateix i part de la lògica del mateix i al seu torn permet realitzar l'anàlisi a priori abans esmentat de forma automàtica en qualsevol moment del disseny, presentant un informe del resultat del mateix. La segona és un simulador al seu torn estès per a simular tant sistemes AC com ACE i que permet l'ús de no determinisme en l'elecció tant de regles com d'autòmats. / Herrero Cuco, C. (2015). Modelización de la concurrencia en sistemas distribuidos multiagente: autómatas cooperativos [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/59442

This article addresses the subject of secondary adjustment on transfer pricing, focusing on its nature and its regulation in Peru. To do this, the author explains the concept and purpose of transfer pricing and also elaborates some terminological precisions concerning adjustments on transfer pricing, defining the primary adjustments, the compensating ones, the correlative ones and, in more depth, the secondary ones. Likewise, the author explains the way secondary adjustments of transfer prices are regulated by the Peruvian Income Tax Law. / El presente artículo aborda la temática del ajuste secundario en materia de precios de transferencia, enfocándose en su naturaleza y su regulación en el Perú. Para ello, el autor explica el concepto y la finalidad de los precios de transferencia, así como también realiza algunas precisiones terminológicas en materia de ajustes de precios de transferencia, definiendo los ajustes primarios, los compensatorios, los correlativos y, con mayor profundidad, los secundarios. Asimismo, el autor explica la manera en que los ajustes secundarios de los precios de transferencia están regulados en la Ley del Impuesto a la Renta peruana.