期刊文献+
共找到44篇文章
< 1 2 3 >
每页显示 20 50 100
基于GFScom的广义可能性Kriple结构中事件建模方法
1
作者 张胜礼 陈静 吴娇 《现代信息科技》 2024年第12期52-55,共4页
为了处理系统验证中大量存在的不确定性,国内学者将可能性理论引入到模型检测中,提出了广义可能性Kriple结构。广义可能性Kriple结构有着较好的应用前景,但有许多问题需要解决。其中的一个问题是,如何高效便捷地建立广义可能性Kriple结... 为了处理系统验证中大量存在的不确定性,国内学者将可能性理论引入到模型检测中,提出了广义可能性Kriple结构。广义可能性Kriple结构有着较好的应用前景,但有许多问题需要解决。其中的一个问题是,如何高效便捷地建立广义可能性Kriple结构的数学模型。为了给广义可能性Kriple结构中的模糊事件提供一种便捷方便的建模方法,在建模的过程中引入具有三种否定的广义模糊集(Generalized Fuzzy Sets with Contradictory,Opposite and Medium negation,GFScom),给出了广义可能性Kriple结构中的模糊事件的建模方法。应用实例表明所提方法是有效、可行的。 展开更多
关键词 模糊事件 广义可能性Kriple结构 广义模糊集GFScom
下载PDF
明清可能結構“V得來(不來)”“V得了(不了)”研究 被引量:2
2
作者 張赬 《历史语言学研究》 2019年第1期383-399,共17页
本文對明清時期可能結構"V得來(不來)""V得了(不了)"用法作了詳細考察描寫,並聯繫現代漢語普通話和方言,討論明清以来语法演变中通語與方言的互動關係。主要結論有:"V得來(不來)"産生於明中葉,是明清時... 本文對明清時期可能結構"V得來(不來)""V得了(不了)"用法作了詳細考察描寫,並聯繫現代漢語普通話和方言,討論明清以来语法演变中通語與方言的互動關係。主要結論有:"V得來(不來)"産生於明中葉,是明清時期通行於南北的句法結構,在雙音謂詞使用上"V得來(不來)"明顯佔優勢;"V不了"元代産生,清中葉才在北方通語背景的作品中常見,同時出現肯定形式"V得了";两组结构与唐宋时期产生的"V得(不得)"此期在"許可"義表達上形成對立;從明清到現代漢語,"V得(不得)""V得來(不來)"退出通語,"V得來(不來)"表示客觀可能用法消失,"V得了(不了)"又一直只用於北方,漢語以可能結構表達可能的方式衰落了。 展开更多
关键词 可能結構 明清通語 方言 情態範疇 語法演變
原文传递
蝴蝶效应、平行时空理论与电影结构——多种可能性罗列式电影叙事结构模式探析 被引量:12
3
作者 何溪 《齐鲁艺苑(山东艺术学院学报)》 2008年第2期37-40,45,共5页
本文通过对几部具有相似结构的影片进行分析,从物理学、美学等方面探讨这一特殊叙事策略的起源,并对该结构模式与传统线性叙事加以比较分析,建构出这种电影叙事结构的独特模型,同时探讨此种非线性电影叙事对观众心理的影响及其意义。
关键词 叙事 电影结构 蝴蝶效应 平行时空理论 多种可能性罗列式电影叙事结构
下载PDF
概率决策空间上的SPA可能度格序结构
4
作者 张春英 郭景峰 《广西师范大学学报(自然科学版)》 CAS 北大核心 2008年第4期45-48,共4页
在决策过程中,考虑到事件发生概率影响到决策状态的不确定性,在概率知识表示系统中融合集对分析方法,定义概率决策空间(Ω,A,P)上的SPA(set pair analysis)联系影响度,分析SPA联系度的偏序关系,定义SPA联系函数格,给出构建SPA联系函数... 在决策过程中,考虑到事件发生概率影响到决策状态的不确定性,在概率知识表示系统中融合集对分析方法,定义概率决策空间(Ω,A,P)上的SPA(set pair analysis)联系影响度,分析SPA联系度的偏序关系,定义SPA联系函数格,给出构建SPA联系函数可能度格序结构的方法,说明这种方法的有效性,为在概率决策空间上进行格序决策提供了一种新的数据描述方法。 展开更多
关键词 SPA联系函数 概率决策空间 SPA联系影响度 可能度格序结构
下载PDF
可能性述补结构的语义分析与比较
5
作者 沈清淮 《重庆师专学报》 1997年第3期32-35,共4页
本文所讨论的是这样一类语法结构:走得动/走不动、跑得快/跑不快、爬得上去/爬不上去、静得下来/静不下来……。这是一种专门用来表示可能或不可能性的述补结构,一般语法书叫做“可能补语”或“补语的可能式”,也还有一些其他的说法。... 本文所讨论的是这样一类语法结构:走得动/走不动、跑得快/跑不快、爬得上去/爬不上去、静得下来/静不下来……。这是一种专门用来表示可能或不可能性的述补结构,一般语法书叫做“可能补语”或“补语的可能式”,也还有一些其他的说法。为了方便叙述,我们用V表示“得/不”前的成分,用C表示“得/不”后的成分,把这类语法结构记作V得/不C,肯定式为V得C,否定式为V不C。本文主要对V得/不C结构的语义关系、语义结构、歧义现象和语义选择作些分析和比较。 展开更多
关键词 汉语 语法 语义分析 可能性述补结构
下载PDF
基于可能性测度的计算树逻辑CTL~*与可能性互模拟 被引量:11
6
作者 邓辉 薛艳 +1 位作者 李亚利 李永明 《计算机科学》 CSCD 北大核心 2012年第10期258-263,共6页
提出了基于可能性测度的计算树逻辑CTL*(PoCTL*)的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特别的研究。
关键词 可能的Kripke结构 可能性测度 可能性计算树逻辑PoCTL* 可能性互模拟 可能性Kripke结构
下载PDF
基于可能性测度的计算树逻辑 被引量:14
7
作者 薛艳 雷红轩 李永明 《计算机工程与科学》 CSCD 北大核心 2011年第9期70-75,共6页
首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义... 首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义的可能性测度具有其合理性等等。其次,给出了可能性计算树逻辑(PoCTL)的概念,讨论了两个PoCTL状态公式以及PoCTL与经典计算树逻辑(CTL)公式的等价性。最后,证明了PoCTL公式有与CTL*公式中"一致性"相对应的公式。 展开更多
关键词 可能的Kripke结构 可能性测度 可能性计算树逻辑 一致性
下载PDF
可能性测度下计算树逻辑的若干性质 被引量:7
8
作者 李亚利 李永明 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2013年第6期6-11,共6页
为讨论可能的计算树逻辑(PoCTL)与计算树逻辑(CTL)的关系,给出PoCTL公式与CTL公式等价的概念,利用公式的等价性证明了CTL是PoCTL的一个真子集.通过PoCTL模型检测算法与PoCTL公式的分析,解决了PoCTL模型检测的时间复杂度问题.最后对重复... 为讨论可能的计算树逻辑(PoCTL)与计算树逻辑(CTL)的关系,给出PoCTL公式与CTL公式等价的概念,利用公式的等价性证明了CTL是PoCTL的一个真子集.通过PoCTL模型检测算法与PoCTL公式的分析,解决了PoCTL模型检测的时间复杂度问题.最后对重复事件与持久性事件的定性性质及定量性质进行研究,用实例验证了CTL公式与PoCTL公式在可能性测度与概率测度下的本质区别. 展开更多
关键词 计算树逻辑 可能的Kripke结构 等价性 定性性质 定量性质
下载PDF
可能性测度下的LTL模型检测并行化研究 被引量:3
9
作者 雷丽晖 王静 《计算机科学》 CSCD 北大核心 2018年第4期71-75,88,共6页
分布式模型检测是一种缓解状态空间爆炸的有效途径,已有文献提出了定性的分布式模型验证算法,然而定量LTL验证算法并行化问题还未得到有效解决。对此,展开两个方面的工作:提出一种新的动态系统状态空间划分方法;在定性LTL分布式验证算... 分布式模型检测是一种缓解状态空间爆炸的有效途径,已有文献提出了定性的分布式模型验证算法,然而定量LTL验证算法并行化问题还未得到有效解决。对此,展开两个方面的工作:提出一种新的动态系统状态空间划分方法;在定性LTL分布式验证算法的基础上给出了定量模型检测并行化验证算法。首先,将系统模型转化为可能的Kripke结构并选取一个并发分量,依据状态之间的关系完成系统状态的分割,使得关系紧密的状态尽可能分布在同一个计算节点上;其次,调整划分结果以使得计算负载平衡;然后,将划分结果与其他并发分量的状态进行叉乘,以完成系统状态空间的划分;最后,将待检测性质用自动机表示,在两者的乘积上,利用扩展的基于嵌套DFS的分布式验证算法完成系统的定量验证。 展开更多
关键词 可能的Kripke结构 状态空间划分 定量分布式模型检测
下载PDF
新时空观的艺术体现——小议美国科幻电影叙事结构的特点 被引量:5
10
作者 刘奕华 罗嘉欣 《常州工学院学报(社会科学版)》 2014年第5期41-47,共7页
近年来,由于受到物理学界新时空观的影响,美国好莱坞推出了一批具有新型叙事结构的科幻电影,如循环结构和多种可能性并列结构。这两种典型的新式电影叙事结构彻底打破了传统科幻电影单向线性叙事的模式,不仅丰富了电影叙事艺术手法,推... 近年来,由于受到物理学界新时空观的影响,美国好莱坞推出了一批具有新型叙事结构的科幻电影,如循环结构和多种可能性并列结构。这两种典型的新式电影叙事结构彻底打破了传统科幻电影单向线性叙事的模式,不仅丰富了电影叙事艺术手法,推动了世界科幻电影的发展,还带给观众前所未有的审美体验。 展开更多
关键词 新时空观 美国科幻电影 叙事结构 循环结构 多种可能性并列结构
下载PDF
含结构突变的城镇居民消费与收入的长短期关系 被引量:9
11
作者 孙燕 《统计研究》 CSSCI 北大核心 2010年第3期22-28,共7页
考虑到改革开放以来的制度变迁因素,本文采用Gregory和Hansen等首先提出的考虑结构突变可能性的5种模型对1978-2007年我国城镇居民的消费与收入进行了Gregory-Hansen协整检验,为了进一步验证检验结果的可靠性,我们基于不同方法检验了变... 考虑到改革开放以来的制度变迁因素,本文采用Gregory和Hansen等首先提出的考虑结构突变可能性的5种模型对1978-2007年我国城镇居民的消费与收入进行了Gregory-Hansen协整检验,为了进一步验证检验结果的可靠性,我们基于不同方法检验了变结构协整关系的存在性和协整向量的稳定性。实证结果表明:转轨时期我国城镇居民人均收入与消费之间确实存在着含时间趋势的水平项漂移的协整关系。在此基础上我们又建立了消费收入的误差修正模型,由此可以看出消费者会根据长期均衡关系很快调整消费。要扩大消费就要在提高居民可支配收入的同时建立完善的社会保障体制。 展开更多
关键词 考虑结构突变可能性的协整关系 Gregory-Hansen检验 协整向量的稳定性检验 误差修正模型
下载PDF
IRP/DSM and Sustainable Development
12
作者 胡兆光 《Electricity》 2001年第1期31-33,共3页
This paper introduces the energy consumption status in China, elaborate the affects of the unreasonable energy consumption structure on energy environment and sustainable development of economy. Simultaneously, it poi... This paper introduces the energy consumption status in China, elaborate the affects of the unreasonable energy consumption structure on energy environment and sustainable development of economy. Simultaneously, it points out the solution, i.e., to implement integrated resources planning (IRP)/demand side management (DSM), and gives some recommendations on the way of implementing IRP/DSM. 展开更多
关键词 energy consumption structure energy environment sustainable development integrated resources planning (IRP) demand side management (DSM)
下载PDF
China's low-carbon transition for addressing climate change 被引量:3
13
作者 DU Xiang-Wan 《Advances in Climate Change Research》 SCIE CSCD 2016年第1期105-108,共4页
This study discusses high-carbon characteristics, the unsustainability of China's development, and the fact that China needs to transform its development mode. China's low-carbon transition must include indust... This study discusses high-carbon characteristics, the unsustainability of China's development, and the fact that China needs to transform its development mode. China's low-carbon transition must include industry structure adjustment, energy saving and efficiency increases, energy structure improvement, carbon sink development, adaptation capability, and low-carbon pilot schemes.Low-carbon urbanization is a key measure in China's low-carbon transition. China's urbanization faces high-carbon risks. Thus, this study presents a roadmap for transforming urbanization into a low-carbon one. The transition to low-carbon urbanization is a common trend in the developing world. There is a lot of room for international cooperation. 展开更多
关键词 Low-carbon transition URBANIZATION RISK ROADMAP
下载PDF
A Numerical Verification of Self-Similar Multiplicative Theory for Small-Scale Atmospheric Turbulent Convection 被引量:2
14
作者 SONG Zong-Peng HU Fei +3 位作者 LIU Yu-Jue CHENG Xue-Ling LIU Lei XU Jing-Jing 《Atmospheric and Oceanic Science Letters》 CSCD 2014年第2期98-102,共5页
The self-similar multiplicative theory(SSM theory), aims to interpret the scaling behavior of the temperature structure function. In the present paper, the author report results from a numerical simulation of atmosphe... The self-similar multiplicative theory(SSM theory), aims to interpret the scaling behavior of the temperature structure function. In the present paper, the author report results from a numerical simulation of atmospheric turbulent convection in order to verify this theory. The simulation was based on a shell model which was deduced from simplified atmospheric convection equations. The numerical results agreed well with the theory prediction of scaling law from the first order to the eighth order. They also showed that the prediction of this theory was better than that given by the Kolmogorov's theory in 1941, log-normal, and β model theories. 展开更多
关键词 turbulent convection structure function scaling law shell model
下载PDF
Some Structure and Comparison Results for Sequential Martingales in the Limit
15
作者 SUN Sheng-li 《Chinese Quarterly Journal of Mathematics》 CSCD 北大核心 2006年第3期434-442,共9页
There are several important generalizations of martingales such as games fairer with time, quasi-mils and sequential martingales in the limit. In the note, we shall consider all possible structures of a probability sp... There are several important generalizations of martingales such as games fairer with time, quasi-mils and sequential martingales in the limit. In the note, we shall consider all possible structures of a probability space (Ω,A, (An), P) associated with a stochastic basis(An) of sub a-fields of A with An ↑ A. Then, we shall apply them to establish some comparison results for the aforementioned generalizations of martingales. 展开更多
关键词 quasi-mils sequential martingales in the limit purely atomic a-field
下载PDF
读后续写的教学与备考建议(下)
16
作者 张春青 费胜昌 +8 位作者 谢慧萍 姜建军 段湘萍 张强 葛炳芳 田民 陆玉仙 李威峰 盛艳萍 《英语学习》 2017年第7X期35-38,共4页
高考读后续写评分的关注点张春青:对于写作题型的关注点,除了如何教,就是如何评价了,评价往往决定教学的方向,我们戏称为The tail wags the dog。姜建军老师和费胜昌老师有非常丰富的评分经验,下面请两位谈谈评分的主要关注点。姜建军:... 高考读后续写评分的关注点张春青:对于写作题型的关注点,除了如何教,就是如何评价了,评价往往决定教学的方向,我们戏称为The tail wags the dog。姜建军老师和费胜昌老师有非常丰富的评分经验,下面请两位谈谈评分的主要关注点。姜建军:高考试卷中读后续写题总分为25分,按5个档次给分。各档次的给分范围和要求见表1。段湘萍:如何理解这其中的关键词汇呢,如融洽度高、衔接合理?姜建军:以2016年10月高考试题为例, 展开更多
关键词 所使用语法结构和词汇较为丰富、准确 可能有些许错误 但完全不影响意义表达 比较有效
下载PDF
Malicious Base Station and Detecting Malicious Base Station Signal 被引量:2
17
作者 ZHANG Chen 《China Communications》 SCIE CSCD 2014年第8期59-64,共6页
This paper introduces the background,illustrates the hardware structure and software features of malicious base station,explains its work principle,presents a method of detecting malicious base station,analyses the ex... This paper introduces the background,illustrates the hardware structure and software features of malicious base station,explains its work principle,presents a method of detecting malicious base station,analyses the experiment and evaluates the experimental results to verify the reliability of this method.Finally proposes the future work. 展开更多
关键词 RADIO malicious base station LOCATION
下载PDF
Study on the Breakwater Caisson as Oscillating Water Column Facility 被引量:4
18
作者 HUANG Yan SHI Hongda +1 位作者 LIU Defu LIU Zhen 《Journal of Ocean University of China》 SCIE CAS 2010年第3期244-250,共7页
The Oscillating Water Column(OWC) wave energy convertor with the advantage of its simple geometrical construction and excellent stability is widely employed.Recently,perforated breakwaters have been often used as they... The Oscillating Water Column(OWC) wave energy convertor with the advantage of its simple geometrical construction and excellent stability is widely employed.Recently,perforated breakwaters have been often used as they can effectively reduce the wave reflection from and wave forces acting on the structures.Considering the similarity between the compartment of perforated caisson and the air chamber of OWC wave energy convertor,a new perforated caisson of breakwater is designed in this paper.The ordinary caisson is modified by installing facilities similar to the air chamber of OWC converter,but here they are utilized to dissipate the wave energy inside the caisson.Such an arrangement improves the stability of the caisson and reduces the construction cost by using the compartment of perforated caisson like using an air chamber.This innovation has both academic significance and important engineering value.For a new type of caisson,reliability analysis of the structure is necessary.Linear potential flow theory is applied to calculate the horizontal wave force acting on the caisson.The calculated results are compared with experimental data,showing the feasibility of the method.The Importance Sampling Procedure(ISP) is used to analyse the reliability of this caisson breakwater. 展开更多
关键词 wave energy perforated caisson breakwater OWC horizontal wave force ISP method reliability analysis
下载PDF
Preliminary Feasibility Study on Application of Very Large Scale-Photovoltaic Power Generation in China 被引量:1
19
作者 HuXuehao ZhouXiaoxin BaiXiaomin ZhangWentao 《Electricity》 2005年第1期48-52,共5页
Some energy experts believe that solar energy photovoltaic power generation is hopeful to be applied in a large amount and possesses a certain proportion in the structure of energy in the future. In this paper, based ... Some energy experts believe that solar energy photovoltaic power generation is hopeful to be applied in a large amount and possesses a certain proportion in the structure of energy in the future. In this paper, based on the forecasting of electric load demand and energy structure of power generation in the middle of 21 century, the pictures of VLS-PV power genera- tion is composed, the operation characteristic of VLS-PV power generation and the adaptability of electric power grid for it is analyzed, the ways for transmitting large amount of PV power and the economic and technical bottlenecks for applying VLS-PV power generation are discussed. Finally, the steps and suggestions for developing VLS-PV power generation and its electric power system in China are proposed. 展开更多
关键词 very large scale photovoltaic power generation preliminary feasibility study
下载PDF
Role of Wind Power in Energy Development in China
20
作者 Wei Zhaofeng 《Electricity》 2011年第2期35-40,共6页
In recent years,China has made significant achievements in optimizing its energy structure and tapping into renewable energy.Wind power,in particular,has been doubled in its development year by year between 2005-2009.... In recent years,China has made significant achievements in optimizing its energy structure and tapping into renewable energy.Wind power,in particular,has been doubled in its development year by year between 2005-2009.However,wind power develops too fast,which is not harmonious with the power system,the industry structure and the policy mechanism.Therefore,it is necessary to find the fundamental causes for the issue.Based on the inherent features and practical issues of wind power development in China,the role of wind power in energy development is put forward through probing logically into three perspectives,i.e.energy utilization,energy development and the ultimate objectives of wind power development.The current wind power development should be grounded on the improvement of wind power industrialization system,the smart grid and the research on new energy storage technology so as to lay firm foundations for large-scale development of wind power in the future. 展开更多
关键词 wind power energy grade energy development alternative energy
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部