Memory management optimization problems for integrated circuit simulators

In hardware design, it is necessary to simulate the anticipated behavior of the integrated circuit before it is actually cast in silicon. As simulation procedures are long due to the great number of tests to be performed, optimization of the simulation code is of prime importance. This paper describes two mathematical models for the minimization of the memory access times for a cycle-based simulator.An integrated circuit being viewed as a directed acyclic graph, the problem consists in building a graph order on the vertices, compatible with the relation order induced by the graph, in order to minimize a cost function that represents the memory access time. For both proposed cost functions, we show that the corresponding problems are NP-complete. However, we show that the special cases where the graphs are in-trees or out-trees can be solved in polynomial time.     

复杂像散椭圆光束的轨道角动量的实验研究

提出一种直接测量光束的轨道角动量的方法，其原理是把具有轨道角动量的光束照射到一个金属靶上，使其在光束的角动量作用下发生转动. 通过测量靶转动的角度来计算光束的角动量值. 对几种不同参数的光束的轨道角动量进行了测量，获得了轨道角动量与光束参数之间的关系，实验结果与理论分析较好地符合. 关键词： 复杂像散椭圆光束 轨道角动量 测量     

新型含氧亚甲基和亚胺桥键液晶化合物分子结构与光谱的密度泛函理论研究

采用密度泛函理论方法在B3LYP/6-31G*水平上对6个新型含氧亚甲基和亚胺桥键液晶化合物分子的几何结构进行优化计算,讨论了取代基H,CH3,CH3O,C2H5O,NO2,Cl对分子电荷、前线轨道能量和电子吸收光谱等性质的影响.在此基础上使用含时密度泛函理论方法计算了分子第一激发态的电子垂直跃迁能,得到最大吸收波长λmax.计算表明,取代基的引入导致最大吸收波长红移.     

Numerical study of charge ordering in NaxCoO2

A simple microscopic model of charge ordering in the Na_xCoO₂ system is presented. The model takes into account the interplane interactions between the ordered Na ions and d electrons from the CoO₂ layers as well as the nearest-neighbor intraplane Coulomb interactions between d electrons. It is shown that a driving force of charge ordering in the CoO₂ layers is the interplane interaction that alone is able to describe various types of inhomogeneous charge ordering (e.g., the striped phases) as well as to predict correctly the conducting properties of the system.     

On disjoint configurations in infinite graphs

For a graph A and a positive integer n, let nA denote the union of n disjoint copies of A; similarly, the union of ?₀ disjoint copies of A is referred to as ?₀A. It is shown that there exist (connected) graphs A and G such that nA is a minor of G for all n??, but ?₀A is not a minor of G. This supplements previous examples showing that analogous statements are true if, instead of minors, isomorphic embeddings or topological minors are considered. The construction of A and G is based on the fact that there exist (infinite) graphs G₁, G₂,… such that G_i is not a minor of G_j for all i ≠ j. In contrast to previous examples concerning isomorphic embeddings and topological minors, the graphs A and G presented here are not locally finite. The following conjecture is suggested: for each locally finite connected graph A and each graph G, if nA is a minor of G for all n ? ?, then ?₀A is a minor of G, too. If true, this would be a far‐reaching generalization of a classical result of R. Halin on families of disjoint one‐way infinite paths in graphs. © 2002 Wiley Periodicals, Inc. J Graph Theory 39: 222–229, 2002; DOI 10.1002/jgt.10016     

Discrete storage processes and their Poisson flow and fluid flow approximations

Consider discrete storage processes that are modulated by environmental processes. Environmental processes cause interruptions in the input and/or output processes of the discrete storage processes. Due to the difficulties encountered in the exact analysis of such discrete storage systems, often Poisson flow and/or fluid flow models with the same modulating environmental processes are proposed as approximations for these systems. The analysis of Poisson flow and fluid flow models is much easier than that of the discrete storage processes. In this paper we give sufficient conditions under which the content of the discrete storage processes can be bounded by the Poisson flow and the fluid flow models. For example, we show that Poisson flow models and the fluid flow models developed by Kosten (and by Anick, Mitra and Sondhi) can be used to bound the performance of infinite (finite) source packetized voice/data communication systems. We also show that a Poisson flow model and the fluid flow model developed by Mitra can be used to bound the buffer content of a two stage automatic transfer line. The potential use of the bounding techniques presented in this paper, of course, transcends well beyond these examples.Supported in part by NSF grant DMS-9308149.     

Re_2(edt)_4的电子结构和电子吸收光谱的从头算研究

用密度泛函理论中的B3LYP/CEP-4G方法对Re2（edt）4进行了结构优化和自然键轨道计算,并用单电子激发组态相互作用方法（CIS）计算了Re2（edt）4的分子轨道和激发态。结果表明Re-Re之间不存在明显的三重键,进而很好地解释了Re2（edt）4分子的电子吸收光谱。     

(R)-N-乙酰四氢噻唑-2-硫酮-4-羧酸的合成和量子化学研究

（R）－N－乙酰四氢噻唑－2－硫酮－4－羧酸在三乙胺存在下同乙酰氯反应得到光学活性产物（R）－N－乙酰四氢噻唑－2－硫酮－4－羧酸．用半经验的量子化学方法研究反应物及产物的电子结构和反应热焓．     

配合物1,3-二甲基-2-二茂铁基甲基苯并咪唑的量子化学DFT研究

苯并咪唑及其衍生物具有良好的生物活性和荧光性质[1,2],在DNA拓扑酶抑制剂、HIV逆转录酶的抑制剂、分子探针等领域已有广泛应用,一直以来都是广大学者研究的热点[3]。苯并咪唑类化合物是一类活性很强的内吸型杀菌剂,它的主要作用方式是植物病原的R-微管蛋白结合,破坏R-微管蛋白的功能,抑制真菌的有丝分裂和形态建构。然而,随着使用时间的增加,病菌的抗生越来越强,导致在部分地区失效,给农业生产带来巨大损失。所以迫切需要寻找高效、新型的杀菌剂。近些年来,二茂铁衍生物因其广泛的生物活性,如抗癌、杀菌、杀虫、抗炎及调节植物生长等…