检索结果-维普期刊中文期刊服务平台

基于角色的区块链拍卖合约抽象建模及其时间安全性与公平性验证: 1; 作者王昌晶欧阳俊媛 +3 位作者张取发左正康程着卢家兴《通信学报》 EI CSCD 北大核心 2024年第10期225-242,共18页; 为提升拍卖合约时间安全性验证效率及验证公平性,提出基于角色的拍卖合约抽象建模及其验证方法。首先,对合约源代码进行基于账户角色的抽象建模,转换为时间自动机网络模型,并对时间安全性进行形式化描述,用UPPAAL工具验证。其次,提取合... 展开更多; 关键词拍卖合约时间安全性公平性时间自动机 UPPAAL; 在线阅读下载PDF 职称材料

基于模型驱动的分治并行函数式程序生成及自动验证: 2; 作者王昌晶王忠文 +2 位作者潘丞黄箐左正康《信息安全学报》 CSCD 2023年第3期85-102,共18页; 并行计算作为人工智能发展的动力,使得并行算法的可解释性和安全性成为人工智能领域重要研究方向。形式化方法以数理逻辑为基础,已经成为复杂安全苛求系统可信构建的重要方法,而函数式编程则在算法领域中具有更强的数学表达性。本文旨... 展开更多; 关键词模型驱动分治并行函数式程序程序生成自动验证; 在线阅读下载PDF 职称材料

基于“互联网+”的大型机场智能导航与服务系统设计被引量：1: 3; 作者周飞郎祎平 +2 位作者王长静潘清旭莫文帅《无线互联科技》 2018年第14期42-45,共4页; 随着人民生活水平的提高,大型机场客流量不断增长,机场的规模也变得越来越大。然而客流量的快速增长和机场规模的扩大使得现有机场所存在的问题暴露得越来越严重,同时也给机场的现代化管理与服务提出了巨大挑战。针对此问题,文章以Wi F... 展开更多; 关键词互联网+ 定位位置服务智能导航便携式设备; 在线阅读下载PDF 职称材料

Relationship of recurrent laryngeal nerve with inferior horn of thyroid cartilage,inferior thyroid artery,berry's ligament and Zuckerkandl's tubercle:A study in corpses 被引量：1: 4; 作者 wang changjing Xia Yujun wang Shuangyan 《解剖学杂志》 CAS 2021年第S01期23-23,共1页; The pivotal role of four anatomical landmarks:inferior horn of thyroid cartilage,inferior thyroid artery(ITA),Berry's ligament(BL)and Zuckerkandl's tubercle(ZT)on recurrent laryngeal nerve(RLN)protection has r... 展开更多; 关键词 ANATOMY LIGAMENT CARTILAGE; 在线阅读下载PDF 职称材料

