Ograniczanie wyników
Czasopisma help
Autorzy help
Lata help
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 30

Liczba wyników na stronie
first rewind previous Strona / 2 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  refinement
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 2 next fast forward last
1
Content available On the derivative of a polynomial
EN
For an arbitrary polynomial P(z), let M(P,r) =max|z|=r|P(z)| and m(P,r)=min|z|=r|P(z)|, (r >0). For a polynomial p(z)=Pn [wzór] of degreen, having all its zeros in|z|≤k, (k≥1), with a zero of orders, (s≥0), at 0 and F0, F1, F2, Gn-s, F3, F4, Hn-s, Fn-s, B0, B1, En-1, B2, B3, Dn-1 and Bn-1, as in Theorem, we have obtained a refinement [wzór] of our old result (1997), there by obtaining a new refinement of known results [wzór].
PL
W artykule przedstawiono wybrane wyniki uzyskane w próbach uszlachetniania kruszyw w separatorze SET produkcji HTS. Uwagę zwrócono na jakość kruszyw charakteryzowaną przez odporność na rozdrabnianie Los Angeles, odporność na ścieranie mikro-Deval oraz reaktywność alkaliczną.
EN
The article presents selected results obtained in trials of aggregate re fi ning in the SET separator produced by HTS. Emphasis is also put on the quality of aggregates charac- terised by Los Angeles grinding resistance and Micro-Deval abrasion resistance.
PL
Z powodu dużego zróżnicowania składu petrograficznego kruszyw oraz występowania ziaren zwietrzałych i porowatych, zastosowanie procesu uszlachetniania w separatorze grawitacyjnym SET, pomimo małych różnic gęstości kruszyw, w wielu przypadkach może przynieść poprawę ich właściwości.
EN
Probabilistic models play an important role in many fields such as distributed systems and simulations. Like non-probabilistic systems, they can be synthesized using classical refinement-based techniques, but they also require identifying the probability distributions to be used and their parameters. Since a fully automated and blind refinement is generally undecidable, many works tried to synthesize them by looking for the parameters of the distributions. Syntax-guided synthesizing approaches are more powerful, they try to synthesize models structurally by using context-free grammars. However, many problems arise like huge search space, the complexity of generated models, and the limitation of context-free grammars to define constraints over the structure. In this paper, we propose a multi-step refinement approach, based on meta-models, offering several abstraction levels to reduce the size of the search space. More specifically, each refinement step is divided into two stages in which the desired shape of models is first described by context-sensitive constraints. In the second stage, model templates are instantiated by using global optimization techniques. We use our approach to a synthesize a set of optimal probabilistic models and show that context-sensitive constraints coupled with the multi-level abilities of the approach make the synthesis task more effective.
5
Content available On the maximum modulus of a polynomial
EN
For a polynomial p(z) of degree n, having no zeros in |z| < 1 Ankeny and Rivlin had shown that for R ≥ 1 [wzór]. Using Govil, Rahman and Schmeisser’s refinement of the generalization of Schwarz’s lemma we have obtained a refinement of Ankeny and Rivlin’s result. Our refinement is also a refinement of Dewan and Pukhta’s refinement of Ankeny and Rivlin’s result.
6
Content available remote Reliable Restricted Process Theory
EN
Malfunctions of a mobile ad hoc network (MANET) protocol caused by a conceptual mistake in the protocol design, rather than unreliable communication, can often be detected only by considering communication among the nodes in the network to be reliable. In Restricted Broadcast Process Theory, which was developed for the specification and verification of MANET protocols, the communication operator is lossy. Replacing unreliable with reliable communication invalidates existing results for this process theory. We examine the effects of this adaptation on the semantics of the framework with regard to the non-blocking property of communication in MANETs, the notion of behavioral equivalence relation and its axiomatization. To utilize our complete axiomatization for analyzing the correctness of protocols at the syntactic level, we introduce a precongruence relation which abstracts away from a sequence of multi-hop communications, leading to an application-level action preconditioned by a multi-hop constraint over the topology. We illustrate the applicability of our framework through a simple routing protocol. To prove its correctness, we introduce a novel proof process, based on our precongruence relation.
EN
3,3’-Diamino-4,4’-azoxyfurazan (DAAF) is the principal component of an insensitive booster explosive; refined DAAF and DAAF surface-coated with Viton A were prepared. Scanning electron microscopy (SEM), X-ray diffraction (XRD), and differential scanning calorimetry (DSC) were employed to characterize the morphology, composition, and thermal decomposition of these samples. The impact sensitivity and theoretical detonation velocity of DAAF-based composites were also measured and analyzed. The results showed that DAAF surface-coated with Viton A was successfully obtained, and the impact sensitivity of DAAF/Viton A composites was much lower than that of crude DAAF. In addition, DAAF/Viton A composites exhibited better thermal stability compared to crude DAAF and refined DAAF. The theoretical detonation velocity of DAAF/Viton A composites and TATB/Viton A composites are roughly the same. Therefore, there is still great potential for DAAF to be used as the main explosive component of a booster explosive.
EN
The effect of combination grain refinement with AlTi5B1 master (55 ppm) and Sr-modification with AlSr5 master (20, 30, 40, 50 and 60 ppm) on the microstructure, tensile and hardness properties of AlSi7MgTi cast alloy were systematically investigated. Eutectic silicon was studied by optical and scanning electron microscopy after standard (0.5% HF) and deep etching (HCl). Morphology of eutectic Si changes from compact plate-like (as-cast state) to fibbers (after modification). Si-fibbers in samples with 50 and 60 ppm Sr coarsen probably as a result of over-modification. The optimum mechanical properties has the experimental material which was grain refined and modified with 40 ppm of Sr (UTS = 220.6 MPa; ductility = 6.1%, and 82.3 HBW 5/250/15).
EN
The paper deals with hypereutectic high chromium cast irons. The subject of examination was the effect of various alloying elements (Ti, W, Mo, V) on the size of primary carbides and on the resultant material hardness. Using a scanning electron microscope with a wave dispersion analyser, the carbon content in carbides was established. To determine the other elements, an energy dispersion analyser was used. It was found that both the primary and the eutectic carbides were of the M7C3 type and very similar in composition. The carbides always contained Cr and Fe, and also W, Mo, V or Ti, in dependence on the alloying elements used. The structure of materials containing only chromium without any alloying additions exhibited coarse acicular primary carbides. The structure of materials alloyed with another element was always finer. Marked refinement was obtained by Ti alloying.
10
EN
For a polynomial [wzór] of degree n having all its zeros in │z│ ≤ K, K ≥1 it is known that max [wzór]. By assuming a possible zero of order m, 0 ≤ m ≤ n - 4, at z = 0, of p(z) for n ≥ k + m + 1 with integer k ≥ 3 we have obtained a new refinement of the known result.
EN
Material research of the spring steels tries to meet requirements of the industry, which are mainly higher yield and tensile strength. Steel 51CrV4 is widely used for spring production. Optimization of its properties lies in tensile and yield strength enhancement without decrease in ductility in quenched and tempered state. This can be accomplished by structural refinement. One possible way to refine final quenched and tempered structure is refinement of the soft annealed structure before quenching. The article is devoted to accelerated carbide spheroidisation and refinement (ASR) and subsequent hardening of the 51CrV4 spring steel. Samples with different carbide size were prepared by conventional soft annealing in atmosphere furnace and ASR process by induction heating. Influence of the structural refinement on the properties of quenched and tempered state was studied.
12
Content available remote Nowe trendy w produkcji lekkiego oleju opałowego
PL
Przedstawiono przegląd literaturowy dotyczący wymagań jakościowych, składu oraz uszlachetniania lekkiego oleju opałowego.
EN
A review, with 65 refs., of quality requirements, chem. compn. and the use of additives for improving operating properties of the oil.
PL
Przedstawiono podstawowe kierunki zagospodarowania drobnych frakcji kruszywowych, pochodzących z procesów przeróbczych. Wymagania dotyczące właściwości fizykomechanicznych stanowią podstawowy warunek kwalifikacji kruszywa do odpowiednich zastosowań. Technologiczne możliwości przeróbki i zagospodarowania pozwalają obecnie wykorzystywać większości frakcji, pochodzących zarówno z bieżącej produkcji jak i magazynowanych na składowiskach.
EN
The article describes the basic directions of management of small fractions derived mainly from the processing. The main prerequisite for qualification of aggregates for different applications is its physicomechanical requirements. The technological possibilities of processing and management allow currently for the use of most of fractions derived from current production as well as those stored in landfills.
14
Content available remote Zastosowanie surowców odnawialnych do uszlachetniania produktów naftowych
PL
Przedstawiono przegląd wybranych zastosowań pochodnych kwasów tłuszczowych jako surowców odnawialnych do otrzymywania dodatków do uszlachetniania produktów naftowych.
EN
A review, with 43 refs., of fatty acid derivatives used in prodn. of fuel additives.
EN
Slag refining slag with west materials was analysed used the DTA methods. In the paper a method of determining the reduction capability, with the Carbo-N-Ox method, of slag solutions was used. Some relations between the stimulators in the environment - slag - metal system allow to initiate mass exchange reactions in the process of slag refining.The presented in work course of behaviour permits on choice of basic composition of slaglite, the of necessary components stimulating quantities, as well as on accomplishment of opinion of ability refinement. The worked out programme Slag-Prop, after introduction of data with experiment, it allows on next corrections in composition of proposed mixtures also, should be put on properly elaborated factors of multistage reaction with essential usage of suitable stimulators.
PL
Przedstawiono wyniki badań doświadczalnych zastosowania jonomerycznego poliuretanu kondensacyjnego jako środka uszlachetniającego odpady skórzane. Luźne topograficzne części skór wet blue napełniano polioksypropylenouretanem kondensacyjnym oraz polioksybutylenouretanem kondensacyjnym. Modyfikatory stosowano w postaci dyspersji „woda w oleju” lub „olej w wodzie”. Napełnianie skór za pomocą dyspersji „olej w wodzie” zapewnia lepszą migrację modyfikatora w napełnianej skórze, wpływającą na izotropowość właściwości modyfikowanej skóry. Modyfikowane poliuretanowymi dyspersjami typu „olej w wodzie” skóry nie tracą właściwości higienicznych oraz charakteryzują się uściśleniem struktury, co uwidocznia się polepszeniem ich wskaźników wytrzymałościowych w porównaniu ze skórami niemodyfikowanymi. Jonomeryczne polioksybutylenouretany kondensacyjne nadają skórom lepsze właściwości niż jonomeryczne polioksypropylenouretany kondensacyjne. Stwierdzono, że stopień dosuszenia skór stosowanych do modyfikacji ma wpływ na ich desorpcję pary wodnej.
EN
Isocyanate-free polyurethanes were synthesized by reaction of an oligomeric condensation product of urea, CH₂O and p-HOC₆H₄SO₃H with oligooxyalkylene dicarbamates, dispersed in water and used for impregnation of wet leather wastes to improve their hygienic and strength properties. Use of the oil in water dispersions was more efficient than the use of water in oil ones. The leather impregnated with polyoxybutylene urethane showed better properties than that impregnated with polyoxypropylene urethane.
PL
Opisano niedawno odkryto nowe zjawisko pozwalające na znaczne rozdrobnienie ziaren ferrytu oraz na bardzo szybką sferoidyzację węglików w porównaniu z tradycyjnymi obróbkami cieplnymi. Nowo opracowana technologia oparta na zjawisku ASR (Accelerated Spheroidisation and Refinement – Przyspieszona Sferoidyzacja i Rozdrabnianie) składa się z nagrzewania elementu stalowego w całej objętości do temperatury nie wyższej niż Ac1 oraz poddaniu detalu obróbce plastycznej. Połączenie odpowiedniej temperatury nagrzewania wstępnego, odpowiednich wartości naprężeń oraz ponownego nagrzewania, prowadzi do przemiany wstępnej struktury ferrytyczno-perlitycznej z płytkami perlitu w pożądaną sieć ferrytyczną z węglikami sferoidalnymi. W artykule opisano nową obróbkę cieplno-mechaniczną, która pozwala na kontrolę parametrów mikrostruktury oraz własności mechanicznych w celu uzyskania ich jak najlepszego połączenia dla stali konstrukcyjnej C45. Czas procesu jest bardzo krótki w porównaniu z tradycyjnymi procesami obróbek cieplnych.
EN
A new phenomenon has been discovered recently which allows to refine ferrite grain significantly and to spheroidise carbides over a very short time compared to conventional heat treatment techniques. The newly developed technology based on the ASR (Accelerated Spheroidisation and Refinement) effect consists in heating a steel workpiece through thickness to a temperature no higher than Ac1 and in subsequent plastic deformation. The combination of a suitable pre-heating temperature, an appropriate amount of strain and a possible reheating leads to transformation of initial ferrite-pearlite microstructure with lamellar pearlite into desired ferrite matrix with spheroidised carbides. The present article describes a new thermomechanical treatment technique which allows controlling these microstructure parameters and related mechanical properties in order to achieve their favourable combination in structural carbon steel C45. The processing time is very short when compared to several-hour conventional heat treatments.
18
Content available remote Manufacturing technology of high-quality pressure castings
EN
The paper presents manufacturing technology of pressure castings made of Al-Si alloy without porosity or with low microporosity of castings. It has been shown that the greatest impact on the porosity of the castings and the concentration of hydrogen has had the charge to the melting furnace. Liquidation or occurrence of a small microporosity of castings provides refining with solid ref iners, nitrogen and modification of liquid alloy after various operations of preparing process. The liquid alloy stored in holding furnace should be refined once every 2 h with nitrogen. Authors developed a computer program of Al-Si alloys inspection with using of TDA method. The developed technology was verified under production conditions.
PL
Metale ziem rzadkich - stały się tak nieodzowne dla współczesnych społeczeństw rozwiniętych, że eksperci zaczęli zauważać niebezpieczeństwo dla przyszłości populacji w przypadku niedostatecznej podaży tego surowca lub braku pewności dostaw.
EN
The paper presents the solution of the problem of interpolation the irregular set of 3D data points by a surface represented as the mesh of triangular faces. The surface should be smooth with some tolerance given. The task has been solved in a non-trivial way, with the use of known algorithms, in two steps. First the input points are triangulated by the Ball Pivoting Algorithm, originally designed for scanned point clouds. Then the modified Butterfly subdivision algorithm is performed. The implementation is dedicated for the NuTria modeller, destined for bent metal plates.
PL
W artykule przedstawiono rozwiązanie problemu interpolacji nieregularnych zbiorów punktów za pomocą siatek trójkątów tworzących powierzchnię o gładkości zbliżonej do C1 z zadaną tolerancją. Zadanie zostało wykonane w niezbyt typowy sposób z wykorzystaniem znanych algorytmów: algorytmu triangulacji metodą przetaczającej się kuli i algorytmu iteracyjnych podziałów zmodyfikowaną metodą Butterfly. Wynikiem implementacji jest moduł interpolacji zadanego zbioru punktów w modelerze NuTria, przeznaczonym do modelowania blach giętych w MSP.
first rewind previous Strona / 2 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.