首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   12篇
  免费   5篇
  国内免费   10篇
武器工业   2篇
无线电   1篇
原子能技术   1篇
自动化技术   23篇
  2023年   1篇
  2022年   1篇
  2020年   2篇
  2018年   1篇
  2016年   2篇
  2015年   1篇
  2014年   2篇
  2013年   1篇
  2011年   1篇
  2008年   2篇
  2007年   2篇
  2004年   3篇
  2003年   4篇
  2002年   3篇
  2001年   1篇
排序方式: 共有27条查询结果,搜索用时 31 毫秒
1.
2.
姚闯  杨叶子  余一  孙长庆  张蕾 《含能材料》2020,28(10):1003-1009
为探究微缺陷对五唑阴离子盐冲击响应、化学分解及损伤演化的影响,采用从头算分子动力学模拟方法研究了完美型Mn(N52晶体及含有3%空位浓度的Mn(N52晶体在不同速度(8,9,10,11,12 km·s-1c轴冲击波作用下的动力学演化和初始分解反应机理。冲击雨贡纽线的计算结果表明,含空位的Mn(N52体系比完美型体系在高压条件下表现出更大的体积压缩比。分子动力学模拟结果显示,当冲击波速vshock<10 km·s-1时,完美型及含有空位的体系在5000 fs内均未出现分解反应,而仅出现了不足10%的体积压缩;当vshock=10 km·s-1时,完美型体系于512.8 fs时刻开始在晶体内均匀地出现N—N键断裂的现象,而含空位体系的初始反应时间则提前至281.6 fs,并且N—N键的断裂集中发生在空位附近;当vshock继续增加至11 km·s-1和12 km·s-1时,两种体系的初始反应时间不断提前,反应进程不断加快,但空位对体系冲击波感度的提升作用和对分解反应进程的加速作用随着冲击波速的提升而不断减弱。研究结果表明空位是热点的早期成核结构之一,空位的存在促进周围的五唑分子发生级联分解,使损伤不断演化成长和传播,进而引起含能材料的点火。  相似文献   
3.
1.背景近年来工业技术的进步,促进了集群技术的形成与发展,成为当今计算机技术研究的热点。在集群技术中,网络通信是很重要的一个环节,一个高效、可靠的网络通信层,是集群系统的底层基石。在集群系统中,各主机之间通信频繁,通信量大,延迟小,  相似文献   
4.
调试器对并行程序干扰特性的研究   总被引:2,自引:0,他引:2  
机群系统中并行程序的执行具有不确定性,这种不确定性给并行程序的调试带来了困难,并行程序的不确定性是由运行环境中的各种干扰因素造成的,该文研究交互式调试行为对调试程序的干扰特性,文中给出了算法可以在调试的过程中实时地报告出本次交互式调试操作是否对调试的程序造成了干扰。  相似文献   
5.
为探究影响共晶炸药晶体稳定性和爆轰能量的关键因素,基于第一性原理方法对六硝基六氮杂异伍兹烷/奥克托今(CL-20/HMX)、六硝基六氮杂异伍兹烷/三硝基甲苯(CL-20/TNT)、苯并三氧化呋咱/1,3,5-三硝基苯(BTF/TNB)、3-硝基-1,2,4-三唑-5-酮/5,6,7,8-四氢四唑并三嗪(NTO/TZTN)等16种共晶炸药的晶体结构、分子间相互作用、物理化学性质参数、晶体稳定性及爆轰能量进行了研究。结果表明,分子间氢键强度小于21 kJ·mol~(-1)时,共晶晶体稳定性主要由氢键数量决定;氢键强度大于21 kJ·mol~(-1)时,共晶晶体稳定性主要由氢键强度决定。相对于单组分炸药,共晶炸药大多具有较好的氧平衡和氮含量,但晶体密度普遍较小,导致爆轰能量相对于单组分炸药并无明显优势。以CL-20共晶炸药为例,共晶设计需提升分子间氢键的强度,而非仅增大氢原子计量比、增加氢键数量以提升晶体稳定性。该策略能兼顾较好的氧平衡、氮含量和晶体密度,从而实现共晶炸药晶体稳定性和爆轰能量的实质性提升。  相似文献   
6.
左正康  薛锦云 《软件学报》2015,26(6):1340-1355
泛型程序设计可大幅提高程序的可重用性、可靠性和开发效率.泛型约束机制是对泛型参数进行形式描述,并对其合法性进行检测及验证,从而保证泛型程序的可靠性和安全性.分析总结多种主流语言的泛型约束特性,存在难以描述及验证基于动态语义的复杂约束需求问题,与完整实现GP尚有距离;以抽象程序设计语言Apla为宿主语言,提出了基于代数结构及公理语义的泛型约束方法,给出了基本数据类型、自定义抽象数据类型和子程序的3类泛型约束机制,拓展了泛型程序设计约束的应用范围.同时,支持静态语法和动态语义层约束,提高了泛型约束的精确度;借助Isabelle定理证明器,设计了泛型约束匹配检测和验证算法;进一步设计了泛型约束机制在PAR平台的实现方案及其系统原型.实验部分给出了该泛型约束机制描述、检测及验证一系列复杂泛型约束问题的全过程,自动生成的C++模板程序的可靠性和安全性得到显著提高.  相似文献   
7.
关系代数派生算子语义表达式间等价性证明   总被引:1,自引:0,他引:1       下载免费PDF全文
关系代数的派生算子在关系数据库查询语言中得到了广泛应用。它们的语义有两种常见的表示方式,一种是基于原始算子的表达式,一种是基于一阶逻辑的表达式。但有关的文献资料都没有给出这两种表达式等价性的严格证明。文章尝试通过一系列等价变换,证明派生算子语义的这两种表达式间的等价性。从派生算子(主要是除算子)语义的原始算子表达式出发,根据关系代数表达式的特点,通过一步步的等价变换,得到派生算子语义的一阶逻辑表达式。所使用的变换方法能为关系代数表达式的正确性证明打下基础。  相似文献   
8.
一种基于分布式哈希表的混合对等发现算法   总被引:12,自引:0,他引:12  
使用分布式哈希表(distributed hash table,简称DHT)的应用系统必须在O(1)发现算法和O(logN)发现算法系列中选择适应的DHT协议.但是,不同网络波动程度的应用场景要求理想的DHT协议根据网络波动率能够自适应地调整.提出一种发现算法ROAD(routing on active and demand),在延时和波动率之间自适应地调整以提供更好的性能.设计ROAD的关键挑战是构建路由表和降低延时的算法.通过构建加速路由表,加快发现服务的速度,降低消息转发的延时,并通过幂次序组播算法  相似文献   
9.
存储管理是目前网络存储系统亟需解决的重要问题之一,解决存储管理问题的核心是自动适应外部环境变化,实现自我调整和自我管理,其中自适应是管理的关键.提出了一个解决存储管理的新方法和体系结构,基于自主运算理论实现自适应的SAN(storage area network)存储管理系统.在Tsinghua Mass Storage NetworkSystem(TH-MSNS)项目的基础上,提出了一个基于自主运算的SAN存储管理系统的通用结构框架,实现了一个自适应级别的自主FC-SAN存储系统.初步的实验结果说明,新  相似文献   
10.
首先介绍了SIMD扩展技术,并分析了使用SIMD扩展的3种方式,认为通过调用特定目标平台优化的第三方库是应用领域软件开发者快速开发高效并行程序的较好的方式;其次,介绍了国产神威处理器SW-1600平台,并利用SIMD扩展和循环展开等技术开发了SW-VML(SW Vector Math Library),开发过程中提出了访存对界、简化向量条件分支的优化方法,解决了非对界访存、向量与标量数组转换影响性能的问题,并根据SW编译器对OpenMP的支持,开发了多线程OpenMp版;最后,在SW-1600平台上采用不同向量规模对SW-VML进行了测试,测试结果显示,SIMD向量化相对于串行程序加速比为2.08,4线程相对单线程平均加速比为2.26.SW-VML是在国产神威系列处理器上开发高效程序的向量函数软件包,也是在神威蓝光高性能计算平台单计算节点开发高性能程序的基础软件工具包.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号