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

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

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

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

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

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

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

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

突出一个“实”字

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

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

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

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

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

艺术剧场里的另一场战斗

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

军人特殊岗位风险呼唤军人互助保险

作为保险的主体形式之一,互助保险以其固有的运作机制,在适用风险的保障上扮演着重要的角色。引入互助保险机制,保障军人特殊岗位风险,是实现军人保险政策目标的必然要求。军人互助保险的职能在于针对军队内部实际,对特殊地区、特殊岗位以及执行特殊任务的军人面临的特殊岗位风险;提供灵活高效的风险保障,满足军人对特殊岗位风险的保障需求。     

推行农业标准化 保障军队农产品质量安全

农业标准化是食品安全工作的基础,只有以农业标准化为基础指导军队农副业生产,才能保证军队农产品质量安全。当前,加强军队农业标准化建设,确保农产品质量安全,主要是要加大宣传、教育和培训力度,科学构建军队农业标准化体系,推进标准化示范区的建设,健全检验检测体系,加快新技术的推广。