排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
2.
低雾化低挥发性汽车用新型聚氨酯泡沫塑料助剂 总被引:1,自引:1,他引:1
康普顿公司开发了一系列适用于消除或减少汽车内饰件中胺扩散或雾化的添加剂,其中包括快速、有效的生产用零扩散催化剂和低雾化表面活性剂。该系列添加剂能大大降低泡沫制品中的胺扩散,与异氰酸酯和多元醇原料能组成最佳组合,以保持良好的泡沫物理性能。 相似文献
3.
Garo J. Derderian James D. Barrie Kenneth A. Aitchison Paul M. Adams Martha L. Mecartney 《Journal of the American Ceramic Society》1994,77(3):820-828
Epitaxial (110) orthorhombic KNbO3 thin films were prepared using alkoxide solutions. Single-phase films were produced with stoichiometric sols while slight variations in stoichiometry (52/48 Nb/K or 48/52 Nb/K) created residual second phases. Nucleation and growth of KNbO3 , as a function of process conditions were monitored by observing the KNbO3 rosettes produced from niobium-rich solutions. Methanolic solutions produced films with the highest rosette density and the highest amount of KNbO3 . Hydrolysis of the sol aided the crystallization of the KNbO3 phase but also promoted the formation of second phases. Hydrolysis at 0°C reduced second-phase formation. 相似文献
4.
Karnig O. Mikaelian 《Diamond and Related Materials》2011,20(10):1340-1343
We present two designs to measure the strength of diamond, natural or synthetic, above 30 Mbar. Both designs are based on the Rayleigh-Taylor instability carried out on a laser system providing a truncated ignition pulse. The first is an indentation technique which can be challenging to diagnose because of the low-Z value of carbon. The second is similar to that used in DAC (diamond anvil cell) experiments with a flat diamond squeezing a highly perturbed gold foil and provides the required high-Z diagnostics. Based on two-dimensional hydrocode simulations we conclude that the second technique is superior because of its sensitivity to diamond strength coupled with the benefit of diagnostics at these extremely high pressures. 相似文献
5.
Karnig Derderian Robert M. Hierons Mark Harman Qiang Guo 《Automated Software Engineering》2010,17(1):33-56
There has been significant interest in automating testing on the basis of an extended finite state machine (EFSM) model of
the required behaviour of the implementation under test (IUT). Many test criteria require that certain parts of the EFSM are
executed. For example, we may want to execute every transition of the EFSM. In order to find a test suite (set of input sequences)
that achieves this we might first derive a set of paths through the EFSM that satisfy the criterion using, for example, algorithms
from graph theory. We then attempt to produce input sequences that trigger these paths. Unfortunately, however, the EFSM might
have infeasible paths and the problem of determining whether a path is feasible is generally undecidable. This paper describes
an approach in which a fitness function is used to estimate how easy it is to find an input sequence to trigger a given path
through an EFSM. Such a fitness function could be used in a search-based approach in which we search for a path with good
fitness that achieves a test objective, such as executing a particular transition, and then search for an input sequence that
triggers the path. If this second search fails then we search for another path with good fitness and repeat the process. We
give a computationally inexpensive approach (fitness function) that estimates the feasibility of a path. In order to evaluate
this fitness function we compared the fitness of a path with the ease with which an input sequence can be produced using search
to trigger the path and we used random sampling in order to estimate this. The empirical evidence suggests that a reasonably
good correlation (0.72 and 0.62) exists between the fitness of a path, produced using the proposed fitness function, and an
estimate of the ease with which we can randomly generate an input sequence to trigger the path. 相似文献
6.
RE Chrien S Bart M May PH Pile RJ Sutter P Barnes B Bassalleck R Eisenstein G Franklin R Grace D Marlow R Rieder J Seydoux J Szymanski W Wharton J Derderian Y Civelekoglu M Deutsch J Prater C Chu R Hackenburg E Hungerford T Kishimoto T Fukuda M Barlett G Hoffman EC Milner RL Stearns 《Canadian Metallurgical Quarterly》1990,41(3):1062-1074
7.
Qiang Guo Robert M. Hierons Mark Harman Karnig Derderian 《Software Testing, Verification and Reliability》2007,17(1):41-57
When testing from finite state machines, a failure observed in the implementation under test (IUT) is called a symptom. A symptom could have been caused by an earlier state transfer failure. Transitions that may be used to explain the observed symptoms are called diagnosing candidates. Finding strategies to generate an optimal set of diagnosing candidates that could effectively identify faults in the IUT is of great value in reducing the cost of system development and testing. This paper investigates fault diagnosis when testing from finite state machines and proposes heuristics for fault isolation and identification. The proposed heuristics attempt to lead to a symptom being observed in some shorter test sequences, which helps to reduce the cost of fault isolation and identification. The complexity of the proposed method is analysed. A case study is presented, which shows how the proposed approach assists in fault diagnosis. Copyright © 2006 John Wiley & Sons, Ltd. 相似文献
1