检索结果-南通市图书馆

Probabilistic synthesis against GR(1) winning condition

Frontiers of Computer Science 2022年第2期16卷 17-25页

作者： Wei ZHAO Rui LI Wanwei liu Wei DONG zhiming liu College of Computer Science&Technology Nanjing University of Aeronautics and AstronauticsNanjing 211106China College of Computer&Information Science Southwest UniversityChongqing 400715China School of Computer National University of Defense TechnologyChangsha 410073China

Reactive synthesis is a technique for automatic generation of a reactive system from a high level *** system is reactive in the sense that it reacts to the inputs from the *** specification is in general given as a linear temporal logic(LTL)*** behaviour of the system interacting with the environment can be represented as a game in which the system plays against the ***,a problem of reactive synthesis is commonly treated as solving such a game with the specification as the winning *** synthesis has been thoroughly investigated for more two decades.A well-known challenge is to deal with the complex uncertainty of the *** understand that a major issue is due to the lack of a sufficient treatment of probabilistic properties in the traditional *** example,a two-player game defined by a standard Kriple structure does not consider probabilistic transitions in reaction to the uncertain physical environment;and a Markov Decision Process(MDP)in general does not explicitly separate the system from its environment and it does not describe the interaction between system and the *** this paper,we propose a new and more general model which combines the two-player game and the ***,we study probabilistic reactive synthesis for the games of General Reactivity of Rank 1(i.e.,GR(1))defined in this *** specifically,we present an algorithm,which for given model,a location and a GR(1)specification,determines the strategy for each player how to maximize/minimize the probabilities of the satisfaction of at *** use an example to describe the model of probabilistic games and demonstrate our algorithm.

关键词： reactive system probabilistic synthesis GR(1)

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

New insights on the high-corrosion resistance of UHP Mg-Ge alloys tested in a simulated physiological environment

引用

Journal of Magnesium and Alloys 2024年第3期12卷 1026-1044页

作者： Ting liu Xingrui Chen Jeffrey Venezuela Yuan Wang zhiming Shi Wenyi Chen Matthew Dargusch Centre for Advanced Materials Processing and Manufacturing(AMPAM) School of Mechanical and Mining Engineeringthe University of QueenslandBrisbaneQLD 4072Australia CSIRO Mineral Resources 1 Technology CourtPullenvaleQLD 4069Australia

UHP Mg-Ge alloys was recently found to provide excellent corrosion *** paper provides new insights on the mechanism of improved corrosion resistance of UHP Mg-Ge alloys in Hanks’*** studied UHP Mg-0.5Ge and UHP Mg-1Ge alloys showed superior corrosion resistance compared to UHP Mg and WE43,with the Mg-1Ge exhibiting the best corrosion *** exceptional corrosion resistance of the UHP alloy is attributed to(i)Mg_(2)Ge’s ability to suppress cathodic kinetics,(ii)Ge’s capability to accelerate the formation of a highly passive layer,and the(iii)low amounts of corrosion-accelerating impurities.

关键词： UHP Mg-Ge alloy Cathodic kinetics suppression Biodegradable metals In vitro corrosion Magnesium corrosion.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

THS-GWNN:a deep learning framework for temporal network link prediction

引用

Frontiers of Computer Science 2022年第2期16卷 174-176页

作者： Xian MO Jun PANG zhiming liu College of Computer&Information Science Southwest UniversityChongqing 400715China Faculty of Science Technology and Medicine&Interdisciplinary Centre for SecurityReliability and TrustUniversity of LuxembourgEsch-sur-Alzette L-4364Luxembourg

1 Introduction and main contributions Link prediction for temporal networks aims to evaluate the likelihood of the future linkage among nodes,which has significant applications in social networks,biological networks and traffic analysis[1],*** embedding[2]is an important analytical tool for temporal network link prediction,which helps us better understand network evolution[3].How to encode high-dimensional and non-Euclidean network information is a crucial problem for node embedding in temporal *** of the challenges is to reveal the spatial structure at each timestamp and the temporal property over time[4].Some existing work[5]shows that extracting the spatial relation of each node can be used as a valid feature representation for each ***,the emergence of deep learning techniques[4,5]brings new insights for learning temporal properties,but most models using deep learning still fail to achieve satisfying prediction accuracy.

关键词： network prediction networks

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Axial Micro-Strain Sensor Based on Resonance Demodulation Technology Via Dual-Mode CMECF

引用

Photonic Sensors 2019年第1期9卷 78-88页

作者： Xiao LIANG Tigang NING Jingcong LI Yang LI zhiming liu College of Science Minzu University of ChinaBeijing 100081China Institute of Lightwave Technology Beijing Jiaotong UniversityBeijing 100044China The 41st Research Institute of CETC Qingdao 266555China

