JACKSON程序规格说明到过程蓝图的映射

本文在ＪＡＣＫＳＯＮ程序规格说明和过程蓝图的形式化定义基础上，给出了从ＪＡＣＫＳＯＮ程序规格说明出发，导出过程蓝图的转换映射方法。使用过程蓝图取代结构文本作为ＪＡＣＫＳＯＮ程序规格说明和最终目标源代码的中间表示，改进了传统ＪＡＣＫＳＯＮ结构化程序设计方法。     

JACKSON结构图到抽象逻辑结构图的转换

本文在ＪＡＣＫＳＯＮ结构图和抽象逻辑结构图的形式化定义基础上，给出了ＪＡＣＫＳＯＮ结构图到抽象逻辑结构图的自动化和图形化转换方法。     

3Com公司新推出两款PC网卡

日前,３Ｃｏｍ公司又推出两款新的ＬＡＮＰＣ卡：Ｍｅｇａｈｅｒｔｚ１０ＭｂｐｓＬＡＮＰＣ卡和Ｍｅｇａｈｅｒｔｚ１０／１００ＬＡＮＣａｒｄＢｕｓＰＣ卡。它们都配备３Ｃｏｍ公司专利的ＸＪＡＣＫ连接器。ＸＪＡＣＫ连接器为连接带来极大方便。它装在ＰＣ卡上,要用时只需让它伸出来,再插接到标准的ＲＪ－４５连接器上。这就是说,用户再也不必担心忘了带或丢了专用电缆。ＸＪＡＣＫ连接器不仅方便,而且结实可靠。因此,美国已有５００多万台便携式计算机用ＸＪＡＣＫ连接器来实现可靠联网。３Ｃｏｍ公司是全球最大的ＬＡＮＰＣ卡厂…     

《深海争霸》上手指南

《深海争霸》围绕着ＷＨＩＴＥ ＳＨＡＲＫＳ、ＢＬＡＣＫ ＯＣＴＯＰＩ、 ＳＩＬＩＣＯＮＳ三个种族展开，三个不同文化的种族为争夺水中霸权而战，跟暴雪的《星际争霸》十分相似。 首先介绍游戏的界面：上方为资源状况，内容因所选种族而异， ＷＨＩＴＥ ＳＨＡＲＫＳ，ＢＬＡＣＫ ＯＣＴＯＰＩ都为人类，需要氧气（Ｏ２），而且科研与贸易都要钱（ＧＯＬＤ），而ＳＩＬＩ－ＣＯＮＳ就不需要氧气，代替为能源的需要，而且它们也不认识什么是钱：）。共同的资源是绿色代表的ＣＯＲＩＵＭ（真菌）和黑色代表的ＭＥＴＡＬ（矿物）。下方为命…     

LAPACK中的分块算法及其效果

１．引 言 ＬＡＰＡＣＫ（Ｌｉｎｅａｒ Ａｌｇｅｂｒａ ＰＡＣＫａｇｅ）是（１９９０－１９９４）由美国国家科学基金（ＮＳＦ）等资助开发的著名的公开软件．Ｖ２．０版自１９９４年１０月发布以来受到广泛关注，并再次受到美国国家科学基金等的资助（１９９８－２００１）．１９９９年６月发布了最新Ｖ３．０版，同年１０月又发表了 Ｖ３．０（Ｕｐｄａｔｅ）版．ＬＡＰＡＣＫ是针对现代高性能计算机与共享存贮并行计算机设计的线性代数软件包．由于它的性能高和应用范围广，ＬＡＰＡＣＫ已被移植到多种平台上，并且已成为线性代数计算…     

帝国时代Ⅱ密技

ＡｇｅｏｆＥｍｐｉｒｅｓ２在游戏进行中按下ＥＮ－ＴＥＲ键,然后在对话框中输入以下密码即可：ＲＯＣＫ　ＯＮ：得到１０００块石头ＬＵＭＢＥＲＪＡＣＫ：得到１０００块木头ＲＯＢＩＮＨＯＯＤ：得到１０００条金ＣＨＥＥＳＥＳＴＥＡＫＪＩＭＭＹ'Ｓ：得到１０００食物ＭＡＲＣＯ：显示地图ＰＯＬＯ：移动阴影ＡＥＧＩＳ：加快建筑ＮＡＴＵＲＡＬＷＯＮＤＥＲＳ：控制大自然ＨＥＳＩＧＮ：任务失败ＷＩＭＰＹＷＩＭＰＹ－ＷＩＭＰＹ：破坏自已ＩＬＯＶＥＴＨＥＭＯＮＫＥＹＩＩＥＡＤ：得到ＶＤＭＬＨＯＷＤＯＹＯＵＴＵＲＮＴＨＩＳ…     

边界元法中非对称满系数矩阵方程组的分块求解法

