检索结果-南通市图书馆

Large Fock空间上的Hankel算子的有界性和紧性

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

Large Fock空间上的Hankel算子的有界性和紧性

作者：曾志城广州大学

学位级别：硕士

本文研究Large Fock空间Fp（φ）上的Hankel算子对Hf和Hf的有界性和紧性,其中1 ≤ p＜∞。第一章介绍Hankel算子的有界性和紧性的研究背景、Large Fock空间、主要结果以及预备知识。第二章介绍Large Fock空间上的有界平均振荡空间及其... 详细信息

本文研究Large Fock空间Fp（φ）上的Hankel算子对Hf和Hf的有界性和紧性,其中1 ≤ p＜∞。第一章介绍Hankel算子的有界性和紧性的研究背景、Large Fock空间、主要结果以及预备知识。第二章介绍Large Fock空间上的有界平均振荡空间及其子空间,并证明有界平均振荡空间的分解。第三章刻画Hankel算子对Hf和Hf从Large Fock空间fp（φ）到加权Lebesgue空间Lp（φ）的有界性。第四章介绍Large Fock空间上的消失平均振荡空间及其子空间,并证明消失平均振荡空间的分解。第五章刻画Hankel算子对Hf和Hf从Large Fock空间Fp（φ）到加权Lebesgue空间Lp（φ）的紧性。

关键词： Large Fock空间 BMO空间 Hankel算子

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

德化县电商扶持政府行为研究

德化县电商扶持政府行为研究

作者：曾志城华侨大学

学位级别：硕士

电子商务在城市经济中已经获得了较为成熟的发展,但是在乡村地区,电子商务的应用以及发展有待改善,无论从国家层面还是企业与个人层面,农村电商的发展受到了广泛的关注,农村电商作为一种新型乡村经济发展模式,对乡村振兴战略的推进以及... 详细信息

电子商务在城市经济中已经获得了较为成熟的发展,但是在乡村地区,电子商务的应用以及发展有待改善,无论从国家层面还是企业与个人层面,农村电商的发展受到了广泛的关注,农村电商作为一种新型乡村经济发展模式,对乡村振兴战略的推进以及乡村经济结构的转型都具有十分重大的意义。德化县是十分具有代表性的研究对象,通过对其电商发展进行深入调查研究,可以得到更加有价值的研究成果。德化县在信息、产业、资金人才等方面具有一定的基础,具有快速促进乡村电商发展的可能性,为了帮助德化县的电商行业在更加迅速发展,本文对德化县的电商发展过程中所存在的问题、现状等进行了深入分析,并针相应提出了解决方案。本文首先对研究过程中所涉及的相关概念等进行了定义、介绍,在此基础上,以新公共管理理论、新公共服务理论为基础,运用文献研究法、案例研究法和调查研究法进行相关研究,分析目前德化县农村电商的实际发展概况,深入的剖析电子商务基础在乡村的发展现状。在此基础上,本文总结了德化县农村电商目前存在的问题及障碍,其中,政府职能以及经济社会条件的不科学合理是最大因素,德化县农村电商的发展中仍存在诸如未能建立健全的考核与激励机制、基建保障工作不到位、对于人员培训工作欠缺、未能建立信息平台、对于电商配套产业发展缺乏引导等问题。针对这些问题,在借鉴国内先进经验的基础上,本文提出了优化制度建设、完善基础建设、发展电商相关人才、实现电商平台信息化、配置相关配套产业等对策,达到优化德化县政府电商扶持工作的目的。

关键词：政府扶持农村电商德化县

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

指数权Bergman空间上的算子理论

数学进展 2024年第5期53卷 913-928页

作者：曾志城王晓峰广州大学数学与信息科学学院广州广东510006

本文介绍指数权Bergman空间及其算子研究方面已有的一些成果,包括再生核估计、对偶理论、原子分解、Toeplitz算子、Hankel算子以及加权复合算子的有界性、紧性、Schatten类成员、Fredholm性质、本性谱和算子范数等.

关键词：指数权 Bergman空间 Toeplitz算子 Hankel算子加权复合算子

在线全文

学校读者我要写书评

暂无评论

“互联网+”背景下初中物理教学的设计

家长 2023年第10期 168-170页

作者：曾志城福建省漳州市第五中学

在教育信息化的实施背景下，互联网技术的教学优势完全呈现在人们眼前，教师要研究互联网教学的优势，并将互联网技术应用于实际教学中，创新初中物理教学，提高教学的效果。基于此，本文从坚持以生为本、衔接课堂内外、优化课堂练习、...

在教育信息化的实施背景下，互联网技术的教学优势完全呈现在人们眼前，教师要研究互联网教学的优势，并将互联网技术应用于实际教学中，创新初中物理教学，提高教学的效果。基于此，本文从坚持以生为本、衔接课堂内外、优化课堂练习、改进教学评价四个方面入手分析，在“互联网+”背景下实践初中物理教学设计的有效策略。

关键词：

来源：博看期刊

Trie+结构函数式建模、机械化验证及其应用

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第9期35卷 4242-4264页

作者：左正康柯雨含黄箐王玥坤曾志城王昌晶江西师范大学计算机信息工程学院江西南昌330022

Trie结构是一种使用搜索关键字来组织信息的搜索树,可用于高效地存储和搜索字符串集合.Nipkow等人给出了实现Trie的Isabelle建模与验证,然而其Trie在存储和操作时存在大量的冗余,导致空间利用率不高,且仅考虑英文单模式下查找.为此,基... 详细信息