This paper firstly and experimentally demonstrates an in-fiber axial micro-strain sensing head,combined with a Mach-Zehnder interferometer(MZI)based on the concentric multilayer elliptical-core fiber(CMECF).This MZI with a high extinction ratio(about 15dB)is successfully achieved with a CMECF-single mode fiber-CMECF(CSC)*** MZI sensor theory and the resonance demodulation technology are systematically described in this *** this CSC structure, two sections of the CMECF have a role as the mode generator and coupler,***01 and LPlleven,which have similar excitation coefficients,are two dominated propagating mode groups supported in the *** account of the distinct dual-mode property,a good stability of this sensor is *** detected resonance in the MZI shifts as the axial micro-strain variated due to the strong interaction between higher order *** sensitivity of^1.78pm/με is experimentally achieved within the range of 0με-1250με,meanwhile,the intensity fluctuation is below 0.38dB.

关键词： Few-mode fiber fiber sensor MZI axial micro-strain

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

刘如秀辨治颈动脉粥样硬化经验

引用

中医学报 2024年第4期39卷 777-781页

作者：陈瑶刘志明车竞张丽娟刘金凤汪艳丽关宣可刘如秀中国中医科学院广安门医院北京100053

颈动脉粥样硬化病机属本虚标实,以正虚为本、邪实为标。本虚当责之以肾元匮乏、心阳亏虚、脾失健运,邪实兼以痰、湿、浊、瘀等病理因素。治疗应从滋肾、通阳、健脾等不同角度,予以补肾泻浊,通补兼施;燮理阴阳,补而不峻;养血补血,活血化... 详细信息

颈动脉粥样硬化病机属本虚标实,以正虚为本、邪实为标。本虚当责之以肾元匮乏、心阳亏虚、脾失健运,邪实兼以痰、湿、浊、瘀等病理因素。治疗应从滋肾、通阳、健脾等不同角度,予以补肾泻浊,通补兼施;燮理阴阳,补而不峻;养血补血,活血化瘀;温通心阳,交通心肾;补脾益气,升清降浊;健脾理中,祛湿化痰等方法。临证根据异病同治原则,可以使用滋肾通阳活血法辨治颈动脉粥样硬化。

关键词：颈动脉粥样硬化滋肾通阳活血法滋肾活血方刘如秀

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

面向服务架构中服务实现的策略

引用

中国科学（E辑） 2006年第10期36卷 1220-1239页

作者：刘静何积丰 zhiming liu 华东师范大学软件学院上海200062 International Institute of Software Technology United Nations UniversityMacaoChina

构造了层次化的SOA模型,并提出了将服务使用层与服务实现层分层处理的策略.建立了基于服务的构件模型来实现SOA中的服务,使用接口来描述服务的语法,契约来描述服务的语义,并用卫式设计来模服务的行为.将接口作为结合构件技术与面向服务... 详细信息

构造了层次化的SOA模型,并提出了将服务使用层与服务实现层分层处理的策略.建立了基于服务的构件模型来实现SOA中的服务,使用接口来描述服务的语法,契约来描述服务的语义,并用卫式设计来模服务的行为.将接口作为结合构件技术与面向服务架构的关键.用实例说明了如何使用这种方法来实现面向服务的设计.此工作为利用构件技术解决面向服务架构中的服务实现问题奠定了基础.

关键词：面向服务接口契约构件

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

椎板间入路脊柱内镜髓核摘除术联合纤维环修复技术在青年腰椎间盘突出症中应用的疗效分析

引用

骨科临床与研究杂志 2024年第1期9卷 25-30页

作者：孙翊昊马学晓屈昌鹏李磊张豪王超刘智明青岛大学附属医院脊柱外科 266003

