Let S（P） be a P-inversive semigroup. In this paper we describe the strong P-congruences on S（P） in terms of their P-kernel normal systems. We prove that any strong P-congruence on S（P） can present a P-kernel nor...Let S（P） be a P-inversive semigroup. In this paper we describe the strong P-congruences on S（P） in terms of their P-kernel normal systems. We prove that any strong P-congruence on S（P） can present a P-kernel normal system; conversely any P-kernel normal system of S（P） can determine a strong P-congruence.展开更多
In this study, we present a miniOS kernel implemented via analysis of the context switching, the scheduler, and the memory management of the original OS kernel for an embedded system based on ARM core. Since this is a...In this study, we present a miniOS kernel implemented via analysis of the context switching, the scheduler, and the memory management of the original OS kernel for an embedded system based on ARM core. Since this is a large subject, we have limited our scope to them only that made up an embedded operating system. The implemented miniOS kernel is composed only by them, to the exclusion of all other functions of the original kernel. Our goal is to modify the OS kernel depending on the product function. The implementation method of the miniOS kernel can be applicable to any OS being mounted based on the ARM core. Modifying the kernel depending on the product function can improve the OS booting speed as well as save the system memory. The functions of the scheduler, the context switching, and the memory management are described with the source in each section. The miniOS kernel was implemented in the Assembly and C language and was verified through the build and the test. The results are shown in the Section 5.展开更多
This work focuses on drop breakage for liquid-liquid system with an adoption of numerical simulation by using computational fluid dynamics and population balance model (PBM) coupled with two-fluid model (TFM). Two dif...This work focuses on drop breakage for liquid-liquid system with an adoption of numerical simulation by using computational fluid dynamics and population balance model (PBM) coupled with two-fluid model (TFM). Two different breakage kernels based on identical breakage mechanism but different descriptions of breaking time are take n into account in this work. Eight cases corresp on ding to distinct configurations of agitator are carried out to validate numerical predictions, namely agitators with different porosity and hole diameters, respectively implemented in Cases 1 to 5 and Cases 6 to 8. The results are compared with experimental data for testing the applicability of both kernels. Simulations are implemented, in this work, with an approach of class method for the solution of population balance model by the special-purpose computational fluid dynamics solver Fluent 16.1 based on finite volume method, and the grids used for meshing the solution domain are accomplished in a commercial software Gambit 2.4.6. The effects of configurations of agitator corresponding to different parameters mentioned above on final Sauter mean diameter are equally concentrated in this work. Analysis of both kernels and comparisons with experimental results reveal that, the second kernel has more decent agreement with experiments, and the results of investigations on effects of agitator configurations show that the in fluences of these parameters on Sauter mean diameter are marginal, but appropriate porosity and hole diameter are actually able to decrease Sauter mean diameter. These outcomes allow us to draw general conclusions and help investigate performances of liquid-liquid system.展开更多
A major difficulty in multivariable control design is the cross-coupling between inputs and outputs which obscures the effects of a specific controller on the overall behavior of the system. This paper considers the a...A major difficulty in multivariable control design is the cross-coupling between inputs and outputs which obscures the effects of a specific controller on the overall behavior of the system. This paper considers the application of kernel method in decoupling multivariable output feedback controllers. Simulation results are presented to show the feasibility of the proposed technique.展开更多
Little Kernel(lk)是被Android系统接受进入源码树的Bootloader程序,并被多款智能手机和平板电脑所采用。论文介绍了lk的主要功能,分析了lk的源码结构,并在此基础上详细说明了lk移植的方法和过程。将移植后的lk进行编译并下载至TCC8801 ...Little Kernel(lk)是被Android系统接受进入源码树的Bootloader程序,并被多款智能手机和平板电脑所采用。论文介绍了lk的主要功能,分析了lk的源码结构,并在此基础上详细说明了lk移植的方法和过程。将移植后的lk进行编译并下载至TCC8801 DEMO板上,lk能够正常启动并引导linux内核。展开更多
文摘Let S（P） be a P-inversive semigroup. In this paper we describe the strong P-congruences on S（P） in terms of their P-kernel normal systems. We prove that any strong P-congruence on S（P） can present a P-kernel normal system; conversely any P-kernel normal system of S（P） can determine a strong P-congruence.
文摘In this study, we present a miniOS kernel implemented via analysis of the context switching, the scheduler, and the memory management of the original OS kernel for an embedded system based on ARM core. Since this is a large subject, we have limited our scope to them only that made up an embedded operating system. The implemented miniOS kernel is composed only by them, to the exclusion of all other functions of the original kernel. Our goal is to modify the OS kernel depending on the product function. The implementation method of the miniOS kernel can be applicable to any OS being mounted based on the ARM core. Modifying the kernel depending on the product function can improve the OS booting speed as well as save the system memory. The functions of the scheduler, the context switching, and the memory management are described with the source in each section. The miniOS kernel was implemented in the Assembly and C language and was verified through the build and the test. The results are shown in the Section 5.
基金Supported by the National Natural Science Foundation of China(21776180,21306116)
文摘This work focuses on drop breakage for liquid-liquid system with an adoption of numerical simulation by using computational fluid dynamics and population balance model (PBM) coupled with two-fluid model (TFM). Two different breakage kernels based on identical breakage mechanism but different descriptions of breaking time are take n into account in this work. Eight cases corresp on ding to distinct configurations of agitator are carried out to validate numerical predictions, namely agitators with different porosity and hole diameters, respectively implemented in Cases 1 to 5 and Cases 6 to 8. The results are compared with experimental data for testing the applicability of both kernels. Simulations are implemented, in this work, with an approach of class method for the solution of population balance model by the special-purpose computational fluid dynamics solver Fluent 16.1 based on finite volume method, and the grids used for meshing the solution domain are accomplished in a commercial software Gambit 2.4.6. The effects of configurations of agitator corresponding to different parameters mentioned above on final Sauter mean diameter are equally concentrated in this work. Analysis of both kernels and comparisons with experimental results reveal that, the second kernel has more decent agreement with experiments, and the results of investigations on effects of agitator configurations show that the in fluences of these parameters on Sauter mean diameter are marginal, but appropriate porosity and hole diameter are actually able to decrease Sauter mean diameter. These outcomes allow us to draw general conclusions and help investigate performances of liquid-liquid system.
文摘A major difficulty in multivariable control design is the cross-coupling between inputs and outputs which obscures the effects of a specific controller on the overall behavior of the system. This paper considers the application of kernel method in decoupling multivariable output feedback controllers. Simulation results are presented to show the feasibility of the proposed technique.
