检索结果-南通市图书馆

丛书名：设计时代：国内著名艺术设计工作室创意报告

2002年

作者：左正尧

本书是作者对《走过一圈才知道》、《流水帐》、《扁月亮》、《长笛》、《骨牌》、《在一起的时候》、《食》、《住》、《行》等作品的评论。

ISBN: (纸本)753101906X

本书是作者对《走过一圈才知道》、《流水帐》、《扁月亮》、《长笛》、《骨牌》、《在一起的时候》、《食》、《住》、《行》等作品的评论。

关键词：陶瓷工艺美术中国

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

今日中国艺术家左正尧

2010年

作者：左正尧张群生

本书主要内容包括：对话：王小箭·左正尧；人本回归；二元统一的图像表达；心仪自然——左正尧绘画新作；左正尧的正反世界等。

ISBN: (纸本)9787503942556

本书主要内容包括：对话：王小箭·左正尧；人本回归；二元统一的图像表达；心仪自然——左正尧绘画新作；左正尧的正反世界等。

关键词：艺术作品综合集中国现代

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

左正尧作品

扬子江（诗刊） 2010年第1期 81-84页

作者：左正尧

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

左正尧陶艺作品

装饰 1999年第3期 36-36页

作者：左正尧华中师范大学美术系讲师

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

对话:王小箭与左正尧

当代美术家 2008年第6期 60-61页

作者：王小箭左正尧不详

王小箭(以下简称“王”):我们是"85"时期的老朋友了.由于《中国当代美术史:1985-1986》湖北部分由我执笔,因此我和当时湖北的前卫艺术家交流频繁,并为你写了一篇评论,发表在《江苏画刊》上,这也是我在"85"时期写的唯一一篇关于艺术家的... 详细信息

王小箭(以下简称“王”):我们是"85"时期的老朋友了.由于《中国当代美术史:1985-1986》湖北部分由我执笔,因此我和当时湖北的前卫艺术家交流频繁,并为你写了一篇评论,发表在《江苏画刊》上,这也是我在"85"时期写的唯一一篇关于艺术家的个人评论。

关键词：前卫艺术家中国当代美术江苏画刊评论湖北

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

抢占式调度问题的PPTA模型与验证方法

软件学报 2024年第10期35卷 4533-4554页

作者：左正康赵帅王昌晶谢武平黄箐江西师范大学数字产业学院江西师范大学计算机信息工程学院江西师范大学网络化支撑软件国家科技合作基地

优先级用于解决诸如在资源共享和安全设计等方面的冲突,已经成为实时系统设计中不可或缺的一部分.对于引入优先级的实时系统,每个任务都会被分配优先级,这就导致低优先级的任务在运行时可能会被高优先级的任务抢占资源,进而给实时系统... 详细信息

优先级用于解决诸如在资源共享和安全设计等方面的冲突,已经成为实时系统设计中不可或缺的一部分.对于引入优先级的实时系统,每个任务都会被分配优先级,这就导致低优先级的任务在运行时可能会被高优先级的任务抢占资源,进而给实时系统带来抢占式调度问题.现有研究,缺乏一种可以直观表示任务的优先级以及任务之间的依赖关系的建模及自动验证方法.为此,提出抢占式优先级时间自动机(PPTA)并引入抢占式优先级时间自动机网络(PPTAN).首先,通过在时间自动机上添加变迁的优先级来表示任务的优先级,再利用变迁将具有依赖关系的任务相关联,从而可以利用PPTA建模带有优先级的实时任务.在时间自动机上添加阻塞位置,进而利用PPTAN建模优先级抢占式调度问题.其次,提出基于模型的转换方法,将抢占式优先级时间自动机映射到自动验证工具UPPAAL中.最后,通过建模多核多任务实时系统实例并与其他模型进行对比,说明所提模型不仅适用于建模优先级抢占式调度问题并可对其进行准确验证分析.

关键词：优先级抢占式调度抢占式优先级时间自动机多核多任务实时系统 UPPAAL