边界元法中非对称满系数矩阵方程组的分块求解法刘晓坤，王建军（西安石油学院）路民旭，张大鸣（西北工业大学）ＡＢＬＯＣＫＥＱＵＡＴＩＯＮＳＯＬＵＴＩＯＮＴＥＣＨＮＩＱＵＥＡＮＤＩＴＳＰＲＯＧＲＡＭＦＯＲＵＮＳＹＭＭＥＴＲＩＣＤＥＮＳＥＭＡＴＲＩＸＩＮＴＨ...     

基于方块脉冲函数逼近的线性连续回归模型的参数估计及其应用

基于方块脉冲函数逼近的线性连续回归模型的参数估计及其应用赵明旺（武汉钢铁学院）ＰＡＲＡＭＥＴＥＲＥＳＴＩＭＡＴＩＯＮＦＯＲＬＩＮＥＡＲＣＯＮＴＩＮＵＯＵＳＲＥＧＲＥＳＳＩＶＥＳＹＳＴＥＭＳＶＩＡＢＬＯＣＫＰＵＬＳＥＦＵＮＣＴＩＯＮＳＡＮＤＩＴＳＡＰＰ...     

多种网络应用程序接口的实现

ＢＳＤＵｎｉｘ的ＳＯＣＫＥＴ和ＡＴ＆ＴＳｙｓｔｅｍＶ的ＴＬＩ（ＴｒａｎｓｐｏｒｔＬａｙｅｒＩｎｔｅｒｆａｃｅ）是Ｕｎｉｘ系统中主流的网络应用程序接。ＡＰＩ。ＳＯＣＫＥＴ与系统Ｉ／Ｏ相关连,而ＴＬＩ通过流机制实现,都分别依赖于各自操作系统的特性和机制。在操作系统国产化的要求下,同时提供ＳＯＣＫＥＴ和ＴＬＩ能极大提高系统的兼容性,但通过互相模拟或者提供两套系统都不能很好地同时实现ＳＯＣＫＥＴ和ＴＬＩ。ＣＯＮＥＴＶ２．０作为国产网络系统软件,采用优秀的ｘ－ｋｅｒｎｅｌ机制,它先进的面向对象和多线程特性很好地解决了以上难题。文章扼要说明了ＳＯＣＫＥＴ和ＴＬＩ的差异,并详细讨论了在ＣＯＮＥＴＶ２．０中同时实现两者的细节。     

INTERFERENCE CHECKING IN COMPUTER-AIDED PLANT DESIGN SYSTEM

ＩＮＴＥＲＦＥＲＥＮＣＥＣＨＥＣＫＩＮＧＩＮＣＯＭＰＵＴＥＲ－ＡＩＤＥＤＰＬＡＮＴＤＥＳＩＧＮＳＹＳＴＥＭＷａｎｇＦｅｎｇＺｈａｏＨｏｎｇＮｉｕＪｕｎｙｕＡｂｓｔｒａｃｔＩｎｔｈｉｓｐａｐｅｒ，ｔｈｅｉｎｔｅｒｆｅｒｅｎｃｅｃｈｅｃｋｉｎｇｏｆｔｈｒ...     

Extending TCP congestion control to multicast

This paper proposes a new single-rate multicast congestion control scheme named PGMTCC, which has been implemented and investigated in PGM. The primary idea of PGMTCC is to extend Sack TCP congestion control mechanism to multicast in order to make multicast perform almost the same as Sack TCP under all kinds of network conditions. To achieve this goal, first of all, the sender should accurately select a receiver with the worst throughput as a representative (acker) by a simplified equation of TCP throughput. Then the Sack TCP congestion control mechanism, with some modifications to be adapted to multicast, is deployed to take charge of congestion control between the sender and the acker. Moreover, in our scheme, the problem of the feedback suppression is considered and solved by a selective suppression mechanism of feedback. NS2 is used to test and investigate the performance of our scheme. As expected, PGMTCC performs almost like Sack TCP under all kinds of conditions. We believe that it is TCP-friendly, robust and scalable.     

基于TRAC的显式速率组播拥塞控制协议

针对现有的组播拥塞控制协议计算量大、实现复杂且实际控制效果不好的缺点,提出一种简单高效的显式速率组播拥塞控制协议。该协议只在组播树的发送端和接收端执行,通过计算拥塞吞吐率来监控拥塞、调节发送速率,避免了对所有往返时延和丢包率等复杂参数的计算,各节点只需少量内存来维护必要的数据和状态信息。NS2仿真证明该协议具有良好的TCP公平性和扩展性,可有效跟踪最拥塞链路,解决“反馈内暴”和“drop to zero”等问题。     

一种新的固定速率分层组播拥塞控制协议

提出了一种新的固定速率分层组播拥塞控制算法FLMCC。组播会话中的每层按照固定速率发送数据包。各接收端根据估计的期望速率累计订购数目不等的层，从而获得不同的吞吐量。为准确估计期望速率并实现TCP友好性，各接收端采用在接收端实现的窗口机制，即在每层独立维护拥塞窗口，利用GAIMD算法调整窗口，并根据窗口值计算期望速率。为测量RTT，采用了一种精确测量和粗略测量相结合的策略；为避免RTT精确测量时产生的反馈内爆问题，采用了基于随机定时器机制的反馈抑制策略。协议实现简单。仿真表明，算法具有良好的TCP友好性、响应性和协议内公平性，且链路利用率高。     

