期刊文献+
共找到46篇文章
< 1 2 3 >
每页显示 20 50 100
村镇建设资源环境承载力测算的基本逻辑与框架 被引量:10
1
作者 段学军 王传胜 +5 位作者 李恒鹏 欧维新 张龙江 田莉 苏伟忠 王雅竹 《生态与农村环境学报》 CAS CSCD 北大核心 2021年第7期817-826,共10页
中国不少村镇出现非农化、老弱化、空废化、污损化、贫困化(“五化”)现象,其实质是村镇建设与资源环境承载力不协调的问题,尤其在实施乡村振兴战略的背景下,大量生产要素投向农村带来发展的同时让这种矛盾日益突出。由于缺少管理上可... 中国不少村镇出现非农化、老弱化、空废化、污损化、贫困化(“五化”)现象,其实质是村镇建设与资源环境承载力不协调的问题,尤其在实施乡村振兴战略的背景下,大量生产要素投向农村带来发展的同时让这种矛盾日益突出。由于缺少管理上可操作的村镇关键资源环境约束与胁迫因子的精准核算,在村镇发展规模、模式和发展方向路径选择上缺乏依据和标准。该文界定了村镇建设资源环境承载力概念,开展了村镇建设资源环境区划与功能类型划分,设计了村镇建设水、土地、生态关键约束因子及阈值测算原理,建立了村镇建设资源环境承载力综合测算逻辑框架,并提出了村镇建设资源环境承载力研究的关键问题及展望。 展开更多
关键词 村镇建设 资源环境承载力 测算 基本逻辑 框架
下载PDF
湘东地区铀成矿远景圈定及定位预测 被引量:5
2
作者 陈小东 许厚兴 +1 位作者 李建威 李先福 《铀矿地质》 CAS CSCD 2002年第6期352-358,共7页
湘东地区是重要的热液型铀成矿区 ,本文利用湘赣边区走滑构造及铀成矿动力学研究成果和相关的地球物理、地球化学的定性、半定量资料 ,采用信息量计算法、特征分析法、逻辑信息法进行区域铀成矿远景区的圈定和定位预测。
关键词 成矿远景 信息量计算法 特征分析法 逻辑信息法 铀矿床 湖南 走滑构造
下载PDF
基于人工智能的图像自动渲染方法研究 被引量:4
3
作者 管阳 《电子设计工程》 2021年第3期157-161,共5页
针对传统图像渲染方法费时、复杂,无法满足现代设计应用场景的问题,利用人工智能技术中的卷积神经网络进行了图像自动渲染的研究。图像自动渲染算法主要分为两个部分:素材图像的特征提取与虚拟视图的渲染。通过卷积神经网络识别场景中... 针对传统图像渲染方法费时、复杂,无法满足现代设计应用场景的问题,利用人工智能技术中的卷积神经网络进行了图像自动渲染的研究。图像自动渲染算法主要分为两个部分:素材图像的特征提取与虚拟视图的渲染。通过卷积神经网络识别场景中图像的位移、缩放与其他形式扭曲不变性的二维图形轮廓,进而构建特征表征网络,用以提取图像特征并使之融合。同时,采用基于计算逻辑的图像校正算法来对齐不同视角所生成的虚拟视图,最终设计两层编码器-三层解码器的虚拟图像自动渲染模型。测试结果表明,所提出的图像自动渲染方法具有相对稳定的峰值噪声比与结构相识性,可以有效识别图像的特征并进行虚拟视图的渲染。 展开更多
关键词 图像渲染 人工智能 卷积神经网络 计算逻辑 图像校正算法
下载PDF
基于AIG的多级逻辑电路延迟近似优化
4
作者 赵维凯 于宗源 王伦耀 《宁波大学学报(理工版)》 CAS 2023年第1期35-41,共7页
在对多级逻辑电路延迟进行优化中,提出了一种针对关键路径中节点输出的近似替换方法,用于实现延迟优化.提出的算法先建立待优化电路的关键路径集合,然后通过选取每一条关键路径中错误率影响最小的节点构成待优化节点集,再结合提出的节... 在对多级逻辑电路延迟进行优化中,提出了一种针对关键路径中节点输出的近似替换方法,用于实现延迟优化.提出的算法先建立待优化电路的关键路径集合,然后通过选取每一条关键路径中错误率影响最小的节点构成待优化节点集,再结合提出的节点输出近似替换技术,在错误率约束下实现节点删除和关键路径压缩,进而达到多级逻辑电路延迟优化.提出的算法用C++和ABC工具内置命令编程实现,使用ISCAS85以及LGSynth91电路进行测试.实验结果显示,与已提出的常量替换方法相比,面积和延迟优化效果分别提升22.96%和31.49%.同时相较于最新提出的针对延迟优化的算法,在延迟优化效果相近的情况下,算法运行时间上有61.88%的提升. 展开更多
关键词 近似计算 逻辑优化 误差约束 多级电路 延迟优化
下载PDF
莱布尼茨逻辑学说的历史命运 被引量:3
5
作者 朱建平 《南京社会科学》 CSSCI 北大核心 2014年第3期62-68,共7页
现代数理逻辑学家通常将弗雷格视为数理逻辑的缔造者,而莱布尼茨则被视为数理逻辑最伟大的先驱。莱布尼茨对这一名誉实至名归。(1)尽管亚里士多德和他的大多数追随者有一个逻辑形式系统的狭义逻辑观,而莱布尼茨更像一个现代人,有一个逻... 现代数理逻辑学家通常将弗雷格视为数理逻辑的缔造者,而莱布尼茨则被视为数理逻辑最伟大的先驱。莱布尼茨对这一名誉实至名归。(1)尽管亚里士多德和他的大多数追随者有一个逻辑形式系统的狭义逻辑观,而莱布尼茨更像一个现代人,有一个逻辑的普遍性目标,一个可应用于各种类型的推理的逻辑观。(2)他试图为他的逻辑建构一种数学的算法,他没有达到这一目标是因为他对亚里士多德三段论和他的主谓句法过分尊重。尽管上述观点存在一定的合理性,但不得不承认莱布尼茨是数理逻辑的先驱,同时将他的失败归之于他过分尼于三段论模式和主谓句法的论断也是站不住脚的。如果是这样的话,莱布尼茨就不是作为弗雷格的伟大先驱,而是作为传统三段论的集大成者出现了。的确,莱布尼茨作为一位逻辑巨人的资格既是建立在对即将到来的新逻辑的预见方面,也是建立在他对古老的三段论隐藏的力量和范围承认的基础之上的。 展开更多
关键词 莱布尼茨的逻辑学说 普遍演算 现代逻辑
下载PDF
A Computational Model for Measuring Trust in Mobile Social Net works Using Fuzzy Logic 被引量:3
6
作者 Farzam Matinfar 《International Journal of Automation and computing》 EI CSCD 2020年第6期812-821,共10页
Large-scale mobile social networks(MSNs)facilitate communications through mobile devices.The users of these networks can use mobile devices to access,share and distribute information.With the increasing number of user... Large-scale mobile social networks(MSNs)facilitate communications through mobile devices.The users of these networks can use mobile devices to access,share and distribute information.With the increasing number of users on social networks,the large volume of shared information and its propagation has created challenges for users.One of these challenges is whether users can trust one another.Trust can play an important role in users'decision making in social networks,so that,most people share their information based on their trust on others,or make decisions by relying on information provided by other users.However,considering the subjective and perceptive nature of the concept of trust,the mapping of trust in a computational model is one of the important issues in computing systeins of social networks.Moreover,in social networks,various communities may exist regarding the relationships between users.These connections and communities can affect trust among users and its complexity.In this paper,using user characteristics on social networks,a fuzzy clustering method is proposed and the trust between users in a cluster is computed using a computational model.Moreover,through the processes of combination,transition and aggregation of trust,the trust value is calculated between users who are not directly connected.Results show the high performance of the proposed trust inference method. 展开更多
关键词 TRUST fuzzy clustering mobile social networks trust calculation model fuzzy logic.
原文传递
软计算方法和广义模糊认知哲学 被引量:2
7
作者 何建南 《五邑大学学报(社会科学版)》 2007年第3期1-4,共4页
"软计算"以语言表达代替数的表达,通过不确定性计算解决常规计算(硬计算)难以处理的问题。数学上的不确定性包括随机性、模糊性、粗糙性等,它们分别由概率统计、模糊数学、粗糙集理论等非经典数学加以处理。鉴于这些性质间的... "软计算"以语言表达代替数的表达,通过不确定性计算解决常规计算(硬计算)难以处理的问题。数学上的不确定性包括随机性、模糊性、粗糙性等,它们分别由概率统计、模糊数学、粗糙集理论等非经典数学加以处理。鉴于这些性质间的内在联系,对各种软计算方法的整合研究也将是软计算发展的一大趋势。 展开更多
关键词 软计算 近似推理 不确定性 模糊逻辑
下载PDF
一种采用互连线电容耦合的线计算电路设计
8
作者 李林 张会红 张跃军 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2022年第3期213-221,共9页
随着集成电路工艺节点的不断推进,互连线间的寄生效应越来越明显。互连线已经成为制约提高芯片计算能力的关键因素之一,考虑将互连线作为逻辑计算的设计方法引起设计者的广泛关注。通过对互连线间电容耦合效应的研究,提出一种采用金属... 随着集成电路工艺节点的不断推进,互连线间的寄生效应越来越明显。互连线已经成为制约提高芯片计算能力的关键因素之一,考虑将互连线作为逻辑计算的设计方法引起设计者的广泛关注。通过对互连线间电容耦合效应的研究,提出一种采用金属互连线间的确定性信号干扰来进行逻辑计算的电路设计方案。该方案首先分析金属互连线间电容耦合关系,构建电容耦合模型。然后利用纳米金属线构成耦合电容,调节干扰线与受扰线之间的耦合强度以及调整反相器阈值,设计与非、或非、异或、同或逻辑,在此基础上实现互连线电容耦合的3线-8线译码器。最后,采用台积电65 nm互补金属氧化物半导体工艺,Cadence Spectre环境下仿真验证,结果表明所设计的线计算电路功能正确。与台积电65 nm工艺库的标准单元相比,二输入线计算与非门使用的晶体管数量减少25%,二输入线计算同或门的功耗减少29.1%,四输入线计算与非门的面积和功耗延时积分别减少46.4%和55%。因此,线计算逻辑门具有低硬件开销特性,提供了密集实现数字集成电路的新途径,有利于芯片向小型化发展。 展开更多
关键词 电容耦合 金属互连线 线计算 逻辑门 译码器
下载PDF
对消防兼用风机控制问题的思考
9
作者 张家富 《建筑电气》 2022年第12期23-28,共6页
从消防兼用风机具有平时和火灾时都可能使用的特点出发,分析火灾时未着火防烟分区消防兼用风机应停机的原因;提出消防兼用风机控制电路应增加消防联动停机功能的观点,并对实现该功能的措施提出建议和示例;最后,分析选用相关图集时的注... 从消防兼用风机具有平时和火灾时都可能使用的特点出发,分析火灾时未着火防烟分区消防兼用风机应停机的原因;提出消防兼用风机控制电路应增加消防联动停机功能的观点,并对实现该功能的措施提出建议和示例;最后,分析选用相关图集时的注意事项。 展开更多
关键词 消防兼用风机 防烟分区 消防负荷 负荷计算 联动控制 控制电路 控制逻辑 图集选用
下载PDF
基于L-BFGS的自适应模糊互补滤波 被引量:1
10
作者 刘宇 丁其星 郭俊启 《压电与声光》 CAS CSCD 北大核心 2018年第6期955-959,共5页
针对惯性测量单元噪声大及常规姿态解算算法精度不高的问题,提出了一种基于拟牛顿法(L-BFGS)的自适应模糊互补滤波(AFCF)算法。该方法利用L-BFGS对加速度计、磁力计进行寻优估计,并通过监测系统的运动等级、加速度计、磁力计的误差,运... 针对惯性测量单元噪声大及常规姿态解算算法精度不高的问题,提出了一种基于拟牛顿法(L-BFGS)的自适应模糊互补滤波(AFCF)算法。该方法利用L-BFGS对加速度计、磁力计进行寻优估计,并通过监测系统的运动等级、加速度计、磁力计的误差,运用模糊逻辑理论调控加权因子及增益权重,动态地调整互补滤波参数,实现姿态误差的动态补偿,优化姿态解算结果。经实验验证,系统静态误差在0.4°内;动态误差在1.3°内,且该系统能减少噪声的干扰及陀螺仪的漂移。 展开更多
关键词 姿态解算 拟牛顿法(L-BFGS) 模糊逻辑 互补滤波
下载PDF
逻辑综合中的Cube运算
11
作者 刘丹非 《计算机科学》 CSCD 北大核心 2004年第12期226-227,共2页
Cube运算是EDA中进行逻辑综合(Logic Synthesis)的重要方法之一,Cube运算的实质仍然是卡诺言图化简。卡诺图是一个二维的平面图,Cube运算是建立在多维的空间坐标体系上的计算模型。本文从真值表和卡诺图出发,研究Cube运算的基本方法,从... Cube运算是EDA中进行逻辑综合(Logic Synthesis)的重要方法之一,Cube运算的实质仍然是卡诺言图化简。卡诺图是一个二维的平面图,Cube运算是建立在多维的空间坐标体系上的计算模型。本文从真值表和卡诺图出发,研究Cube运算的基本方法,从而得出多维变量的数学模型和计算方法。 展开更多
关键词 Cube运算 逻辑综合 EDA 卡诺图 数字逻辑电路
下载PDF
气门间隙测量值异常的原因分析及对策
12
作者 琚裕强 钟宛余 《失效分析与预防》 2017年第3期190-194,共5页
为查找发动机气门间隙测量批量出现测量偏大或偏小的异常原因,对缸盖测量站和凸轮轴测量站传感器、传感器测量位置、挺柱级别计算方法、PLC测量逻辑步骤等进行检查。结果表明:挺柱级别计算算法、传感器、传感器测量位置、PLC逻辑等存在... 为查找发动机气门间隙测量批量出现测量偏大或偏小的异常原因,对缸盖测量站和凸轮轴测量站传感器、传感器测量位置、挺柱级别计算方法、PLC测量逻辑步骤等进行检查。结果表明:挺柱级别计算算法、传感器、传感器测量位置、PLC逻辑等存在缺陷是造成测量异常的主要原因。通过修改计算方法、更换传感器并调整位置、优化测量逻辑程序,使气门间隙测量值的合格率稳定在97%。 展开更多
关键词 气门间隙 传感器 计算方法 位置 逻辑
下载PDF
一个基于谓词逻辑的金融投资辅助决策系统
13
作者 曾文飞 颜玲 《邵阳学院学报(自然科学版)》 2006年第1期52-54,共3页
谓词演算作为一种智能表示的语言,其优点是精确定义的形式语义,合理而完备的推理规则.使用谓词演算来进行知识的表示和推理,能代表实际应用中的许多问题.现就基于谓词逻辑的金融投资辅助决策系统加以分析与研究.
关键词 谓词演算 谓词逻辑 推理规则 命题
下载PDF
600MW超临界直流炉过热汽温动态特性试验与控制系统优化
14
作者 时维龙 《自动化博览》 2014年第9期56-59,共4页
为解决升降负荷过程中的超温现象,进行过热汽温阀门及控制特性动态特性试验。通过试验曲线和存在问题的分析,找出影响自动控制品质的关键因素,通过控制参数重新计算、前馈信号完善和控制系统的优化,使汽温控制系统投入了运行。针对继续... 为解决升降负荷过程中的超温现象,进行过热汽温阀门及控制特性动态特性试验。通过试验曲线和存在问题的分析,找出影响自动控制品质的关键因素,通过控制参数重新计算、前馈信号完善和控制系统的优化,使汽温控制系统投入了运行。针对继续存在的解决问题,提出了后续处理措施。 展开更多
关键词 过热汽温 动态特性 参数计算 前馈信号 控制优化
下载PDF
对抗性虚拟仿真网络支持下立体多动画显示平台设计
15
作者 刘阳 《现代电子技术》 2021年第16期145-149,共5页
为了解决传统显示平台解码多动画数据信息耗时过长的问题,设计一种对抗性虚拟仿真网络支持下立体多动画显示平台。首先利用H.265解码器处理含有多动画信息的压缩比特流,输出为多动画数据块;然后计算动画数据块投影坐标,利用对抗性虚拟... 为了解决传统显示平台解码多动画数据信息耗时过长的问题,设计一种对抗性虚拟仿真网络支持下立体多动画显示平台。首先利用H.265解码器处理含有多动画信息的压缩比特流,输出为多动画数据块;然后计算动画数据块投影坐标,利用对抗性虚拟仿真网络控制投影数据块的优先级,形成一个动画显示输出逻辑;最终完成对对抗性虚拟仿真网络支持下立体多动画显示平台的设计。实验结果表明,与传统的显示平台相比,对抗性虚拟仿真网络支持下立体多动画显示平台,在解码相同动画数据块时所需要的时间更短,更适合在实际中运用。 展开更多
关键词 虚拟网络 显示平台 坐标计算 比特流处理 输出逻辑 平台设计
下载PDF
对国际贸易折扣的新思考
16
作者 尤传斌 《河西学院学报》 2013年第3期62-65,共4页
我国权威的国际贸易实务相关出版物对"折扣"与"折扣额"以及"含折扣价"与"原价"这两组概念分辨不清,存在概念偷换的嫌疑,以致无法对折扣相关概念采用正常的数学逻辑进行公式计算。传统认识对&qu... 我国权威的国际贸易实务相关出版物对"折扣"与"折扣额"以及"含折扣价"与"原价"这两组概念分辨不清,存在概念偷换的嫌疑,以致无法对折扣相关概念采用正常的数学逻辑进行公式计算。传统认识对"含折扣价"中"含"的理解出现偏差和错误,这是权威出版物表述折扣相关计算方法的根本缺陷之所在。把"含折扣价"定义为"经过折扣程序处理之后的价格"和把"不含折扣价"定义为"未经折扣程序处理的价格"不仅适合折扣相关计算方法中正常的数学逻辑推理,也符合日常商业交易的习惯和常理。 展开更多
关键词 含折扣价 计算方法 逻辑错误
下载PDF
蒯因论标准逻辑出了什么问题——读沈有鼎先生《初基演算》的体会
17
作者 周柏乔 《武汉冶金科技大学学报(社会科学版)》 1999年第4期12-14,共3页
沈有鼎先生的《初基演算》建立起了标准逻辑的两个原则 ,即是否源于初基演算和是否具备完全性。而蒯因在建立标准逻辑时仅仅考虑了完备性问题。相比之下 ,沈文更有价值。
关键词 《初基演算》 标准逻辑 蒯因 沈有鼎 完备性
下载PDF
配置双进双出磨煤机的超临界机组控制策略优化 被引量:7
18
作者 赵志丹 韩吉亮 +3 位作者 练领先 王家兴 张宇辉 孔德伟 《热力发电》 CAS 北大核心 2013年第11期16-20,共5页
某超临界600MW机组采用双进双出钢球磨煤机直吹式制粉系统,不能准确计量入炉煤量,从而严重影响了机组水煤比控制,在机组变负荷过程中出现分离器入口蒸汽过热度、主蒸汽温度波动大等问题,使自动发电控制(AGC)无法正常投入。在对不同工况... 某超临界600MW机组采用双进双出钢球磨煤机直吹式制粉系统,不能准确计量入炉煤量,从而严重影响了机组水煤比控制,在机组变负荷过程中出现分离器入口蒸汽过热度、主蒸汽温度波动大等问题,使自动发电控制(AGC)无法正常投入。在对不同工况下磨煤机煤量计算等控制逻辑优化后,使得机组在动态工况下,主蒸汽温度偏差<±5℃,再热蒸汽温度偏差<±10℃,汽水分离器中间点温度偏差<±6℃,主蒸汽压力偏差<±0.6MPa,负荷偏差<±3MW;机组在稳态工况下,主蒸汽压力偏差≤±0.3MPa,负荷偏差≤±3MW。确保了机组AGC功能的正常投入。 展开更多
关键词 超临界 600MW机组 制粉系统 双进双出钢球磨煤机 煤量计算逻辑 AGC
下载PDF
南方CASS在二期间土方计算中的计算逻辑优化 被引量:6
19
作者 叶立 《测绘与空间地理信息》 2014年第8期172-173,175,共3页
目前南方CASS在二期间土方计算中将二期地貌假设为理想地貌或设计地貌,对于较为复杂的二期地貌,则不能满足其土方计算的要求。结合南方CASS2008地形地籍测绘软件,进一步将其程序设计逻辑优化,并将优化重点进行详细阐述,以供南方CASS软... 目前南方CASS在二期间土方计算中将二期地貌假设为理想地貌或设计地貌,对于较为复杂的二期地貌,则不能满足其土方计算的要求。结合南方CASS2008地形地籍测绘软件,进一步将其程序设计逻辑优化,并将优化重点进行详细阐述,以供南方CASS软件的二次开发及功能完善,从而降低土方计算的工作量,提高工作效率。 展开更多
关键词 南方CASS 土方计算 程序设计逻辑优化
下载PDF
中厚板轧机设定计算功能的在线实施 被引量:2
20
作者 矫志杰 胡贤磊 +1 位作者 赵忠 刘相华 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第7期644-647,共4页
针对中厚板轧机,研究了如何将设定计算功能嵌入过程控制系统,并应用于在线·将设定计算功能划分成轧制规程计算、轧机设定及控制参数计算以及模型自学习计算三个组成部分,分析了各部分的主要功能及其联系·设计了设定计算功能... 针对中厚板轧机,研究了如何将设定计算功能嵌入过程控制系统,并应用于在线·将设定计算功能划分成轧制规程计算、轧机设定及控制参数计算以及模型自学习计算三个组成部分,分析了各部分的主要功能及其联系·设计了设定计算功能的在线数据流程和调用逻辑,根据具体轧线的检测仪表布置和生产工艺过程,多次调用设定计算功能·通过预设定计算、再设定计算、阶段前修正计算、道次修正计算、自学习计算以及待温时间修正计算,发挥设定计算及生产过程中实测数据的作用· 展开更多
关键词 中厚板轧机 过程控制 设定计算 数据流程 调用逻辑 在线应用
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部