一种面向Agent的概念化建模方法*

面向Agent的建模方法为基于Agent系统的概念化描述提供了一种新的技术.针对多Agent系统分析与建模问题,扩展并规范了面向Agent概念化建模过程,定义了Agent模型及其扩展模型,并给出了形式化描述.同时,给出面向Agent的分析和设计过程,为其具体建模提供了一种高层指导.最后,与其它现有面向Agent的方法在应用方面进行了类比分析,为该方法的广泛和深入地应用研究打下基础.     

基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

论省军区应对多种安全威胁战场管理

搞好战场管理,是巩固和提高省军区应对多种安全威胁能力的重要内容。信息化条件下,应对多种安全威胁军事行动的战场管理,必须针对其参战力量多元、指挥与保障关系复杂、军地协调内容多、管控范围广、难度大等特点,结合任务需要,围绕战场管理的中心任务,制定切实可行的战场管理措施,为省军区应对多种安全威胁提供有力保障。     

艺术剧场里的另一场战斗

7月5日下午20时30分,新疆第三届舞蹈比赛的复赛在新疆艺术剧场刚刚拉开帷幕,剧场外一场有预谋、有计划、有组织的打砸抢烧暴力犯罪事件发生了。当时,剧场里有来自全疆各地13个民族的演员、观众和工作人员共742人,其中有150多名汉族演员和观众,剧场院子里停放着70多辆车。暴徒们很快聚集在剧场外的公路上,见人就打,并企图冲进剧场,情况非常危急。     

雪克然提·吐尔地尤夫——天山脚下“铁”法官

他从可克达拉草原走来,在兵团片片绿洲都留下了坚实的足迹。"雪克然提"维吾尔语意为"荣誉",在23年的法官生涯中,雪克然提·吐尔地尤夫以其忠实的承诺,护卫着法律天平的公正。"时间对我来说     

“两个提高、一个确保”促稳定

深入开展学习实践科学发展观活动最鲜明的特征就是突出实践特色,认真解决存在的突出问题。兵团监狱管理局党委在学习实践活动中,以“两个提高、一个确保”（提高队伍素质、提高执法水平、确保监管安全）为目标和抓手,努力推动兵团监狱工作上台阶、上水平.     

新中国名片：南京长江大桥

建成于1968年的南京长江大桥,连接着津浦、沪宁两条铁路以及苏南苏北的公路,是长江上第一座由我国自力更生设计建造的双层双线式铁路、公路两用桥,建成后曾以“最长的公铁两用桥”载人《吉尼斯世界纪录大全》。南京长江大桥未通车前,从下关坐渡轮去浦口需两个小时;通车后,只需要5分钟,两岸经济迅速增长,进入“大桥时代”。为了更好地保护它,南京正酝酿将长江大桥申报全国重点文保单位,力争让其成为中国最年轻的“国保”。     

突出一个“实”字

第三批学习实践科学发展观活动开展以来,农四师在认真贯彻中央和兵团党委总体要求的基础上,坚持从基层具体实际出发,制订活动方案、确立活动主题、设计活动载体、创新活动方式、加强分类指导、增强活动效果,学习实践活动在学习调研阶段就取得实实在在的效果。     

数字阵列雷达宽带快速跳频源设计

介绍了一种基于直接数字合成技术(DDS)与直接频率合成(DS)相结合的数字阵列雷达T/R组件设计,其主要核心思想就是运用DDS技术中的相位控制功能代替传统高频移相器,并且运用其幅度控制功能代替传统的数控衰减器,从而实现阵列雷达发射信号的数字波束形成;并且设计出高稳定度的800 MHz高频源作为输入参考,利用DDS技术实现宽带下快速跳频;输出端采用DS方法,保证得到所需频带低相噪特性。     

俄罗斯国家安全战略的演变

建国以来,俄罗斯的国家安全战略围绕大国复兴这一主线,总体上经历了从“消极防御”到“积极防御”再到“战略反攻”的演变过程。2009年5月公布的《2020年前俄罗斯联邦国家安全战略》表明,俄罗斯已经结束过渡时期,进入了长期战略发展的高水平时期。面对新的国际国内形势,俄将在新的国家安全观指导下推行“合理、实用”的对外政策,并继续凭借能源、军事两大支柱,在坚定维护国家核心利益的同时积极参与国际安全体系的重建,力争成为多极世界中“有影响力的独立一极”。