检索结果-南通市图书馆

Towards a Methodology for Formal Design and Analysis of Agent Interaction Protocols ——An Investigation in Electronic Commerce

引用

Wuhan University Journal of Natural sciences 2001年第Z1期6卷 126-139页

作者： wei jun 1,2.,{2.,{2., hong kong University of science and technology, clear water bay, kowloon, hong kong, china 2. Institute of Software, {12.nese Academy of science, Beijing 100080, Ch department of {1. {{2. Hong Kong University of Science and Technology Kowloon Hong Kong China Institute of Software Chinese Academy of Science Beijing China

Various extensions of UML have been developed to meet the challenges of designing modern software systems, such as agent based electronic commerce applications. Recent advances in model checking technology have led it to be introduced into the development of approaches and tools to check the correctness of electronic commerce protocols. This paper focuses on the research of a method that connects an extension of AUML to model checker SPIN/Promela for the specification and verification of agent interaction protocols (AIP) in electronic commerce. The method presented here allows us to combine the benefits of visual specification with the power of some static analysis and model checking. Some algorithms and rules are developed to permit all visual modeling constructs translated mechanically into some Promela models of AIP, as supported by the model checker SPIN. Moreover, a process is illustrated to guide the specification and verification of AIP. The method is demonstrated thoroughly using the e commerce protocol NetBill as an example.

关键词： agent UML interaction protocol software agent model checking formal specification electronic commerce protocol

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

CEPC Technical Design Report

引用

Radiation Detection technology and Methods 2024年第1期8卷 I0003-I0016,1-1091页

作者： Waleed Abdallah Tiago Carlos Adorno de Freitas Konstantin Afanaciev Shakeel Ahmad Ijaz Ahmed Xiaocong Ai Abid Aleem Wolfgang Altmannshofer Fabio Alves weiming An Rui An Daniele Paolo Anderle Stefan Antusch Yasuo Arai Andrej Arbuzov Abdesslam Arhrib Mustafa Ashry Sha Bai Yu Bai Yang Bai Vipul Bairathi Csaba Balazs Philip Bambade Yong Ban Tripamo Bandyopadhyay Shou-Shan Bao Desmond P.Barber Ayse Bat Varvara Batozskaya Subash Chandra Behera Alexander Belyaev Michele Bertucci Xiao-{1. Bi Yuanjie Bi Tianjian Bian Fabrizio Bian{{2. Thomas Biekotter Michela Biglietti Shalva Bilanishvili Deng Binglin Denis Bodrov Anton Bogomyagkov Serge Bondarenko Stewart Boogert Maarten Boonekamp Marcello Borri Angelo Bosotti Vincent Boudry Mohammed Boukidi Igor Boyko Ivanka Bozovic Giuseppe Bozzi Jean-Claude Brient Anastasiia Budzinskaya Masroor Bukhari Vladimir Bytev Giacomo Cacciapaglia Hua Cai Wenyong Cai Wu{1. Cai Yijian Cai Yizhou Cai Yuchen Cai Haiying Cai Huacheng Cai Lorenzo Calibbi {1.song Cang Guofu Cao Jianshe Cao Antoine Chance xue{1. Chang Yue Chang Zhe Chang Xinyuan Chang wei Chao Auttakit Chatrabhuti Yimin Che Yuzhi Che Bin Chen Danping Chen Fuqing Chen Fusan Chen Gang Chen Guoming Chen Hua-Xing Chen Huirun Chen Jinhui Chen Ji-Yuan Chen Kai Chen Mali Chen Ming{1. Chen Mingshui Chen Ning Chen Shanhong Chen Shanzhen Chen Shao-Long Chen Shaomin Chen Shiqiang Chen Tianlu Chen wei Chen Xiang Chen Xiaoyu Chen Xin Chen xun Chen xurong Chen Ye Chen Ying Chen Yukai Chen Zelin Chen Zilin Chen Gang Chen Boping Chen Chunhui Chen Hok Chuen Cheng Huajie Cheng Shan Cheng Tongguang Cheng Yunlong {{2. Pietro {{2.menti Wen Han {{2.u Guk Cho Ming-Chung Chu Xiaotong Chu Ziliang Chu Guglielmo Coloretti Andreas Crivellin Hanhua Cui Xiaohao Cui Zhaoyuan Cui Brunella D'Anzi Ling-Yun Dai Xinchen Dai xuwen Dai Antonio De Maria Nicola De Filippis Christophe De La Taille Francesca De Mori {{2.ara De Sio Elisa Del Core Shuangxue Deng wei-Tian Deng Zhi Deng Ziyan Deng Bhupal Dev Tang Dewen Biagio Di Micco Ran Ding Siqin Dingl Yadong Ding Haiyi Dong Jianin AGH University of science and {1. Faculty of Physics and Applied Computer ScienceKrakow Anhui University HefeiAnhui Applied Physics department Federal Urdu University of ArtsScience and TechnologyIslamabad Banaras Hindu University Institute of ScienceVaranasi Bandirma Onyedi Eylul University Bandirma Beihang University Beijing Beijing Computational science Research Center Beijing Beijing Conveyi LTD Beijing Beijing Glass Research Institute Co. LtdBeijing Beijing Institute of technology Beijing Beijing Normal University Beijing Brown University ProvidenceRI Budker Institute of Nuclear Physics Novosibirsk Cadi Ayyad University Laboratory of Fundamental and Applied PhysicsPolydisciplinary FacultyMarrakech Cairo University Giza Center for Theory and Computation National Tsing Hua UniversityHsinchu Central china Normal University WuhanHubei Central South University ChangshaHunan Centro de Fisica Teorica de Particulas Universidade Tecnica de LisboaLisboa Chengdu KaitengSifang Digital Radio&TV Equipment Co. LtdChengduSichuan china academy of engineering physics MianyangSichuan china building materials academy Beijing china Center of Advanced {1. and {{2. Beijing china Institute of Atomic Energy Beijing china Jiliang University HangzhouZhejiang china Nu{1. Instrument CO. LTDBeijing china University of Geo{1.s Beijing china University of Geo{1.s WuhanHubei china University of Mining and {1. XuzhouJiangsu china West Normal University NanchongSichuan Chongqing University Department of PhysicsChongqing Chulalongkorn University Bangkok City University of hong kong Department of PhysicsHong Kong Cockcroft Institute Daresbury Cornell University IthacaNY CPPM(AMU/IPhU&CNRS/INP) Marseille Dalian Minzu University DalianLiaoning Dalian University of technology Department of PhysicsDalian Deutsches Elektronen-Synchrotron DESY Hamburg Dzhelepov Laboratory of Nuclear Problems of Joint Institute for Nuclear Research(DLNP JINR) Dubna East china University Of {1. And Technol

The Circular Electron Positron Collider(CEPC)is a large scientific project initiated and hosted by china,fostered through extensive collaboration with international *** complex comprises four accelerators:a 30 GeV Linac,a 1.1.GeV Damping Ring,a Booster capable of a{1.eving energies up to 1.0 GeV,and a Collider operating at varying energy modes(Z,W,H,and tt).The Linac and Damping Ring are situated on the surface,while the subterranean Booster and Collider are housed in a 1.0 km circumference underground tunnel,strategically accommodating future expansion with provisions for a potential Super Proton Proton Collider(SPPC).The CEPC primarily serves as a Higgs *** its baseline design with synchrotron radiation(SR)power of 30 MW per beam,it can a{1.eve a luminosity of 5×1.^(34)cm^(-2.s^(-1.per interaction point(IP),resulting in an integrated luminosity of 1. ab^(-1.for two IPs over a decade,producing 2.6 million Higgs *** the SR power to 50 MW per beam expands the CEPC's capability to generate 4.3 million Higgs bosons,facilitating precise measurements of Higgs coupling at sub-percent levels,exceeding the precision expected from the HL-LHC by an order of *** Technical Design Report(TDR)follows the Preliminary Conceptual Design Report(Pre-CDR,2.1.)and the Conceptual Design Report(CDR,2.1.),comprehensively detailing the ma{1.ne's layout,performance metrics,physical design and analysis,technical systems design,R&D and prototyping efforts,and associated civil engineering ***,it includes a cost estimate and a preliminary construction timeline,establishing a framework for forthcoming engineering design phase and site selection *** is anticipated to begin around 2.2.-2.2.,pending government approval,with an estimated duration of 8 *** commencement of experiments and data collection could potentially be initiated in the mid-2.30s.

关键词： initiated exceeding precise

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

因地而异的气候变化健康影响需要因地而异的应对措施

引用

科学通报 2021年第31期66卷 3925-3931页

作者：蔡闻佳张弛孙凯平艾思奇白玉琪鲍俊哲陈彬程亮亮崔学勤戴瀚程底骞董文轩窦德景范维澄范星高仝耿阳关大博郭亚菲胡艺馨华峻翊黄存瑞黄弘黄建斌蒋婷婷焦珂笛 Gregor Kiesewetter Zbigniew Klimont Pete Lampard 李传玺李奇玮李湉湉李瑞奇林波荣林华亮刘欢刘起勇刘小波刘昱甫刘钊刘志东刘竹楼书含鲁晨曦罗勇马伟 Alice McGushin 牛彦麟任超任浙豪阮增良 Wolfgang Schöpp 苏婧屠滢王杰王琼王雅琪王宇 Nick Watts 肖淙曦谢杨熊辉徐名芳徐冰许磊杨军杨廉平俞乐岳玉娟张少辉张仲宸赵继尧赵亮赵梦真赵哲周景博宫鹏清华大学地球系统科学系地球系统数值模拟教育部重点实验室北京100084 清华大学中国新型城镇化研究院健康城市研究中心北京100084 清华大学中国城市研究院北京100084 北京理工大学管理与经济学院北京100081 北京大学亚太经合组织健康科学研究院北京100871 中山大学公共卫生学院广州510080 郑州大学公共卫生学院郑州450001 北京师范大学环境学院北京100875 北京大学环境科学与工程学院北京100871 清华大学万科公共卫生学院北京100084 清华大学公共安全研究所北京100084 清华大学工程物理系北京100084 百度研究院北京100091 山东师范大学环境与生态研究院济南250013 山东师范大学商学院济南250013 清华大学建筑学院北京100084 Bartlett School of Construction and Project Management University College LondonLondon WC1H 0ALUK 中国疾病预防控制中心传染病预防控制所北京102206 南方科技大学统计与数据科学系深圳518055 香港大学建筑学院香港山东大学齐鲁医院公共卫生学院流行病学系济南250002 Air Quality and Greenhouse Gases Programme International Institute for Applied Systems Analysis(IIASA)Vienna 1-A-2361Austria department of Health {1.s University of YorkYork YO105DDCanada 清华大学环境学院北京100084 中国疾病预防控制中心环境与人群健康重点实验室中国疾病预防控制中心环境与健康相关产品安全所北京100021 Institute for Global Health University College LondonLondon WC1H 0ALUK 清华大学人文学院北京100084 中国科学院大气物理研究所大气科学和地球流体力学数值模拟国家重点实验室北京100029 清华大学五道口金融学院北京100084 中国科技大学计算机科学与技术学院合肥230027 北京航空航天大学经济与管理学院北京100083 Rutgers Business School the State University of New JerseyNew Brunswick NJ 07102USA 暨南大学环境与气候研究所广州510632 香港大学香港

气候变化的趋势正在对全球的人群健康造成巨大的威胁,迫切需要各国密切协作,积极应对气候变化,为此《柳叶刀》(The Lancet)杂志成立了"柳叶刀健康与气候变化委员会"(以下简称柳叶刀委员会),评估气候变化对人群健康的影响,并寻找保障人... 详细信息

气候变化的趋势正在对全球的人群健康造成巨大的威胁,迫切需要各国密切协作,积极应对气候变化,为此《柳叶刀》(The Lancet)杂志成立了"柳叶刀健康与气候变化委员会"(以下简称柳叶刀委员会),评估气候变化对人群健康的影响,并寻找保障人群健康的应对气候变化措施.柳叶刀委员会在2.1.年报告基础上,启动了"柳叶刀倒计时:追踪健康与气候变化进展"项目(以下简称柳叶刀倒计时)[1.,每年在《柳叶刀》上发表全球应对气候变化和保护人群健康的最新进展.

关键词：气候变化人群健康柳叶刀倒计时应对措施

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

把握机会窗口期减缓气候变化对中国居民健康影响

引用

科学通报 2023年第15期68卷 1899-1905页

作者：蔡闻佳张弛张诗卉艾思奇白玉琪鲍俊哲常楠陈彬陈慧琪程亮亮崔学勤戴瀚程 Bawuerjiang Danna 底骞董伟董文轩窦德景范维澄范星房小怡高仝高源耿阳关大博郭亚菲 Ian Hamilton 胡艺馨华峻翊黄存瑞黄弘黄建斌蒋俏蕾姜晓朋柯丕煜 Gregor Kiesewetter Pete Lampard 李传玺李瑞奇李双利梁璐林波荣林华亮刘欢刘起勇刘小波刘心远刘昱甫刘钊刘竹楼书含鲁晨曦罗勇罗震宇马伟 Alice McGushin 牛彦麟任超阮增良 Wolfgang Schöpp 单钰理苏婧孙韬淳王灿王琼文三妹谢杨熊辉徐冰徐朦颜钰杨军杨廉平杨秀俞乐岳玉娟曾仪娉张镜张少辉张曜张仲宸赵继尧赵亮赵梦真赵琦赵哲周景博朱征宏陈冯富珍宫鹏清华大学地球系统科学系北京100084 北京理工大学管理与经济学院北京100081 中山大学公共卫生学院广州510080 郑州大学公共卫生学院郑州450001 南京医科大学公共卫生学院南京211166 北京师范大学环境学院北京100875 北京大学环境工程学院北京100871 清华大学新闻与传播学院北京100084 清华大学万科公共卫生学院北京100084 浙江大学地球科学学院杭州310058 清华大学公共安全研究所北京100084 清华大学工程物理系北京100084 百度研究院北京100091 山东师范大学环境与生态研究院济南250013 中国气象科学研究院气象影响与风险研究中心北京100086 山东师范大学商学院济南250013 中国疾病预防控制中心传染病预防控制所传染病预防控制国家重点实验室北京102206 清华大学建筑学院北京100084 中国疾病预防控制中心环境与人群健康重点实验室环境与健康相关产品安全所北京102206 Energy Institute University College LondonLondon WC1E 6BTUK 南方科技大学统计与数据科学系深圳518055 香港大学建筑学院中国香港999077 世界卫生组织驻华代表处北京100600 Pollution Management Research Group EnergyClimateand Environment ProgramInternational Institute for Applied Systems Analysis(IIASA)Schlossplatz 1-A-2361 LaxenburgAustria department of Health {1.s University of YorkYork YO105DDCanada 山东大学齐鲁医学院公共卫生学院流行病学系济南250002 中国科学技术大学计算机科学与技术学院合肥230027 department of Geography and the Environment University of North TexasDenton TX 76203-5017USA 清华大学环境学院北京100084 Geography College of Life and Environmental SciencesUniversity of ExeterExeter EX12LUUK 山东大学气候变化与健康研究中心济南250002 Institute for Global Health University College LondonLondon WC1H 0ALUK School of Geography Earth and Environmental SciencesUniversity of BirminghamBirmingham B152TTUK 清华大学人文学院北京100084 北京航空航天大学经济与管理学院北京100083 香港科技大学(广州)信息枢纽人工智能学域广州511443 暨南大学环境与气候研究所广州510632 清华大学气候变化与可持续发展研究院北京100084 清华大学苏世民学院北京100084 清华大学体育学部北京100084 中国科学院大气物理研究所大气科学和地球流体力学数值模拟国家重点实验室北京100029 香港大学地球科学系和地理系中国香港999077

随着中国总人口的不断增加以及改革开放以来经济的飞速发展,中国面临来自气候变化的健康威胁也在不断上升.与此同时,中国也处于一个独特的机遇窗口期,如果能够有效应对气候变化带来的健康风险,将造福今后几代人的健康.反之,如果没有及... 详细信息

随着中国总人口的不断增加以及改革开放以来经济的飞速发展,中国面临来自气候变化的健康威胁也在不断上升.与此同时,中国也处于一个独特的机遇窗口期,如果能够有效应对气候变化带来的健康风险,将造福今后几代人的健康.反之,如果没有及时、充分的应对措施,气候变化对中国居民健康和生命的威胁将与日俱增.为了推动更及时且有利于改善人群健康的气候应对行动,由清华大学牵头建立的柳叶刀倒计时亚洲中心在全球柳叶刀倒计时工作的基础上[1.2.,从2.2.年开始,聚焦气候变化对中国人群健康的影响进行全面且系统的评估[3,4].

关键词：减缓气候变化人群健康柳叶刀居民健康窗口期倒计时应对措施把握机会

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：