资源类型

期刊论文 541

会议视频 35

会议信息 24

会议专题 1

年份

2024 1

2023 41

2022 43

2021 46

2020 43

2019 47

2018 28

2017 29

2016 20

2015 16

2014 11

2013 30

2012 19

2011 21

2010 28

2009 27

2008 15

2007 27

2006 18

2005 16

展开 ︾

关键词

设计 20

三峡工程 11

优化设计 11

2020 10

增材制造 9

2019 7

多目标优化 7

建筑科学 7

创新设计 6

智能制造 6

材料设计 6

人工智能 5

施工 5

机器学习 5

稳健设计 4

3D打印 3

交通 3

仿真 3

协同设计 3

展开 ︾

检索范围:

排序: 展示方式:

自适应自动程序设计及其在自动售货机中的应用

余世明,丁国正,刘立峰

《中国工程科学》 2007年 第9卷 第11期   页码 147-150

摘要:

程序故障的处理,通常可以使用返回值或异常来报告。但当状态模型中的程序出现故障后,使程 序仍能回到出现故障处的状态或做进一步的处理,这是返回值或异常做不到的。针对自动处理的实现,提出 了采用组合编码和状态冗余设计相结合的自动程序设计思想,给出了它的一个结构模型和算法。模型通过 减少程序的状态切换故障(预防)和增加系统的故障恢复能力(治疗)来实现这个目标。最后,将这个设计模 型部分成功地应用到自动售货机上,实际运行效果良好。

关键词: 自适应     状态冗余设计     自动程序设计     故障恢复     自动售货机    

大气探测系统设计和工程建设

郑国光

《中国工程科学》 2000年 第2卷 第6期   页码 21-26

摘要:

文章分析了我国大气探测业务现状和大气探测技术发展趋势,阐述了我国大气探测系统设计和工程建设的基本思路和目标,介绍了即将开始建设的国家大中型建设项目——大气监测自动化系统的总体结构和建设的主要内容

关键词: 大气探测     监测自动    工程设计与建设    

基于元胞自动机的多自主体人员行为模型及其在性能化设计中的应用

方伟峰,杨立中,黄锐

《中国工程科学》 2003年 第5卷 第3期   页码 67-71

摘要:

目前性能化设计规范一个最主要的特点是从强调财产保护转变到强调生命安全保护,因此对建筑物内人员行为特征和运动规律的研究正越来越受到人们的重视。元胞自动机模型在交通流研究中的应用已经开展多年并取得了很多有用的成果,但涉及人的行为特征的研究往往十分复杂,在这方面利用自主体来研究具有较大的优势。给出的模型结合了这两方面各自的优势,是在元胞自动机交通流、行人流基本框架上建立起的多自主体人员行为模型,它对评估建筑物的设计方案具有很好的参考作用。

关键词: 元胞自动机模型     多自主体     人员行为     性能化设计    

微波无线能量收集技术——统一模型、自动化整流天线设计及前沿技术 Review

Si-Ping Gao, Jun-Hui Ou, Xiuyin Zhang, Yongxin Guo

《工程(英文)》 2023年 第30卷 第11期   页码 32-48 doi: 10.1016/j.eng.2023.05.019

摘要:

While sufficient review articles exist on inductive short-range wireless power transfer (WPT), long-haul microwave WPT (MWPT) for solar power satellites, and ambient microwave wireless energy harvesting (MWEH) in urban areas, few studies focus on the fundamental modeling and related design automation of receiver systems. This article reviews the development of MWPT and MWEH receivers, with a focus on rectenna design automation. A novel rectifier model capable of accurately modeling the rectification process under both high and low input power is presented. The model reveals the theoretical boundary of radio frequency-to-direct current (dc) power conversion efficiency and, most importantly, enables an automated system design. The automated rectenna design flow is sequential, with the minimal engagement of iterative optimization. It covers the design automation of every module (i.e., rectifiers, matching circuits,   antennae, and dc–dc converters). Scaling-up of the technique to large rectenna arrays is also possible, where the challenges in array partitioning and power combining are briefly discussed. In addition, several cutting-edge rectenna techniques for MWPT and MWEH are reviewed, including the dynamic range extension technique, the harmonics-based retro-directive technique, and the simultaneous wireless information and power transfer technique, which can be good complements to the presented automated design methodology.