目的探讨椎板间入路脊柱内镜髓核摘除术(PEID)联合纤维环修复技术在青年患者腰椎间盘突出症中的应用及临床疗效。方法收集2022年1月至2023年6月青岛大学附属医院骨科治疗的青年腰椎间盘突出症患者资料127例;其中67例单纯行PEID(非缝合组... 详细信息

目的探讨椎板间入路脊柱内镜髓核摘除术(PEID)联合纤维环修复技术在青年患者腰椎间盘突出症中的应用及临床疗效。方法收集2022年1月至2023年6月青岛大学附属医院骨科治疗的青年腰椎间盘突出症患者资料127例;其中67例单纯行PEID(非缝合组),60例行PEID联合纤维环缝合术(缝合组)。记录患者一般情况、手术时间及术后复发情况;收集手术录像,评估术中镜下纤维环破损情况;采用疼痛视觉模拟评分(VAS)及腰椎Oswestry功能障碍指数(ODI),分别在术前、术后1 d、1周、3个月及1年,对患者的手术疗效进行评价。术后第1天复查腰椎MR以评估突出椎间盘组织摘除的彻底性及神经减压的充分性。结果相比于非缝合组缝合组患者手术时间相对增加;纤维环边缘不均质高信号区域明显减少;椎间盘突出回缩程度更加显著;术后1 d、1周VAS评分改善明显;术后1年神经根支配区感觉障碍残留比例更低(P<0.05)。结论PEID联合纤维环缝合技术可实现纤维环一期闭合及神经周围环境重塑,缓解术后短期疼痛,减少远期神经支配区异常感觉残留,具有更加良好的临床疗效。

关键词：脊柱内窥镜髓核摘除术纤维环修复外科手术

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

超宽带电光调制芯片参数测试系统设计(特邀)

引用

光电技术应用 2024年第1期39卷 60-63,69页

作者：金辉盛立文鞠军委黄琳张爱国刘志明乔山中电科思仪科技股份有限公司青岛电子测试技术重点实验室青岛西安电子科技大学电子工程学院西安山东大学信息科学与工程学院青岛

电光调制器芯片的带宽、响应平坦度等频域参数是衡量电光调制器芯片性能的重要评价指标,研究了电光调制器芯片频域参数测试方法,建立了一种基于超宽频带光波元件分析仪的电光调制器芯片频响参数测试系统。在10 MHz~110 GHz范围内对电光... 详细信息

电光调制器芯片的带宽、响应平坦度等频域参数是衡量电光调制器芯片性能的重要评价指标,研究了电光调制器芯片频域参数测试方法,建立了一种基于超宽频带光波元件分析仪的电光调制器芯片频响参数测试系统。在10 MHz~110 GHz范围内对电光调制器芯片的核心频响参数进行了测试。实验结果表明,该方法测量结果与芯片设计目标一致性较好,是一种高效高精度的电光调制器芯片频响参数测试方法。

关键词：电光调制器芯片光波元件分析仪带宽响应平坦度

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Atomic insights of electronic states engineering of GaN nanowires by Cu cation substitution for highly efficient lithium ion battery

引用

Journal of Energy Chemistry 2022年第4期31卷 46-54页

作者： Zhenjiang Li Kesheng Gao Ying Han Shiqi Ding Yanglansen Cui Minmin Hu Jian Zhao Meng Zhang Alan Meng Jimmy Yun zhiming liu Da-Wei Wang Changlong Sun College of Materials Science and Engineering Qingdao University of Science and TechnologyQingdao 266042ShandongChina School of Chemical Engineering The University of New South WalesSydneyNSW 2052Australia Shandong Engineering Laboratory for Preparation and Application of High-performance Carbon-Materials College of Electromechanical EngineeringQingdao University of Science and TechnologyQingdao 266061ShandongChina Key Laboratory of Optic-electric Sensing and Analytical Chemistry for Life Science MOECollege of Chemistry and Molecular EngineeringQingdao University of Science and TechnologyQingdao 266042ShandongChina Qingdao International Academician Park Research Institute QingdaoShandong 266000China School of Materials Science and Engineering Beihang University100191 BeijingChina School of Materials Science and Engineering Xi’an Jiaotong UniversityXi’an 710049ShaanxiChina

Electronic engineering of gallium nitride(Ga N) is critical for enhancement of its electrode *** this work, copper(Cu) cation substituted Ga N(Cu-Ga N) nanowires were fabricated to understand the electronically engineered electrochemical performance for Li ion storage. Cu cation substitution was revealed at atomic level by combination of X-ray photoelectron spectroscopy(XPS), X-ray absorption fine structure(XAFS), density functional theory(DFT) simulation, and so forth. The Cu-Ga N electrode delivered high capacity of 813.2 m A h g^(-1) at 0.1 A g^(-1) after 200 cycles, increased by 66% relative to the unsubstituted Ga N electrode. After 2000 cycles at 10 A g^(-1),the reversible capacity was still maintained at326.7 m A h g^(-1). The DFT calculations revealed that Cu substitution introduced the impurity electronic states and efficient interatomic electron migration, which can enhance the charge transfer efficiency and reduce the Li ion adsorption energy on the Cu-Ga N electrode. The ex-situ SEM, TEM, HRTEM, and SAED analyses demonstrated the reversible intercalation Li ion storage mechanism and good structural stability. The concept of atomic-arrangement-assisted electronic engineering strategy is anticipated to open up opportunities for advanced energy storage applications.

关键词： Cu cation substitution Electronic states engineering GaN nanowires Lithium-ion batteries DFT

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Dendritic Deep Learning for Medical Segmentation

引用

IEEE/CAA Journal of Automatica Sinica 2024年第3期11卷 803-805页

作者： Zhipeng liu zhiming Zhang Zhenyu Lei Masaaki Omura Rong-Long Wang Shangce Gao the Faculty of Engineering University of ToyamaToyama-shi 930-8555Japan the Faculty of Engineering University of FukuiFukui-shi 910-8507Japan IEEE

Dear Editor,This letter presents a novel segmentation approach that leverages dendritic neurons to tackle the challenges of medical imaging *** this study,we enhance the segmentation accuracy based on a SegNet variant including an encoder-decoder structure,an upsampling index,and a deep supervision ***,we introduce a dendritic neuron-based convolutional block to enable nonlinear feature mapping,thereby further improving the effectiveness of our approach.

关键词： thereby Deep enable

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：