This paper presents the derivation of an analytical model for a multi-queue nodes network router, which is referred to as the multi-queue nodes （mQN） model. In this model, expressions are derived to calculate two pe...This paper presents the derivation of an analytical model for a multi-queue nodes network router, which is referred to as the multi-queue nodes （mQN） model. In this model, expressions are derived to calculate two performance metrics, namely, the queue node and system utilization factors. In order to demonstrate the flexibility and effectiveness of the mQN model in analyzing the performance of an mQN network router, two scenarios are performed. These scenarios investigated the variation of queue nodes and system utilization factors against queue nodes dropping probability for various system sizes and packets arrival routing probabilities. The performed scenarios demonstrated that the mQN analytical model is more flexible and effective when compared with experimental tests and computer simulations in assessing the performance of an mQN network router.展开更多
为了提高车间控制系统的柔性、开放性和全局优化性能,在分析现有车间控制体系结构的基础上,融合Agent技术,提出了一种适应性混合式车间控制系统体系结构模型。该模型利用递阶结构将控制功能设计成系统优化Agent、单元协调Agent和单实体A...为了提高车间控制系统的柔性、开放性和全局优化性能,在分析现有车间控制体系结构的基础上,融合Agent技术,提出了一种适应性混合式车间控制系统体系结构模型。该模型利用递阶结构将控制功能设计成系统优化Agent、单元协调Agent和单实体Agent三层结构,并允许同层Agent及上下层Agent之间的协商。为了进一步提高协商效率,集成分布式协商和全局控制,设计了基于招投标机制和示例学习方法的协商机制,详细分析了包括时间约束算法和基于示例的学习方法的协商机制核心算法。在JADE(Java Agent development framework)平台上构建了原型系统。展开更多
The increasing complexity of digital systems makes designers begin to design using abstract system level modeling （SLM）. However, SLM brings new challenges for verification engineers to guarantee the functional equi...The increasing complexity of digital systems makes designers begin to design using abstract system level modeling （SLM）. However, SLM brings new challenges for verification engineers to guarantee the functional equivalence between SLM specifications and lower-level implementa- tions such as those of transaction level modeling （TLM）. This paper proposes a novel method for equivalence checking be- tween SLM and TLM based on coverage directed simulation. Our method randomly simulates an SLM model and uses an satisfiability modulo theories （SMT） solver to generate stimuli for the uncovered area with the direction of a com- posite coverage metric （code coverage and functional cover- age）. Then we run all the generated stimuli （random stimuli and direct stimuli） on both SLM and TLM designs. At the same time, the selected observation variables are compared to evaluate the equivalence between SLM and TLM. Promising experimental results show that our equivalence checking method is more efficient with lower simulation cost.展开更多
This paper presents a circuit model for thin avalanche photodiodes （APDs）. In this model, the nonuniformity of the electric filed in the multiplication region is modeled using a stepwise method. The model also tries...This paper presents a circuit model for thin avalanche photodiodes （APDs）. In this model, the nonuniformity of the electric filed in the multiplication region is modeled using a stepwise method. The model also tries to take the effects of carrier＇s position dependent properties, like carder＇s dead length and the history of carder＇s previous ionization into account by developing an effective electric field in the multiplication region. The output photocurrent and multiplication gain obtained from the proposed model for different lengths of the multi- plication region achieve a good agreement in comparison with available experimental data. In addition, calculated excess noise factor reveals the model ability for noise and sensitivity analysis.展开更多
文摘This paper presents the derivation of an analytical model for a multi-queue nodes network router, which is referred to as the multi-queue nodes （mQN） model. In this model, expressions are derived to calculate two performance metrics, namely, the queue node and system utilization factors. In order to demonstrate the flexibility and effectiveness of the mQN model in analyzing the performance of an mQN network router, two scenarios are performed. These scenarios investigated the variation of queue nodes and system utilization factors against queue nodes dropping probability for various system sizes and packets arrival routing probabilities. The performed scenarios demonstrated that the mQN analytical model is more flexible and effective when compared with experimental tests and computer simulations in assessing the performance of an mQN network router.
文摘为了提高车间控制系统的柔性、开放性和全局优化性能,在分析现有车间控制体系结构的基础上,融合Agent技术,提出了一种适应性混合式车间控制系统体系结构模型。该模型利用递阶结构将控制功能设计成系统优化Agent、单元协调Agent和单实体Agent三层结构,并允许同层Agent及上下层Agent之间的协商。为了进一步提高协商效率,集成分布式协商和全局控制,设计了基于招投标机制和示例学习方法的协商机制,详细分析了包括时间约束算法和基于示例的学习方法的协商机制核心算法。在JADE(Java Agent development framework)平台上构建了原型系统。
文摘The increasing complexity of digital systems makes designers begin to design using abstract system level modeling （SLM）. However, SLM brings new challenges for verification engineers to guarantee the functional equivalence between SLM specifications and lower-level implementa- tions such as those of transaction level modeling （TLM）. This paper proposes a novel method for equivalence checking be- tween SLM and TLM based on coverage directed simulation. Our method randomly simulates an SLM model and uses an satisfiability modulo theories （SMT） solver to generate stimuli for the uncovered area with the direction of a com- posite coverage metric （code coverage and functional cover- age）. Then we run all the generated stimuli （random stimuli and direct stimuli） on both SLM and TLM designs. At the same time, the selected observation variables are compared to evaluate the equivalence between SLM and TLM. Promising experimental results show that our equivalence checking method is more efficient with lower simulation cost.
文摘This paper presents a circuit model for thin avalanche photodiodes （APDs）. In this model, the nonuniformity of the electric filed in the multiplication region is modeled using a stepwise method. The model also tries to take the effects of carrier＇s position dependent properties, like carder＇s dead length and the history of carder＇s previous ionization into account by developing an effective electric field in the multiplication region. The output photocurrent and multiplication gain obtained from the proposed model for different lengths of the multi- plication region achieve a good agreement in comparison with available experimental data. In addition, calculated excess noise factor reveals the model ability for noise and sensitivity analysis.
