![数学模型构造与推导的实例分析_数学论文]()
例析数学模型的建构与演绎，本文主要内容关键词为：数学模型论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。模型思想是《义务教育数学课程标准（2011年版）》新增...
![逻辑：表现力与复杂性的平衡_集合论论文]()
逻辑：表达力与复杂性之间的平衡，本文主要内容关键词为：复杂性论文,逻辑论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：B81文献标志码：A文章编号...
![赫尔曼的模态结构主义_结构主义论文]()
赫尔曼的模态结构主义，本文主要内容关键词为：结构主义论文,赫尔曼论文,模态论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：N02文献标识码：A文章...
![汉语“知”的逻辑表征_公理系统论文]()
汉语“知道”的逻辑刻画，本文主要内容关键词为：汉语论文,逻辑论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：B81文献标识码：A文章编号：1674...
![从对象模式的还原看：一种逻辑哲学探索*_模态分析论文]()
从物模态的还原：一个逻辑哲学探究*，本文主要内容关键词为：逻辑论文,哲学论文,模态论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。[中图分类号]B81-05[...
![非线性期望理论与基于模型不确定性的风险度量_期望理论论文]()
非线性期望理论与基于模型不确定性的风险度量，本文主要内容关键词为：不确定性论文,度量论文,模型论文,风险论文,理论论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下...
![基于tableau的自动推理研究]()
刘全,孙吉贵,于万钧[1]2005年在《基于tableau的自动推理技术综述》文中研究表明tableau方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,成为目前最普及的自动推理方法之一。在提高系统效率方面,主要在相关技术和策略、理论和方法等方面进行了分析,并展望了未...
![VHDL高级综合系统中组合逻辑综合的研究与实现]()
王文海[1]2004年在《VHDL高级综合系统中组合逻辑综合的研究与实现》文中研究指明随着电子计算机及其相关技术的发展，计算机辅助设计(CAD)和电子设计自动化(EDA)正在全世界范围内兴起。高级综合是在逻辑综合的基础上发展而来的，它从高层次的行为描述开始，自动综合出低层次的结构描述，从而降低了设计...
![可信密码学计算的关键技术及其在电子商务中的应用]()
伍前红[1]2004年在《可信密码学计算的关键技术及其在电子商务中的应用》文中提出本文对可信密码学计算的关键技术进行比较深入的研究,内容包括高效的知识证明协议、可信的公钥加密与不经意加密、高安全性的数字签字与匿名数字签字、可信的电子商务协议设计等问题,提高这些密码学原型与系统的安全性与效率。主要成果...
![基于Multi-Agent技术的知识共享系统研究]()
李春梅[1]2001年在《基于Internet/Intranet和Multi-Agent的企业经营战略群体决策支持系统研究》文中指出随着信息技术和通讯技术的迅速发展，动态联盟的出现，异地/异时的分布式群体决策已经成为新的趋势。作为计算机协同工作（CSCW）的一个分支，分布式群体决策过程实际上是一种群...
![嵌入式SRAM优化设计]()
郑丹丹[1]2009年在《嵌入式CPU的纳米尺度SRAM设计研究》文中提出静态随机存储器SRAM作为嵌入式IP应用的一类最主要的高速缓存,已经成为当前数字集成电路领域的一大研究热点。随着集成电路设计进入纳米时代,工艺的进步对嵌入式SRAM的设计提出了新的挑战。本文围绕应用于32位嵌入式CPU的高性能...
![基于DFL的agent的问题求解模型及其应用研究]()
梅毓[1]2003年在《基于DFL的agent的问题求解模型及其应用研究》文中研究说明基于动态模糊逻辑(DFL)给出了DFLagent的逻辑模型，建立一个基于多agent的问题求解模型。主要包括以下几个方面的工作：(1)分析了当前问题求解理论的不足，针对这些不足，给出基于DFLagent的模型；(2...
![汽车防抱制动逻辑门限控制算法研究]()
冯谣[1]2014年在《汽车防抱死制动系统PID控制算法仿真研究》文中研究说明随着科学技术和汽车的普及发展，让人对汽车制动性能提出了更高的要求，防抱死制动系统可自动调整汽车制动力的大小，防止汽车车轮锁死，得到最好的制动效果，并且确保车辆的操纵稳定性。目前来看，在ABS的实际产品中，很多采用的是逻辑门...
![多主体系统中的协商研究及其在电子商务中的应用]()
王泊[1]2002年在《多主体系统中的协商研究及其在电子商务中的应用》文中提出计算机和网络技术的不断发展,使得网络上的商务行为越来越普遍,信息资源也越来越多。相对而言,客户的时间成本成了相对稀缺的资源。因此,适应网络和信息发展的需要,利用计算机来替代人在商务活动中的部分工作,或提供相关的支持,成为对...
![安全协议模型检验技术研究与实现]()
李梦君[1]2005年在《安全协议形式化验证技术的研究与实现》文中认为协议是指两个或者两个以上的参与者为完成某一项特定任务相互约定的执行步骤和执行规则。协议的定义包含叁层含义:(1)协议至少有两个参与者;(2)协议在参与者之间表现为消息交换和消息处理交替进行的一系列步骤;(3)协议的执行是为了能够完...
![模糊逻辑形式系统的若干完备性定理]()
王叁民[1]2001年在《模糊逻辑形式系统的若干完备性定理》文中研究说明近年来，模糊控制技术在应用方面取得举世瞩目的成功．然而，作为其核心的模糊推理，正如文[6]所言，在数学基础上却并非无懈可击，至今都没有归入严密的逻辑系统中．所以，以研究模糊推理的数学基础为核心的模糊逻辑，作为一个全新的数学领域，...
![密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑]()
李益发[1]2001年在《密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑》文中研究指明本文探讨了其它BAN类逻辑的缺陷及其产生原因，在此基础上提出了一种新的BAN类逻辑。首先，本文探讨了BAN类逻辑的缺陷，并对产生缺陷的原因作了细致的分析，提出了作者自己独特的看法。其次，本文首次阐释、构建...
![通用DCS仿真平台的设计]()
韩超,刘晓宇,马永光,刘卫亮[1]2012年在《通用DCS组态平台的设计与开发》文中指出为了满足配有多种DCS的发电厂控制系统组态培训需要和减少投资,设计并开发了基于美国艾默生过程控制公司OvationDCS的通用DCS组态平台,该平台能够仿真美国ABB控制公司的SymphonyDCS等多种DCS组...
![模糊粗糙理论及其模态逻辑的研究]()
赵磊[1]2001年在《模糊粗糙理论及其模态逻辑的研究》文中研究指明粗糙集作为一种处理不精确，不确定与不完全数据的新的数学理论，该理论与概率论，模糊数学，信息论和证据理论等其他处理不确定和不精确性问题的理论有很强的互补性，本文就粗糙集和模糊集的交叉领域进行了研究。本文结合模糊集的构造性质和模糊性，对...
![认证协议的分析设计]()
万涛[1]2016年在《多服务器环境的认证与密钥协商协议的研究》文中研究指明随着互联网应用的快速发展,远程用户认证协议成为服务应用过程中一个重要的问题。越来越多的网络架构在多服务器环境下。但是,如果将单服务器环境下的认证协议应用于多服务器环境的话,用户将需要记住与各种不同服务器之间登录认证使用的用户...
