首页 | 官方网站   微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   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.
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.
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.
BAN逻辑的可靠性分析与改进   总被引:1,自引:0,他引:1       下载免费PDF全文
BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进行限定,使消息新鲜性判定规则适用于更多类型的协议安全性验证。  相似文献   
6.
对等网络的发展从传统的非结构化协议到基于DHT的结构化协议,寻径的效率逐渐增高,然而随着开销的增加,出现了抗抖动性减弱的问题。提出了一种自适应寻径的对等网络寻径形式化模型,阐述了对等网自适应寻径协议的基本组成,描述其寻径过程,并建立下推自动机模型。最后,对模型的可达性给予证明。  相似文献   
7.
杨晓波 《计算机工程》2012,38(7):276-278
为支持对业务流程执行语言(BPEL)语言的形式化分析和验证,提出一种Web服务编制的形式化模型——μ-BPEL。介绍模型的语法规则和操作语义,在此基础上,建立从μ-BPEL到扩展时间自动机的映射,利用模型检查技术研究服务正确性检验和与时间相关的检验问题。研究结果表明,该模型符合Web服务编制流程,满足系统设定的时态逻辑性质。  相似文献   
8.
自然灾害应急预案描述了应急响应事件处置的领域知识,是高效应急反应的基础.当前应急预案大多以非结构化文本形式存在,不利于应急决策者快速准确地获取应急处置知识,阻碍了信息技术在自然灾害应急管理中的应用.针对这一现状,对文本应急预案内容进行分析,结合应急组织协调联动过程,提出了一种基于本体的自然灾害应急预案形式化表示方法,并通过系统实现来说明本方法的有效性.  相似文献   
9.
为了在网络环境下为网构软件提供一致的语法和语义规约并进行可靠性分析,利用抽象代数理论,根据网构软件特征,建立了网构软件形式化代数模型,在此基础上实现了构件组合运算,在定性和定量方面具有演算能力,提出了网构软件系统可靠性计算的简化方法。实验证明,在网构软件的形式化分析基础上建立的模型和提出的可靠性计算方法正确、有效,可以有效地应用于网构软件设计、开发和测试、维护等方面。  相似文献   
10.
统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列图进行形式化描述,以提高UML序列图语义的准确性.本文采用指称语义学方法定义了UML序列图的...  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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

京公网安备 11010802026262号