检索结果-南通市图书馆

Stabilization for a Class of Discrete-time Switched Large-scale Systems with Parameter Uncertainties

在线全文

学校读者我要写书评

暂无评论

International Journal of Automation and computing 2019年第4期16卷 543-552页

作者： chang-Chun sun School of Science Shenyang Jianzhu University

The problem of robust stabilization for a class of discrete-time switched large-scale systems with parameter uncertainties and nonlinear interconnected terms is considered. By using state feedback and Lyapunov function technique, a decentralized switching control approach is put forward to guarantee the solutions of large-scale systems converge to the origin globally. A numerical example and a corresponding simulation result are utilized to verify the effectiveness of the presented approach.

关键词： Switched large-scale systems discrete-time state feedback decentralized control switching law

A route for the study on mass transfer enhancement by adding particles in liquid phase

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Chemical Engineering 2022年第8期35卷 158-165页

作者： Xing Su Ning Qiao Bao-chang sun College of Chemical and Material Engineering Quzhou UniversityQuzhou 324000China State Key Laboratory of Organic-Inorganic Composites Beijing University of Chemical TechnologyBeijing 100029China Research Center of the Ministry of Education for High Gravity Engineering and Technology Beijing University of Chemical TechnologyBeijing 100029China

This work presents a route for the study on the absorption performance of gas into liquid under the condition of adding particles in a stirred constant temperature *** evaluated systems,hydrogen–water and hydrogen–methanol,with the addition of activated carbon particles(ACP)were carried out,*** results showed that the addition of ACP into the water can enhance the mass transfer between hydrogen and water,the enhancement factor increases rapidly with the increase of the ACP content,and then tends to be ***,for the hydrogen–methanol system,ACP has little effect on the mass transfer *** addition,a gas–liquid mass transfer model considering the effect of solid particle enhancement was established based on the shuttle effect and two-film *** indicated that the predicted value agreed well with the experimental value in both hydrogen–methanol–ACP and hydrogen–water–ACP systems.

关键词： Mass transfer Hydrogen Water Methanol Activated carbon

A property-based testing framework for encryption programs

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2014年第3期8卷 478-489页

作者： chang-ai sun Zuoyi WANG Guan WANG School of Computer and Communication Engineering University of Science and Technology Beijing Beijing 100083 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China

In recent years, a variety of encrypfion algorithms were proposed to enhance the security of software and systems. Validating whether encryption algorithms are correctly implemented is a challenging issue. Software testing delivers an effective and practical solution, but it also faces the oracle problem （that is, under many practical situations, it is impossible or too computationally expensive to know whether the output for any given input is correct）. In this paper, we propose a property-based approach to testing encryption programs in the absence of oracles. Our approach makes use of the so-called metamorphic properties of encryption algorithms to generate test cases and verify test results. Two case studies were conducted to illustrate the proposed approach and validate its effectiveness. Experimental results show that even without oracles, the proposed approach can detect nearly 50% inserted faults with at most three metamorphic relations （MRs） and fifty test cases.

关键词： software testing encryption programs test oracles metamorphic testing (MT)

Homogeneous Approximation Property for Wavelet Frames with Matrix Dilations,Ⅱ

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2013年第1期29卷 183-192页

作者： Zhi Jing ZHAO Wen chang sun Department of Mathematics and LPMC Nankai University

The homogeneous approximation property （HAP） states that the number of building blocks involved in a reconstruction of a function up to some error is essentially invariant under time-scale shifts. In this paper, we show that every wavelet frame with nice wavelet function and arbitrary expansive dilation matrix possesses the HAP. Our results improve some known ones.

关键词： Wavelet frames homogeneous approximation property HAP matrix dilations

Weighted Estimates for Multilinear Pseudodifferential Operators

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2014年第8期30卷 1281-1288页

作者： Kang Wei LI Wen chang sun School of Mathematical Sciences and LPMC Nankai University

In this paper,we study the weighted estimates for multilinear pseudodifferential *** show that a multilinear pseudodifferential operator is bounded with respect to multiple weights whenever its symbol satisfies some s... 详细信息

关键词： Multiple weights nmltilinear pseudodifferential operators

Reconstruction of Splines from Nonuniform Samples

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2019年第2期35卷 245-256页

