TSP及其操作语义模型研究

在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.     

坚定不移走中国特色社会主义政治发展道路——学习胡锦涛总书记“七一”重要讲话体会

胡锦涛总书记在“七一”重要讲话中对坚定不移走中国特色社会主义政治发展道路进行了科学阐释。这既是对90年来我们党领导人民建设社会主义民主政治实践经验的科学总结,也是对未来我国社会主义政治建设的战略部署。中国特色社会主义民主政治发展道路,以党的领导、人民当家作主和依法治国有机统一为本质特征,具有严谨的制度架构、鲜明的特点和巨大的优势,是历史和人民的选择。在新的历史时期,坚持走中国特色社会主义政治发展道路,必须立足我国国情,使之越走越实;积极稳妥地推进政治体制改革,使之越走越宽;大胆吸收和借鉴人类文明成果,使之越走越活;不断推进民主政治的制度化、规范化、程序化,使之越走越稳。     

网络文学在大学生思想政治教育中的功能及其影响研究述要

随着网络的发展和普及,网络文学已深入人们的生活,大学生深受影响。网络文学作为思想政治教育的有效载体之一,它的影响给大学生思想政治教育工作注入了新的活力,同时也带来了巨大挑战。为了更直观地了解＂网络文学与大学生思想政治教育的交叉研究＂在国内的总体研究概况,笔者将对网络文学的研究成果做全面系统的梳理,提出进一步的思考,旨在为高校思想政治教育提供借鉴和参考。     

浅谈Web2．0时代的思想政治工作创新

Web2．0时代所体现的平等、交互、共享和去中心化等特点,带来的不仅仅是传播技术的变化,更重要的是传播理念的更新。我们应当及时研究这种变化,为推进部队思想政治工作创新服务。要充分发挥“全媒体”、“广互动”、“个性化”服务,推动互联网朝着亲和、开放的方向发展。     

论现代大学治理下的权力配置

中国特色的现代大学治理是大学政党权力、行政权力、学术权力等多元权力优化配置和协调平衡的制度保障;现代大学治理下如何处理和配置好大学的多元权力,构建现代大学治理下的权力保障制度,应建立多方参与的董事会制度、党政联席会议制度、教授主导下的学术制度、教师学生参与决策管理的监事会议制度等。     

融心理学于高校思想政治教育的探索与研究

在新形势下,心理学知识与思想政治教育结合是一个必然的发展趋势。在思想政治教育中引入心理学,既尊重思想政治教育者的客观性,又有助于科学的把握教育者与被教育者互动的心理规律。思想政治教育者在开展工作中善于分析高校学生的心理健康的原因,并且能够提出解决策略。努力提高自身的综合素质,重视情感因素,通过了解学生的个体差异、从众心理、逆反心理等更好的引导学生,培养学生健全的人格和正确的思想认识方向,以实现思想政治教育的最终目标,提高当代大学生的全面素质。     

信息技术对军队政治工作主体的新挑战

信息技术的迅猛发展给军队政治工作带来了机遇,同时也提出了一系列新挑战。本文以军队政治工作主体为视角,深入分析了信息技术对军队政治工作主体的认知思维、工作方式和信息素质等三个方面带来的新挑战,提出了相应的对策,指出了军队政治工作主体需要改进的方向。     

论生态价值视域下的思想政治教育

人与自然的关系在社会发展到今天,越来越得到人们的重视。以往的思想政治教育,人们总是把它的价值局限在政治价值、经济价值和文化价值上。高校的道德教育也是主要围绕如何处理人与人、集体和社会的关系等,而相对忽略了如何处理人与自然,包括人与其他生命体的关系的教育内容。正确认识人与自然的关系,对保护自然环境承担起责任,是当代大学生必须拥有的素质。     

ECONOMIC SANCTIONS AND CULTURE

We address empirically the question of why international economic sanctions are, or are not, chosen as instruments of foreign policy and the question of what determines their success. We hypothesize that cultural linkages between nations are an important factor in explaining both instrument choice and conflict outcomes. Countries that share significant cultural attributes are found to be less likely to apply economic sanctions against one another than countries lacking such cultural ties. However, it is precisely in the case of culturally similar sender and target nations that sanctions are most likely to succeed.     

THE CHANGING MEANING OF SMALL ARMS IN NUER SOCIETY

The economic value, social status and symbolic meaning of small arms are particular and temporal in nature. This is demonstra ted through a historical account of the dynamics of cultural change and adaptation in Nuer society. Specifically, the article shows how attitudes towards small arms shif ted over time from a positive valuation of guns as prestigious objects, to ambivalence between the need for protection and the experience of increased local lawlessness and violence. More generally, it demonstrates how weapon-rela ted activities can only be fully understood when seen against a specific cultural background. Even if the display, use and circulation of weapons appear to carry cross-cultural references, typically as expressions of power and masculine identity, the meaning is always primarily local. Therefore, strategies to reduce the destructive impact of small arms through demand side programs, based on voluntary participation, can only be carried out successfully if built on an in-depth understanding of a particular cultural context.