共查询到20条相似文献,搜索用时 95 毫秒
1.
2.
本文首先分析了矿井探测中遇到的信号干扰种类,结合噪声信号的特点,提出了基于电磁感应的矿井探测方法,给出了其原理图和设计原则.然后详细论述了电磁感应探测方法的具体实现,给出了各主要测试参数的计算公式,明确了在探测过程中需要采集的各种信号.为了验证提出的电磁感应探测方法,最后采用了MATLAB建立了仿真测试模型,并给出了仿真测试结果. 相似文献
3.
面向智能电网的云计算技术研究 总被引:1,自引:0,他引:1
对面向智能电网的云计算技术进行了研究。首先,引入了云计算的基本概念,分析了它的关键特征。其次,将云计算和智能电网技术进行了融合,提出了智能云的概念。随后,深入研究了智能云的构建、资源管理和安全策略问题。最后,给出了结论和未来的研究工作。 相似文献
4.
5.
本文首先概要介绍了数据交换的基础概念和现状,分析了现有的数据交换技术,研究了主要的数据交换机制,对数据映射、工作流技术进行了探讨,重点介绍了数据交换的技术。在理论研究的基础上,设计了一个基于标准XML数据格式和XSLT数据映射格式,结合工作流引擎的数据交换系统模型。该系统模型解决了校园网多个异构系统的数据集成和业务集成的问题,充分考虑了系统的安全性和扩展性,为校同网的信息化建设提供了很好的参考模型。 相似文献
6.
小学语文教学应用于多媒体技术,实现二者的整合,营造了宽松的学习环境,突出了学生的主体地位,激发了学生的创新意识。多媒体技术的应用为小学语文教学改革带来了机遇与挑战,为学生提供了全面的感性材料,活跃了教学气氛,激发了学习欲望。多媒体技术与小学语文教学有机结合,形成了一种全新的学习方式。本文试就发挥多媒体技术的优势,营造轻松的学习氛围进行了阐述。 相似文献
7.
8.
智能家居及其发展趋势 总被引:1,自引:0,他引:1
介绍了智能家居的发展历程,阐述了智能家居的定义和功能,介绍了其关键技术和嵌入式在智能家居中的应用,预测了其发展趋势,阐明了研究智能家居的重要意义,并指出了智能家居在控制系统、智能建筑系统和计算机领域的广泛运用,将使电子科学和计算机科学等科学中产生革命性的变革. 相似文献
9.
该文阐述了传统的新产品的开发过程和利用计算机仿真技术开发新产品的过程,总结了这两种开发过程的特点,给出了系统仿真的一般步骤.介绍了计算机仿真技术及其在包装机械研制中的两个实际生产的例子,并总结了利用计算机仿真技术开发新产品的特点,它加快了新产品的研制和开发过程,提高了劳动生产率,降低了生产成本,保证了交货日期,提高了产品质量.因此,计算机仿真技术在包装机械研制领域将会得到越来越广泛的应用. 相似文献
10.
贺拴运 《电脑爱好者:普及版》2008,(8):22-24
宽带流行了,播客兴起了,FLV吃香了,菜鸟也坐不住了,迅即抱回了DV,开通了播客。历经N天修炼,Flash视频终于成为菜鸟的拿手好菜之一。播客的兴起,使得Flash视频(FLV)格式大行其道。究其原因,不外乎FLV视频避免了不安装特定视频插件就 相似文献
11.
简要回顾了控制理论的发展历程,给出控制理论各个阶段的发展特点,对认识控制理论的发展脉络和各种控制理论的地位及作用具有借鉴意义。控制理论的发展经历了几个重要的阶段,从传统控制理论到现代控制理论,再到大系统控制理论;从计算机控制理论到智能控制理论、人机结合控制理论,再到自主型控制理论,在每一个阶段都有其独到的特色,并且各个阶段的理论相互继承、相互影响,水乳胶溶共同发展。 相似文献
12.
13.
子句型自相容缺省理论的扩张 总被引:2,自引:0,他引:2
自相容缺省理论是一种颇具优良性质的特殊缺省理论,从子句着手是一般逻辑揄常用的方法,文中Reiter缺省理论和张明义的自相容缺省的理论的研究基础上,进一步研究了子句型闭自相容缺省理论,文中首先给出了自相容缺省理论的扩张个数的单调性定理,然后将Reter关于正规缺省理论的证明论推广到自相容缺省理论,得出了自相容缺省理论的缺省证明、自顶向下缺省证明和信念个性的相关定理。 相似文献
14.
泛论控制工程对控制理论的需求 总被引:1,自引:1,他引:0
从控制理论的内容上将控制理论分为模型控制论和工程控制论,并且阐述了两者的关系;讨论了反馈控制系统对控制理论的需求,从目标函数的多少、控制策略集的大小以及控制策略的求取三方面研究反馈控制系统对控制理论的要求;研究了自动化对控制理论的需求。为了解决此课题,从扩展目标函数入手,给出复杂控制系统的概念,并且给出了复杂系统控制理论的主要内涵,展望了复杂控制系统控制理论的意义。 相似文献
15.
16.
Michael Hedberg 《Journal of Automated Reasoning》1996,16(3):369-425
We present an interpreation of a constructive domain theory in Martin-Löf's type theory. More specifically, we construct a well-pointed Cartesian closed category of semilattices and approximable mappings. This construction is completely formalized and checked using the interactive proof assistant ALF. We base our work on Martin-Löf's domain interpretation of the theory of expressions underlying type theory. But our emphasis is different from Martin-Löf's, who interprets the program forms of type theory and proves a correspondence between their denotational and operational semantics. We instead show that a theory of domains can be developed within a well-defined fragment of (total) type theory. This is an important step toward constructing a model of all of partial type theory (type theory extended with general recursion) inside total type theory. 相似文献
17.
18.
为了使证据理论能更加有效地应用,把证据理论向模糊集推广,利用模糊集的隶属函数提出一种构造证据理论中的基本概率赋值函数的方法,实现了模糊理论和证据理论的有效结合。不但有效地解决了证据理论中的基本概率赋值函数的不易确定问题,而且由于证据理论应用于实际更加方便和有效,融合结果也更加合理。 相似文献
19.
Over the past decade, there has been increasing interest in the use of grounded theory in information systems research. Grounded theory is a qualitative research method that seeks to develop theory that is grounded in data systematically gathered and analysed. The purpose of this paper is to suggest guidelines for grounded theory studies in information systems. Our guidelines are based on a framework for theorizing in grounded theory studies that focuses on conceptualization and theory scope. Our hope is that the guidelines will help to raise the quality and aspirations of grounded theory studies in information systems. 相似文献
20.
缺省推理是各种非单调推理系统中最在影响的系统之一。R。Reiter对规范缺省理论作了一系列的研究。他还提出了证明理论,并证明了这一证明理论对于规范缺省理论来说是完备的。W。Etherington则提出了应用范围更为广泛的有序半规范缺省理论。本文先证明了这类缺省理论具有半单调性等各种性质,然后证明了R。Reiter的证明理论对于有序半规范缺省理论也是完备的。 相似文献