期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
基于小系统理论的简化SET协议
1
作者 罗敏 方琳 施炜利 《计算机与现代化》 2014年第12期97-102,共6页
基于Lu&Smolka的SET协议支付过程简化模型,在小系统理论的基础上,运用Promela语言对协议进行形式化建模,采用线性时态逻辑LTL公式对协议的认证性进行形式化描述。在网络环境被入侵者控制的假设下,运用SPIN发现攻击;采用atomic和Bit-... 基于Lu&Smolka的SET协议支付过程简化模型,在小系统理论的基础上,运用Promela语言对协议进行形式化建模,采用线性时态逻辑LTL公式对协议的认证性进行形式化描述。在网络环境被入侵者控制的假设下,运用SPIN发现攻击;采用atomic和Bit-state hashing等优化策略,降低模型检测的复杂性,提高验证效率;最后针对协议存在的漏洞提出协议改进方案。 展开更多
关键词 小系统理论 SET协议 模型检测 SPIN 认证性
下载PDF
MULTI-SCALE GAUSSIAN PROCESSES MODEL 被引量:4
2
作者 Zhou Yatong Zhang Taiyi Li Xiaohe 《Journal of Electronics(China)》 2006年第4期618-622,共5页
A novel model named Multi-scale Gaussian Processes (MGP) is proposed. Motivated by the ideas of multi-scale representations in the wavelet theory, in the new model, a Gaussian process is represented at a scale by a li... A novel model named Multi-scale Gaussian Processes (MGP) is proposed. Motivated by the ideas of multi-scale representations in the wavelet theory, in the new model, a Gaussian process is represented at a scale by a linear basis that is composed of a scale function and its different translations. Finally the distribution of the targets of the given samples can be obtained at different scales. Compared with the standard Gaussian Processes (GP) model, the MGP model can control its complexity conveniently just by adjusting the scale pa-rameter. So it can trade-off the generalization ability and the empirical risk rapidly. Experiments verify the fea-sibility of the MGP model, and exhibit that its performance is superior to the GP model if appropriate scales are chosen. 展开更多
关键词 Gaussian Processes (GP) Wavelet theory MULTI-SCALE Error bar Machine learning
下载PDF
Filtering detecting signal of rockbolt with harmonic wavelet 被引量:5
3
作者 WANG Jiyan ZHAO Yucheng +1 位作者 YAO Banghua XU Jinhai 《Mining Science and Technology》 EI CAS 2010年第3期411-414,共4页
Harmonic wavelets not only possess the traditional advantages of a wavelet function,they also have other merits such as clear expressions,more flexible time-frequency divisions,a simple transformation algorithm,a fine... Harmonic wavelets not only possess the traditional advantages of a wavelet function,they also have other merits such as clear expressions,more flexible time-frequency divisions,a simple transformation algorithm,a finer box-like frequency spectrum and others.Given the frequency distribution characteristics of the nondestructive testing signals from a rockbolt support system and based on the discrete harmonic wavelet transformation theory,we have effectively abstracted signals from frequency ranges concerned by removing useless high and low frequency signals from the testing signals of the rockbolt support system and obtained filtered signals with a reconstruction algorithm of harmonic wavelets.Finally,we applied the harmonic wavelet transformation in filtering analog signals and measured response signals of rockbolts.The results indicate that harmonic wavelets also have excellent filtering characteristics. 展开更多
关键词 rockbolt support system TESTING harmonic wavelet FILTERING
下载PDF
Application of fractal theory in detecting low current faults of power distribution system in coal mines 被引量:5
4
作者 LIU Jian-hua LIANG Rui WANG Chong-lin FAN Di-peng 《Mining Science and Technology》 EI CAS 2009年第3期321-325,共5页
Single-phase low current grounding faults areoften seen in power distribution system of coal mines.These faults are difficult to reliably identify.We propose a new method of single-phase ground fault protection based ... Single-phase low current grounding faults areoften seen in power distribution system of coal mines.These faults are difficult to reliably identify.We propose a new method of single-phase ground fault protection based upon a discernible matrix of the fractal dimension associated with line currents.The method builds on existing selective protection methods.Faulted feeders are distinguished using differences in the zero-sequence transient current fractal dimension.The current signals were first processed through a fast Fourier transform and then the characteristics of a faulted line were identified using a discernible matrix.The method of calculation is illustrated.The results show that the method involves simple calculations, is easy to do and is highly accurate.It is, therefore, suitable for distribution networks having different neutral grounding modes. 展开更多
关键词 low current faults zero sequence transient current fractal dimension discernible matrix selective protection
下载PDF
The Construction of Learning Object: Tools for the Teaching
5
作者 Me. Clarice Ghisi 《Sino-US English Teaching》 2016年第8期627-643,共17页
The main objective of this work was the construction of a Multidisciplinary Learning Object as a tool for teaching, enabling the use of information and communication technologies for use by teachers acting in elementa... The main objective of this work was the construction of a Multidisciplinary Learning Object as a tool for teaching, enabling the use of information and communication technologies for use by teachers acting in elementary school, based on Discourse Analysis, Theory Cybernetic-systemic, the Multiple Intelligences and Collaborative Learning. All of them are informed by Foucault, Pecheux, Bakhtin, Gardner, Levy, and others. The theoretical contribution is justified to the extent that the student is above all a being inserted into a user company tool created by it over time, to act on the world. Theoretical principles underlying the construction of learning objects as tools for teaching are related to teaching and learning. The developed learning object establishes the link between the fields of pedagogy and usability, the step by step construction of each of them and their purposes, characteristics, and all detailed in the development of research. The construction of the learning object follows the steps of a methodological construction for the development of a computerized product, followed by a systematic planning and the design and construction. 展开更多
关键词 learning theories learning object CONSTRUCTION
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部