检索结果-南通市图书馆

Waring-Goldbach Problem: One Square and Nine Biquadrates

在线全文

学校读者我要写书评

暂无评论

Chinese Annals of Mathematics,Series B 2019年第2期40卷 273-284页

作者： Xiaodong lü Yingchun cai School of Mathematical Science Yangzhou University Department of Mathematics Tongji University

in this paper it is proved that every sufficiently large even integer N satisfying one of the congruence conditions N ≡ 10, 58, 130, or 178(mod 240) may be represented as the sum of one square and nine fourth powers ... 详细信息

关键词： Waring-Goldbach problem Hardy-littlewood method

EB XMl Modeler and SMART XMl Storage Theory

在线全文

学校读者我要写书评

暂无评论

电工技术学报 2014年第S1期29卷 149-154页

作者： Qu Xiao cai Weijian lü Shuqiang Zhejiang University of Science & Technology College of Applied Arts and Science Beijing Union University

Current electronic business activities involve a vast number of trading partners and different electronic *** different enterprises use different document *** is the well-understood problem of the lack of information interoperability between applications in the e-business *** is required to construct an enterprise information model to harmonize different system data structures into a unified data *** purpose of this paper is to develop an E-Business information modeler,which will be a good tool to exchange the information between different business *** is a new approach to the well-understood problem of the lack of information interoperability between applications in the e-business *** will be a more flexible and interoperable way of standardizing Business *** the transformation,SMART theory is widely used in our *** is meta-model to formally specify information structures in object *** provides an object-oriented environment to express the canonical.information model with one semantic structure,that is,*** consists of a collection of views:there is a core view which we called canonical view,and also there are many different kinds of views around the core *** can transform the core view to the around view as we need.

关键词： EB-XMl SMART theory inter-operation graph tree XSD WBS core data structure software development documents project schedule

Stabilization of discrete nonlinear systems based on control lyapunov functions

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2008年第1期19卷 131-133页

作者： cai Xiushan Wang Xiaodong lü Ganyun Coll. of Mathematics Physics and Information Engineering Zhejiang Normal Univ. Jinhua 321004 P.R. China

The stabilization of discrete nonlinear systems is studied. Based on control lyapunov functions, a sufficient and necessary condition for a quadratic function to be a control lyapunov function is given. From this condition, a continuous state feedback law is constructed explicitly. it can globally asymptotically stabilize the equilibrium of the closed-loop system. A simulation example shows the effectiveness of the proposed method.

关键词： control lyapunov functions discrete systems stabilization

A Novel Structural Measure Separating Non-Coding RNAs from Genomic Backgrounds

在线全文

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2015年第5期20卷 474-483页

作者： Yingfeng Wang Russell l.Malmberg liming cai the School of information Technology Middle Georgia State University Department of Plant Biology and institute of Bioinformatics University of Georgia Department of Computer Science and institute of Bioinformatics University of Georgia

RNA secondary structure has become the most expl.itable feature for ab initio detection of non-coding RNA（nc RNA） genes from genome sequences. Previous work has used Minimum Free Energy（MFE） based methods developed to identify nc RNAs by measuring sequence fold stability and certainty. However, these methods yielded variable performances across different nc RNA species. Designing novel reliable structural measures will help to develop effective nc RNA gene finding tools. This paper introduces a new RNA structural measure based on a novel RNA secondary structure ensemble constrained by characteristics of native RNA tertiary structures. The new method makes it possible to achieve a performance leap from the previous structure-based methods. Test results on standard nc RNA datasets（benchmarks） demonstrate that this method can effectively separate most nc RNAs families from genome backgrounds.

关键词： RNA secondary structure RNA tertiary structure inside algorithm

CAPACiTY AllOCATiON AND COORDiNATiON iSSUES FOR THE TiMElY PROCESSiNG OF OUTSOURCED OPERATiONS

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Science and Systems Engineering 2014年第3期23卷 300-312页

作者： Tolga Aydinliyim Xiaoqiang cai George l.Vairaktarakis loomba Department of Management Zicklin School of Business Baruch CollegeCity University of New YorkNew YorkNY USA 10010-5585 Department of Systems Engineering and Engineering Management The Chinese University of Hong Kong Department of Operations Weatherhead School of Management Case Western Reserve UniversityClevelandOH USA 44106-72350

We consider dynamic capacity booking problems faced by mul.iple manufacturers each outsourcing certain operations to a common third-party firm. Each manufacturer, upon observing the current state of the third-party schedule, books capacity with the objective to jointly minimize hol.ing costs that result from early deliveries, tardiness penal.ies due to late deliveries, and third-party capacity booking costs. When making a reservation, each manufacturer evaluates two alternative courses of action：（i） reserving capacity not yet utilized by other manufactures who booked earlier; or （ii） forming a coalition with a subset or all of other manufacturers to achieve a schedule minimizing coalition costs, i.e., a centralized schedule for that coalition. The latter practice surely benefits the coalition as a whole; however, some manufacturers may incur higher costs if their operations are either pushed back too much, or delivered too early. For this reason, a cost allocation scheme making each manufacturer no worse than they would be when acting differently （i.e., participating in a smaller coalition or acting on their own behalf,） must accompany centralized scheduling for the coalition. We model this relationship among the manufacturers as a cooperative game with transferable utility, and present optimal and/or heuristic algorithms to attain individually and eoalitionally optimal schedules as well as a linear program formulation to find a core allocation of the manufacturers＇ costs.