关键词: 微波无线能量传输     微波无线能量收集     统一整流器模型     自动化整流天线设计     新兴整流天线技术    

基于重放分析的网络协议软件状态变量自动化发现技术 Research Article

黄见欣1,喻波1,刘润昊1,苏金树1,2

《信息与电子工程前沿(英文)》 2023年 第24卷 第3期   页码 403-416 doi: 10.1631/FITEE.2200275

摘要: 网络协议软件通常具有程序路径复杂、状态空间庞大的特点。程序中往往存在着一些带有状态的关键变量,用于记录协议状态和会话信息。本文针对现有程序分析技术难以发现网络协议软件中的状态变量,且自动化程度偏低的问题,提出一种基于重放分析的状态变量识别方法。考虑到状态变量主要反映着通信双方的参数和程序的状态,具有这些特征的变量通常会以全局变量或静态变量的形式,持续存在于进程之中,该方法通过记录和重放协议软件的执行轨迹,运用动态插桩技术,在协议状态和软件状态的变化过程中在此基础上,设计并实现了一套能够自动化发现状态变量的原型系统,在ProFuzzBench中的9个程序和2个现实中的复杂协议软件上进行了测试。

关键词: 状态变量;网络协议软件;程序分析技术;网络安全    

基于量子点元胞自动机的纳米级加密结构设计 Regular Article

Bikash Debnath, Jadav Chandra Das, Debashis De,dr.debashis.de@gmail.com

《信息与电子工程前沿(英文)》 2019年 第20卷 第11期   页码 1578-1586 doi: 10.1631/FITEE.1800458

摘要: 基于密码学的量子点元胞自动机(QCA)是纳米技术领域新范例,在整体性能上优于传统互补金属氧化物半导体(CMOS)技术。为保障纳米通信的数据安全,提出一种基于量子元胞自动机的安全通信系统。利用设计的电路对输入数据加密,通过纳米路由器和数据路径选择器将其传到输出通道,然后将数据解密,恢复其原始形式。实验结果和理论推导证明了电路的准确性。此外,分析了电路功耗和复杂性。

关键词: 量子点元胞自动机(QCA);多数决定门密码学;加密;解密;纳米级路由    

量子点细胞自动机中四值逻辑门的设计与模拟新概念 Research Articles

Alireza NAVIDI1, Reza SABBAGHI-NADOOSHAN2, Massoud DOUSTI1

《信息与电子工程前沿(英文)》 2021年 第22卷 第11期   页码 1441-1550 doi: 10.1631/FITEE.2000590

摘要: 量子点细胞自动机(QCA)等新技术已展现出一些深亚微米标准互补金属氧化物半导体无法提供的显著特性。用QCA进行系统建模和设计多值逻辑门,可使复杂逻辑电路设计更加便捷。该概念已在本团队专为四值QCA模型开发的量子点细胞自动模拟器(QCASim)中设定。设计了基本四值QCA逻辑门,如MIN、MAX和不同类型反相器(SQI,PQI,NQI和IQI),并通过QCASim验证。本文将例示QCASim如何通过其方便的CAD工具集快速而准确地工作。采用所设计的主要门电路设计了一个1×4译码器。基于QQCA设计的电路,取得最小延迟、最小面积和最低复杂度。将QQCA主要的逻辑门与基于碳纳米管场效应晶体管(CNFET)的四值门进行比较,结果表明本文所设计的电路具有更小延迟和更低能耗。

关键词: 量子点细胞自动机(QCA);四值逻辑;量子点细胞自动模拟器(QCASim);四值QCA(QQCA);四值译码器;四值门    

