检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于服务协调模型的业务事务验证方法

计算机集成制造系统 2012年第3期18卷 662-671页

作者：袁敏黄志球李祥闫艳南京航空航天大学计算机科学与技术学院江苏南京210016 湘南学院计算机科学系湖南郴州423043

为有效地保证Web服务业务活动中事务可靠地执行,提出了一种检查伙伴服务之间协调行为一致性的方法。针对长事务给出用Pi-演算建模业务活动中服务协调行为的方法;定义了标号迁移系统和Kripke结构这两种状态自动机之间的语法映射关系,提出... 详细信息

为有效地保证Web服务业务活动中事务可靠地执行,提出了一种检查伙伴服务之间协调行为一致性的方法。针对长事务给出用Pi-演算建模业务活动中服务协调行为的方法;定义了标号迁移系统和Kripke结构这两种状态自动机之间的语法映射关系,提出了Pi-演算进程模型到符号模型检测工具输入语言的转换方法;在模型检测结果的基础上,用反例引导用户进一步精化模型,以解决业务流程集成中参与者协调一致性问题。通过实例验证了该方法的有效性。

关键词：业务流程集成长事务服务协调 Pi-演算形式化验证 Web服务

在线全文

学校读者我要写书评

暂无评论

现代美术史学视野下的瓦萨里《达·芬奇传》

美术 2017年第8期 124-129页

作者：陈明烨上海美术学院

美术史之父乔治·瓦萨里的《名人传》向来是人们认识和研究达·芬奇的重要文献之一。此书的《达·芬奇传》不仅像通常传记家所做的那样,记录这位大师的作品和事迹,并在此基础上勾勒大师的整体形象;还以艺术发展的宏观视角来对达·芬奇... 详细信息

美术史之父乔治·瓦萨里的《名人传》向来是人们认识和研究达·芬奇的重要文献之一。此书的《达·芬奇传》不仅像通常传记家所做的那样,记录这位大师的作品和事迹,并在此基础上勾勒大师的整体形象;还以艺术发展的宏观视角来对达·芬奇艺术进行定位和描述,这是其独到之处。本文试图分析瓦萨里对达·芬奇的论述建立在哪些资料和观念的基础上,并在现代美术史学的视野下简要评价这些论述的得与失。

关键词：达·芬奇瓦萨里《名人传》

火灾后方中空钢管混凝土柱滞回性能有限元分析

在线全文

学校读者我要写书评

暂无评论

土木工程学报 2018年第A01期51卷 92-97页

作者：刘晓徐建烨王伊沈阳大学辽宁沈阳110044

为研究火灾后方中空夹层钢管混凝土柱的滞回性能,采用合理的本构关系,建立有限元模型,分析参数有受火时间、轴压比、混凝土强度、空心率,并与相应试验结果进行比较,承载能力、滞回曲线以及破坏模态吻合较好。同时对火灾后方中空夹层钢... 详细信息

为研究火灾后方中空夹层钢管混凝土柱的滞回性能,采用合理的本构关系,建立有限元模型,分析参数有受火时间、轴压比、混凝土强度、空心率,并与相应试验结果进行比较,承载能力、滞回曲线以及破坏模态吻合较好。同时对火灾后方中空夹层钢管混凝土柱滞回性能进行机理分析,结果表明:混凝土强度对滞回曲线影响不明显,分析滞回骨架曲线得知承载力随着构件受火时间增加、轴压比的增大,空心率减小而减小。随着受火时间的增加,空心率的增大,构件的滞回耗能能力更好。

关键词：火灾后滞回性能方中空夹层钢管混凝土有限元空心率

在线全文

学校读者我要写书评

暂无评论

云计算环境下隐私需求的描述与检测方法

计算机研究与发展 2015年第4期52卷 879-888页

作者：柯昌博黄志球南京邮电大学计算机学院软件学院南京210023 江苏省无线传感网高技术研究重点实验室南京210003 南京航空航天大学计算机科学与技术学院南京210016

