检索结果-南通市图书馆

舰船力学情报 1992年第12期 45-46页

作者：张开荣

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于模型检测的微服务组合平台QoS验证

计算机应用 2020年第11期40卷 3267-3272页

作者：毛昕怡钮俊丁雪儿张开乐宁波大学信息科学与工程学院浙江宁波315211

针对当前缺少对微服务组合平台的服务质量(QoS)指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台性能的因素进行分析评估。首先,将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶... 详细信息

针对当前缺少对微服务组合平台的服务质量(QoS)指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台性能的因素进行分析评估。首先,将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶段,并分别由服务请求队列、服务请求配置器和提供服务资源的虚拟机等模块实现;其次,将各个模块的实现过程建模为带标记Markov回报模型(LMRM),借助类似于进程代数的同步概念获得微服务组合过程的全局模型;接着,用连续随机回报逻辑公式刻画期望的QoS指标;最后,将形式模型与逻辑公式作为模型检测工具PRISM的输入以获得验证结果。实验结果表明,LMRM可较好地用于微服务组合平台的建模和QoS验证分析。

关键词：微服务组合连续时间Markov链连续随机回报逻辑模型检测 PRISM

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

推进“平安黄山”建设打造全省最稳定城市

徽州社会科学 2007年第6期 4-8页

作者：张开南

市委、市政府日前召开全市平安建设工作会议，目的是总结过去一年多来“平安黄山”建设的经验，对当前和今后一个时期平安建设工作进行再动员、再部署，进一步发动全市上下咬定目标，凝心聚力，全面推进“平安黄山”建设，努力把黄山打... 详细信息

市委、市政府日前召开全市平安建设工作会议，目的是总结过去一年多来“平安黄山”建设的经验，对当前和今后一个时期平安建设工作进行再动员、再部署，进一步发动全市上下咬定目标，凝心聚力，全面推进“平安黄山”建设，努力把黄山打造成为全省最稳定、最平安的城市，为推动全市经济社会又好又快发展，构建和谐黄山，营造稳定祥和的社会环境。——特刊登市委副书记张开南同志在全市平安建设工作会议上的讲话，供大家学习。

关键词：平安建设黄山稳定城市市委副书记经济社会社会环境市政府

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

诉讼法律文化的演变

文化学刊 2020年第7期 161-163页

作者：张开敏黑龙江大学

文化对于生活来说是很重要的,可以说人们就是生活在某种特定的文化形态之中。文化包括很多内容,法律文化就是其中一个重要部分。虽然我国传统诉讼法律文化的实体已经不存在于现代司法体系之中,但是其中某些思想还是得以保存,对我国现代... 详细信息

文化对于生活来说是很重要的,可以说人们就是生活在某种特定的文化形态之中。文化包括很多内容,法律文化就是其中一个重要部分。虽然我国传统诉讼法律文化的实体已经不存在于现代司法体系之中,但是其中某些思想还是得以保存,对我国现代诉讼法律文化的形成产生了重要影响。我国现代司法改革逐步深入,厘清传统法律文化对司法改革的影响是当务之急,对我国的司法改革具有重要的理论意义和实践意义。

关键词：诉讼法律文化演变传统诉讼法律文化现代司法体系司法改革

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

关于我市发展服务业的考量与建议

徽州社会科学 2012年第7期 8-9页

作者：张开南

服务业是国民经济的重要组成部分，其发展程度是衡量区域综合竞争力和现代化水平的重要标志。我市作为安徽省唯一承载全国服务业综合改革试点城市，得到了省委、省政府的高度重视和省政协的大力支持，去年底，省里召开了服务业发展大会... 详细信息

服务业是国民经济的重要组成部分，其发展程度是衡量区域综合竞争力和现代化水平的重要标志。我市作为安徽省唯一承载全国服务业综合改革试点城市，得到了省委、省政府的高度重视和省政协的大力支持，去年底，省里召开了服务业发展大会，省委书记张宝顺在会上明确指出，未来五年是服务业大有可为的黄金发展期，要大力发展生产性服务业，全面提升生活性服务业，培育发展新兴服务业，确保实现服务业增加值翻一番目标。目前，我市正按照省委、省政府的统一部署，扎实深入地开展这项工作，并取得了较好的成效。

关键词：生产性服务业区域综合竞争力考量省委书记新兴服务业国民经济试点城市省政府

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

“X+类词缀”新词构成分析

语文学刊(教育版) 2015年第5期 31-33+35页

作者：张开国北方民族大学文史学院

本文对2008;012年的"X+类词缀"新词的构成进行分析。"X+类词缀"新词主要以框填形式进行,本文主要分析了进入这个框式的词根和类词缀。首先,把词根分为汉语词根和非汉语词根。然后,从类词缀的词性和语义的角度分析"X+类词缀"新词的构成:... 详细信息

本文对2008;012年的"X+类词缀"新词的构成进行分析。"X+类词缀"新词主要以框填形式进行,本文主要分析了进入这个框式的词根和类词缀。首先,把词根分为汉语词根和非汉语词根。然后,从类词缀的词性和语义的角度分析"X+类词缀"新词的构成:按词性,把类词缀分为名词性类词缀、动词性类词缀、形容词性类词缀;按语义,把类词缀分为有[+人的]、有[+亲属]的、有[+社会事件]的、有[+社会事物]的。

关键词：类词缀新词构成词根词性语义

机器登上历史舞台(上) 回望人类发明之路(十二)

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国发明与专利 2004年第12期1卷 34-39页

作者：张开逊

在18世纪的欧洲,人们利用空气和水,在火的参与下制成了一种奇特的机器,可以把自然界的燃料变成源源不断的动力,代替沉重的体力劳动。这项发明使人类的生产方式发生了历史性变革,从英国开始,波及全世界。人类发明活动的一条重要脉络表明... 详细信息

在18世纪的欧洲,人们利用空气和水,在火的参与下制成了一种奇特的机器,可以把自然界的燃料变成源源不断的动力,代替沉重的体力劳动。这项发明使人类的生产方式发生了历史性变革,从英国开始,波及全世界。人类发明活动的一条重要脉络表明,人们总是希望用最少的力气创造尽可能多的财富。通过驾驭牲畜和利用水力、风力,人们达到了一小部分目的但是,牲畜受到动物生命活动规律的制约,不仅力量有限,还会衰老死亡。水力,风力则受到地域和季节限制,只在不多的地方可以利用。数千年来,人类劳动主要依靠自身的体力。然而,人是一种具有智慧但并不擅长体力劳动的灵长类生物,可以想出很多种主意。

关键词：生命活动规律历史性变革季节限制人类劳动

维普期刊数据库