基于实时Linux的极向场电源主控制系统的设计

为了满足极向场电源控制系统严苛的实时响应的要求,选择实时Linux系统作为系统平台,采用一个开放源代码的、基于C/C++的Eclipse可扩展的开发平台作为开发工具,完成极向场电源主控制系统的设计,实现了在一个控制周期内(1ms)对极向场电源系统的12套本地控制器的实时通信和实时控制。对极向场电源主控制系统的高速通信和实时控制、稳定可靠等关键问题给出了可行的实践性的解决方法。经实验测试,该设计运行稳定,能满足极向场电源控制系统的实时需求。     

AN EMBEDDED BOUNDARY METHOD FOR ELLIPTIC AND PARABOLIC PROBLEMS WITH INTERFACES AND APPLICATION TO MULTI-MATERIAL SYSTEMS WITH PHASE TRANSITIONS

The embedded boundary method for solving elliptic and parabolic problems in geometrically complex domains using Cartesian meshes by Johansen and Colella （1998, J. Comput. Phys. 147, 60） has been extended for elliptic and parabolic problems with interior boundaries or interfaces of discontinuities of material properties or solutions. Second order accuracy is achieved in space and time for both stationary and moving interface problems. The method is conservative for elliptic and parabolic problems with fixed interfaces. Based on this method, a front tracking algorithm for the Stefan problem has been developed. The accuracy of the method is measured through comparison with exact solution to a two-dimensional Stefan problem. The algorithm has been used for the study of melting and solidification problems.     

Asymptotic properties of multistate random walks. I. Theory

A calculation is presented of the long-time behavior of various random walk properties (moments, probability of return to the origin, expected number of distinct sites visited) formultistate random walks on periodic lattices. In particular, we consider inhomogeneous periodic lattices, consisting of a periodically repeated unit cell which contains a finite number of internal states (sites). The results are identical to those for perfect lattices except for a renormalization of coefficients. For walks without drift, it is found that all the asymptotic random walk properties are determined by the diffusion coefficients for the multistate random walk. The diffusion coefficients can be obtained by a simple matrix algorithm presented here. Both discrete and continuous time random walks are considered. The results are not restricted to nearest-neighbor random walks but apply as long as the single-step probability distributions associated with each of the internal states have finite means and variances.     

Direct Hydrogenation of Nitroaromatics at Room Temperature Catalyzed by Magnetically Recoverable Cu@Fe2O3 Nanoparticles

Metal embedded in metal oxide nanoparticles are active as catalyst in plethora of industrially important reactions. Herein, embedded Cu@Fe₂O₃ nanoparticles was synthesized via a one step hydrothermal strategy which selectively catalyzes the hydrogenation of diverse nitroaromatics in H₂O at room temperature. The remarkable catalytic performance is due to the successful hybridization of metallic Cu and Fe₂O₃ which in turn allows easy electroflipping between various oxidation states of Cu and Fe. Azo- and azoxy-compounds are not formed during the catalyzed process. This evidently establish that the hydrogenation of nitroaromatics proceeds via direct route with >99% selectivity to the corresponding anilines.     

有限群的弱S-拟正规嵌入子群

群G的子群H称为在G中S-拟正规嵌入的,如果对于任意的素数p||H|,H的Sylow p-子群也是G的某个S-拟正规子群的Sylow p-子群.称群G的子群H在G中弱S-拟正规嵌入,如果存在群G的正规子群T,使得HT■G且H∩T在G中是S-拟正规嵌入的.研究了弱S-拟正规嵌入子群的性质,给出了某些群类的新的特征,并推广了一些已知的结论.     

基于物联网的新型视频监控系统的设计与实现

为了实现包括服务端和客户端的一套简单、稳定、可靠的新型视频监控系统。首先分析了视频监控系统的发展历史和趋势,提出基于移动互联网的视频监控系统方案,并选定Android作为系统实现的平台;明确了需求和目标,设计出系统的整体方案,并搭建了系统的程序框架;再根据系统程序框架的设计,详细地设计并实现了各个子功能模块,其中主要的功能模块有视频采集与视频回显模块,视频预处理模块,视频编解码模块和视频存储模块等;最后,对整个系统进行了综合测试,验证了其功能的完整性,得出系统的性能表现数据。经实验证明,所设计系统使用便利,需求中指定的功能也基本实现,程序的运行稳定高效可靠,能达到预期效果,具有一定的实用性和研究意义。     

成批到达的有特殊服务时间的多重休假排队系统分析

本文利用嵌入马尔可夫链方法研究了多重休假M^X／Gn／1排队系统。首先，利用概率分析法得到了排队系统的嵌入马尔可夫链的一步转移概率矩阵，以此为依据得到系统的稳态队长和同批第一个接受服务顾客的稳态等待时间。     

基于ARM技术的嵌入式OCT成像系统研究

分析了光谱光学相干层成像的基本原理,并基于ARM9内核的嵌入式微处理器S3C2443和当前主流嵌入式的WINCE实时多任务操作系统,提出了一套用于检测人体胃肠道病变的光谱光学相干层内窥成像系统的研制方案。从硬件和软件两个方面,详细介绍了系统的搭建过程,给出了整个系统框架图和软件运行流程图,并通过旋转扫描实验获得三层盖玻片的实物图,实验结果表明该嵌入式光学相干层成像系统是可行的。     

On finitely embedded rings

A result of Ginn and Moss asserts that a left and right noetherian ring with essential right socle is left and right artinian. There are examples of right finitely embedded rings with ACC on left and right annihilators which are not artinian. Motivated by this, it was shown by Faith that a commutative, finitely embedded ring with ACC on annihilators (and square-free socle) is artinian (quasi-Frobenius). A ring R is called right minsymmetric if, whenever k R is a simple right ideal of R, then R k is also simple. In this paper we show that a right noetherian right minsymmetric ring with essential right socle is right artinian. As a consequence we show that a ring is quasi-Frobenius if and only if it is a right and left mininjective, right finitely embedded ring with ACC on right annihilators. This extends the known work in the artinian case, and also extends Faith's result to the non-commutative case.     

基于ARM处理器的运动目标检测与跟踪系统

运动目标的检测及跟踪技术广泛应用于军事与民用领域。传统基于PC的目标跟踪系统不能满足对体积、功耗及便携性的需求,基于ARM处理器S3C2440A和嵌入式Linux操作系统构建了一个比较完整、实用的目标跟踪系统。该系统利用摄像头采集运动目标图像,处理器进行数字图像处理,LCD显示跟踪目标。阐述了实现原理及图像获取、目标检测、图像分割和目标跟踪算法程序流程。通过实际测试,该系统能满足对低速运动目标的检测、识别和跟踪,且具有较好的实时性和稳定性。