Regularizing Flows over Lie Groups

In this paper we discuss regularization of images that take their value in matrix Lie groups. We describe an image as a section in a principal bundle which is a fibre bundle where the fiber (the feature space) is a Lie group. Via the scalar product on the Lie algebra, we define a bi-invariant metric on the Lie-group manifold. Thus, the fiber becomes a Riemannian manifold with respect to this metric. The induced metric from the principal bundle to the image manifold is obtained by means of the bi-invariant metric. A functional over the space of sections, i.e., the image manifolds, is defined. The resulting equations of motion generate a flow which evolves the sections in the spatial-Lie-group manifold. We suggest two different approaches to treat this functional and the corresponding PDEs. In the first approach we derive a set of coupled PDEs for the local coordinates of the Lie-group manifold. In the second approach a coordinate-free framework is proposed where the PDE is defined directly with respect to the Lie-group elements. This is a parameterization-free method. The differences between these two methods are discussed. We exemplify this framework on the well-known orientation diffusion problem, namely, the unit-circle S ¹ which is identified with the group of rotations in two dimensions, SO(2). Regularization of the group of rotations in 3D and 4D, SO(3) and SO(4), respectively, is demonstrated as well.

Multiphase Image Segmentation and Modulation Recovery Based on Shape and Topological Sensitivity

Topological sensitivity analysis is performed for the piecewise constant Mumford-Shah functional. Topological and shape derivatives are combined in order to derive an algorithm for image segmentation with fully automatized initialization. Segmentation of 2D and 3D data is presented. Further, a generalized Mumford-Shah functional is proposed and numerically investigated for the segmentation of images modulated due to, e.g., coil sensitivities.

EPA功能安全协议的研究与实现

现场总线在通信传输过程中,会受到各种通信故障的影响,而现场总线与功能安全的结合可降低这种影响。该文描述EPA功能安全通信模型,针对通信传输过程中可能出现的通信错误,采用时间戳、序列号、CRC校验等功能安全通信技术。给出EPA功能安全协议层的报文结构,阐述功能安全协议层的具体实现过程。     

Finding groups with maximum betweenness centrality

In this paper we consider the problem of identifying the most influential (or central) group of nodes (of some predefined size) in a network. Such a group has the largest value of betweenness centrality or one of its variants, for example, the length-scaled or the bounded-distance betweenness centralities. We demonstrate that this problem can be modelled as a mixed integer program (MIP) that can be solved for reasonably sized network instances using off-the-shelf MIP solvers. We also discuss interesting relations between the group betweenness and the bounded-distance betweenness centrality concepts. In particular, we exploit these relations in an algorithmic scheme to identify approximate solutions for the original problem of identifying the most central group of nodes. Furthermore, we generalize our approach for identification of not only the most central groups of nodes, but also central groups of graph elements that consists of either nodes or edges exclusively, or their combination according to some pre-specified criteria. If necessary, additional cohesiveness properties can also be enforced, for example, the targeted group should form a clique or a κ-club. Finally, we conduct extensive computational experiments with different types of real-life and synthetic network instances to show the effectiveness and flexibility of the proposed framework. Even more importantly, our experiments reveal some interesting insights into the properties of influential groups of graph elements modelled using the maximum betweenness centrality concept or one of its variations.     

Exploring the potential of boron-doped nanographene as efficient charge transport and nonlinear optical material: A first-principles study

Owing to their excellent electrochemical properties, graphenes found applications in several fields ranging from semiconductors, solar cells, field effect transistors, and nanoscale electronic devices as well as in nonlinear optical (NLO) applications. The structural features, electro-optical, charge transport and nonlinear optical properties of the boron-doped graphene (BG) compound 1 were studied using density functional theory methods The BG compound comprises a central electron deficient site of boron atoms, which can serve as electron acceptor while terminal alkoxy groups as donors leading to powerful donor-π-acceptor (D-π-A) configuration. The experimental crystal structure was successfully reproduced by optimized ground state geometry at PBE0/6-311G* level of theory for isolated molecule. The experimental lattice parameters, geometries, crystal presentation and alignment of molecules in the unit cells as well as their packing orientation of BG compound 1 was also efficiently reproduced by applying periodic boundary conditions (PBC) at PBE level. The comprehensive intramolecular charge transfer (CT) was realized from terminal rings of the HOMO to the electron deficient sites of boron atoms of the LUMO. The nature of BG compound 1 might be more towards hole transport even though its hole reorganization energy is twice than that of the electron one due to the significant higher hole transfer integral values. The superior hole transfer integrals and intrinsic mobility values of the BG compound 1 might lead remarkable hole transport contender as compared to many other organic materials. The narrow band gap, density of states profile, dielectric function, uniform conductivity functions and noteworthy electronic as well as CT properties revealed that the BG compound 1 might be proficient optoelectronic contestant having intermolecular CT as well as intramolecular CT with optimal stability. A comparison of static third-order polarizability <γ> of BG compound 1, as calculated in present investigation, was also performed with some standard NLO molecules as well as graphene nanoflakes. Moreover, longitudinal component γ_zzzz of parent compound has been found 12 and 4 times larger than those of previously reported open-shell poly aromatic hydrocarbons (PAH). Interestingly, by increasing the donor ability, i.e., introduction of C₂H₂PhNH₂ groups in place of OC₄H₉ groups (BG compound 3) at terminal positions boosts the <γ> amplitude ∼ 8 times than that of its parent BG compound 1.     

