| 1. | Web semi - dynamic pages maintenance based on status transfer
半动态页面的状态迁移维护法 |
| 2. | ? the status transfer of request in queue is analyzed deeply , for sketching the status transfer pattern of request in pipe queue and batch queue
对请求在队列中的状态迁移进行了深入分析，勾画了请求在管道队列以及批处理队列中的状态迁移模式。 |
| 3. | Following the standard of status view provided by uml , we describe the status changes during the process of sync and put forward the solution based on limited states machine
依照uml模型视图的规范描绘了同步系统的状态迁移并提出了基于有限状态机的解决方案。 |
| 4. | Following the standard of status view provided by uml , we describle the status changes during the process of sync and put forward the solution based on limited states machine
依照uml动态模型中状态视图的规范描绘同步系统的状态迁移并提出了基于有限状态机的解决方案。 |
| 5. | State transition testing is particularly useful where either the software has been designed as a state machine or the software implements a requirement that has been modeled as a state machine
当软件被设计成为一个状态机或者软件实现了一个状态机需求的时候，状态迁移测试是特别有用的。 |
| 6. | The key requirements of adaptive load balancing services for web application servers are addressed , and the key design challenges including hot plug - in , customizable load balancing strategy , adaptive control , state migration and fault tolerance etc . are described
一方面，我们实现了web应用服务器自适应负载平衡服务，包括服务可热插拔、负载策略可替换、负载反馈与自适应控制、状态迁移技术等。 |
| 7. | The algorithm processes the set of xpaths and compiles three things : a set of states that the transition diagram might go through , the transition function to move from one state to another , and an indication of which states mark successful recognition of an xpath
该算法处理这组xpath ，并编译三样东西：转换图可能经过的一组状态，从一种状态迁移到另一种状态的转换函数，以及表明哪些状态成功地识别了xpath的标记。 |
| 8. | The model testing process : first , making the space structure of the uml statechart into two - dimensional structure of tfg ; secondly , with the test coverage criteria covering tfg , we can get the test sequences of events according with the transition of the state
该模型的测试过程是,首先,把空间结构的uml状态图转换为易于分析的平面结构图? tfg ;其次,使用分支覆盖标准覆盖tfg图,得到符合状态迁移的消息事件测试序列。 |
| 9. | The migration algorithm proposed by this paper allow that the execution of process migrating and process going is concurring to the most degree . the migration algorithm speeds up the migration , reduces the communication overhead and avoids residual dependencies
本文基于进程迁移的三个条件提出的进程迁移算法,最大程度地将进程状态迁移和进程的运行并行起来,从而提高了迁移速度,网络通信量也较小,而且也没有对源节点的残余依赖性。 |
| 10. | These methods can be used to verify the properties of whole system . to reduce the state explosion caused by concurrent objects , we study the compositional verification of synchronous uml models based on synchronous composition and simulation relation between structures
为缓解并发对象导致的状态爆炸问题，本文还研究了根据同步合成和结构间的模拟关系，对同步uml模型进行并发组合推理，使得有可能不必建立全局状态迁移图来验证系统。 |
