The vehicle routing problem with restricted mixing of deliveries and pickups

The vehicle routing problem with deliveries and pickups is one of the main problems within reverse logistics. This paper focuses on an important assumption that divides the literature on the topic, namely the restriction that all deliveries must be completed before pickups can be made. A generalised model is presented, together with a mathematical formulation and its resolution. The latter is carried out by adopting a suitable implementation of the reactive tabu search metaheuristic. Results show that significant savings can be achieved by allowing a mixture of delivery and pickup loads on-board and yet not incurring delays and driver inconvenience.     

Sensorless fault tolerant control for induction motors

In this paper, a sensorless fault tolerant controller for induction motors is developed. In the proposed approach, a robust controller based on backstepping strategy is designed in order to compensate for both the load torque disturbance and the rotor resistance variation caused by the broken rotor bars faults. The proposed approach needs neither fault detection and isolation schemes nor controller re-design. Moreover, to avoid the use of speed and flux sensors, a second order sliding mode observer is introduced to estimate the flux and the speed. The observer converges in a finite time and leads to good estimates of the flux and the speed even in the presence of the rotor resistance variation and the load torque disturbance. Since the observer converges in the finite time, the stability of the closed-loop system (controller with observer) is shown in two steps. First, the boundedness of the closed-loop system trajectories before the convergence of the observer is proved. Second, the convergence of the closed-loop system trajectories is proved after the convergence of the observer. To highlight the efficiency and applicability of the proposed control scheme, simulation and experimental results are conducted for a 1.5 kW induction motor.     

LEGClust—A Clustering Algorithm Based on Layered Entropic Subgraphs

Hierarchical clustering is a stepwise clustering method usually based on proximity measures between objects or sets of objects from a given data set. The most common proximity measures are distance measures. The derived proximity matrices can be used to build graphs, which provide the basic structure for some clustering methods. We present here a new proximity matrix based on an entropic measure and also a clustering algorithm (LEGCIust) that builds layers of subgraphs based on this matrix and uses them and a hierarchical agglomerative clustering technique to form the clusters. Our approach capitalizes on both a graph structure and a hierarchical construction. Moreover, by using entropy as a proximity measure, we are able, with no assumption about the cluster shapes, to capture the local structure of the data, forcing the clustering method to reflect this structure. We present several experiments on artificial and real data sets that provide evidence on the superior performance of this new algorithm when compared with competing ones.     

LEGClust- a clustering algorithm based on layered entropic subgraphs.

Hierarchical clustering is a stepwise clustering method usually based on proximity measures between objects or sets of objects from a given data set. The most common proximity measures are distance measures. The derived proximity matrices can be used to build graphs, which provide the basic structure for some clustering methods. We present here a new proximity matrix based on an entropic measure and also a clustering algorithm (LEGClust) that builds layers of subgraphs based on this matrix, and uses them and a hierarchical agglomerative clustering technique to form the clusters. Our approach capitalizes on both a graph structure and a hierarchical construction. Moreover, by using entropy as a proximity measure we are able, with no assumption about the cluster shapes, to capture the local structure of the data, forcing the clustering method to reflect this structure. We present several experiments on artificial and real data sets that provide evidence on the superior performance of this new algorithm when compared with competing ones.     

An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs

In this paper, we provide a necessary infrastructure to define an abstract state exploration in the HOL theorem prover. Our infrastructure is based on a deep embedding of the Multiway Decision Graphs (MDGs) theory in HOL. MDGs generalize Reduced Ordered Binary Decision Diagrams (ROBDDs) to represent and manipulate a subset of first-order logic formulae. The MDGs embedding is based on the logical formulation of an MDG as Directed Formulae (DF). Then, the MDGs operations are defined and the correctness pro...     

The influence of bile salts on the distribution of simvastatin in the octanol/buffer system

Abstract

Introduction: Distribution coefficient (D) is useful parameter for evaluating drugs permeability properties across biological membranes, which are of importance for drugs bioavailability. Given that bile acids are intensively studied as drug permeation-modifying and -solubilizing agents, the aim of this study was to estimate the influence of sodium salts of cholic (CA), deoxycholic (DCA) and 12-monoketocholic acids (MKC) on distribution coefficient of simvastatin (SV) (lactone [SVL] and acid form [SVA]) which is a highly lipophilic compound with extremely low water solubility and bioavailability.