SCSRM:分割连接的卫星可靠组播方案

针对端到端方案在卫星可靠组播中存在的缺点,提出了一种分割连接的卫星可靠组播方案SCSRM,并从差错控制机制、拥塞控制机制、反馈抑制策略等方面对运行于卫星网络部分的传输协议Sat-MTCP进行了详细的设计.仿真结果表明,即使在较差的信道条件下,SCSRM方案也可以达到较好的Goodput性能;由于采用了有效的反馈抑制策略和差错恢复策略,当接收者数量增大时,Goodput性能基本保持平稳,表现出良好的可扩展性;通过可用带宽的合理分配,保证了带宽公平性.     

适用于无线网络流媒体传输的可靠多播协议设计

无线网络具有高误码率和高丢失率的特点,现有的组播协议无法为具有时延敏感特点的流媒体应用提供理想的传输质量.将FEC编码与基于NACK的反馈机制相结合,提出了一种以端到端方式运作的轻量级可靠传输协议.协议应用NACK抑制和NACK积累机制防止NACK风暴;引入了TCP友好的拥塞控制机制,与其他传输协议公平共享带宽;使用反馈轮(feedback round)机制,以"轮"为单位实现NACK控制,将接收端等待修复的时间平均到每一轮中,防止了抖动.实验表明,在最大发送速率为2Mbps的设定下,本协议在无线网络上的吞吐量是同类协议NORM的1.5倍,且消除了抖动,具有低延迟的特点,更适合于流媒体传输应用的需要.     

On the scaling of feedback algorithms for very large multicast groups

Feedback from multicast group members is vital for many multicast protocols. In order to avoid feedback implosion in very large groups feedback algorithms with well-behaved scaling-properties must be chosen. In this paper, we analyse the performance of three typical feedback algorithms described in the literature. Apart from the basic trade-off between feedback latency and response duplicates we especially focus on the algorithms’ sensitivity to the quality of the group size estimation. Based on this analysis we propose a generalised framework for feedback algorithms and especially give recommendations for the choice of well-behaved feedback mechanisms that are suitable for very large groups.     

基于速率的TCP友好多播拥挤控制

提出了基于速率的TCP友好多播拥挤控制模型,分析了在设计多播拥挤控制协议时需要解决的关键性问题,探讨了丢失事件率、往返时间等参数的测量方法,并对拥挤状态反馈机制进行了详细设计,引入了拥挤控制指定接收者CCDR的概念,在网络拥挤状况缓解时能够及时增加传输速率。     

短波数据通信可靠多播协议研究

针对短波数据通信的特点,提出了一种可靠多播中反馈信息的信道争用方式,使第二代短波通信实现可靠多播传输。同时将改进的可靠多播协议RMTP应用到短波可靠多播传输中,首次提出“一层发送,逐层补充,分层分步反馈”的思想。通过仿真表明,改进后的RMTP协议满足可靠多播传输要求,与未使用该协议的可靠多播传输相比多播传输延时明显缩短。     

A Distributed Approach for Monitoring Multicast Service Availability

With the deployment of native multicast in commercial networks, multicast is getting closer to becoming a ubiquitous service in the Internet. The success of this deployment largely depends on the availability of good management tools and systems. One of the most important management tasks for multicast is to verify the availability of the service to its users. This task is usually referred to as reachability monitoring. Reachability monitoring requires a number of monitoring stations to work together to collect this information in a distributed manner in the interdomain scale. In this paper we present a general architecture for multicast reachability monitoring systems and focus on three critical functions: agent configuration, monitoring, and feedback collection. For each component, we provide a number of alternative approaches to implement the required functionality and discuss their advantages and disadvantages. Then, we focus on the feedback collection component. To a large extent, it determines the complexity and the overhead of a monitoring system. Using simulations, we compare a number of alternative approaches for feedback collection and make suggestions on when to use each. We believe our work provides insight into the issues and considerations in designing and developing multicast reachability monitoring systems.     

基于蚁群遗传算法的QoS多播路由研究*

为解决多播路由中的QoS约束问题,不仅研究了QoS多播路由中的带宽、时延﹑时延抖动和包丢失率等约束问题,还重点分析了路径开销问题,从而提出一种基于蚁群遗传算法的多播路由算法。该算法将遗传算法与蚁群算法结合起来,对多播树群体进行编码、选择、杂交和变异等遗传操作,同时利用蚁群算法的信息素正反馈求解,充分发挥两者的优势,从而更快更好地产生出既满足服务质量保障（QoS）又具有最小路径开销的多播树。仿真实验证明了该算法具有更高的运行效率和更好的收敛性。