Trie结构是一种使用搜索关键字来组织信息的搜索树,可用于高效地存储和搜索字符串集合.Nipkow等人给出了实现Trie的Isabelle建模与验证,然而其Trie在存储和操作时存在大量的冗余,导致空间利用率不高,且仅考虑英文单模式下查找.为此,基于索引即键值的思想提出了Trie+结构,相较于传统的索引与键值分开存储的结构能减少50%的存储空间,大大提高了空间利用率.并且,对Trie+结构的查找、插入、删除等操作给出了函数式建模及其严格的机械化验证,保证操作的正确性和可靠性.进一步,提出一种匹配算法的通用验证规约,旨在解决一系列的匹配算法正确性验证问题.最后,基于Trie+结构与匹配算法通用验证规约,建模和验证了函数式中英文混合多模式匹配算法,发现并解决了现有研究中的基于完全哈希Trie的多模式匹配算法的模式串前缀终止的Bug.该Trie+结构以及验证规约在提高Trie结构空间利用率和验证匹配算法中,有一定的理论和应用价值.

关键词： Trie+ 函数式建模机械化验证多模式匹配算法

在线全文

学校读者我要写书评

暂无评论

LLRB算法的函数式建模及其机械化验证

软件学报 2024年第11期35卷 5016-5039页

作者：左正康黄志鹏黄箐孙欢曾志城胡颖王昌晶江西师范大学计算机信息工程学院江西南昌330022 江西师范大学数字产业学院江西上饶334006

基于机器定理证明的形式化验证技术不受状态空间限制,是保证软件正确性、避免因潜在软件缺陷带来严重损失的重要方法.LLRB(left-leaning red-black trees)是一种二叉搜索树变体,其结构比传统的红黑树添加了额外的左倾约束条件,在验证时... 详细信息

基于机器定理证明的形式化验证技术不受状态空间限制,是保证软件正确性、避免因潜在软件缺陷带来严重损失的重要方法.LLRB(left-leaning red-black trees)是一种二叉搜索树变体,其结构比传统的红黑树添加了额外的左倾约束条件,在验证时无法使用常规的证明策略,需要更多的人工干预和努力,其正确性验证是一个公认的难题.为此,基于二叉搜索树类算法Isabelle验证框架,对其附加性质部分进行细化,并给出具体化的验证方案.在Isabelle中对LLRB插入和删除操作进行函数式建模,对其不变量进行模块化处理,并验证函数的正确性.这是首次在Isabelle中对函数式LLRB插入和删除算法进行机械化验证,相较于目前LLRB算法的Dafny验证,定理数由158减少至84,且无需构造中间断言,减轻了验证的负担;同时,为复杂树结构算法的函数式建模及验证提供了一定的参考价值.

关键词： LLRB 函数式建模机械化验证 Isabelle定理证明器二叉搜索树

在线全文

学校读者我要写书评

暂无评论

协同联动提升监督质效

协同联动提升监督质效

散血明目片对非缺血型视网膜静脉阻塞患者血液流变学的影响

中国纪检监察报

作者：曾志城林素清

本报讯（通讯员曾志城林素清）日前，福建省德化县三班镇纪委干部在入户走访时，有群众反映某村违规发放津补贴问题。考虑案件时间跨度较长、账目明细繁杂等因素，镇纪委随即申请启动片区协作机制。随后，县纪委监委第五片区整合“室... 详细信息

本报讯（通讯员曾志城林素清）日前，福建省德化县三班镇纪委干部在入户走访时，有群众反映某村违规发放津补贴问题。考虑案件时间跨度较长、账目明细繁杂等因素，镇纪委随即申请启动片区协作机制。随后，县纪委监委第五片区整合“室组地”力量，迅速查明该问题。最终，相......

关键词：协同联动

来源： cnki报纸评论

在线全文

cnki报纸

学校读者我要写书评

暂无评论

湖南中医药大学学报 2009年第5期29卷 57-60页

作者：姚小磊彭清华苏瑞冰曾志城湖南中医药大学第一附属医院中医眼科学重点学科湖南长沙410007

目的探讨散血明目片对非缺血型视网膜静脉阻塞患者血液流变学及血清相关生化指标的影响及作用机制。方法将34例非缺血型视网膜静脉阻塞患者随机分为治疗组(17例17眼)与对照组(17例18眼),治疗组口服散血明目片,对照组口服血栓通片,两组... 详细信息

目的探讨散血明目片对非缺血型视网膜静脉阻塞患者血液流变学及血清相关生化指标的影响及作用机制。方法将34例非缺血型视网膜静脉阻塞患者随机分为治疗组(17例17眼)与对照组(17例18眼),治疗组口服散血明目片,对照组口服血栓通片,两组均同时配合其他中西医常规治疗方法。治疗2个月后比较两组临床疗效、血液流变学及血清相关生化指标的差异。结果治疗组总显效率与对照组比较,差异有显著统计学意义(P<0.01);治疗组治疗前后低切和高切全血比黏度、红细胞电泳、血浆黏度、红细胞聚集指数、AT-Ⅲ、lp(a)、NO、A-CL IgG阳性率、ACL IgM阳性率、LA阳性率差异有显著统计学意义(P<0.01);ET-1、ACL IgA阳性率差异有统计学意义(P<0.05)。结论散血明目片是治疗非缺血型视网膜静脉阻塞的有效药物,其作用机制可能与升高AT-Ⅲ、降低lp(a)、APL在血浆中的含量、稳定ET-1/NO比值有关,在外可反映于血液流变学指标的变化。

关键词：散血明目片活血通脉利水明目视网膜静脉阻塞血液流变学血清生化指标

在线全文

学校读者我要写书评

暂无评论

假如我是女生

语文世界（上旬刊） 2000年第2期 36-36页

作者：曾志城福建龙海二中高二九班