资源类型

期刊论文 49

年份

2024 1

2023 5

2022 4

2021 3

2019 3

2018 1

2017 6

2016 1

2015 1

2014 1

2013 3

2011 1

2010 6

2009 1

2008 2

2007 1

2005 2

2003 2

2002 1

2001 4

展开 ︾

关键词

结构形式 2

802.11i 1

BNLAS 1

Bellare-Rogaway模型 1

CO2 捕集 1

COVID-19 1

HMAC-SM3;侧信道分析;相关能量攻击;基于比特值的选择明文 1

HY-2 1

TBM 刀盘设计 1

TBM 效率 1

三峡 1

三峡工程 1

中央扣 1

二线隧道 1

企业新形式 1

优化设计 1

传递函数 1

位移与滑动形式 1

体系;云模型;描述逻辑;需求验证 1

展开 ︾

检索范围:

排序: 展示方式:

针对无人机系统安全的新型层级式软件架构 Special Feature on Intelligent Robats

Xiao-rui ZHU, Chen LIANG, Zhen-guo YIN, Zhong SHAO, Meng-qi LIU, Hao CHEN

《信息与电子工程前沿(英文)》 2019年 第20卷 第3期   页码 353-362 doi: 10.1631/FITEE.1800636

摘要: 每个软件模块采用形式验证方法,验证其源代码是否符合设计规范,软件模块基于经过形式验证的操作系统内核(certified kit operating system,CertiKOS),防止无人机由于意外软件故障而坠毁考虑到无人机的机载传感器会对系统可靠性产生显著影响,对驱动传感器SPI总线与I2C总线形式验证,并针对总线异常情况设计完成相关实验。实验结果表明,该软件架构能够有效提高无人机系统安全性与可靠性。

关键词: 安全关键系统;无人机;软件架构;形式验证    

一种高效的异构车辆集群协同框架 Research Articles

Iftikhar AHMAD1,2,Rafidah Md NOOR2,Zaheed AHMED3,Umm-e-HABIBA3,Naveed AKRAM4, 5,Fausto Pedro GARCÍA MÁRQUEZ6

《信息与电子工程前沿(英文)》 2021年 第22卷 第9期   页码 1247-1259 doi: 10.1631/FITEE.2000260

摘要: 长期演进(LTE)和专用短程通信的集成是异构网络的一种普遍形式。这种网络基础设施的异构性和成本/数据共享的不合作性是需要解决的潜在问题。车辆集群框架是解决这些问题的一种方案,但是该框架在部署到现实世界前应经过形式验证。为解决这些问题,提出一种异构的车辆集群框架,称为目标和兴趣感知集群框架。使用模型检测技术对该模型进行形式验证,在功能层面评估其性能。为在微观层面评估该框架性能,通过整合最先进的工具创建异构仿真环境。仿真结果表明,与其他方法相比,该框架具有更好性能。

关键词: 车辆集群;异构性;协同;形式验证;系统模型    

虚拟企业是企业发展的新形式

李昕,李冀

《中国工程科学》 2001年 第3卷 第9期   页码 81-85

摘要:

文章试图应用现代管理的新理论,剖析知识经济时代企业的一种新形式--虚拟企业的产生和发展,指出其类型、特点及其优势,并对如何促进虚拟企业在我国的健康发展提出了见解。

关键词: 知识经济     虚拟企业     企业新形式    

基于风险分析的可靠性指标加速验证方法研究

张辉睿

《中国工程科学》 2015年 第17卷 第5期   页码 31-37

摘要:

传统的可靠性验证试验由于一般在使用条件下进行,且只利用失效数据进行判定,往往需要大量的时间和费用。这对于高可靠长寿命船舶设备可靠性指标的验证是不可接受的。本文提出一种基于风险分析的可靠性指标加速验证方法,该方法利用退化数据进行分析,在试验风险可接受的条件下提前截止试验,得出验证结果。同时,利用高环境应力可以加速退化过程,进一步减少试验时间。本文具体给出了分析和计算提前截止试验和利用高应力进行试验产生的额外风险的方法,保证了验证结果的真实可靠。最后利用案例证实了该方法在减少验证试验时间上的有效性。

关键词: 退化数据;加速验证试验;可靠性验证;风险分析;优化设计    

渤海海峡隧道支护结构形式及参数研究

万飞,王云龙,吴永胜

《中国工程科学》 2013年 第15卷 第12期   页码 61-66

摘要:

借鉴已建成海底隧道的成功经验,采用工程类比法进行渤海海峡隧道支护结构形式及参数设计。通过调研及对比分析,支护结构形式采用复合式衬砌,针对各级围岩初期支护采用相应的支护措施组合方案。隧道主要采用限量排放的防排水系统,衬砌外水压力采用折减系数法计算。

