首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   38篇
  免费   3篇
  国内免费   5篇
电工技术   4篇
综合类   1篇
化学工业   2篇
金属工艺   2篇
机械仪表   2篇
建筑科学   2篇
能源动力   6篇
轻工业   6篇
无线电   3篇
一般工业技术   6篇
冶金工业   1篇
自动化技术   11篇
  2024年   1篇
  2021年   3篇
  2020年   1篇
  2019年   1篇
  2018年   1篇
  2015年   1篇
  2014年   1篇
  2013年   4篇
  2012年   1篇
  2011年   3篇
  2010年   3篇
  2009年   2篇
  2008年   3篇
  2006年   4篇
  2005年   2篇
  2004年   3篇
  2002年   2篇
  2001年   1篇
  2000年   2篇
  1998年   1篇
  1997年   1篇
  1992年   2篇
  1983年   1篇
  1967年   1篇
  1965年   1篇
排序方式: 共有46条查询结果,搜索用时 15 毫秒
1.
云计算是一种通过网络以服务的方式向用户提供按需收费的计算资源的模式,目前企业逐渐将业务部署、数据处理转移到云计算平台上进行.因为可扩展性、性能等各方面需求,所以云平台部署在分布式系统上.由于分布式系统采用大量的商品机通过复杂的结构进行搭建,因此分布式系统中组件发生故障是无法避免的.为了提高分布式系统的可靠性,技术人员在开发分布式系统时为其设计了容错机制.为了保证容错机制在分布式系统发生故障时能真正有效地工作,故障注入是检验容错机制的方法之一,通过人为地向系统中注入特定的故障,观察系统的行为并检验容错机制是否正确工作.由于分布式系统的并发特性,传统软件测试方法无法对其进行完全测试,近年来越来越多地使用模型检测技术来对分布式系统进行验证.现有的模型检测技术注重对分布式系统的安全性属性和活性属性的检测,忽略了对容错机制尤其是活性属性容错机制的检测,所以如何验证系统的活性属性容错机制是目前面临的挑战.采用抽象模型检测方法会引入模型与实际系统不匹配的问题.同时,采用实现级模型检测方法会加剧模型检测中的状态空间爆炸问题.本文提出了一个实现级模型检测工具LTMC(Liveness Properties Fault Tolerance Model Checker),结合故障注入技术对分布式协议的安全性属性与活性属性及其容错机制进行验证.同时,基于分布式系统节点的角色,本文提出了一种对等约减策略PRP(Peer Reduction Policy)对LTMC需要搜索的状态空间进行约减,缓解了状态空间爆炸问题.此外,LTMC通过引入逻辑时钟机制,优先搜索那些更有实际价值的事件执行路径.LTMC能够有目标地在待验证系统运行的特定时刻注入特定的故障,而不依赖于随机故障注入策略;当待验证系统发生改变时,只需要简单地对工具进行轻微的修改;LTMC可以系统地发现分布式协议中指定类型的所有Bug.在本文最后,我们将LTMC应用到ZooKeeper和Cassandra的几个协议中,并与深度优先搜索作对比,可以发现LTMC有3.7~594.4倍的状态空间约减率.  相似文献   
2.
3.
根据车削加工工件的几何外形和成形特点 ,提出了包含加工误差信息的回转体类工件半剖轮廓多边形建模方法和记录、组织加工误差信息的刀具轨迹法。在虚拟加工中 ,刀具扫描体被简化表示为刀具扫描体轮廓多边形 ,简化了仿真计算。同时还对加工过程仿真和反映加工误差的已加工表面形貌的构建等关键问题进行了研究。该建模方法在VMIS虚拟加工与检测系统中获得了应用  相似文献   
4.
Abstract

