检索结果-南通市图书馆

A proof system of the CaIT calculus

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2024年第2期18卷 123-137页

作者： Ningning chen Huibiao zhu shanghai Key Laboratory of Trustworthy Computing East China Normal UniversityShanghai 200062China

The Internet of Things(IoT)can realize the interconnection of people,machines,and things anytime,*** of the existing research mainly focuses on the practical applications of IoT,and there is a lack of research on modeling and reasoning about IoT systems from the perspective of formal ***,the Calculus of the Internet of Things(CaIT)has been proposed to specify and analyze IoT systems before the actual implementation,which can effectively improve development efficiency,and enhance system quality and *** verify the correctness of IoT systems described by CaIT,this paper presents a proof system for CaIT,in which specifications and verifications are based on the extended Hoare Logic with ***,we explore the cooperation between isolated proofs to validate the postconditions of the communication actions occurring in these proofs,with a particular focus on broadcast *** also demonstrate the soundness of our proof system.A simple“smart home”is given to illustrate the availability of our proof system.

关键词： Internet of Things(loT) Calculus of the Internet of Things(CalT) extended hoare logic cooperation smart home

Fredholm operators in Toeplitz algebras associated with discrete abelian groups

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1998年第14期43卷 1175-1179页

作者： XU Qingxiang 1 and chen Xiaoman 2.1. department of Mathematics,{2., shanghai 2.02.4, China 2. Laboratory of Mathematics for Nonlinear Sciences and Institute of Mathematics, Fudan university, shanghai 2.0433, China department of Mathematics Shanghai Normal University Shanghai China Laboratory of Mathematics for Nonlinear Sciences and Institute of Mathematics Fudan University Shanghai China

The locally finite below sets are introduced and the Fredholm operators in Toeplitz algebras associated with discrete abelian groups are studied.

关键词： discrete abelian group quasi_ordered group Toeplitz operator Fredholm operator.

CURVILINEAR PATHS AND TRUST REGION METHODS WITH NONMONOTONIC BACK TRACKING TECHNIQUE FOR UNCONSTRAINED OPTIMIZATION

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2001年第3期19卷 241-258页

作者： De-tong zhu (department of Mathematics,{2., shanghai 2.02.4, China) 上海师范大学上海 200234

Focuses on a study which examined the modification of type approximate trust region methods via two curvilinear paths for unconstrained optimization. Properties of the curvilinear paths; Description of a method which combines line search technique with an approximate trust region algorithm; Information on the convergence analysis; Details on the numerical experiments.

关键词： curvilinear paths trust region methods nonmonotonic technique unconstrained optimization

High-order Soliton Matrix for the Third-order Flow Equation of the Gerdjikov-Ivanov Hierarchy Through the Riemann-Hilbert Method

在线全文

学校读者我要写书评

暂无评论

Acta Mathematicae Applicatae Sinica 2024年第2期40卷 358-378页

作者： Jin-yan zhu Yong chen School of Mathematical Sciences Shanghai Key Laboratory of Pure Mathematics and Mathematical PracticeEast China Normal UniversityShanghai 200062China College of Mathematics and Systems Science Shandong University of Science and TechnologyQingdao 266590China

The Gerdjikov-Ivanov(GI)hierarchy is derived via recursion operator,in this article,we mainly investigate the third-order flow GI *** the framework of the Riemann-Hilbert method,the soliton matrices of the third-order flow GI equation with simple zeros and elementary high-order zeros of Riemann-Hilbert problem are constructed through the standard dressing *** advantage of this result,some properties and asymptotic analysis of single soliton solution and two soliton solution are discussed,and the simple elastic interaction of two soliton are *** with soliton solution of the classical second-order flow,we find that the higher-order dispersion term affects the propagation velocity,propagation direction and amplitude of the ***,by means of a certain limit technique,the high-order soliton solution matrix for the third-order flow GI equation is derived.

关键词： Gerdjikov-Ivanov hierarchy third-order flow GI equation Riemann-Hilbert method high-order soliton

Schwarz-Pick estimates for positive real part holomorphic functions on unit ball and polydisc

在线全文

学校读者我要写书评

暂无评论

Science China Mathematics 2010年第4期53卷 1017-1024页

作者： LIU Yang 1,& chen ZhiHua 2.1 department of Mathematics,Zhejiang {2. university,Jinhua 3.1.04,China 2.department of Mathematics,Tongji university,shanghai 2.0092.China department of Mathematics Zhejiang Normal University department of Mathematics Tongji University

We give higher order derivatives Schwarz-Pick estimates for all positive real part holomorphic functions on Bn and D n,and generalize early work on Schwarz-Pick estimate of higher order derivatives for holomorphic fun... 详细信息

关键词： Schwarz-Pick estimate holomorphic function Taylor expansion

DERIVATIONS ON DIFFERENTIAL OPERATOR ALGEBRA AND WEYL ALGEBRA

在线全文

学校读者我要写书评

暂无评论

Chinese Annals of Mathematics,Series B 1996年第2期17卷 199-212页

作者： chen CAOYU department of Mathematics,{2., shanghai 2.02.4, China. 上海师范大学数学系上海

Let L be an n-dimensional nilpotent Lie algebra with a basis {x1,…,xn}, and every xiacts as a locally nilpotent derivation on algebra A. This paper shows that there exists a setof derivations {y1,…,yn} on U(L) such that (A#U(L))#k[yi,…,yn] is isomorphic to theWeyl algebra An(A). The author also uses the derivations to obtain a necessary and sufficientcondition for a finite dimensional Lie algebra to be nilpotent.

关键词： Crossed porduct Smash product Derivation Nilpotent Lie algebra Weyl algebra

Efficient video cutout based on adaptive multilevel banded method

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2012年第5期55卷 1082-1092页

作者： chen MinGang 1,SUI BoCong 1,GAO Yan 2.& MA Lizhuang 1 1 {2. of Computer Science and Engineering,shanghai Jiao Tong university,shanghai 2.02.0,China 2.Software Engineering Institute,East China normal university,shanghai 2.0062.China department of Computer Science and Engineering Shanghai Jiao Tong University Software Engineering Institute East China Normal University

Although many efficient image cutout approaches have been proposed,it is still a challenge to cut out foreground objects from a video clip because of the costs of time and memory consumption and the difficulty in maintaining temporal coherence for the cutout *** this paper,we propose a novel and efficient video cutout approach by extending a multilevel banded image segmentation method to video *** our method,the segmentation results are propagated frame by frame at the lowest resolution level based on optical flow,and are refined in image pyramids level by level through banded graph *** construct an adaptive narrow band to ensure that the segmentation result falls exactly into the narrow band during *** results show that the video cutout approach based on adaptive multilevel bands dramatically reduces time and memory costs,and achieves ideal segmentation results.

关键词： video object cutout multilevel band graph cuts video segmentation

A LINE SEARCH FILTER SECANT METHOD FOR NONLINEAR EQUALITY CONSTRAINED OPTIMIZATION

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2010年第2期23卷 343-361页

作者： zhujun WANG Detong zhu department of Mathematics Shanghai Normal University Shanghai 200234 China. Business College Shanghai Normal University Shanghai 200234 China.

This paper formulates and analyzes a line search method for general nonlinear equalityconstrained optimization based on filter methods for step acceptance and secant methods for *** feature of the new algorithm is that the secant algorithm is used to produce a searchdirection,a backtracking line search procedure is used to generate step size,some filtered rules areused to determine step acceptance,second order correction technique is used to reduce infeasibility andovercome the Maratos *** convergence properties of this method are analyzed:under mildassumptions it is showed that every limit point of the sequence of iterates generated by the algorithmis feasible,and that there exists at least one limit point that is a stationary point for the ***,it is also established that the Maratos effect can be overcome in our new approach by addingsecond order correction steps so that fast local superlinear convergence to a second order sufficient localsolution is ***,the results of numerical experiments are reported to show the effectivenessof the line search filter secant method.

关键词： Filter method nonlinear programming secant algorithm second order correction.

Ex vivo liver resection and auto-transplantation as an alternative for the treatment of liver malignancies: Progress and challenges

在线全文

学校读者我要写书评

暂无评论

Hepatobiliary & Pancreatic Diseases International 2024年第2期23卷 117-122页

作者： Xin Yang Lu Lu Wen-Wei zhu Yi-Feng Tao Cong-Huan Shen Jin-Hong chen {2.-Xin Wang Lun-Xiu Qin Hepatobiliary Surgery and Liver Transplantation Centers Department of General SurgeryHuashan Hospital&Cancer Metastasis InstituteFudan UniversityShanghai 200040China

Hepatectomy is still the major curative treatment for patients with liver ***,it is still a big challenge to remove the tumors in the central posterior area,especially if their location involves the retrohepatic inferior vena cava and hepatic *** vivo liver resection and auto-transplantation(ELRA),a hybrid technique of the traditional liver resection and transplantation,has brought new hope to these patients and therefore becomes a valid alternative to liver *** to its technical difficulty,ELRA is still concentrated in a few hepatobiliary centers that have experienced surgeons in both liver resection and liver *** efficacy and safety of this technique has already been demonstrated in the treatment of benign liver diseases,especially in the advanced alveolar ***,the application of ELRA for liver malignances has gained more ***,standardization of clinical practice norms and international consensus are still *** prognostic impact in these oncologic patients also needs further *** this review,we summarized the principles and recent progresses on ELRA.

关键词： Ex vivo liver resection Liver auto-transplantation Oncology Liver malignancies