全文获取类型
收费全文 | 123篇 |
免费 | 30篇 |
国内免费 | 22篇 |
学科分类
工业技术 | 175篇 |
出版年
2023年 | 1篇 |
2021年 | 1篇 |
2020年 | 2篇 |
2019年 | 3篇 |
2018年 | 2篇 |
2017年 | 3篇 |
2016年 | 5篇 |
2015年 | 3篇 |
2014年 | 10篇 |
2013年 | 11篇 |
2012年 | 11篇 |
2011年 | 8篇 |
2010年 | 14篇 |
2009年 | 19篇 |
2008年 | 12篇 |
2007年 | 11篇 |
2006年 | 3篇 |
2005年 | 8篇 |
2004年 | 11篇 |
2003年 | 7篇 |
2002年 | 5篇 |
2001年 | 4篇 |
2000年 | 5篇 |
1999年 | 3篇 |
1998年 | 3篇 |
1997年 | 4篇 |
1995年 | 1篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1991年 | 1篇 |
排序方式: 共有175条查询结果,搜索用时 0 毫秒
1.
A. Arbona A. Artigues C. Bona-Casas J. Massó B. Miñano A. Rigo M. Trias C. Bona 《Computer Physics Communications》2013
Simflowny is a software platform which aims to formalize the main elements of a simulation flow. It allows users to manage (i) formal representations of physical models based on Initial Value Problems (hyperbolic, parabolic and mixed-type partial differential equations), (ii) simulation problems based on such models, and (iii) discretization schemes to translate the problem to a finite mesh. Additionally, Simflowny generates automatically code for general-purpose simulation frameworks. This paper first presents an introductory example of such problems. Then, formal representations are explained. Afterwards, it summarizes the platform’s architecture. Finally, validation results are provided. 相似文献
2.
混合偏好模型下的分布式理性秘密共享方案 总被引:1,自引:0,他引:1
理性秘密共享方案通过扩展参与者的类型后具有更好的适应性,而现有方案中的共享秘密往往依赖于秘密分发者,但在某些特定环境中秘密分发者并不一定存在.通过对传统分布式秘密共享方案的分析,给出了分布式理性秘密共享方案的一般形式化描述;同时,考虑理性参与者的眼前利益和长远利益,提出一种新的理性参与者混合偏好模型;进一步结合机制设计理论的策略一致机制,设计了一个激励相容的信誉讨价还价机制,以此有效约束理性参与者的行为,从而实现了公平的(t,n)(t,n≥2)分布式理性秘密共享方案的构造;通过从信道类型、秘密分发者的在线/离线需求、方案的通用性和偏好模型等方面与目前相关理性秘密共享方案进行对比分析,进一步分析了所提出方案的优势. 相似文献
3.
In recent years, various proposals have been put forth to formalize the Grafcet graphical language. The objective of this paper is to propose an ontology-based approach to formalize this language. The authors have implemented a semi-coarse grain ontology written in Ontology Web Language and have tested it by including it in an existing educational tool for the teaching of Grafcet language for use in programmable logic controllers. 相似文献
4.
Saadia Drissi Hicham Medromi 《通讯和计算机》2014,(1):52-58
The cloud computing introduces several changes in technology that have resulted a new ways for cloud providers to deliver their services to cloud consumers mainly in term of security risk assessment, thus, adapting a current risk assessment tools to cloud computing is a very difficult task due to its several characteristics that challenge the effectiveness of risk assessment approaches. Consequently, there is a need of risk assessment approach adapted to cloud computing. With such an approach, the cloud consumers can be guaranteed the effectiveness of data security and the cloud providers can win the trust of their cloud consumers. This paper requires the formalization of risk assessment method for conventional system as fundamental steps towards the development of flexible risk assessment approach regarding cloud consumers. 相似文献
5.
6.
对等网络的发展从传统的非结构化协议到基于DHT的结构化协议,寻径的效率逐渐增高,然而随着开销的增加,出现了抗抖动性减弱的问题。提出了一种自适应寻径的对等网络寻径形式化模型,阐述了对等网自适应寻径协议的基本组成,描述其寻径过程,并建立下推自动机模型。最后,对模型的可达性给予证明。 相似文献
7.
为支持对业务流程执行语言(BPEL)语言的形式化分析和验证,提出一种Web服务编制的形式化模型——μ-BPEL。介绍模型的语法规则和操作语义,在此基础上,建立从μ-BPEL到扩展时间自动机的映射,利用模型检查技术研究服务正确性检验和与时间相关的检验问题。研究结果表明,该模型符合Web服务编制流程,满足系统设定的时态逻辑性质。 相似文献
8.
9.
为了在网络环境下为网构软件提供一致的语法和语义规约并进行可靠性分析,利用抽象代数理论,根据网构软件特征,建立了网构软件形式化代数模型,在此基础上实现了构件组合运算,在定性和定量方面具有演算能力,提出了网构软件系统可靠性计算的简化方法。实验证明,在网构软件的形式化分析基础上建立的模型和提出的可靠性计算方法正确、有效,可以有效地应用于网构软件设计、开发和测试、维护等方面。 相似文献
10.
刘玥波 《吉林建筑工程学院学报》2011,28(2):87-89
统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列图进行形式化描述,以提高UML序列图语义的准确性.本文采用指称语义学方法定义了UML序列图的... 相似文献