环境一号卫星A/B星数据自动几何精校正设计研究

熊文成,申文明,王桥,史园莉,肖如林,付卓

《中国工程科学》 2014年 第16卷 第3期   页码 37-42

摘要: 基于此,设计了环境一号卫星各载荷总体几何精校正方法流程以及charge-coupleddevice(CCD)相机自动几何精校正方法。实际运行数据表明,该方法可以较好地实现环境一号卫星各载荷数据的自动几何精校正,环境一号卫星CCD相机自动几何精校正图像精度可达到2个像素以内,同星不同载荷图像之间自动匹配方法可以获取小于1个像素的图像匹配精度

关键词: 环境一号卫星     自动     几何精校正     CCD    

基于量子元胞自动机的可逆二进制减法器设计 Article

Jadav Chandra DAS, Debashis DE

《信息与电子工程前沿(英文)》 2017年 第18卷 第9期   页码 1416-1429 doi: 10.1631/FITEE.1600999

摘要: 在纳米技术领域,量子元胞自动机(quantum dot-cellular automata, QCA)可作为传统互补金属氧化物半导体(complementary metal oxide semiconductorQCA低功耗和高电流密度的特点,使其可用于设计纳米尺度节能逻辑电路。然而,其对大量逻辑门的需求和不利的无用输出,可能限制基于QCA逻辑电路的功能。我们利用QCA设计并实现了一个DG门,实现了DG门的普遍特征。利用该DG门的QCA部分,可以获得新的可逆二进制减法器。相比现有可逆减法器,我们设计的减法器量子成本低,无用输出少。电路设计与模拟基于QCA Designer-2.0.3软件。

关键词: 量子元胞自动机(quantum dot-cellular automata     QCA);可逆逻辑;DG门;二进制减法器;量子成本    

新建有岩爆倾向硬岩矿床采矿技术研究工作程序

郭然,于润沧

《中国工程科学》 2002年 第4卷 第7期   页码 51-55

摘要: 文章重点探讨了新建有岩爆倾向硬岩矿床开采技术研究工作程序,为建立有岩爆倾向深赋硬岩矿床采矿理论体系奠定了基础。

关键词: 岩爆     采矿技术     工作程序    

三峡升船机船厢室施工程序研究

曾明

《中国工程科学》 2013年 第15卷 第9期   页码 40-44

摘要: 根据对塔柱结构进行的仿真计算结果,分析了船厢与平衡重荷载施加顺序分别对螺母柱、齿条、纵向导向部位横河向、顺河向和竖向变形的影响,通过对施工程序优化提出了合理的升船机船厢室的施工程序以及施工总进度计划安排该施工程序能够使螺母柱、齿条、纵向导向、船厢结构与塔柱在各工况下的位移满足安全要求,并且基于该施工程序的施工进度满足升船机试运行要求。工程实践证明了本文所建立的三峡升船机船厢室施工程序的合理性与科学性,确保了三峡升船机船厢室的顺利施工,保障了升船机的安全运行,可为类似升船机船厢室的施工提供参考。

关键词: 施工程序     船厢室     升船机     三峡工程    

某大型商贸中心的人员疏散性能化分析

宋卫国,于彦飞,张和平

《中国工程科学》 2005年 第7卷 第10期   页码 78-83

摘要:

新型建筑不断涌现使得火灾安全性能化设计被广泛应用,人员疏散是其中的关键环节。结合某大型商贸中心的火灾安全性能化设计方案,利用CAFE模型分析了人员疏散性能。

关键词: 人员疏散     性能化设计     元胞自动机模型    

基于量子点元胞自动机的超高效可逆块的纳米设计 Research Article

Seyed Sajad AHMADPOUR1, Nima Jafari NAVIMIPOUR1, Mohammad MOSLEH2, Senay YALCIN3

《信息与电子工程前沿(英文)》 2023年 第24卷 第3期   页码 447-456 doi: 10.1631/FITEE.2200095

摘要: 此外,量子点元胞自动机(QCA)是最先进的方法之一,可以替代传统技术。因此,本文提出一种低功耗、高速度的高效保守门。通过米勒算法实现所提可逆门,并通过2DW(二维设计)时钟电路图实现可逆容错ANG。与之前的设计相比,所提可逆门具有很大提升。

关键词: 纳米技术;可逆逻辑;能量耗散;量子点元胞自动机(QCA);可逆门;米勒算法    

第三届自动化,机械和设计国际会议(ICAMD 2020)

会议日期: 2020年02月26日

会议地点: 泰国曼谷

主办单位: ICAMD 2020

自动驾驶地图有关政策的思考和建议

刘经南,董杨,詹骄,高柯夫

《中国工程科学》 2019年 第21卷 第3期   页码 92-97 doi: 10.15302/J-SSCAE-2019.03.004

摘要:

自动驾驶地图作为实现汽车自动驾驶的关键基础设施,对于推动我国自动驾驶领域的商业化开发至关重要。现阶段,我国受地图测绘、应用和监管等相关法律法规的制度掣肘,在自动驾驶地图的产业化进程方面相对滞后。为此,本文着重分析了我国在自动驾驶地图开发、应用和管理中面临的主要政策法规问题:自动驾驶地图是否需加密的问题、自动驾驶地图部分地理信息表达受限的问题、自动驾驶地图地理信息采集资质和审图流程的问题、自动驾驶地图事故责任和保险问题、自动驾驶地图相关测试规范和测试场景问题。同时结合国内外自动驾驶领域的发展趋势,给出加快我国自动驾驶汽车开发和商业化进程的四点建议:制定自动驾驶地图管理模式、允许自动驾驶地图应用试点及有序开放、适当放开企业权限及优化审核流程、建立国家级自动驾驶地图平台

关键词: 自动驾驶地图     自动驾驶法规     自动驾驶政策    

标题 作者 时间 类型 操作

自适应自动程序设计及其在自动售货机中的应用

余世明,丁国正,刘立峰

期刊论文

大气探测系统设计和工程建设

郑国光

期刊论文

基于元胞自动机的多自主体人员行为模型及其在性能化设计中的应用

方伟峰,杨立中,黄锐

期刊论文

微波无线能量收集技术——统一模型、自动化整流天线设计及前沿技术

Si-Ping Gao, Jun-Hui Ou, Xiuyin Zhang, Yongxin Guo

期刊论文

基于重放分析的网络协议软件状态变量自动化发现技术

黄见欣1,喻波1,刘润昊1,苏金树1,2

期刊论文

基于量子点元胞自动机的纳米级加密结构设计

Bikash Debnath, Jadav Chandra Das, Debashis De,dr.debashis.de@gmail.com

期刊论文

量子点细胞自动机中四值逻辑门的设计与模拟新概念

Alireza NAVIDI1, Reza SABBAGHI-NADOOSHAN2, Massoud DOUSTI1

期刊论文

环境一号卫星A/B星数据自动几何精校正设计研究

熊文成,申文明,王桥,史园莉,肖如林,付卓

期刊论文

基于量子元胞自动机的可逆二进制减法器设计

Jadav Chandra DAS, Debashis DE

期刊论文

新建有岩爆倾向硬岩矿床采矿技术研究工作程序

郭然,于润沧

期刊论文

三峡升船机船厢室施工程序研究

曾明

期刊论文

某大型商贸中心的人员疏散性能化分析

宋卫国,于彦飞,张和平

期刊论文

基于量子点元胞自动机的超高效可逆块的纳米设计

Seyed Sajad AHMADPOUR1, Nima Jafari NAVIMIPOUR1, Mohammad MOSLEH2, Senay YALCIN3

期刊论文

第三届自动化,机械和设计国际会议(ICAMD 2020)

2020年02月26日

会议信息

自动驾驶地图有关政策的思考和建议

刘经南,董杨,詹骄,高柯夫

期刊论文