证明系统相关论文
初等群论的证明系统EG一System/刘叙华、刘卓军(计算机科学系)刀计算机学报一1987,NO.8.在算子Fuzzy逻辑中带有相等关系的Fuzzy推......
倒立摆是典型的欠驱动系统.通过研究二级倒立摆的动力学特征,先用无源性理论证明其符合无源性条件.然后从能量的角度出发用Lyapuno......
因镀锡钢板耐腐蚀性能检测需要,研发了镀锡板耐腐蚀性能检测仪.仪器主要由样品预处理装置,腐蚀装置、样品检测装置和计算机系统等......
Applied pi-演算是用来表示和分析安全协议的演算。它从pi-演算中继承了通信，并发以及限制算子。它引入了原语函数和等值理论来表示......
模态逻辑是研究必然、可能及其相关概念的逻辑。模态逻辑是逻辑学最为重要的分支之一，它的理论、思想、技术和方法不仅是逻辑学中占......
该文用符号化方法对带有不等名测试算子π-演算模型中开观察同余关系进行了深入研究.主要的工作包括以下三方面:1.参照Fu和Yang关......
随着硬件描述性语言(Hardware Description Language,HDL)的高速发展,Verilog作为一种标准化的硬件描述性语言,被广泛地应用在数字......
<正> 我矿湿法系统电解工序投产十余年来,一直沿用大循环间断进液方式进行电解,其间隔时间长达六、七小时以上,致使电解液中的锌酸......
由鞍钢设计院和柳州钢铁厂共同研制开发的柳钢3号高炉(306m~3)热风炉水热媒换热系统于1689年9月建成并一次投产试验成功,经过一年......
介绍了计算机自动控制测量可见、近红外椭偏光谱仪。文中着重论述了将探测光波段由可见光区拓展到近红外范围时所需要注意的问题。......
如果一个物体受到的回复力F与它离开平衡位置的位移x之间的关系为F=-kx(其中k是常量,负号表示二者方向相反),那么这个物体做简谐运......
为什么说对于地域广布的工作组而言,企业内部网是不可或缺的神奇工具? 怎样改变使用者的行为习惯,以提高企业内部网的使用率? 这根......
P_n公钥的解译点存在一种重要的位置函数对应关系。本文论证了基于P_n公钥共存无定解方程的L_m公开加密认证矩阵构造。L_m数学模型......
介绍一种磁光阱用超高真空系统。该系统全部采用国产材料和设备，其极限真空度可以达到＜6×1018Pa（或＜5×10－10托）。用此系统已经观测到冷......
SQL注入攻击是目前最流行、危害最大的Web攻击技术,对其防御方法的研究已经成为解决网站安全问题的重要手段。设计一个具有写日志......
本文对混合工质用于汽车空调替代Ｒ１２的重要问题─—泄漏问题进行了理论分析计算及试验研究。证明混合工质Ｒ２２／Ｒ１５２ａ／Ｒ１４２ｂ在汽车空调系统中正常泄漏对......
利用标准样品(聚乙烯和水)法来检验中子积分实验系统的可靠性。通过中子飞行时间技术,获得了14 MeV氘氚中子与聚乙烯作用后47°方......
脑电信号是由大量脑神经细胞在高度相干状态下的电活动在大脑皮层上的总体反应,其中包含了大量的生理和病理信息.本文针对背景噪声......
介绍了近两年所获得的一些结果。主要是在抵制动态敌人的进攻时,零知识交互式证明系统安全性的证明,以及统计零知识交互式证明系统......
本文针对目前比较严重的农村突发大气污染事故,利用地理信息系统与数学模型相结合建立农村突发大气污染事故应急管理系统,对系统的......
本文根据雷达模拟辐射源的实际要求开发了参测记录系统.文章详述了该系统的工作原理及软硬设计.系统采用FPGA+PC104的结构设计,结......
针对某水下航行体功能调试和性能检测的特殊需求，设计了基于PCI+VXI总线技术的综合调试设备测控系统，介绍了其软、硬件设计方案，......
文章从智能电网数据需求分析和云存储技术着手，阐述了分布式文件存储系统的设计与实现。主要基于Hadoop框架和主流开源技术，保证......
对数字水印模型进行研究,提出了数字水印系统是一个证明系统。指出了有效、公平的数字水印系统的出错概率应满足的条件。利用码的......
本系统是以AT89C51单片机作为控制核心的一种智能化废水处理系统。本文主要研究了智能化废水处理系统的程序设计。首先介绍了系统......
为了解决证明系统中存在的完整性保护不足的问题,对完整性策略和保护机制进行了研究,提出了一种基于DTE技术的证明系统安全域模型......
本文采用连续流宏观稳态交通模式和占有率调节控制策略,使用Visual Basic软件设计一个高速公路匝道协调控制系统,模拟出高速公路交......
本文重点研究语音识别系统中信号的抗噪性前端处理方法.将线性预测(LP)分析与形态滤波结合作为语音识别的前端处理方法,并选用具有......
互逆主义数理逻辑认为对任何定理和定律都要先证明或证实(建立)，得证之后才能使用(运用)。因此，建立定理和定律与运用定理和定律应分......
为在全寿命周期内跟踪发动机故障情况,本文开发了航空发动机故障报告数据库系统.根据国军标中对航空发动机进行可靠性工作的要求,......
首先简单介绍一下IP(InteractiveProof)证明系统.IP证明系统包括两个部分:证明方和验证方;它们共同完成一次证明.交互性和随机性是......
本文介绍基于CC1000的超短波通信系统的设计,以及利用MSP430单片机对其进行配置和控制的方法.在采用适当的帧同步以及信道纠错编码......
现代集成电路设计不但是一项软件工程,而且是一项证明工程.不断增长的集成电路复杂性迫使各芯片公司引入形式化方法进行芯片正确性......
本文介绍为某厂研制的两级计算机能源管理系统的结构、通讯方式、中央微型计算机的程序模块结构、模拟画面的制作、能源数据管理以......
该文针对一个三轮移动机器人系统，提出了一个显含时间变量的非线性状态反馈控制律，并基于李亚谱诺夫稳定性理论分析了系统的稳定性，证......
该文试图用并发进程描述时序电路，用时态逻辑公式来刻画它的某些特性，借助ＳＴｅＰ演绎证明系统，证明了该电路具有时态逻辑公式所描术的特性，同......
该文介绍的无人值守直流不停电供电系统是为我国6GHZ1800路微波通信设备研制的。它是由两组蓄电池，两台整流器及直流自动倒换架组成......
人体生物特征识别技术是身份识别技术的一种，并且是将来代替传统的靠密码或身份证来识别的必然产物。而将数据融合应用于人体生物特......
证明了使用奇-超位Ⅱ的证明系统是不完备的,造成这种不完备性的原因是忽略了幂等规则的作用.通过定义一阶多项式与零的超位,适当地......
悖论逻辑ＬＰ是超协调逻辑之一，ＬＰｍ是ＬＰ的非单调扩展。ＬＰｍ不仅克服了ＬＰ缺陷，而且在没在矛盾的直接影响下它等价于经典逻辑。该文描述了ＬＰＭＰＰＳ系统是一个使......
该文在以前工作的基础上将原有江湖顶托模型非线性化，同时将顶托系数设为参数，用Newton法求出非线性模型的正平衡点。然后根据Hurwit......
互联网的广泛普及为我们提供了更便利的数据获取途径,但是在各种木马病毒下,数据的安全也成了人们所担忧的问题。本文在对光单向性......
鉴于移动测量系统在道路信息提取工作中的巨大优势,本文对移动测量系统进行了设计与相关研究.主要对移动测量系统中传感器选型、传......