关键词： Outsourcing scheduling capacity allocation cooperative games

Mechanics and physics under supergravity conditions

在线全文

学校读者我要写书评

暂无评论

Acta Mechanica Sinica 2024年第6期40卷 1-2页

作者： Chaofeng lü Chao Sun Shengqiang cai Faculty of Mechanical Engineering and Mechanics Ningbo UniversityNingbo 315211China New Cornerstone Science laboratory Center for Combustion EnergyDepartment of Energy and Power EngineeringTsinghua UniversityBeijing 100084China Department of Mechanical and Aerospace Engineering University of CaliforniaSan DiegoLa Jolla CA 92093USA

"Supergravity"refers to the conditions where the effective gravity is greater than that of *** conditions are generally relevant to stellar evolution,geophysical movement,astrophysical flows,and *** also frequently occur in various engineering scenarios invol.ing acceleration,such as the launch of space shuttles,operation of rotor engines,impacts and explosions,chemical separation processes,and overloaded testing *** is already demonstrated in physiological experiments that living organisms of animals or plants could be damaged,either temporarily or permanently,when subjected to *** create supergravity conditions for scientific research on the Earth,centrifugal equipment or rapidly rotating devices are omnipresent in various fields,such as aerospace engineering,geophysical science,chemical and biomedical engineering,nuclear engineering,rotating flows,and physical modeling tests.

关键词： geophysical Earth stellar

Hybrid uncertainties-based analysis and optimization design of powertrain mounting systems

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 2020年第5期63卷 838-850页

作者： cai BoHao SHANGGUAN Wen-Bin lÜHui BO Tao School of Mechanical and Automotive Engineering South China University of TechnologyGuangzhou 510641China

in this study,a hybrid uncertainties-based analysis and optimization method is presented for the designs of the powertrain mounting system(PMS)invol.ing mixed *** the presented method,the PMS parameters with sufficient data are treated as random variables,while those with limited information are defined as interval ***,an uncertainty-based analysis method called as hybrid interval-random perturbation-central difference method(HiRP-CDM),is proposed to compute the hybrid interval-random outputs of the inherent characteristics of the PMS in concerned *** addition,the hybrid interval-random-Monte Carlo method(HiR-MCM)is developed to verify the computational accuracy of ***,an optimization model mixed uncertainties is built up for the PMS design based on HiRP-CDM,in which the hybrid intervalrandom outputs of the concerned inherent characteristics are adopted to construct the design objective and *** complex optimization problem can be effectively settled by means of *** effectiveness of the presented method is verified by a numerical example.

关键词： powertrain mounting system hybrid uncertainties uncertainty analysis optimization design

Robust Nonsingular Fixed Time Terminal Sliding Mode Control for Atmospheric Pollution Detection lidar Scanning Mechanism

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2023年第2期36卷 500-523页

作者： KANG Yu YANG Yuxiao CHEN cai lüWenjun ZHAO Yunbo Department of Automation University of Science and Technology of ChinaHefei 230027China institute of Advanced Technology University of Science and Technology of ChinaHefei 230027China State Key laboratory of Fire Science University of Science and Technology of ChinaHefei 230027China

A robust nonsingular fixed time terminal sliding mode control scheme with a time delay disturbance observer is proposed for atmospheric pollution detection lidar scanning mechanism(APDl-SM)*** from the conventional terminal sliding mode control methods,the authors design a novel fixed-time terminal sliding surface,the convergence time of sliding mode phase of which has a constant upper bound that is designable by adjusting only one ***,in order to overcome the problem of unknown upper bound of lumped uncertainty including model uncertainty,friction effect and external disturbances from the port environment,the authors propose a time delay disturbance observer to provide an estimation for the system lumped *** using the lyapunov synthesis,the explicit analysis of the convergence time upper bound are ***,simulation studies are conducted on the APDl-SM system to show the fast convergence rate and strong robustness of the proposed control scheme.

关键词： Atmospheric pollution detection lidar fixed time terminal sliding mode time delay disturbance observer tracking control

Recent anomalies in B physics

在线全文

学校读者我要写书评

暂无评论

Science Bulletin 2018年第5期63卷 267-269页

作者： Ying li cai-Dian lü Department of Physics Yantai University Yantai 264005 China institute of High Energy Physics Beijing 100049 China

it is widely believed that Standard model （SM） is not a final the-ory and should be an effective one of new theory at higher scale,because SM has a large number of parameters that have to be inputfrom experiment, it does not provide any candidate for dark mat-ter, dark energy and the resource of the matter-antimatter asym-metry of the universe。

关键词：中国科学通报英文版