关键词: 渤海海峡     海底隧道     结构形式     支护参数    

航母飞行甲板上飞机转运路径优化方法的设计与验证 Research Articles

司维超,孙涛,宋超,张杰

《信息与电子工程前沿(英文)》 2021年 第22卷 第9期   页码 1221-1233 doi: 10.1631/FITEE.2000251

摘要: 研究了在能见度较低或夜间情况下,航母飞行甲板上飞机安全转运的路径规划问题。首先,分析了舰载机在飞行甲板上的转运路径规划问题,定义了优化目标和约束条件。其次,为解决这一问题,建立了飞行甲板、舰载机实体、实体扩展、实体姿态、实体冲突检测和路径平滑的数学支持模型,为航母上飞机的转运路径规划提供了必要基础。再次,为实现转运路径自动规划,设计了一种多生境并行混沌算法(KCMPSO),并将其作为转运路径规划的优化方法。最后,以库兹涅佐夫号航空母舰为例进行仿真模拟。仿真结果表明,与粒子群算法相比,该方法能较好解决航母飞行甲板上飞机的转运路径规划问题。

关键词: 舰载机;飞行甲板;转运路径规划;KCMPSO算法;方法设计与验证    

802.11i认证协议可验安全性形式化分析

宋宇波,胡爱群,姚冰心

《中国工程科学》 2010年 第12卷 第1期   页码 67-73

摘要:

IEEE 802.11标准组提出了802.11i标准以增强无线局域网的安全性能。在802.11i标准中采用了802.1X标准实现无线局域网用户的认证和接入控制过程。针对802.1X认证协议的三方交互结构提出一种扩展Bellare-Rogaway模型,对802.11i认证和密钥交换机制进行可验安全性分析。通过分析,证明802.11i认证协议存在缺陷并给出了相应的中间人攻击方法。

关键词: 802.11i     Bellare-Rogaway模型     可验安全性     形式化分析    

海上风电场基础形式及配套施工技术

秦顺全,张瑞霞,李军堂

《中国工程科学》 2010年 第12卷 第11期   页码 35-39

摘要:

根据不同的水深及地质条件,结合已建成的海上风电场基础形式及施工方法,介绍和研究了重力式、单桩、群桩、设置沉箱、沉井及吸力式筒形基础等几种形式对不同的基础形式,分别提出了自升式平台、浅吃水半潜驳、打桩船及整体浮运吊装等相应的基础施工方法。根据风机机组类型,对塔筒和风机的安装也做了介绍。

关键词: 海上风电场     基础形式     桩基础     导管架基础     吸力式筒形基础     设置沉箱     风机安装    

锥形凹模缩口力的理论计算与试验验证

胡成武,罗文波,彭炎荣

《中国工程科学》 2005年 第7卷 第6期   页码 54-56

摘要:

缩口力是导致薄壁筒形件缩口失稳的重要因素。为了提高缩口力的计算精度,M·B·斯德洛日夫和E·π·翁克索夫综合考虑板厚变化、加工硬化及磨擦等因素的影响,分别提出了圆筒形件缩口力的计算方法;通过实例对该两种方法的计算结果进行了分析,并与实验数据做了比较。结果表明,两种方法的计算结果十分接近,而且与实验数据相吻合。

关键词: 缩口力     理论计算     试验验证    

连轧张力公式的实验验证和分析

张进之,赵厚信,王喆,王保罗

《中国工程科学》 2008年 第10卷 第4期   页码 73-77

摘要: 日本在20世纪70年代对连轧张力公式进行了理论上的推导和实验验证,特别是浅川基男等人的连轧实验结果更为重要。为此引用了浅川基男的实验数据和宝钢2 050 mm热连轧机上的实测数据,验证了连轧张力公式。

关键词: 连轧张力公式     实验验证     解析解     定常性    

科学论证是重大工程正确决策的基础——三峡工程论证结论的实践验证

潘家铮,王家柱

《中国工程科学》 2001年 第3卷 第3期   页码 21-26

摘要: 重新论证的若干重要结论得到了初步验证,大江截流、深水围堰、永久船闸高陡边坡开挖稳定,特高强度混凝土浇筑施工等一系列重大科技难题得到克服,充分证明了当年科学论证的必要性和正确性。

关键词: 科学论证     三峡工程     实践验证    

特大跨度斜拉桥施工几何控制原理的数值验证

黄灿,卜一之,张清华

《中国工程科学》 2009年 第11卷 第1期   页码 87-91

摘要:

以苏通长江大桥为研究对象,通过数值仿真分析验证了几何控制原理的正确性。

关键词: 斜拉桥     几何控制     几何非线性     数值验证    

车桥耦合动力分析方法及验证

张楠, 田园, 夏禾

《工程(英文)》 2016年 第2卷 第4期   页码 528-536 doi: 10.1016/J.ENG.2016.04.012

摘要:

本文系统研究了车桥耦合动力系统的分析方法。随着铁路技术的发展,车桥耦合动力分析日臻成熟, 此类研究对评判桥梁设计方案、确保列车运行的安全性与平稳性具有重要意义。车桥耦合动力研 究中考虑轨道不平顺、结构变形、风荷载、撞击荷载、结构损伤、基础冲刷和地震等因素的影响, 其研究方法主要包括解析法、数值模拟法以及试验研究法三类。本文的车辆子系统模型以刚体动 力学方法建立,桥梁子系统模型以有限元方法建立,竖向与横向轮轨关系分别以轮轨密贴假定和 Kalker 线性蠕滑理论定义。车桥耦合动力方程以全过程迭代法求解。算例讨论了CRH380BL 高速 列车通过我国标准设计桥梁的动力响应,计算了车速200~400 km·h-1 范围内车辆与桥梁子系统的 动力响应,并分析了振动发生的机理。

关键词: 车桥耦合系统     轮轨关系     全过程迭代法     现场试验     验证    

水污染防治生物处理技术验证评估指标研究

许春莲,张伟,宋乾武,黄海明,田艳丽,陈栋

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

摘要:

建立科学的验证评估指标体系是开展环境技术验证评估的前提条件。立足于水污染防治生物处理技术,以公正、科学、保护知识产权等为原则,在总结国外验证评估指标体系、验证评估方法的基础上,结合我国的国情开展了水污染防治技术验证评估指标的设计。验证指标共分参考指标、测试指标、评价指标3个部分,按特性又划分为通用指标和特征指标两类。

关键词: 生物处理技术     验证评估     指标    

高效可验证的雾辅助私有集合交集计算 None

Qiang WANG, Fu-cai ZHOU, Tie-min MA, Zi-feng XU

《信息与电子工程前沿(英文)》 2018年 第19卷 第12期   页码 1558-1568 doi: 10.1631/FITEE.1800518

摘要: 提出一种高效可验证的雾辅助私有集合交集计算方案。在该方案中,实体将私有集合交集计算外包至雾,雾在没有解密能力的前提下计算集合交集。该方案不依赖全同态加密和配对操作,极大提高了计算效率。

关键词: 私有集合交集计算;雾计算;可验证;数据隐私    

标题 作者 时间 类型 操作

针对无人机系统安全的新型层级式软件架构

Xiao-rui ZHU, Chen LIANG, Zhen-guo YIN, Zhong SHAO, Meng-qi LIU, Hao CHEN

期刊论文

一种高效的异构车辆集群协同框架

Iftikhar AHMAD1,2,Rafidah Md NOOR2,Zaheed AHMED3,Umm-e-HABIBA3,Naveed AKRAM4, 5,Fausto Pedro GARCÍA MÁRQUEZ6

期刊论文

虚拟企业是企业发展的新形式

李昕,李冀

期刊论文

基于风险分析的可靠性指标加速验证方法研究

张辉睿

期刊论文

渤海海峡隧道支护结构形式及参数研究

万飞,王云龙,吴永胜

期刊论文

航母飞行甲板上飞机转运路径优化方法的设计与验证

司维超,孙涛,宋超,张杰

期刊论文

802.11i认证协议可验安全性形式化分析

宋宇波,胡爱群,姚冰心

期刊论文

海上风电场基础形式及配套施工技术

秦顺全,张瑞霞,李军堂

期刊论文

锥形凹模缩口力的理论计算与试验验证

胡成武,罗文波,彭炎荣

期刊论文

连轧张力公式的实验验证和分析

张进之,赵厚信,王喆,王保罗

期刊论文

科学论证是重大工程正确决策的基础——三峡工程论证结论的实践验证

潘家铮,王家柱

期刊论文

特大跨度斜拉桥施工几何控制原理的数值验证

黄灿,卜一之,张清华

期刊论文

车桥耦合动力分析方法及验证

张楠, 田园, 夏禾

期刊论文

水污染防治生物处理技术验证评估指标研究

许春莲,张伟,宋乾武,黄海明,田艳丽,陈栋

期刊论文

高效可验证的雾辅助私有集合交集计算

Qiang WANG, Fu-cai ZHOU, Tie-min MA, Zi-feng XU

期刊论文