同方期刊数据库

乡村振兴的绿色金融支持研究——基于新制度经济学产权理论视角

在线全文

学校读者我要写书评

暂无评论

财会通讯 2024年第6期 133-139页

作者：左正龙吉林财经大学应用数学学院吉林长春130117

乡村振兴的实现离不开绿色发展,而绿色发展离不开绿色金融支持。文章突破传统研究范式,基于新制度经济学分析框架,以产权理论为主导,围绕降低交易成本的主线,剖析了绿色金融支持乡村振兴的机制:产权明晰的资源配置效应、智能合约降低交... 详细信息

乡村振兴的实现离不开绿色发展,而绿色发展离不开绿色金融支持。文章突破传统研究范式,基于新制度经济学分析框架,以产权理论为主导,围绕降低交易成本的主线,剖析了绿色金融支持乡村振兴的机制:产权明晰的资源配置效应、智能合约降低交易成本、金融组织体系的金融抑制效应及金融立法的行为规范效应。基于目前绿色金融在助力乡村振兴中存在的问题,得出结论,关键在进一步明晰农地经营权,它是农地能否用作抵押融资的前提,也为后续的绿色产权立法指明了方向,随后的颁证确认为智能合约的引入奠定了基础。绿色金融组织体系则应重在化解“供给型”金融抑制。

关键词：产权理论乡村振兴智能合约绿色金融金融立法

在线全文

学校读者我要写书评

暂无评论

一种基于自适应边界约束的高效遗传算法

北京大学学报（自然科学版） 2024年第4期60卷 665-672页

作者：黄铭王龙波肖明虹傅毓左正康广西壮族自治区地理信息测绘院柳州545005 广西壮族自治区自然资源厅南宁530022 太原理工大学矿业工程学院太原030024

针对遗传算法中用于多父体重组的系数向量缺乏高效生成方法的问题,提出一种基于自适应边界约束(ABC)的高效遗传算法。该方法依据前一个系数的值,自适应缩放后一个系数的边界,可在任意多的父代重组情形下快速生成系数向量。在CEC2017标... 详细信息

针对遗传算法中用于多父体重组的系数向量缺乏高效生成方法的问题,提出一种基于自适应边界约束(ABC)的高效遗传算法。该方法依据前一个系数的值,自适应缩放后一个系数的边界,可在任意多的父代重组情形下快速生成系数向量。在CEC2017标准数据集上的实验结果表明,所提算法在29个复杂优化问题上的表现都优于经验概率分布(EDBF)算法。

关键词：最优化理论遗传算法系数向量收敛效率经验概率分布(EDBF) 自适应边界约束(ABC)

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

命令式动态规划类算法程序推导及机械化验证

软件学报 2024年第9期35卷 4218-4241页

作者：左正康孙欢王昌晶游珍黄箐王唱唱江西师范大学数字产业学院江西上饶334006 江西师范大学计算机信息工程学院江西南昌330022 网络化支撑软件国家国际科技合作基地(江西师范大学) 江西南昌330022

动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Is... 详细信息

动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Isabelle/HOL函数式建模与验证,通过证明命令式动态规划类算法程序与其的等价性,避免证明正确性时处理复杂的依赖关系和约束条件,提出命令式动态规划类算法程序设计框架及其机械化验证.首先,根据动态规划类算法的优化方法(备忘录方法)和性质(最优子结构性质和子问题重叠性质)描述问题规约、归纳递推关系式和形式化构造出循环不变式,并且基于递推关系式生成IMP(minimalistic imperative programming language)代码;其次,将问题规约、循环不变式和生成的IMP代码输入VCG(verification condition generator),自动生成正确性的验证条件;然后,在Isabelle/HOL定理证明器中对验证条件进行机械化验证.算法首先设计为命令式动态规划类算法的一般形式,并进一步实例化得到具体算法.最后,例证所提框架的有效性,为动态规划类算法的自动化推导和验证提供参考价值.

关键词： Isabelle/HOL 机械化验证动态规划命令式 VCG

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