作者： Qing Yue ZHANG Wen chang sun College of Science Tianjin University of Technology School of Mathematical Sciences and LPMC Nankai University

In this paper, we study the reconstruction of spline functions from their nonuniform samples. We investigate the existence and uniqueness of the solution of the following problem: for given data {(x_n, y_n) : n ∈ Z}, find a cardinal spline f(x), of a given degree, satisfying yn = f(x_n), n ∈ *** necessary and/or sufficient conditions for the existence and uniqueness of the solution of the problem are derived. Finally, an example and some applications are presented to illustrate the main results.

关键词： Cardinal spline interpolation nonuniform sampling sampling set

Expansion of Frames to Tight Frames

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2009年第2期25卷 287-298页

作者： Deng Feng LI Wen chang sun Institute of Applied Mathematics College of Mathematies and Information Science He'nan University Kaifeng 475001 P. R. China Department of Mathematics and LPMC Nankai University Tianjin 300071 P. R. China

We show that every Bessel sequence （and therefore every frame） in a separable Hilbert space can be expanded to a tight frame by adding some elements. The proof is based on a recent generalization of the frame concept, the g-frame, which illustrates that g-frames could be useful in the study of frame theory. As an application, we prove that any Gabor frame can be expanded to a tight frame by adding one window function.

关键词： frame tight frame g-frame Gabor frame frame expansion

Sufficient and Necessary Condition of Admissibility for Fractional-order Singular System

在线全文

学校读者我要写书评

暂无评论

自动化学报 2013年第12期39卷 2160-2164页

作者： YU Yao JIAO Zhuang sun chang-Yin School of Automation Electrical Engineering University of Science and Technology Beijing Beijing 100083 China Key Laboratory of Advanced Control of Iron and Steel Process Ministry of Education Beijing 100083 China Beijing Institute of Elec- tronic System Engineering Beijing 100854 China

这份报纸与顺序为部分顺序的单个系统集中于考虑条件吗？(0， 1 ) 。整齐的定义，没有推动并且考虑被给第一，然后，为部分顺序的单个系统的考虑的一个足够、必要的条件被建立。一个数字例子被包括说明建议条件。

关键词：奇异系统分数阶充要条件可容许充分必要条件

Projection on precipitation frequency of different intensities and precipitation amount in the Lancang-Mekong River basin in the 21st century

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Advances in Climate change Research 2021年第2期12卷 162-171页

作者： sun chang XIAO Zi-Niu Minh NGUYEN State Key Laboratory of Numerical Modeling for Atmospheric Sciences and Geophysical Fluid Dynamics Institute of Atmospheric PhysicsChinese Academy of SciencesBeijing100029China College of Earth and Planetary Sciences University of Chinese Academy of SciencesBeijing100049China Land and Water Australia's Commonwealth Scientific and Industrial Research OrganizationClaytonVic3168Australia

In the Lancang‒Mekong River basin(LMRB),agriculture,dominating the local economy,faces increasing challenges in water supply under climate *** projection of future precipitation in this basin is essential for understanding the *** this study,the Weather Research and Forecasting(WRF)model was applied to project the LMRB *** with the historical period(1986e2005),we analyzed the changes of both the projected precipitation amount and the frequency of rainless(100 mm d1)for three periods,namely the near-term(2016e2035),mid-term(2046e2065),and long-term(2080e2099).The results indicate that the precipitation amount during the wet season(AprileOctober)is expected to increase in most areas of the basin for the three *** for the precipitation during the dry season(NovembereMarch),an increase is projected in most areas for the near-term,while an increase in the lower reach of the basin and a decrease in the upper and middle reach for the mid-term and *** precipitation reduction is expected to be greatest in Myanmar,Laos,Thailand,and Yunnan province of China for the *** frequency of precipitation in different intensities has prominent regional and temporal *** the wet season,the days of rainless and light rain are expected to decrease in the middle reach,whereas the days of rainstorm and heavy rainstorm *** feature is especially strong in southern Thailand,southern Laos and Cambodia in the near-term and in Laos and Thailand for the mid-term and *** the dry season,there are projected increasing rainless days and decreasing days of precipitation for the other intensities in the middle reach,and opposite in the rest area of the *** projected precipitation changes have potential various impact in different parts of the *** middle re

关键词： Precipitation projection Lancang‒Mekong River basin Precipitation frequency Precipitation amount Precipitation intensity