Safe model polymorphism for flexible modeling

Domain-Specific Languages (DSLs) are increasingly used by domain experts to handle various concerns in systems and software development. To support this trend, the Model-Driven Engineering (MDE) community has developed advanced techniques for designing new DSLs. However, the widespread use of independently developed, and constantly evolving DSLs is hampered by the rigidity imposed to the language users by the DSLs and their tooling, e.g., for manipulating a model through various similar DSLs or successive versions of a given DSL. In this paper, we propose a disciplined approach that leverages type groups׳ polymorphism to provide an advanced type system for manipulating models, in a polymorphic way, through different DSL interfaces. A DSL interface, a.k.a. model type, specifies a set of features, or services, available on the model it types, and subtyping relations among these model types define the safe substitutions. This type system complements the Melange language workbench and is seamlessly integrated into the Eclipse Modeling Framework (EMF), hence providing structural interoperability and compatibility of models between EMF-based tools. We illustrate the validity and practicability of our approach by bridging safe interoperability between different semantic and syntactic variation points of a finite-state machine (FSM) language, as well as between successive versions of the Unified Modeling Language (UML).     

1553B通信协议的可依赖性讨论

1553B是飞机电传系统的通信协议,由于硬件上抗干扰仅考虑了系统内部自生的干扰,实际环境要严重得多;因为只按奇偶位作校验,所以错字漏检的概率比较大;由于回传状态字内容不全面,在漏检错字时会发生假冒错;由于指令字出错不易纠正,最好情况下靠2次重传,丢帧可能性大.漏检错帧和丢帧多会使多重冗余的表决机制失效,也会使网络管理类指令失效,成为潜伏的故障.通过定量分析,确定了一些情况下的失效率,例如假定取CAN,Profesafe同样的误码率ber=0.01时,除去最大值/最小值再取均值时的4冗余系统因错字漏检引起的每小时失效可达2×10-1次.     

基函数自适应选择的预测函数控制方法在混凝投加中的应用

传统预测函数控制算法的基函数是固定的,在控制环境不稳定的情况下控制品质不理想,本文提出一种通过对基函数的自适应选择来改善控制品质。本文根据过程输出值与期望值的误差来选择基函数,将全体误差分为几个区域,每个区域分别对应一个基函数,通过计算误差落选区域来选择对应的基函数。针对混凝投药过程的时滞原因,本文利用软测量方法建立一个混凝投药模型,应用该模型预测过程的输出。Matlab仿真表明此算法具有更好的平稳性和快速响应能力,比传统预测函数控制算法具有更好的控制品质。     

Note on stability of linear systems with time-varying delay

This note considers the stability of linear systems with a time-varying delay. We are interested in a simple Lyapunov–Krasovskii functional (LKF) approach without delay decomposition. In this category, all recent tractable results had a fixed bound on the allowable maximum size of the delay for years. We propose a new simple LKF including the cross terms of variables and quadratic terms multiplied by a higher degree scalar function, and present a new result expressed in the form of LMIs. We show, by two well-known examples, that our result overcomes the previous allowable maximum size of delay and it is less conservative than the previous results having a relatively small upper bound in the derivative of time-delay.     

Accurate finite element method for atomic calculations based on density functional theory and Hartree–Fock method

An accurate finite element method is developed for atomic calculations based on density functional theory (DFT) within local density approximation (LDA) and Hartree–Fock (HF) method. The radial wave functions are expanded by cubic Hermite spline functions on a uniform mesh for , and all the associated integrals are analytically evaluated in conjunction with fitting procedures of the Hartree and the exchange–correlation potentials to the same cubic Hermite spline functions using a set of recurrence formulas. The total energy of atoms systematically converges from above, and the error algebraically decays as the mesh spacing decreases. When the mesh spacing d is taken to be , the total energy for an atom of atomic number Z can be calculated within error of ¹⁰−7 hartree for both the LDA and HF methods. The equal applicability of the method to DFT and the HF method with a similar degree of high accuracy enables the method to be a reliable platform for development of new functionals in DFT such as hybrid functionals.