Methods: LogD values of SVA and SVL with or without bile salts were measured by liquid–liquid extraction in n-octanol/buffer systems at pH 5 and 7.4. SV concentrations in aqueous phase were determined by HPLC-DAD. Chem3D Ultra program was applied for computation of physico-chemical properties of analyzed compounds and their complexes.

Results: Statistically significant decrease in both SVA and SVL logD was observed for all three studied bile salts at both selected pH. MKC exerted the most pronounced effect in the case of SVA while there were no statistically significant differences between observed bile salts for SVL. The calculated physico-chemical properties of analyzed compounds and their complexes supported experimental results.

Conclusions: Our data indicate that the addition of bile salts into the n-octanol/buffer system decreases the values of SV distribution coefficient at both studied pH values. This may be the result of the formation of hydrophilic complexes increasing the solubility of SV that could consequently impact the pharmacokinetic parameters of SV and the final drug response in patients.     

功能需求与用户体验下的快递包装设计研究

目的针对目前快递包装在功能上发生的新变化,研究基于功能需求与用户体验的快递包装的设计策略,力求增加快递包装的适用性和附加价值,减少包装物废弃和资源浪费。方法秉承减量化和可循环的绿色包装设计理念,分析快递包装的功能变化与用户体验等层次的要求。结论基于功能需求与用户体验来进行的快递包装创新设计,需要外观设计独特,有趣味;信息传达智能化、突出品牌;结构设计注重保护性、针对性和便利性;通过趣味设计,交互体验,情感共鸣,来拓展快递包装的用途。     

科技论文参考文献著录的规范表达

依据ＧＢ７７１４－８７《文后参考文献著录规则》,对３９０篇来稿所引用的参考文献进行统计,分析了几种不规范的著录方式,并给出正确的表达方法,可为科技论文写作者及科技期刊编缉提供参考。     

Veal colour assessment with three wavelengths

A method to derive reflectance spectra and colour coordinates of meat by measurement of reflectance at only three wavelengths, 480, 570 and 620 nm has been developed, by treating the spectra of a meat sample as a linear combination of the spectra of the three major myoglobin derivatives (reduced myoglobin, oxymyoglobin and metmyoglobin). Applied to 300 samples of Semitendinosus and Longissimus dorsi veal muscles at different times post mortem (24 h to 9 d), colour differences ΔE (?) between the derived spectra and the real ones were about 1.5 units. The total pigment content, with high correlation with the extraction method (P < 0.02), and the relative proportions of the derivatives can also be estimated.     

Multiple spatial sounds in hierarchical menu navigation for visually impaired computer users

This paper describes a user study on the benefits and drawbacks of simultaneous spatial sounds in auditory interfaces for visually impaired and blind computer users. Two different auditory interfaces in spatial and non-spatial condition were proposed to represent the hierarchical menu structure of a simple word processing application. In the horizontal interface, the sound sources or the menu items were located in the horizontal plane on a virtual ring surrounding the user’s head, while the sound sources in the vertical interface were aligned one above the other in front of the user. In the vertical interface, the central pitch of the sound sources at different elevations was changed in order to improve the otherwise relatively low localization performance in the vertical dimension. The interaction with the interfaces was based on a standard computer keyboard for input and a pair of studio headphones for output. Twelve blind or visually impaired test subjects were asked to perform ten different word processing tasks within four experiment conditions. Task completion times, navigation performance, overall satisfaction and cognitive workload were evaluated. The initial hypothesis, i.e. that the spatial auditory interfaces with multiple simultaneous sounds should prove to be faster and more efficient than non-spatial ones, was not confirmed. On the contrary—spatial auditory interfaces proved to be significantly slower due to the high cognitive workload and temporal demand. The majority of users did in fact finish tasks with less navigation and key pressing; however, they required much more time. They reported the spatial auditory interfaces to be hard to use for a longer period of time due to the high temporal and mental demand, especially with regards to the comprehension of multiple simultaneous sounds. The comparison between the horizontal and vertical interface showed no significant differences between the two. It is important to point out that all participants were novice users of the system; therefore it is possible that the overall performance could change with a more extensive use of the interfaces and an increased number of trials or experiments sets. Our interviews with visually impaired and blind computer users showed that they are used to sharing their auditory channel in order to perform multiple simultaneous tasks such as listening to the radio, talking to somebody, using the computer, etc. As the perception of multiple simultaneous sounds requires the entire capacity of the auditory channel and total concentration of the listener, it does therefore not enable such multitasking.