全文获取类型
收费全文 | 97篇 |
免费 | 7篇 |
国内免费 | 11篇 |
专业分类
电工技术 | 5篇 |
综合类 | 4篇 |
化学工业 | 2篇 |
金属工艺 | 6篇 |
机械仪表 | 26篇 |
建筑科学 | 9篇 |
矿业工程 | 1篇 |
能源动力 | 9篇 |
武器工业 | 1篇 |
一般工业技术 | 4篇 |
原子能技术 | 1篇 |
自动化技术 | 47篇 |
出版年
2023年 | 2篇 |
2022年 | 2篇 |
2021年 | 3篇 |
2019年 | 6篇 |
2018年 | 4篇 |
2016年 | 4篇 |
2015年 | 10篇 |
2014年 | 7篇 |
2013年 | 14篇 |
2012年 | 16篇 |
2011年 | 11篇 |
2010年 | 9篇 |
2009年 | 4篇 |
2008年 | 4篇 |
2007年 | 4篇 |
2006年 | 8篇 |
2005年 | 4篇 |
2004年 | 2篇 |
2002年 | 1篇 |
排序方式: 共有115条查询结果,搜索用时 15 毫秒
1.
We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parameterization and connection of these MSL components are described using a subset of Modelica). Models are defined in Modelica and are translated into DEVS models. DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended in order to permit defining these of models. The different steps in the compiling process are show, including how to model these dynamic systems under the discrete event abstraction, including examples of model simulation with their execution results. 相似文献
2.
首先对CAN2.0B通信协议做了分析,介绍了Modelica多领域统一建模语言的优越性.并在CAN2.0B通信协议基础上,采用Modelica统一建模语言,建立了CAN总线的电路模型和时序状态模型.通过对改变双绞线长度和通信节点数两种工况进行仿真,确定了模型的可用性.同时分析了CAN总线相关参数对其通信性能的影响,为CAN通信设计和验证提供参考. 相似文献
3.
4.
为了实时仿真电动汽车电池组的动态性能,应用Modelica多领域建模语言建立描述电池组的PNGV等效电路模型.通过电池的动态充放电性能实验标定电池组模型的电阻、电容等参数,并利用Dymola多领域仿真软件进行性能参数求解.将该电池模型应用在电动汽车整车的仿真分析中,实验结果表明,该模型准确度高,能实时地仿真电动汽车的动力性能.该电池组建模方法实现简单且便于扩展,可以为电动汽车的产品设计、系统性能分析提供有效的解决办法. 相似文献
5.
6.
7.
Johan kesson Torbjrn Ekman Grel Hedin 《Electronic Notes in Theoretical Computer Science》2008,203(2):117
This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex physical systems. Our implementation uses the attribute-grammar based tool JastAdd. In particular, we discuss the implementation of Modelica name analysis which is highly context-dependent, type analysis which is based on structural subtyping, and flattening which is a fundamental part of the Modelica compilation process.of so called modifications, Modelica. 相似文献
8.
《Journal of Building Performance Simulation》2013,6(5):566-579
The increased integration of distributed energy resources (DERs) is bringing a number of challenges to the power grid. These include reverse power flows in distribution systems and potentially transmission systems and grid stability. So far, specialized tools have been developed to capture some of the impact of DERs at the distribution level. However, distribution system operators lack visibility into the overall system conditions. Furthermore, the impact of increasing DERs is not limited to the distribution level but also influences the transmission grid. To support the planning and operation of the grid, we developed a co-simulation platform called CyDER (A Cyber Physical Co-simulation Platform for Distributed Energy Resources in Smart Grids) that integrates various domain-specific simulation tools. CyDER is based on the functional mock-up interface standard. This paper gives an overview of CyDER and demonstrates its use based on two applications. 相似文献
9.
Robustness issues with steady-state initialization remain a barrier in the practical use of declarative modeling languages for multi-domain modeling of large, complex, and heterogeneous technical systems. The objective of this paper is to illustrate how probability-one homotopy, an established method from topology, can solve this issue. This is achieved by establishing a framework for application-specific probability-one homotopy in declarative modeling languages. The analysis is based on domain-specific probability-one homotopy maps, which were reformulated in a declarative fashion. Additionally, a novel probability-one homotopy map and associated coercivity proof is introduced for a class of thermo-fluid dynamics problems. It was found that the approach enables robust initialization for declarative modeling languages on several test cases and leads to a concise declarative problem formulation. 相似文献
10.
A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models
下载免费PDF全文
![点击此处可从《计算机科学技术学报》网站下载免费的PDF全文](/ch/ext_images/free.gif)
Object-oriented modeling with declarative equation based languages often unconsciously leads to structural inconsistencies. Component-based debugging is a new structural analysis approach that addresses this problem by analyzing the structure of each component in a model to separately locate faulty components. The analysis procedure is performed recursively based on the depth-first rule. It first generates fictitious equations for a component to establish a debugging environment, and then detects structural defects by using graph theoretical approaches to analyzing the structure of the system of equations resulting from the component. The proposed method can automatically locate components that cause the structural inconsistencies, and show the user detailed error messages. This information can be a great help in finding and localizing structural inconsistencies, and in some cases pinpoints them immediately. 相似文献