This paper outlines a new approach to the synthesis of information from data. Information is defined as a detected organization of data after a process of discretization (or partitioning) and event covering. The discretization is based on a hierarchical maximum entropy scheme which iteratively minimizes the loss of information according to Shannon. The event-covering process is based on an evaluation of the deviation of the observed frequencies of an event from the expectation due to prior knowledge (defined by the null hypothesis and/or domain knowledge). The hierarchical maximum entropy discretization scheme provides a rigorous and efficient way in solving the non-uniform scaling problem in multivariate data analysis. Because our method refines the boundaries dynamically depending on the detection of information, it directs the analysis on the outcome subspace with high information content. In addition, it naturally produces a hierarchical view of information so that data can be analyzed/synthesized with respect to an outcome context. The method has been tested using simulated and real life data with very good result.  相似文献   
5.
A radio-frequency identification (RFID) system including hardware and software may be updated from time to time after first time deployment. To ensure the reliability of the system, extensive tests are required. However, enumerating all test cases is infeasible, especially when the tests involve time-consuming hardware operations. To solve this problem, we propose a testing methodology for RFID systems which does not enumerate all test cases but rather those which are representative. A clustering method is adopted in selecting representative test cases. Although a small number of selected test cases are run, we can still obtain a relatively high bug detection rate compared with running the enumerated test cases. Our extensive experiments show the efficiency and effectiveness of our testing methodology.  相似文献   
6.
该文以液态发酵的虎奶菇(Pleurotus tuber-regium,PTR)菌丝体为原料,对PTR菌丝体细胞壁(PTR-MCW)的组分进行分析,并阐明细胞壁骨架结构。采用不同提取强度的溶剂分离MCW的可溶性成分,对各组分进行含量测定、化学成分分析及基本结构表征。结果表明,PTR-MCW主要由4部分组成:热水提多糖和蛋白质复合物的外层,常温碱提的杂多糖部分,热碱提的高度支化杂多糖部分和碱不溶性多糖-几丁质复合物部分,这4种组分在PTR-MCW中的比例为2.06∶22.06∶46.97∶18.95。占主要组分的热碱提多糖经纯化后得到纯多糖MHA-I,单糖组成和甲基化分析表明其糖苷键类型包括T-木糖、T-鼠李糖、T-葡萄糖、1,3-葡萄糖、1,6-葡萄糖、1,4-葡萄糖、1,3,6-葡萄糖、1,4,6-葡萄糖、1,3,6-甘露糖,摩尔比为2.01∶1.00∶27.64∶8.19∶38.22∶20.88∶14.38∶6.98∶3.22,该多糖的分支度(degree of branching,DB)为0.45,FT-IR分析鉴定MHA-I中主要为β-糖苷键。SEC-MALLS分析表明,超支化杂多糖MHA-I的分子量为4.502×10^4 g/mol,回转半径为33.2 nm。电镜结果显示,MHA-I为具有超支化结构的多糖,在干燥的粉末状态下呈现准球形结构。该研究成果为虎奶菇多糖的开发及活性研究提供一定的理论依据。  相似文献   
7.
8.
应用灰色控制理论,对泥质岩石软化试验中的主要力学参数数据进行建模分析,提出了描述和预测膨胀岩石软化和水解作用过程中的非线性力学特性GM(1,1)模型.  相似文献   
9.
用蒙特卡洛法计算柴油机缸内多元热辐射   总被引:6,自引:1,他引:5  
采用柴油机气缸内辐射传热多区(多维)模型,对ω型燃烧室空间和曲面作与辐射多区模型相适应的数学处理和网格划分,充分考虑了燃烧室复杂的几何形状及气缸内不均匀的物性参数辐射传热的影响,利用蒙特卡洛法计算燃烧室各壁面的辐射热分布,同时还对油滴散射对热辐射的影响作了有益探索,结果表明本所提供的模型和方法,可作为预测同类机型缸内热辐射研究的一种有效手段。  相似文献   
10.
在“人-机-物”三元融合、泛在计算的时代蓝海下, “开放多变”“需求多样”和“场景复杂”的软件部署和运行环境对开源软件库生态的治理技术提出了更多需求和更高期望. 为进一步推动构建可信软件供应链生态, 围绕泛在计算模式、打造自主可控的技术体系, 聚焦于开源软件库管理生态, 收集近20多年来(2001–2023)发表于软件工程领域较高影响力的学术期刊和会议的348篇论文, 对开源软件库生态治理技术的研究工作进行梳理. 讨论开源软件库生态的建模与分析、演化与维护、质量保证和管理等方面的工作, 总结研究现状、问题、挑战与趋势.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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