排序方式: 共有16条查询结果,搜索用时 15 毫秒
1.
Multiple melting phenomena have been studied in blends of poly(vinylidene fluoride) (PVF2) with low molar mass isotactic poly(ethyl methacrylate) (it-PEMA). In all blends, as well as in pure PVF2, a transition (T1) was observed prior to the main melting point (T2). T1 is probably connected with the melting of secondarily-crystallized material. In addition to this, a high temperature melting endotherm (T3) was observed, which could be ascribed completely to recrystallization of PVF2. The highest transition (T4) was caused by melting of the σ form of PVF2. From Hoffman-Weeks plots—T2 vs. crystallization temperature, Tc — it could be concluded that no thermody amic depression of the melting point of PVF2 occurred in the blends. The stabilities of PVF2 crystallites in the various blends were derived from the slopes of Hoffman-Weeks plots and were in good agreement with lamellar thicknesses found from SAXS measurements. 相似文献
2.
Eshuis R. Wieringa R. 《IEEE transactions on pattern analysis and machine intelligence》2004,30(7):437-447
We describe a tool that supports verification of workflow models specified in UML activity diagrams. The tool translates an activity diagram into an input format for a model checker according to a mathematical semantics. With the model checker, arbitrary propositional requirements can be checked against the input model. If a requirement fails to hold, an error trace is returned by the model checker, which our tool presents by highlighting a corresponding path in the activity diagram. We summarize our formal semantics, discuss the techniques used to reduce an infinite state space to a finite one, and motivate the need for strong fairness constraints to obtain realistic results. We define requirement-preserving rules for state space reduction. Finally, we illustrate the whole approach with a few example verifications. 相似文献
3.
W. Hoogsteen H. Kormelink G. Eshuis G. ten Brinke A. J. Pennings 《Journal of Materials Science》1988,23(10):3459-3466
The tensile strength of gel-spun polyethylene fibres hot-drawn to the maximum draw ratio depends on the spinning conditions such as spinning speed, spinline draw ratio and spinning temperature. High deformation rates during spinning introduce defects and fibres with poor ultimate properties are produced. These defects are already present before the hot-drawing step and can be detected indirectly by wide-angle X-ray scattering, since they are accompanied by preferential c-axis orientation parallel to the fibre axis and a shish-kebab structure. The introduction of flaws such as chain scission and tight knots can be prevented by avoiding spinline stretching and/or increasing the spinning temperature. This is due to the fact that higher spinning temperatures reduce the span of time in which the chains remain entangled and behave like a real network. Due to their lamellar/shish-kebab structure, the extracted fibres show a mechanical behaviour which to some extent is characteristic of composites. 相似文献
4.
Eshuis Elise H. ter Vrugte Judith Anjewierden Anjo Bollen Lars Sikken Jakob de Jong Ton 《International Journal of Computer-Supported Collaborative Learning》2019,14(1):53-76
International Journal of Computer-Supported Collaborative Learning - New societal demands call for schools to train students’ collaboration skills. However, research thus far has focused... 相似文献
5.
Dynamic moduli of dilute aqueous solutions of four poly(ethylene oxide) samples were measured as a function of frequency at four temperatures. From the measurements on two quite monodisperse samples the value of the Peterlin parameter was determined using a shifting procedure. A definite decrease in was observed when going from 10°C to 40°C. Polydisperse samples were analysed by treating them as consisting of one monodisperse high-molecular mass fraction which does, and a remaining polydisperse lower-molecular mass fraction which does not contribute to the reduced dynamic moduli. 相似文献
6.
In this paper we define a requirements-level execution semantics for object-oriented statecharts and show how properties of
a system specified by these statecharts can be model checked using tool support for model checkers. Our execution semantics
is requirements-level because it uses the perfect technology assumption, which abstracts from limitations imposed by an implementation.
Statecharts describe object life cycles. Our semantics includes synchronous and asynchronous communication between objects
and creation and deletion of objects. Our tool support presents a graphical front-end to model checkers, making these tools
usable to people who are not specialists in model checking. The model-checking approach presented in this paper is embedded
in an informal but precise method for software requirements and design. We discuss some of our experiences with model checking.
Correspondence and offprint requests to: Rik Eshuis, Department of Computer Science, University of Twente, PO Box 217, 7500 AE Enschede, The Netherlands. Email: eshuis@cs.utwente.nl 相似文献
7.
8.
In the area of business-to-business (B2B) collaboration, original equipment manufacturers (OEMs) are confronted with the problem of spending a considerable time and effort on coordinating suppliers across multiple tiers of their supply chains. By supporting inter-organizational business-process collaborations with service-oriented technology, a scope for more efficient and effective supply-chain coordination is anticipated. This paper defines a formal framework, called eSourcing, for specifying structurally harmonized inter-organizational business-process collaborations. The framework permits verification of harmonized processes before their enactment. Moreover, the framework uses private and public layers to protect competitive knowledge of the individual partners. In the research project CrossWork, the eSourcing framework has been integral for harmonizing on an external level the intra-organizational business processes of a service-consuming and one or many service-providing organizations. 相似文献
9.
Patrícia Caroline Molgero Da Rós Talitha Kühn Menezes Eduardo Henrique Bredda Messias Borges Silva Heizir Ferreira De Castro 《化学工程与技术》2020,43(1):119-125
Microalgal oil from Nannochloropsis gaditana cultivated in a laboratory-scale photobioreactor was submitted to enzymatic hydrolysis using Candida rugosa lipase. A 22 full factorial design was performed to evaluate the effects of the soy lecithin emulsifier concentration and the lipase loading on the formation of free fatty acids. As control, a similar set of reactions was carried out with macaw palm oil. The results showed similar hydrolysis yields for both feedstocks. The highest value was reached when the concentrations of soy lecithin and lipase were taken at their lowest and highest levels, respectively. The hydrolysate from microalgal oil showed that the majority of the fatty acids released by C. rugosa consisted of palmitic, oleic, and linoleic acids. 相似文献
10.
Grefen Paul Eshuis Rik Mehandjiev Nikolay Kouvas Giorgos Weichhart Georg 《Internet Computing, IEEE》2009,13(6):65-73
The ever-increasing complexity of contemporary products and services demands business supply chains that ultimately involve a large number of autonomous organizations. Competitive markets require these chains to be highly agile, effective, and efficient, which organizations can achieve by forming dynamic virtual enterprises within supplier networks, called instant virtual enterprises (IVEs). The authors present the CrossWork system, which helps these organizations efficiently create and operate IVEs by providing automated, Internet-based support for the composition, setup, and execution of global business processes. This article uses the automotive domain to illustrate the system's optimal use. 相似文献