云计算已经成为一种计算范型为用户提供服务,但其开放性、虚拟化和服务外包化的特点使得用户的隐私信息难以控制和保护.以描述逻辑为基础,提出了一种云计算环境下面向语义的隐私需求描述与检测方法.首先,对用户隐私需求与服务提供者的... 详细信息

云计算已经成为一种计算范型为用户提供服务,但其开放性、虚拟化和服务外包化的特点使得用户的隐私信息难以控制和保护.以描述逻辑为基础,提出了一种云计算环境下面向语义的隐私需求描述与检测方法.首先,对用户隐私需求与服务提供者的隐私策略进行描述;其次,对两者之间是否存在冲突进行检测,发现满足用户隐私需求的服务;最后,利用Protégé本体建模工具对用户的隐私需求和服务提供者的隐私策略进行建模,并利用Pellet推理机进行了实验,分别对本体模型中的概念进行一致性检测和对概念与逻辑公理之间的可满足性进行检验,从而证明了此检测方法的正确性与可行性.

关键词：云计算描述逻辑隐私属性隐私策略隐私偏好

在线全文

学校读者我要写书评

暂无评论

一种基于3D复杂介质的弹性建模数值方法

地球物理学报 2020年第7期63卷 2836-2845页

作者：曹呈浩符力耘付博烨中国科学院地质与地球物理研究所中国科学院油气资源研究重点实验室北京100029 中国石油大学(华东)深层油气重点实验室青岛266580 中国科学院地球科学研究院北京100029

储层中的裂隙会导致介质表现出各向异性.传统等效介质方法假定储层可以被等效成为横向各向同性介质,不适用于复杂裂缝储层的弹性等效建模和各向异性特征分析.本文在前人研究基础上,利用最小二乘方法开展3D复杂裂隙弹性等效数值模拟研究... 详细信息

储层中的裂隙会导致介质表现出各向异性.传统等效介质方法假定储层可以被等效成为横向各向同性介质,不适用于复杂裂缝储层的弹性等效建模和各向异性特征分析.本文在前人研究基础上,利用最小二乘方法开展3D复杂裂隙弹性等效数值模拟研究,并与常规等效介质理论方法进行比较,验证数值方法的精确性.数值方法不仅能有效避免Hudson理论和Eshelby-Cheng理论等解析方法在大裂隙密度条件下的参数估计误差,而且兼顾裂隙扰动作用对等效介质参数的影响.数值研究表明,数值方法能够较好地描述复杂裂缝介质的各向异性特征,为复杂裂缝储层地震波各向异性参数反演提供依据.

关键词：有效介质理论数值模拟复杂介质各向异性裂隙

在线全文

学校读者我要写书评

暂无评论

能量收集分布式基站系统的下行射频远端选择

西安电子科技大学学报 2023年第2期50卷 71-80页

作者：黄志民肖琨广西师范大学电子工程学院广西壮族自治区桂林541000

为解决能源短缺的问题,能量收集技术被提出并广泛应用于若干典型的通信系统中。为研究在具备能量收集能力的分布式基站系统中,如何有效地选择射频远端实现下行链路通信的问题,首先建立了不依赖电网等外部能源,仅由基带处理子系统、能量... 详细信息

为解决能源短缺的问题,能量收集技术被提出并广泛应用于若干典型的通信系统中。为研究在具备能量收集能力的分布式基站系统中,如何有效地选择射频远端实现下行链路通信的问题,首先建立了不依赖电网等外部能源,仅由基带处理子系统、能量子系统和射频远端子系统构成的能量收集分布式基站系统模型;其次在模型基础上,以最大化信息传输速率为目标形成了覆盖波束赋形、能量共享、功率分配的联合优化问题。针对能量收集情况不可控的问题,提出了两种不同的能量共享策略,在此基础上分别对问题进行了数学分析,推导得到了系统射频远端最优的功率分配策略,从而归纳出所述系统模型的射频远端选择算法。最后,基于该文模型与算法开展了蒙特卡罗仿真,并与已有文献中的算法进行了对比。仿真结果表明,所提算法在平均信道容量和平均能量效率上具有良好的性能,有助于减少系统的功耗,节约资源。

