计算逻辑相关论文
首先对集成电路的功耗来源进行简要的分析 .在此基础上 ,按照不同的设计层次 ,分别介绍了系统层、寄存器传输层、版图层的各种主要......
自太钢开展信息化建设以来,公司要求对财务成本的控制日益精细化。钢厂多连浇投料成本分摊作为生产管理中的重要环节,计算结果的准......
信息化已经成为实现我国治理现代化的关键驱动力,但信息化与现代化之间并不能简单地画上等号.那么,信息技术应用是否能够驱动我国......
在工资表技术中,需要解决两个核心的操作问题: 1.如何按照指定的月份,自动生成应发工资员工名单的问题。 2.如何在员工存在异动......
“外观没有太大变化、价格没有太大变化、但直观的感觉是噪音更小了,性能、稳定性和可靠性有了很大的提升。”这是客户使用了东软......
Preface春节过后,孩子手头都会多出不少红包。一个笑话就说,妈妈永恒的谎言是:红包我先帮你存着……其实,借着压岁钱,我们不妨顺势......
阜阳市局 £4a 局长——_MINtkMMtgj’#lnH$B——q.M——D收束志不他只邀狲位J则【科校为先导推动地租工作.B为广为戳民U用凶盼引眯B.......
基于最小二乘原理,提出了多边形法向的概念.在此基础上,提出了多边形间有向距离的计算方法.由于该方法将计算与判别合二为一,简化......
物理是高中的一门基础课程,很多人在学习物理的过程中会觉得物理很难。这并不是没有缘由的。事实上,物理的确是一门比较复杂的学科......
Foce Computer公司的CPU-32是最先出现的适用于VME总线的68030单板计算机之一.该单板机依靠一个先进的门阵列和密集的表面安装元......
世界上最快的计算机莫过于IBM公司的S/390,5月26日(美国的发布时间为5月3日)IBM在中国正式推出S/390 G6(第六代),其性能达到了160......
1999年5月26日,IBM公司在北京发布了世界上功能最强大的商用企业服务器--S/390G6(第六代),IBMS/390部大中华地区总经理林摄修先生宣布,计......
效率与人性是管理学诞生百年以来的两条研究主线。两者在组织与管理的逻辑依据中分别表现为计算与情感两种基础要素,在正式组织与......
本刊1982年第4、5期(总第154、155期)曾刊载R. S.博耶J. S.穆尔著的《计算逻辑》,深受广大读者欢迎,现又将其附录部分刊登于此,以......
随着千兆网络在企业和行业用户中的不断普及,以及用户对其性能需求的不断提高,传统的x86防火墙已经不能胜任网络的需求,取而代之的......
采用3层B/S结构,开发了一种基于J2EE的管网应力计算分析系统,系统使用JSP/Servlet构建Web请求,通过JDBC数据库连接池处理异构数据......
逻辑询问中的静态优化,实际上是在计算逻辑询问时将询问中对参数的约束尽量下推。该文扩展了Ullman的规则/目标图(RGG,即Rule/Goal Graph)和新引入了P-图,以此,许多......
该文以计算逻辑为理论基础,设计了一种模型以解决定理机器证明中的“同理可证”问题,该模型采用基于事例的推理方法来进行推理。......
该文在系统分析归纳法推理基本理论的基础上,深入研究了归纳法推理策略,取得了以下成果:该文提出了递归函数终止性的自动证明方法,......
近年来,随着数据库的应用范围不断扩大,已经形成了由大量的数据组成的数据库应用系统。在此系统中,这些复杂的关系主要通过以下两方面......
针对传统图像渲染方法费时、复杂,无法满足现代设计应用场景的问题,利用人工智能技术中的卷积神经网络进行了图像自动渲染的研究。......
按照目前的人民币中间价计算逻辑,参考-篮子货币涨跌的人民币汇率理应在美元兑一篮子货币走弱的时点升值相应的幅度以保持对-篮子货币......
基于WEB的远程教学是以学生为中心的现代教学的重要手段,基于虚拟现实的教学资源是网上教学资源中一个重要部分.本文设计了一个基于I......
近几年计算机技术的发展使人机的联系有了很大改善,但是现有的多数系统往往还是以机器决定人的方式为特征,使得用户必须首先去适应......
首届语义技术与知识管理国际学术研讨会(IWOST2015)于2015年3月11~12日在吉林大学召开。本届国际学术研讨会由吉林大学计算机科学与技......
以计算逻辑为理论基础,采用波动方法证明了计算逻辑中的一个重要定理——元函数的正确性定理.......
业绩保障条款是创业投资机构投资设计项目投资条款时最常用的条款之一,但在创业投资实践中,很多项目经理非常轻视保障条款的设计,没有......
近日,KingR oot团队发布了Root全新UI设计的KingRoot PC版3.0版本。本次更新能够全面支持Android5.0-5.1手机进行一键Root,更将Roo......
智能织物和可穿戴技术对研究人员、设计者和工程师来说,是一个独特而必要的对象,他们要通过跨学科和交互领域来研发纺织品及成衣产......
舰船运动姿态短期预测很容易受到耦合作用以及周围环境因素的影响,导致预测结果的延时较高。对此设计了舰船运动姿态短期预测模型......
看来科技公司越来越重视我们的睡眠时间了,苹果最新获得了专利号为9692874的专利,该专利将用于"根据睡眠启动延迟调整警报",它其实是......
以计算逻辑为理论基础设计了1种对象检索模型以解决定理机器证明中的“同理可证”问题,该模型采用基于事例的推理方法来进行推理,并将......
以计算逻辑为基础,介绍了定理机器证明中一种新的启发式方法——波动方法,它是一种在证明中通过处理归纳结论来激活归纳假设的策略......
远程接入软件异速联(E-SoonLink)是具有自主知识产权的应用交付平台,该系统基于服务器计算架构(Server-based Computing)开发,它将应用程......
随着开源社区不断的壮大,很多以前鲜为人知的技术慢慢地走进了大众IT人员的视野。对一个数据中心而言,最火的两个技术领域便是云计......
以抽象的知识形态及主导性的逻辑依据考察管理思想演化的过程,管理理论在历史上依次经历“物本”逻辑主导的经验管理、“资本”逻......
在基于数据库的应用系统中,存在着许多数据问的关系,一部分可以通过数据库本身的机制来实现,如主外码引用关系,而另一部分关系是数据库......
理性导向的计算逻辑和感性导向的情感逻辑是管理实践的两条主线,分别形成了理性控制和网络情感两种管理系统。组织管理是计算逻辑......
不做电镀首板(FA)直接进行图形电镀批量生产会被认为是一个疯狂的举动,那会导致大量的夹膜、蚀刻不净等问题的报废。这里介绍一种......
Mudan模型(MUltisectoral Development ANalysis of China)是一个中国宏观经济多部门动态模型,它是将投入产出模型和总量计量经济......
在工程领域,拦污栅、隔水帷幕、弧形闸等外观近曲面的工程设施具有形态复杂、受力计算困难、受力分布计算量大的特点,现有的受力计算......