检索结果-南通市图书馆

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

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

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

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

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+ 函数式建模机械化验证多模式匹配算法

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算子

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

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

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

作者：曾志城华侨大学

学位级别：硕士

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

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

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

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

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

家长 2023年第10期 168-170页

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

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

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

关键词：

来源：博看期刊

在线全文

学校读者我要写书评

暂无评论

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

软件学报 2023年

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

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

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

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

海底热液硫化物中金属、非金属和稀有气体同位素组成的关系及其地质意义

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

吉林大学学报（地球科学版） 2024年第1期54卷 1-19页

作者：曾志刚中国科学院海洋研究所/中国科学院海洋地质与环境重点实验室山东青岛266071 崂山实验室海洋矿产资源功能实验室山东青岛266061 中国科学院大学海洋学院山东青岛266400

海底热液硫化物的同位素组成不仅可以示踪其来源,也记录了流体及其沉淀过程。本文分析了全球海底热液硫化物的金属(铅、铼、锇、铁、铜、锌)、非金属(硫)及其流体包裹体中的稀有气体同位素组成,探讨了硫化物中金属、非金属和稀有气体同... 详细信息

海底热液硫化物的同位素组成不仅可以示踪其来源,也记录了流体及其沉淀过程。本文分析了全球海底热液硫化物的金属(铅、铼、锇、铁、铜、锌)、非金属(硫)及其流体包裹体中的稀有气体同位素组成,探讨了硫化物中金属、非金属和稀有气体同位素组成之间的关系。结果表明:海底热液硫化物中的硫同位素组成与锇、铁同位素组成之间,铁同位素组成与铅和氦同位素组成之间,存在负相关性;其锇同位素组成与铁同位素组成之间,氙同位素组成与铅、锇同位素组成之间,则存在正相关性。在岩浆去气注入流体阶段形成的硫化物,具δ^(34)S_(VCDT)值较低(约0‰),^(3)He/^(4)He(>8 Ra)、^(40)Ar/^(36)Ar(>300)和^(129)Xe/^(132)Xe(>0.99)值较高的特点。在流体-岩石相互作用阶段,随着岩石中含铅矿物的不断溶解,即流体-岩石相互作用程度的增加,流体中沉淀的黄铁矿、黄铜矿和闪锌矿的铅质量分数增加,伴随^(206)Pb/^(204)Pb值轻微的减小。在流体-海水混合阶段,海水影响的加剧可使硫化物中的锇质量分数(约0×10^(-9))急剧降低,δ^(57)Fe值(1)明显增大;随着流体-海水混合作用的增强,硫化物中黄铁矿的δ^(34)S_(VCDT)值将随着其流体包裹体中^(3)He/^(4)He、^(40)Ar/^(36)Ar、^(129)Xe/^(132)Xe值轻微降低而升高,而其^(3)He/^(4)He值随着其^(130)Xe/^(132)Xe值的降低而降低。以上表明,通过综合分析海底硫化物中金属、非金属和稀有气体的同位素组成和其质量分数,并讨论它们之间的关系,可以揭示岩浆去气、流体-岩石相互作用和流体-海水混合对海底热液循环的影响,进而了解硫化物沉淀过程中流体-岩石相互作用和流体-海水混合的程度。

关键词：金属、非金属和稀有气体同位素同位素组成之间的关系海底热液硫化物

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

在线全文

学校读者我要写书评

暂无评论

湖南中医药大学学报 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比值有关,在外可反映于血液流变学指标的变化。

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

超快极紫外光源产生及其在半导体检测中的应用（特邀）

在线全文

学校读者我要写书评

暂无评论

光学学报 2024年第17期 127-141页

作者：曾志男张江实验室

近些年，随着光刻技术进入极紫外光刻，相关的技术研究对极紫外光源的需求大幅度增长。基于高次谐波的超快极紫外光源成为一种重要的极紫外光刻技术研究工具，同时基于这种超快极紫外光源在光刻和半导体检测中的应用研究也在快速发展。... 详细信息

近些年，随着光刻技术进入极紫外光刻，相关的技术研究对极紫外光源的需求大幅度增长。基于高次谐波的超快极紫外光源成为一种重要的极紫外光刻技术研究工具，同时基于这种超快极紫外光源在光刻和半导体检测中的应用研究也在快速发展。回顾了近些年高重复频率高亮度的高次谐波超快极紫外光源的发展以及其在极紫外光刻和半导体检测方面的一些应用。随着高重复频率激光技术的发展，高次谐波方法已可以在极紫外波段产生功率高达12.9 mW的单次谐波，大大拓展了其应用范围。由于高次谐波具有很高的亮度、超宽的光谱和非常好的相干性，目前在相干衍射成像、相干散射成像等方面具有广泛的应用前景，比如在掩模检测中可观测到最小达到2 nm的线缺陷，有望实现晶体管的三维（3D）纳米尺寸量测等。

关键词：超快光学极紫外光源成像检测半导体

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于图像去模糊算法的缺陷检测信号增强方法

中国激光 2024年

作者：王强曾志男上海大学微电子学院中国科学院上海光学精密机械研究所强场激光物理国家重点实验室张江实验室

极紫外（EUV）光刻是目前最先进的光刻技术，但是曝光过程中掩模上极小的缺陷也会导致晶圆上的关键尺寸（CD）发生很大变化，因此保证极紫外光刻良品率必须具备对掩模上的极小缺陷进行检测和修复的能力。目前的一些缺陷检测方法受实验... 详细信息

极紫外（EUV）光刻是目前最先进的光刻技术，但是曝光过程中掩模上极小的缺陷也会导致晶圆上的关键尺寸（CD）发生很大变化，因此保证极紫外光刻良品率必须具备对掩模上的极小缺陷进行检测和修复的能力。目前的一些缺陷检测方法受实验硬件条件所限，对缺陷的检测能力有限。本文研究将一种二值图像去模糊算法应用于EUV掩模缺陷检测，以提高掩模缺陷检测系统的分辨能力。本文对4纳米的断线缺陷、10纳米的方形针孔缺陷和大小为50纳米、中心相位为π/2的相位缺陷进行仿真，经过去模糊处理后三种缺陷信号对比度分别提高了52.03%、64.89%和44.96%，同时还对不同系统噪声、缺陷不同位置和不同光斑尺寸下的信号增强效果进行分析，发现去模糊算法可以增强缺陷信号，提高掩模缺陷检测系统检测能力。

关键词：极紫外光刻掩模缺陷检测图像去模糊信号增强