Network Design with Edge-Connectivity and Degree Constraints

We consider the following network design problem; Given a vertex set V with a metric cost c on V, an integer k≥1, and a degree specification b, find a minimum cost k-edge-connected multigraph on V under the constraint that the degree of each vertex v∈V is equal to b(v). This problem generalizes metric TSP. In this paper, we show that the problem admits a ρ-approximation algorithm if b(v)≥2, v∈V, where ρ=2.5 if k is even, and ρ=2.5+1.5/k if k is odd. We also prove that the digraph version of this problem admits a 2.5-approximation algorithm and discuss some generalization of metric TSP.     

Towards Japanese corpus-based semantic accessibility scale

A detailed analysis of semantic accessibility scale （SAS） based on Japanese corpus has been performed in this paper. Firstly, the method of systematic random sampling is devised for quicker comparison among six groups in きくに . Secondly, according to the direct result of comparison, different sampling ratios （SR） in groups show regular deviation. The more pages are extracted, the higher SR is involved. Thirdly, the values of SAS in groups are calculated and then contrasted with SR. The regular deviation of SR fails to bring fundamental variation of SAS even though minor difference of SAS in groups may be reflected. The irrelevance to SAS establishes the fact that SR can be used for literary critics to extract and analyze SAS in corpus-involved texts from semantic perspective.     

Supporting the creative drive: investigating paralinguistic voice as a mode of interaction for artists with upper limb disabilities

For people with upper limb disabilities visual art is an important activity that allows for expression of individuality and independence. They show remarkable endurance, patience and determination to adapt their remaining capabilities to create visual art. There are significant advantages of digital technologies in assisting artists with upper limb disabilities. Paralinguistic voice recognition technologies have proven to be a particularly promising mode of interaction. Despite these benefits, technological support for people with upper limb disabilities to create visual art is scarce. This paper reports on a number of case studies of several artists with upper limb disabilities. These case studies illustrate the struggles they face to be creative and also show the significant advantages of digital technologies in assisting such artists. An investigation into people’s ability to use the volume of their voice to control cursor movement to create drawings on the screen is also reported. With motivation, training and practise, use of volume to control drawing tasks shows great promise. It is believed that paralinguistic voice has wider implications beyond assisting artists with upper limb disabilities, such as: an alternative mode of interaction for disabled people to perform tasks other than creating visual art, alternative mode of interaction for hands busy environments and as a voice training system for people with speech impairments.     

金融信息系统应急响应及演练

针对金融、保险等行业的信息系统的特点,提出应急响应、预案编制和演练的方法,并以银行系统为例给出具体的应急及演练方案。     

A combinatorial intra-enterprise exchange for logistics services

The exchange of cargo capacities is a well established approach in logistics. However, only few logistics marketplaces are able to take into consideration synergies that can be generated by combining different transportation routes of different logistics carrierps. In order to exploit these synergies, we designed and implemented the combinatorial exchange mechanism ComEx for the intra-enterprise exchange of delivery orders in a logistics company organized in a profit center structure. Each profit center is able to release delivery orders to an adjacent profit center if the geographic locations of the customers allow for a reduced-cost delivery by the adjacent profit center. We demonstrate that by using the ComEx mechanism, the total cost of transportation of our logistics company can be reduced by up to 14%. Since our iterative auction mechanism is very complex and therefore resource-intensive, we reduce the complexity by applying a convex hull approach combined with a distance-based cost estimator.

肢体残疾人使用板式家具的设计实践

在日常生活中,肢体残障人士因其身体的种种不便,经常需要别人帮助。开发为残疾人设计的板式家具是让残疾人以最大限度地"自己完成"为设计目标,最大可能地帮助残疾人自己料理生活,提高生活质量。尽量减少照料人员时间和精力,同时还会增加残疾人的自信心,拓展其私人的生活空间。     