题名基于角色的区块链拍卖合约抽象建模及其时间安全性与公平性验证: 1; 作者王昌晶欧阳俊媛张取发左正康程着卢家兴; 机构江西师范大学计算机信息工程学院东华理工大学软件学院江西师范大学国家网络化支撑软件国际合作基地; 出处《通信学报》 EI CSCD 北大核心 2024年第10期225-242,共18页; 基金国家自然科学基金资助项目(No.62462037,No.62462036) 江西省主要学科学术与技术带头人培养基金资助项目(No.20232BCJ22013) +1 种基金江西省教育厅科技基金资助项目(No.GJJ2200303,No.GJJ210340)。; 文摘为提升拍卖合约时间安全性验证效率及验证公平性,提出基于角色的拍卖合约抽象建模及其验证方法。首先,对合约源代码进行基于账户角色的抽象建模,转换为时间自动机网络模型,并对时间安全性进行形式化描述,用UPPAAL工具验证。其次,提取合约源代码机制,建立智能合约机制模型,同样转换为时间自动机网络模型,并对4种公平性进行形式化描述,再用UPPAAL验证。最后,通过2个经典案例证明了所提方法的可行性和有效性。; 关键词拍卖合约时间安全性公平性时间自动机 UPPAAL; Keywords auction contracts temporal security fairness time automata UPPAAL; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于模型驱动的分治并行函数式程序生成及自动验证: 2; 作者王昌晶王忠文潘丞黄箐左正康; 机构江西师范大学计算机信息工程学院江西师范大学管理科学与工程研究中心; 出处《信息安全学报》 CSCD 2023年第3期85-102,共18页; 基金国家自然科学基金项目(No.62262031) 江西省教育厅科技重点项目(No.GJJ2200302,No.GJJ210307) 江西省研究生创新基金项目(No.YC2022-s349)资助。; 文摘并行计算作为人工智能发展的动力,使得并行算法的可解释性和安全性成为人工智能领域重要研究方向。形式化方法以数理逻辑为基础,已经成为复杂安全苛求系统可信构建的重要方法,而函数式编程则在算法领域中具有更强的数学表达性。本文旨在提出一种基于模型驱动的分治并行函数式程序生成及自动验证方法,融合形式化方法,以解决目前分治并行程序生成和验证中缺乏可解释性、易错、低可信度等问题。首先,采用分划递推法和循环不变式等新策略推导出串行算法;然后,利用辅助函数和算法连接函数将其提升为并行算法,并使用我们提出的并行算法设计语言Radl+进行描述;进而,采用同态定理验证框架在Isabelle中验证算法连接函数满足同态定理,即提升后的算法可并行化;最后,提出了Radl+→Haskell转换规则,设计了“Radl+→Haskell并行程序生成系统”软件原型。实验结果表明,本文能够生成和验证一系列算法的并行函数式程序,并且能够产生良好的加速比。本文方法不仅具有一定的可解释性,而且自动验证减少了传统手工验证易错性和繁琐的工作量,保证算法正确性和提高安全性,对大幅度提升高可信并行函数式程序的开发效率具有重要意义。; 关键词模型驱动分治并行函数式程序程序生成自动验证; Keywords model-driven divide-and-conquer parallel functional programing program generation automatic verification; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于“互联网+”的大型机场智能导航与服务系统设计被引量：1: 3; 作者周飞郎祎平王长静潘清旭莫文帅; 机构河南师范大学; 出处《无线互联科技》 2018年第14期42-45,共4页; 基金河南师范大学"国家大学生创新创业训练计划"国家级项目项目编号:201610476100; 文摘随着人民生活水平的提高,大型机场客流量不断增长,机场的规模也变得越来越大。然而客流量的快速增长和机场规模的扩大使得现有机场所存在的问题暴露得越来越严重,同时也给机场的现代化管理与服务提出了巨大挑战。针对此问题,文章以Wi Fi定位技术和行为检测技术为核心,结合独立开发的便携式设备设计了基于"互联网+"的智能导航与服务系统。本系统实现了智能化导航和紧急救援等核心功能,解决了大型机场中存在的乘客容易迷路、登机误时、安全监测等严重问题,具有较强的应用价值。; 关键词互联网+ 定位位置服务智能导航便携式设备; Keywords Internet＋ location location services intelligent navigation portable devices; 分类号 TP393.09 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名Relationship of recurrent laryngeal nerve with inferior horn of thyroid cartilage,inferior thyroid artery,berry's ligament and Zuckerkandl's tubercle:A study in corpses 被引量：1: 4; 作者 wang changjing Xia Yujun wang Shuangyan; 机构 Department of Human Anatomy; 出处《解剖学杂志》 CAS 2021年第S01期23-23,共1页; 文摘 The pivotal role of four anatomical landmarks:inferior horn of thyroid cartilage,inferior thyroid artery(ITA),Berry's ligament(BL)and Zuckerkandl's tubercle(ZT)on recurrent laryngeal nerve(RLN)protection has received more attention.In our study,anatomy of 14 specimens(28 sides in total)were dissected to investigate the relationship between RLN and these four landmarks.; 关键词 ANATOMY LIGAMENT CARTILAGE; 分类号 R65 [医药卫生—外科学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于角色的区块链拍卖合约抽象建模及其时间安全性与公平性验证	王昌晶欧阳俊媛张取发左正康程着卢家兴	《通信学报》 EI CSCD 北大核心	2024	0	在线阅读下载PDF 职称材料
2	基于模型驱动的分治并行函数式程序生成及自动验证	王昌晶王忠文潘丞黄箐左正康	《信息安全学报》 CSCD	2023	0	在线阅读下载PDF 职称材料
3	基于“互联网+”的大型机场智能导航与服务系统设计	周飞郎祎平王长静潘清旭莫文帅	《无线互联科技》	2018	1	在线阅读下载PDF 职称材料
4	Relationship of recurrent laryngeal nerve with inferior horn of thyroid cartilage,inferior thyroid artery,berry's ligament and Zuckerkandl's tubercle:A study in corpses	wang changjing Xia Yujun wang Shuangyan	《解剖学杂志》 CAS	2021	1	在线阅读下载PDF 职称材料