论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
有效解决“软件危机”的一种重要途径是使用形式化方法来开发软件产品。薛锦云教授在国家863和多项国家自然科学基金的资助下，根据多年从事算法程序设计理论研究的成果，提出了
【机 构】
：
江西师范大学
【出 处】
：
江西师范大学
【发表日期】
：
2003年期
其他文献
无线Ad hoc网络，又名无线自组织网络，是一种特殊的对等式网络。它没有固定的控制中心，各节点通过无线链路连接并在网络中作为路由器。传统的TCP协议在有线网络中能够良好地工作，
随着科技的发展，非真实感渲染近年来已经成为了热门课题，越来越多的学者从事非真实感渲染的技术研究。在国外对水彩画、油画等具有西画艺术特征的艺术品仿真技术已经比较成熟，然
随着计算机网络技术的飞速发展,各种科技活动和日常工作中产生的数字、文档、图表等原始数据以及按照不同需求加工的数据集和相关信息被越来越多地以数字化的形式存放在数据
基于策略的网络管理(Policy Based Network Management,PBNM)是近几年迅速发展起来的研究领域,旨在向网络管理的智能化方向发展.该文正是基于这样的技术和应用背景,开展了相
随着WEB成为人类从事社交活动的虚拟场所——基于WEB的社交网,如何开发基于WEB的社交智能正在成为实现新一代高性能WEB的重要方式.将应用软件Agents和MA(Multi-Agent)技术建
在舰艇、飞机等需要协同指挥和控制的分布式应用系统中,系统的可靠性和容错性十分重要。如何保证这些系统的高可靠性和良好的容错性,是目前分布式系统的研究热点之一。通常采
移动供应链管理(MSCM)早在上个世纪90年代末期就有人提出.随着移动商务和电信技术的不断发展,移动供应链管理已经成为目前最为新颖、最为高效的供应链管理模式.兼具供应链管
目前大到航天系统，小到手机都有嵌入式系统的身影，正因得到如此广泛的应用，想深入学习和开发嵌入式系统软件的人也越来越多，其中包括对各种不同的操作系统的研究和对一些底层系统
H.264/AVC是目前由ITU-T的视频编码专家组(VCEG)及ISO/IEC的运动图像专家组(MPEG)公布的新一代视频编码标准。由于该标准比较复杂并且相当灵活，工程设计人员必须针对具体的应