Construction of human monoclonal single-chain Fv antibodies against small-cell lung cancer by phage display libraries derived from cell-immunized SCID mice engrafted with human peripheral blood lymphocytes

In this study, we describe a phage display strategy to obtain human monoclonal single-chain Fv (scFv) antibodies binding target cancer cell surface proteins. By developing a cancer cell immunization protocol for SCID mice engrafted with human peripheral blood lymphocytes in combination with an antibody phage display method, we have isolated phage antibodies binding small-cell lung cancer cell line H889 by subtractive selection. One of the isolated scFv antibodies, 12EAb, recognized the E2 component of pyruvate dehydrogenase complex (PDC-E2) by immunoprecipitation according to MALDI-TOF MS analysis. Furthermore, we have confirmed the plasma membrane localization of PDC-E2 in small-cell lung cancer cells by immunocytochemistry and cell surface protein biotinylation, although PDC-E2 is usually located in the mitochondrial matrix. These results, including unique localization of identified antigens, were obtained by proteomic approaches. The present methods can be applied to generate human monoclonal scFv antibodies against tumor cells and to identify new molecular targets for immunotherapy and markers for diagnosis.     

Isoform-specific expression and characterization of 14-3-3 proteins in human glioma tissues discovered by stable isotope labeling with amino acids in cell culture-based proteomic analysis

Human 14-3-3 proteins have isoform-specific expression and functions in different kinds of normal or tumor cells and tissues. However, the expression profiling of 14-3-3 proteins and isoform-specific biological functions are unclear in human glioma so far. In our study, the expression levels and characterization of 14-3-3 isoforms in human glioma tissues were investigated by a sensitive, accurate stable isotope labeling with amino acids in cell culture-based quantitative proteomic strategy. As a result, except unexpressed 14-3-3σ, the other six isoforms, with different expression levels, were existed in glioma tissues and para-cancerous brain tissues (PBTs). 14-3-3β and η were upregulated, whereas 14-3-3ζ was downregulated in glioma tissues compared with that in PBTs. And the other three isoforms 14-3-3ε, θ, and γ had similar expression levels in human glioma tissues and PBTs. Western blot and immunohistochemistry analysis were both consistent with the quantitative proteomic data. The loss of expression of 14-3-3σ was further discovered due to DNA high methylation in its coding region in glioma by methylation-specific PCR analysis. These results indicated that the four isoforms, including 14-3-3β, η, ζ, and σ, may play important roles in tumorigenesis of human glioma, which is probably used as potential biomarkers for diagnosis and targets for treatment of human gliomas in future.     

Controller design for flexible structure vibration suppression with robustness to contacts

Model-based feedback control of vibration in flexible structures can be complicated by the possibility that interaction with an external body occurs. If not accounted for, instability or poor performance may result. In this paper, a method is proposed for achieving robust vibration control of flexible structures under contact. The method uses robust linear state feedback, coupled with a state estimation scheme utilizing contact force measurement. Uncertain contact characteristics are modelled by a sector-bounded non-linear function, such that state feedback gains can be synthesized using a matrix inequality formulation of the Popov stability criterion. A separation theorem is used to establish a robust H₂ cost bound for the closed loop system. Experimental results from a multi-mode flexible structure testbed confirm that vibration attenuation and stability can be maintained over a broad range of contact characteristics, in terms of compliance and clearance.     

模拟时滞化学反应系统中的DK-Leap算法

最近发展的可精确模拟时滞化学反应系统的动力学状态的时滞随机模拟算法(delay stochastic simulation algorithm,DSSA)的模拟效率很低。本文提出了一个模拟时滞化学反应系统的加速DK-Leap(Delay K-Leap)算法。DK-Leap算法首先确定满足Leap条件的总反应次数K,然后利用得到τ的概率密度函数随机确定时间区间[t,t τ)。由于每个反应通道的反应次数由K确定,该算法可得到较好的模拟精度。数值试验表明DK-Leap算法在模拟时滞化学反应系统时能取得很好的性能。