共查询到20条相似文献,搜索用时 15 毫秒
1.
一个新的模糊谓词演算形式系统 总被引:6,自引:0,他引:6
首先,在模糊逻辑命题演算形式系统Ω^*的基础上,讨论了相应的谓词演算理论,建立了一阶形式系统K^*,基于R0代数的基本理论,给出了系统K^*的若干语义概念,包括M-解释I,I-赋值,公式的值,真,M-逻辑有效性等,从而形成了模糊谓词演算一种新的语构与语义体系。其次,研究了系统K^*的基本性质,指出了系统Ω^*的定理都是系统K^*的定理,给出了系统K^*与量词有关的一些重要定理,证明了系统Ω^*的重言式在系统K^*中的代换实例都是系统K^*中的定理关于任何R0链也是逻辑有效的;系统K^*的强可靠性定理也成立,即系统K^*在任何理论T下的定理关于任何R0链也是逻辑有效的。最后给出并证明了系统K^*的一种新的演绎定理,一阶系统K^*及其重要的性质,为模糊推理提供了一种更为合理的逻辑框架。 相似文献
2.
3.
林中达 《东南大学学报(自然科学版)》1995,(4)
实时性是过程控制系统的重要技术指标之一,本文以计算机控制系统为目标,分析了系统的实时响应能力,从数字模型出发,论述了实时响应与系统负载的关系。文章还进一步探讨了系统的优先级对实时性的影响。 相似文献
4.
相似学,相似系统化是近年发展起来的边缘学科,相似元,系统相似度等概念的引使火炮系统全在数的物理模拟成为可能。该文阐述了系统与火包的关系,讨论了不同类型及口径火炮系统间相似要素的识别,提出了火炮系统相似性分析一般原理,建立了相应的数学模型,给出了相似元,系统相似度的计算公式,进行了系统动态特性分析。 相似文献
5.
基于WEB的考试模型探讨 总被引:1,自引:0,他引:1
牛娃 《辽宁大学学报(自然科学版)》2003,30(1):51-54
基于Web的考试系统是考试的发展方向,是远程教育的一个重要组成部分,它采用B/S模型,分析了基于Web系统的考试模型及功能,研究了考试系统实现的关键技术,并在具体系统中做了实现。 相似文献
6.
在Pecora和Carroll提出的驱动-响应同步方法中,响应系统是直接复制驱动系统的稳定子系统。但是,这种方法对有些系统是失效的,因此提出了实现混沌系统驱动-响应同步的另一种方案。在此方案中,响应系统不是直接复制驱动系统的稳定子系统,而是由驱动系统中的多个变量组合。同时在响应系统中,引入了驱动函数,提出了构造驱动函数的方法,以实现Pecora和Carroll方法所不能实现的混沌同步,并给出了具体的应用示例。 相似文献
7.
报道了一个分段线性离散系统的混沌引子,通过系统对初始条件的敏感依赖性研究,得出此吸引子是全局吸引的。为进一步证实此系统是混沌系统,又对此系统进行了不同初始条件下的混沌同步研究,利用反馈同步方法,很容易地实现了此系统的混沌同步。最后对混沌系统的开关项变化问题进行了研究,通过数值计算,得出不同开关参数下,混沌吸引子的形状是完全一样的,不同的是混沌吸引子在状态空间的形状围成的面积将发生变化。 相似文献
8.
基于系统的观点,讨论了智能制造的基本概念内涵,对智能制造若干基本问题提出了认识上的见解。指出智能制造系统的本质特征是其整体的自组织能力与个体的自主性,其基本格局是分布式多自主体协同求解系统,并且具有层次性及层次自相似特征,最后讨论了智能制造系统的现实性,探讨了智能制造系统的两种实现模式。 相似文献
9.
微光机电一体化系统简称微系统,是当今技术发展的前沿领域之一。微系统技术的发展将大大地促进许多产品或装置微型化、集成化和智能化,成倍地提高器件和系统的功能密度、信息密度与互连密度,大幅度地节能降耗,有广阔的应用领域和市场。文章阐述了微系统研究的意义以及微系统基础研究的重要性,概述了用于无线通信设备的MEMS器件的性能,指出了MEMS技术是最终实现单芯片机电一体化无线收发系统的根本途径之一,介绍了用于无线通信网络的单芯片机电一体化的微系统研究进展情况。 相似文献
10.
一类非线性系统的稳定性 总被引:3,自引:0,他引:3
研究了一类非线性系统的输入输出稳定性问题,这类系统的特点是其模型为系统输出的线性拟函数。对非线性稳定性系统,利用稳定性的线性等价原理,提出了这一类非线性系统的稳定性判据;对非线性随机系统,给出了m阶均值意义下的稳定性定义,提出了一种二阶均值下的输入输出稳定性条件,给出了几个示例说明。 相似文献
11.
12.
对具有Holling Ⅳ类功能性的非自治捕食系统进行了研究,得到了系统一致持久生存的充分条件,并且当系统是周期系统时,得到了正周期解的存在唯一性,全局渐近稳定的充分条件。 相似文献
13.
在有线电视系统中,防雷设计是一项十分重要的工作,也是若干有线电视工作者长期研究的课题。本文首先分析了雷电对有线电视系统的影响,针对雷电的危害,提出了有线电视系统防雷的若干措施。 相似文献
14.
电控泵-管-阀-嘴燃油喷射系统的研究与开发 总被引:11,自引:0,他引:11
燃油喷射系统的柔性控制是现代柴油机发展的必然趋势,电子控制的燃油喷射系统是实现燃油喷射过程柔性控制的有效手段。电控泵-管-阀-嘴燃油喷射系统是在综合各种电控燃油喷射系统特点的基础上形成的对机械式泵-管-嘴系统实现电子控制的新型系统。该文分析了电控泵-管-阀-嘴燃油喷射系统的构成和工作原理,设计和开发了满足该系统工作要求的控制装置,通过试验验证了电控喷射系统工作的可行性,还研究了一些结构和调整参数对系统性能的影响,试验结果表明该新型电控喷射系统具有较好的综合控制性能。 相似文献
15.
阐述了系统动力学的特点,对于在纺织工业中使用系统动力学分析研究一些问题的必要性进行了说明。给出了系统动力学模型的建模原理,并对某地的棉纺工业作为系统动力学模型进行了系统仿真,予测了棉纺的产量,仿真的数据和实际的结果是吻合的。 相似文献
16.
多技术间的协同和集成涵盖了多学科领域的过程、运动以及相应的硬件和软件,决定了机电一体化系统的高度复杂性。与传统的机械系统不同.机电一体化系统是一个高阶系统,耦合在一起的多维参数对应(控制)多种物理功能;它是一个多回路的反馈系统,一个非线性系统。在机电一体化系统的运行过程中,系统的所有行为应当受到系统控制器的管理和监控。不过,如何确保必需的系统要素受到控制,以便使控制系统能够监管复杂的系统运行仍然是一个极其关键的问题。 相似文献
17.
针对国家西部开发过程的可持续,对暖通空调的合理运用作了简要说明,作为暖通空调系统的分支--地源热泵系统,文中对于其运用优势作了简要说明,强调这种系统是满足可持续发展的,是一种绿色空调,具有可实施性;同时,对地源热泵系统的关键技术和与之相适应的地质条件作对比,揭示了运用一源热源的关键点,根据环境条件作者将西部地区分为3类地区,针对这3类地区,将地源热泵系统运用的可行性分别作了说明,并总结了实施该系统的相应方案。 相似文献
18.
用LabVIEW实现通信虚拟实验系统 总被引:3,自引:0,他引:3
为了将虚拟仪器技术应用于实践教学中,基于虚拟仪器开发平台(LabVIEW),设计了通信虚拟实验系统,并应用于通信实验教学中。利用虚拟仪器技术,设计了6个虚拟实验和3个虚拟仪器,将整个系统网络化,形成远程虚拟实验系统,该系统是一个功能较完善的虚拟实验系统,有效地提商了通信实验教学的质量与水平。 相似文献
19.
20.
面向经营的制造系统设计 总被引:2,自引:0,他引:2
在新的环境下,产品开发是企业实现对市场快速响应和产品创新的核心,产品开发成功地关键是产品开发的速率与的有效性。面向企业经营的设计(DFB)是解决产品开发有效性的关键技术,而制造系统是企业与产品之间的桥梁。作者讨论了面向经营的产品设计方法,提出了面向经营的制造系统的设计流程和内容,对制造系统的结构定义、制造系统的结构设计、制造系统的详细设计进行了阐述,建立了面向经营的制造系统设计过程模型。 相似文献