Modeling operation and microarchitecture concurrency for communication architectures with application to retargetable simulation

In multiprocessor-based system-on-chips (SOCs), optimizing the communication architecture is often as important as, if not more than, optimizing the computation architecture. While there are mature platforms and techniques for the modeling and evaluation of computation architectures, the same is not true for the communication architectures. A major challenge in modeling the communication architecture is managing the concurrency at multiple levels: at the operation level, multiple communication operations may be active at any time; at the microarchitecture level, several microarchitectural components may be operating in parallel. Further, it is important to be able to clearly specify how the operation-level concurrency maps to the microarchitectural-level concurrency. This paper presents a modeling methodology and a retargetable simulation framework which fill this gap. This framework seeks to facilitate the design space exploration of the communication subsystem through a rigorous modeling approach based on a formal concurrency model, the operation state machine (OSM). Our OSM-based modeling methodology enables the entire system including both the computation and communication architectures to be modeled in a single OSM framework. This allows us to develop a tool set that can synthesize cycle-accurate system simulators for multiprocessing-element SOC prototypes. We show that, by simulation, critical system information such as timing and communication patterns can be obtained and evaluated. Consequently, system-level design choices regarding the communication architecture can be made with high confidence in early stages of design.     

Higher-order radiative perturbation theory

As a computationally effective tool, the first-order term of the radiative perturbation theory has been computed successfully, and has been applied in a number of areas. In this article, we develop the computational expressions for the higher-order terms of the perturbation expansion in a plane parallel atmosphere. These expressions are then implemented, and numerical results for some typical cases are presented. These results indicate that the computation is successful and that the higher-order terms are essential in cases where the first-order term alone cannot predict the perturbation with sufficient accuracy.     

不确定广义系统的仿射二次稳定

本文讨论了具有仿射型不确定性的广义系统稳定问题，给出了不确定广义系统的仿射二次稳定定义及仿射二次H∞性能指标定义，利用线性矩阵不等式给出了不确定广义系统的仿射二次稳定的充分条件和系统具有仿射二次H∞性能指标的充分条件。     

多棒串接固体激光器谐振腔的研究

运用矩阵光学的方法对多棒串接固体激光器的谐振腔参数及其在平平腔时的热稳条件进行了研究，并计算了六棒串接平平腔固体激光器的稳定区.结果证明：多棒串接固体激光器的稳定区和非稳区相互间隔，在平平腔总腔长、激光棒数量n和棒间距L一定的条件下，当采用对称结构时(L₁=L₂)，则谐振腔的每段稳定区均达到最大；且只要 平平腔满足L₁=L₂=L/2以及热焦距f在大于某个下限值f_m时，稳定性条件01< 关键词： 多棒串接固体激光器 稳定区 热稳条件     

Bellman最优性原理——论动态规划(Ⅰ)

对于Bellman最优性原理,本文举出实例表明:(1)策略不一定有(合理的)子策略;(2)子策略不一定存在最优子策略;(3)最优策略不一定有最优子策略;(4)用最短路与反证法来论述最优性原理的正确性,不能肯定成立;(5)Bellman最优性原理与其递推公式并不等价。 讨论四类最优策略之后,给出最优性原理与递推公式等价的一个充分性定理。     

基于锁相同步检测的数字化阻抗测试方法

介绍了一种数字化阻抗测试方法，它采用锁相同步采样、数字化矢量电压电流比法及校准技术测试元器件或线路阻抗。同时介绍了相应实验电路原理，并结合线路接口，进行了通信电缆的线路阻抗测试实验。     

B（X）上保点谱的可加映射和初等算子

记Ｘ为复数域上无限维Ｂａｎａｃｈ空间，Ｈ为无限维复可分Ｈｉｌｅｒｔ空间。本文给出Ｂ（Ｘ）上保持点谱的满射可加射具有的形式，以及Ｂ（Ｈ）上某些初等算子保点谱的充要条件。     

优化路问题的代数方法—论动态规划（Ⅱ）

本文用同一思路求解多阶段有向图中三种优化路问题:最优路、N阶最优路及多指标Pareto优化路问题,它们都服从嘉量原理,都用同一个代数公式表达它们的嘉量,并可在同一种表格中进行计算,只是所在半域不同,以本文的方法讨论动态规划中一些离散决定型典型应用问题,其提法、建模思路以及求解过程都有可观的扩大与改善。