检索结果-南通市图书馆

ON THE NONEXISTENCE OF NONTRIVIAL SMALL CYCLES OF THE μ FUNCTION IN 3x+ 1 CONJECTURE

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2012年第6期25卷 1215-1222页

作者： Dengguo FENG xiubin fan Liping DING Zhangyi WANG State Key Laboratory of Information Security Institute of SoftwareChinese Academy of Sciences Institute of Software Chinese Academy of Sciences

这份报纸在 1 推测的 3x + 学习递归的序列的性质。作者介绍这个概念吗？

关键词：周期点猜想通项公式递归数列西门子证明作者函数

Outburst Risk of Barrier Lakes in Sichuan,China

在线全文

学校读者我要写书评

暂无评论

Journal of Mountain Science 2008年第3期5卷 189-193页

作者： CHENG Genwei WANG Xiaodan HE xiubin fan Jihui fan Jianrong Institute of Mountain Hazards and Environment CAS Chengdu China 610041

34 barrier lakes induced by earthquake have been formed by wedged debris on the river channels after a massive earthquake happening on May 12 in Sichuan, China. Among them, the Tangjiashan Barrier Lake is the largest one. It faces very urgent risk of dam breaking when water level reaches the top and begins overflow in case of storm rainfalls and continually aftershocks, threatening already devastated cities and villages with about 1.5 million people downstream. The outburst of a similar barrier lake occurred in the Minjiang River in 1933, causing a catastrophic flood. Risk analysis indicates that not all barrier lakes are highly dangerous. Only those lakes with very high dams and water to be filled up in short period need to be dealt with immediately.

关键词：地震堰塞湖风险评估中国震后

The analysis of the number of fixed points in the key extending algorithm of RC4

在线全文

学校读者我要写书评

暂无评论

Science China Mathematics 2008年第3期51卷 407-415页

作者： XU KeJian HE Liang DAI ZhaoPeng fan xiubin College of Mathematics Qingdao UniversityQingdao 266071China State Key Laboratory of Information Security Chinese Academy of SciencesBeijing 100049China

The probabilities of the state transitions of the initial value So in the S table of RC4 are described by a kind of bistochastic matrices, and then a computational formula for such bistochastic matrices is given, by which the mathematical expectation of the number of fixed points in the key extending algorithm of RC4 is obtained. As a result, a statistical weakness of the key extending algorithm of RC4 is presented.

关键词： bistochastic matrix fixed point key extending algorithm RC4 state transition probability matrix

在线全文

学校读者我要写书评

暂无评论

1比特加法记忆独立二输入逻辑概率模型分析

计算机工程 2005年第6期31卷 7-8,94页

作者：刘恒范修斌吕述望孙鹏中国科学技术大学研究生院信息安全国家重点实验室北京100039

在已有的带记忆密码逻辑的研究结果的基础上,给出了1比特加法记忆独立二输入逻辑概率模型,证明了其输出序列是独立均匀同分布的二元随机变量序列;得到了其输出序列单点提供的关于输入的信息量之和等于输出序列提供的关于输入的信息量。

关键词：加法记忆概率模型信息熵

ANALYSIS OF THE MUTUAL INFORMATION BETWEEN INPUT AND OUTPUT OF A CLASS OF CLOCK-CONTROLLED SEQUENCES

在线全文

学校读者我要写书评

暂无评论

Journal of Electronics(China) 2000年第2期17卷 185-192页

作者： fan xiubin Li Shiqu(Department of Information Researches, Zhengzhou Information Engineering Institute, Zhengzhou 450002)

In this paper, the mutual information between clock-controlled input and output sequences is discussed. It is proved that the mutual information is a strictly monotone increasing function of the length of output seque... 详细信息

关键词： Clock-controlled sequences Mutual information π-class σ-algebra

基于CFL_BLP模型的CFL SSL安全通信协议

在线全文

学校读者我要写书评

暂无评论

计算机工程 2021年第6期47卷 152-163页

作者：廉文娟赵朵朵范修斌山东科技大学计算机科学与工程学院山东青岛266590 中国科学院软件研究所青岛分部山东青岛266114 青岛博文广成信息安全技术有限公司山东青岛266235 山东文斌信息安全技术有限公司山东泰安271200

现有PKI、IBC认证技术与SSL/TLS通信协议已不能满足当今网络空间新兴信息产业的毫秒级信息安全需求。针对新兴信息产业的毫秒级通信安全问题,以CFL为原点技术,并基于CFL_BLP模型给出CFL SSL协议及其形式化描述,从协议层面上证明该协议... 详细信息

现有PKI、IBC认证技术与SSL/TLS通信协议已不能满足当今网络空间新兴信息产业的毫秒级信息安全需求。针对新兴信息产业的毫秒级通信安全问题,以CFL为原点技术,并基于CFL_BLP模型给出CFL SSL协议及其形式化描述,从协议层面上证明该协议可实现毫秒级双向认证、通信的机密性和完整性保护、自主可控以及防止中间人攻击等信息安全属性。实验结果表明,与SSL/TLS协议相比,该协议的可用性和安全性更高,且能够满足各种新兴信息产业通信机制的毫秒级信息安全需求。

