The solubility of reactants used in homogeneously catalyzed hydroformylation of alkene was studied in a pressurized, semi-batch autoclave. The solubilities of alkene, carbon monoxide and hydrogen in the 2,2,4-trimethyl-1,3-pentanediol mono(2-methylpropanoate) solvent (NX 795) were determined by precise pressure and weight measurements. The measured solubilities were tested against empirical and theoretical models. Logarithmic empirical models gave a very good fit to experimental solubility data. To obtain nonempirical equations for the gas solubility, thermodynamic models based on activity coefficients and equations of state were used. The activity coefficient models based on regular solution theory (RST) predicted the solubilities well, but the selection of the model is the critical issue. For 1-butene, the best prediction was provided by the Yen and McKetta modification of the RST, whereas for carbon monoxide and hydrogen it was necessary to include a mixing entropy term in the RST. The Soave-Redlich-Kwong equation of state gave a fairly good prediction of the solubilities, but not as good as the RST-based models. 相似文献
A simulation model has been developed to model drop populations in a mixed tank. A multiblock mixed tank model has been used with the drop population balance equations developed in the literature. The drop breakage and coalescence functions used in the population balance model take into account the local turbulent energy dissipation values. The drop breakage and coalescence function parameters are fitted against drop size measurements from dense liquid-liquid dispersions, which were assumed fully turbulent. Since the local turbulence and flow values of a mixed tank are used in the present model, the fundamental breakage and coalescence phenomena can be taken into closer examination. Furthermore, the present model is capable of predicting inhomogeneities occurring in a mixed tank. It is also considered as an improved tool for process scale-up, compared to the simple vessel-averaged population balance approach, or use of correlations of dimensionless numbers only. The present model can use two sources of data for fitting parameters in the drop rate functions. One is the transient data of the measured drop size distribution as the impeller speed is changed. The other is the time-averaged data measured at different locations of the mixed tank. Different flow regions can be chosen from direct measurements or from the CFD simulations in a straightforward manner. CFD flow simulation results can be used when no experimentally obtained flow conditions are available. This is especially useful for nonstandard vessels, such as reactors containing cooling coils. 相似文献
Micro-mesoporous aluminosilicates based on ZSM-5 zeolite, obtained by a dual template method, as well as in the presence of a dual-functional template (i.e. a Gemini-type surfactant), were tested in the oxidation of furfural with hydrogen peroxide. Even substantial changes in acidity and porosity of the catalysts result in minor variations of selectivity towards the desired products. Application of the synthesized zeolite-based materials in the oxidation of furfural with hydrogen peroxide leads to formation of 2(5H)-furanone (yield up to 28.5%) and succinic acid (up to 19.5%) as the main C4 reaction products. The kinetic model developed previously to treat the results for oxidation of furfural over sulfated zirconia was able to describe the data also for micro-mesoporous aluminosilicates.
Journal of Chemical Ecology - The obligate pollination mutualism between Yucca and yucca moths is a classical example of coevolution. Oviposition and active pollination by female yucca moths occur... 相似文献
Mobile context-aware applications execute in the background of hosts mobile devices. The applications source process and aggregate hosts’ contextual and personal information. This information is disclosed to ubiquitously pervasive services that adapt their offerings to individual preferences. Unfortunately, many developers continue to ignore the user perspective in context-aware application designs as they complicate their overall task and generate exponential requirements. The additional incorporation of privacy mechanisms in context-aware applications to safeguard context and personal information disclosures also complicates users’ tasks resulting to misconfigured or completely abandoned applications. Misconfigured applications give end-users a false assurance of privacy exposing them to comprising services. We present a usability study on Mobile Electronic Personality Version 2 a privacy enhanced context-aware mobile application for personalising ubiquitous services and adapting pervasive smart-spaces. We draw conclusions on key issues related to user needs, based on user interviews, surveys, prototypes and field evaluations. Users’ needs are evaluated against five themes, learn-ability, efficiency, memorability, errors, satisfaction and privacy contention. In addition, design layout preferences, privacy manageability and consensus design comprehension are also evaluated. Clarity of priorities in context-aware mobile applications shaped by usability studies effectively increases the acceptance of levels of potential users. 相似文献
OBJECTIVE: Muscle activity with and without the use of commercially available patient assistive devices during bed rising and lowering was quantified. BACKGROUND: Limited research is available in understanding or evaluating the physical benefits of assistive devices for patient use following major abdominal surgery. METHODS: Twenty healthy participants (9 men, 11 women) took part in a laboratory study to test the effects of device configuration (five levels) and bed elevation angle (0 degree and 30 degrees) on mean and peak upper and lower rectus abdominis and external oblique concentric and eccentric muscle activity. RESULTS: Reduced muscle activity was associated with the use of an assistive device, as compared with manual bed rising (unassisted). Positioning the devices at a higher anchor height and/or increasing the bed elevation angle further reduced muscle activity. Objective and subjective differences between the two assistive devices evaluated in the study were found. CONCLUSION: These results suggest that self-assistive devices may speed recovery because of reduced loads on damaged tissues. APPLICATION: Potential applications of this research include the assessment of other commercially available lift aids or comparisons of self-assistive lift aids with hospital-housed lift aids used to speed recovery rates. 相似文献
The viewfinder of a digital camera has traditionally been used for one purpose: to display to the user a preview of what is seen through the camera's lens. High quality cameras are now available on devices such as mobile phones and PDAs, which provide a platform where the camera is a programmable device, enabling applications such as online computational photography, computer vision‐based interactive gaming, and augmented reality. For such online applications, the camera viewfinder provides the user's main interaction with the environment. In this paper, we describe an algorithm for aligning successive viewfinder frames. First, an estimate of inter‐frame translation is computed by aligning integral projections of edges in two images. The estimate is then refined to compute a full 2D similarity transformation by aligning point features. Our algorithm is robust to noise, never requires storing more than one viewfinder frame in memory, and runs at 30 frames per second on standard smartphone hardware. We use viewfinder alignment for panorama capture, low‐light photography, and a camera‐based game controller. 相似文献
We study the problem of segmenting a sequence into k pieces so that the resulting segmentation satisfies monotonicity or unimodality constraints. Unimodal functions can be used
to model phenomena in which a measured variable first increases to a certain level and then decreases. We combine a well-known
unimodal regression algorithm with a simple dynamic-programming approach to obtain an optimal quadratic-time algorithm for
the problem of unimodal k-segmentation. In addition, we describe a more efficient greedy-merging heuristic that is experimentally shown to give solutions
very close to the optimal. As a concrete application of our algorithms, we describe methods for testing if a sequence behaves
unimodally or not. The methods include segmentation error comparisons, permutation testing, and a BIC-based scoring scheme.
Our experimental evaluation shows that our algorithms and the proposed unimodality tests give very intuitive results, for
both real-valued and binary data.
Niina Haiminen received the M.Sc. degree from the University of Helsinki in 2004. She is currently a Graduate Student at the Department
of Computer Science of University of Helsinki, and a Researcher at the Basic Research Unit of Helsinki Institute for Information
Technology. Her research interests include algorithms, bioinformatics, and data mining.
Aristides Gionis received the Ph.D. degree from Stanford University in 2003, and he is currently a Senior Researcher at the Basic Research
Unit of Helsinki Institute for Information Technology. His research experience includes summer internship positions at Bell
Labs, AT&T Labs, and Microsoft Research. His research areas are data mining, algorithms, and databases.
Kari Laasonen received the M.Sc. degree in Theoretical Physics in 1995 from the University of Helsinki. He is currently a Graduate Student
in Computer Science at the University of Helsinki and a Researcher at the Basic Research Unit of Helsinki Institute for Information
Technology. His research is focused on algorithms and data analysis methods for pervasive computing. 相似文献
Self-assembly is the process by which objects aggregate independently and form complex structures. One of the theoretical
frameworks in which the process of self-assembly can be embedded and formally studied is that of tile systems. A Wang tile
is a square unit, with glues on its edges, attaching to other tiles which have matching glues, and forming larger and larger
structures. In this paper we concentrate over two basic, but essential, self-assembling structures done by Wang tiles. The
first one, called ribbon, is a non-self-crossing wire-like structure, in which successive tiles are adjacent along an edge,
and where tiles are glued to their predecessor and successor by use of matching glues. The second one, called zipper, is a
similar contiguous structure, only that here, all touching tiles must have matching glues on their abutting edges, independently
of their position in the structure. In case of Wang tiles, it has been shown that these two structures are equivalent. Here
we generalize this result for the case when the tiles have eight glues, four on their edges and four on their corners. Thus
we show that an eight neighborhood dependency, namely the Moore neighborhood, can be simulated by a quasi-linear dependency. 相似文献