关键词：能量收集通信分布式基站系统射频远端下行链路功率分配

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

在线全文

学校读者我要写书评

暂无评论

不可逆热容热电转换装置性能的优化分析

中国科学：技术科学 2020年第5期50卷 551-561页

作者：林比宏黄志福华侨大学信息科学与工程学院厦门361021

基于超级电容的古伊-查普曼-斯特恩(CGS)双电层模型,本文建立一类不可逆热容热电转换装置循环的新模型.应用热力学理论和系统的能量平衡方程,导出该热容循环的回热量、输出功率和能量效率的表达式.通过数值计算,揭示热容循环的一般性能... 详细信息

基于超级电容的古伊-查普曼-斯特恩(CGS)双电层模型,本文建立一类不可逆热容热电转换装置循环的新模型.应用热力学理论和系统的能量平衡方程,导出该热容循环的回热量、输出功率和能量效率的表达式.通过数值计算,揭示热容循环的一般性能特性,分析循环的电量比、充电截止电压、回热过程的时间、双层距离、电解液浓度等重要性能参数对热容热电转换系统优化性能的影响.对于一些给定的参数,确定系统运行于最大功率下循环的电量比、双层距离、充放电过程的温度的优化值,给出循环的一些重要性能参数的优化范围.结果表明,为了获得循环的最优性能,采用CGS模型除了对充放电过程的温度和循环的电量比进行优化外,还可对电容的多孔电极的孔径进行优化,当充电截止电压为2 V时,优化的最大功率密度约为4.9 kW/m^2,相应的效率可达18.5%.本文所获得的结果可为实际热容热电转换装置优化设计和运行提供理论依据.

关键词：超级电容静电势容性热电转换有限时间热力学性能特性优化分析

在线全文

学校读者我要写书评

暂无评论

公有产权制度创新

经济体制改革 1996年第5期 56-61页

作者：黄志

本文对公有产权范畴作出了新的定义，认为公有产权是指各级政府社团产权。划分政府公有产权与集体非公有产权的重要依据在于两者所带的社会经济目标不同：政府公有产权带社会目标；集体非公有产权带经济目标。作者认为，产权制度随区域... 详细信息

本文对公有产权范畴作出了新的定义，认为公有产权是指各级政府社团产权。划分政府公有产权与集体非公有产权的重要依据在于两者所带的社会经济目标不同：政府公有产权带社会目标；集体非公有产权带经济目标。作者认为，产权制度随区域经济发展进程而发生制度变迁，在此过程中，产权制度逐渐作出公有产权社会目标和非公有产权经济目标的功能结构分化。

关键词：公有产权制度制度创新企业现代企业制度

超声心动图观察临床疑诊获得性免疫缺陷综合征累及心脏

在线全文

学校读者我要写书评

暂无评论

中国医学影像技术 2012年第8期28卷 1517-1519页

作者：李耀烨南宁市第四人民医院超声科广西南宁530023

目的观察获得性免疫缺陷综合征(AIDS)累及心脏的超声心动图表现。方法对210例临床疑诊为AIDS累及心脏的患者进行心脏超声检查,并对其图像资料进行回顾性分析。结果 210例患者中,心包积液125例(125/210,59.52%),扩张型心肌病47例(47/210,... 详细信息

目的观察获得性免疫缺陷综合征(AIDS)累及心脏的超声心动图表现。方法对210例临床疑诊为AIDS累及心脏的患者进行心脏超声检查,并对其图像资料进行回顾性分析。结果 210例患者中,心包积液125例(125/210,59.52%),扩张型心肌病47例(47/210,22.38%),老年性心瓣膜退行性病变7例(7/210,3.33%),不明原因心瓣膜关闭不全26例(26/210,12.38%),5例(5/210,2.38%)心脏结构正常;左心功能不全48例(48/210,22.85%),右心功能不全131例(131/210,62.38%)。结论 AIDS可累及心脏;超声心动图检查对AIDS累及心脏的诊断与治疗有重要参考价值。

关键词：获得性免疫缺陷综合征心脏病超声心动描记术