关键词：公钥基础设施基于标识的密码体制工业控制系统 CFL认证体制 CFL_BLP模型

在线全文

学校读者我要写书评

暂无评论

舱段自动装配位姿求解方法研究

中国机械工程 2017年第1期28卷 88-92页

作者：金贺荣刘达于斌范秀斌燕山大学河北省并联机器人与机电系统实验室秦皇岛066004 燕山大学先进锻压成型技术与科学教育部重点实验室秦皇岛066004 北京星航机电装备有限公司北京100074

在航天器自动化总装过程中需首先确定航天器舱段在装配空间内的准确位姿,为实现舱段位姿的快速精准求解,以圆柱体类航天器舱段结构为例,提出了一种矢量位姿求解法。通过在舱段的圆柱面上合理布设特征点,利用阻尼最小二乘法求解舱段连体... 详细信息

在航天器自动化总装过程中需首先确定航天器舱段在装配空间内的准确位姿,为实现舱段位姿的快速精准求解,以圆柱体类航天器舱段结构为例,提出了一种矢量位姿求解法。通过在舱段的圆柱面上合理布设特征点,利用阻尼最小二乘法求解舱段连体坐标系原点在装配空间内的位置矢量,并结合空间圆柱面方程求解舱段连体坐标系的旋转矩阵,进而求得舱段的6个位姿参数。对矢量位姿求解法进行数值仿真,仿真结果验证了该方法的有效性和准确性。

关键词：舱段装配矢量位姿阻尼最小二乘法圆柱体

在线全文

学校读者我要写书评

暂无评论

无碰撞CPK的种子库构建和选取方案

计算机工程与应用 2012年第27期48卷 99-104,113页

作者：马芯宇龙翔范修斌北京航空航天大学计算机科学与工程学院北京100191 中国科学院软件研究所北京100190

组合公钥CPK(Combined Public Key)是我国拥有完全知识产权的认证技术,与PKI和IBC相比有其独特的优势。但由于密钥由种子密钥经过组合运算生成,因此可能发生碰撞,有效解决碰撞问题已成为CPK体制发展和完善的关键。介绍了CPK的发展、研... 详细信息

组合公钥CPK(Combined Public Key)是我国拥有完全知识产权的认证技术,与PKI和IBC相比有其独特的优势。但由于密钥由种子密钥经过组合运算生成,因此可能发生碰撞,有效解决碰撞问题已成为CPK体制发展和完善的关键。介绍了CPK的发展、研究现状和存在问题;根据其构建特点,提出了两种新的种子公/私钥组合选取方法,使得在相同规模的安全需求下,所需种子公/私钥量大大减少;针对产生碰撞的两种可能因素提出了解决方案:用分组密码对用户标识进行映射、按照特定规则产生种子公/私钥库以及对椭圆曲线参数进行约束,从根本上消除了碰撞。优化后的CPK体制,无碰撞,种子库规模小,构建效率高,占用空间少,安全性高,可靠性强,便于管理。

关键词：密钥管理组合公钥(CPK) 种子公/私钥标识密钥碰撞

一种适用于载人航天飞行的针织手套设计及性能分析

在线全文

学校读者我要写书评

暂无评论

载人航天 2024年第1期30卷 17-22页

作者：李猛尚坤陈树刚刘秀斌王奕霏吴璠中国航天员科研训练中心北京100094 人因工程全国重点实验室北京100094 深圳市微纳先材科技有限公司深圳518035

针对载人航天飞行任务中航天服配套的舒适手套,开展研究设计与样品试制,以传统的纯棉天然纤维与高性能的聚酰亚胺纤维2种材料织造的针织手套为对象,在力学性能、吸湿性、透气性、热传导性等方面进行比对实验与分析,同时针对聚酰亚胺在... 详细信息

针对载人航天飞行任务中航天服配套的舒适手套,开展研究设计与样品试制,以传统的纯棉天然纤维与高性能的聚酰亚胺纤维2种材料织造的针织手套为对象,在力学性能、吸湿性、透气性、热传导性等方面进行比对实验与分析,同时针对聚酰亚胺在卫生学、远红外等原生特性方面开展实验验证。结果表明:相对于棉针织手套,聚酰亚胺针织手套的力学性能与热稳定性更优,使用过程中脱出物更少,对载人航天飞行应用的环境更加友好;基于聚酰亚胺纤维的低吸湿与低导热特性,在航天服内部人手出汗与环境温度变化下的干湿态转换过程中,针织手套的性能损失较小;聚酰亚胺纤维原生性的远红外特性与抗菌抑菌能力能够为针织手套在肢体末端湿冷环境下提供更好的温热性与卫生学满足性。

关键词：针织手套舒适手套聚酰亚胺载人航天飞行航天服

维普期刊数据库博看期刊