协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。     

一种基于组的访问控制方法

卫星通信网运控系统是一个大型的分布式系统,它使用CORBA中间件来解决分布式系统的异构问题。在研究DAC、MAC、RBAC等访问控制模型的基础上,提出并实现了一种基于组的用户访问控制(GBAC)策略,提高了运控系统的访问控制效率。     

介质谐振器微波电路的应用

本文评述了近年来介质谐振器微波电路的若干应用及进展,供有兴趣的读者参考。     

多媒体会议系统中的一种成员间同步协议

成员间同步是研制高水平的多媒体会议系统必须解决的问题。本文是在作者经过三年的研制实践的基础上提出与解决的一个理论问题。文章首先介绍了会议系统中现有的几种同步算法,在分析它们的基础上提出了一种基于交互行为的同步模型,最后讨论我们提出的基于交互行为的同步协议。     

爆炸波通过颗粒介质传播规律的数值分析方法研究

本文在文献的基础上,结合颗粒介质的边值问题,采用变分方程导得爆炸波通过颗粒介质传播规律的动力方程,运用核爆压力模拟器模拟爆炸波通过颗粒介质的衰减规律,将试验结果与本文数值计算的理论结果进行了对比,其良好的一至性表明本方法是可行的。     

巨型计算机的前端工作站的设计(软件部分)

巨型计算机的前端工作站是巨型计算机系统的重要组成部分,它实现了主处理机与前端处理机的互联。文章从功能与结构两个方面阐述了前端工作站的设计,并且简要地介绍了通讯协议。前端工作站已研制成功并正式投入了使用。     

哥伦比亚入北约？

美国著名戏剧和电影理论家霍华德.劳逊曾言：“戏剧的基本特征是社会性冲突：如人和人、个人和集体、一个集团和别的集体、个人或集团和社会或自然力量之间的对抗。”在国际关系的舞台上,这样的“戏剧性冲突”每天都在发生——6月1日,哥伦比亚总统胡安·曼努埃尔·桑托斯在军官晋升仪式对外宣称,哥伦比亚有意加入北约,并称双方的防务部门还要在一个月内签订一项“旨在向加入这一组织迈进”的友好合作协议。     

新疆生产建设兵团与中国电信集团公司举行“宽带兵团”启动暨“智慧兵团”签约仪式

2013年9月4日,兵团与中国电信集团公司举行"宽带兵团"启动暨"智慧兵团"签约仪式,双方共同签署了《新疆生产建设兵团与中国电信集团公司"智慧兵团"合作协议》。兵团党委常委、副司令员于秀栋与中国电信集团公司副总经理高同庆代表双方在合作协议上签字。为深入贯彻党的十八大和中央新疆工作座谈会精神,以信息化引领和推动兵团城镇化、新型工业化和农业现代化,加快构建以城镇化为载体、新型工业化为支撑、农业现代化为基础、信息化贯穿其中的发展格局,新疆生产建设兵团与中国电信集团公司在     

基于TCP/IP协议的无人机IFFC系统仿真

为了提高无人机自主飞行、自主攻击的能力,设计一种整体式的无人机综合火力/飞行控制系统(IFFC系统),并对激光制导炸弹模态下的系统进行数字仿真.系统基于Winsock的TCP/IP协议的C/S模式,在服务器上完成无人机火控解算、火飞耦合器设计,在客户端设计基于PID算法的飞行控制模块.火控系统根据飞行状态和目标信息实时计算炸弹可达区域,瞄准距离误差经过火飞耦合器形成航向和俯仰控制命令反馈给飞控系统,驱动载机消.除瞄准误差,实现闭环控制.实验结果表明,无人机的瞄准速度和攻击精度都有所提高,为进一步开展自主式UAV的研究打下基础.     

航天科技集团与黑龙江省签订战略合作框架协议

2013年3月11日,中国航天科技集团公司和黑龙江省人民政府在京签署了《黑龙江省人民政府中国航天科技集团公司战略合作框架协议》,这是双方贯彻落实党中央、国务院关于实施第二轮东北地区等老工业基地振兴战略和军民融合发展战略,充分发挥航天高科技对国家战略性新兴产业发展的引领作用,打造科技创新驱动发展的新增长点,促进产业结构优化升级、加快经济发展方式转变的有力举措。根据协议,集团公司将与黑