Point availability of Gaver’s duplex system supervised by a safety device unit

We analyse the point availability of Gaver’s parallel system supervised by a safety device. For safety reasons, no unit is allowed to operate without supervision. The entire system is attended by two heterogeneous repairmen. Our methodology is based on the theory of sectionally holomorphic functions combined with the notion of dual transforms. As an application we consider Coxian repair time distributions.     

Enantiomeric Cyclic Peptides with Different Caco‐2 Permeability Suggest Carrier‐Mediated Transport

Recently, oral absorption of cyclic hexapeptides was improved by N‐methylation of their backbone amides. However, the number and position of N‐methylations or of solvent exposed NHs did not correlate to intestinal permeability, measured in a Caco‐2 model. In this study, we investigate enantiomeric pairs of three polar and two lipophilic peptides to demonstrate the participation of carrier‐mediated transporters. As expected, all the enantiomeric peptides exhibited identical lipophilicity (logD_7.4) and passive transcellular permeability determined by the parallel artificial membrane permeability assay (PAMPA). However, the enantiomeric polar peptides exhibited different Caco‐2 permeability (P_app) in both directions a–b and b–a. The same trend was observed for one of the lipophilic peptide, whereas the second lipophilic enantiomer pair showed identical Caco‐2 permeability (within the errors). These findings provide the first evidence for the involvement of carrier‐mediated transport for peptides, especially for those of polar nature.     

Order acceptance and scheduling with machine availability constraints

We consider an order acceptance and scheduling model with machine availability constraints. The manufacturer (machine) is assumed to be available to process orders only within a number of discontinuous time intervals. To capture the real-life behavior of a typical manufacturer who has restrictions of time availability to process orders, our model allows the manufacturer to reject or outsource some of the orders. When an order is rejected or outsourced, an order-dependent cost of penalty will occur. The objective is to minimize the makespan of all accepted orders plus the total penalty of all rejected/outsourced orders. We study the approximability of the model and some of its important special cases.     

模拟酸雨条件下浙江省金华市城市灰尘重金属的解析状况探究

通过网格采样法,采集了金华市一环线以内地区的20个城市灰尘样品,然后利用原子吸收分光光度计测定了城市灰尘重金属Zn、Cu、Cr和Pb在不同pH的模拟酸雨溶液浸提下的析出值,并采用地积累指数法对各重金属有效性的状况做出了评价。结果表明,研究区域内,城市灰尘重金属Zn、Vu、Cr和Pb在酸雨背景下的析出值分别处于清洁水平、轻污染水平、中等污染水平和偏中等污染水平,该区城市灰尘有效Cr和有效Pb的污染程度较高,值得关注与采取措施进行预防与整治。     

基于可用度的复杂结构装备检修时机决策模型

为最大限度地提高装备的可用度水平,检修工作十分必要,而检修时机的确定即成为一个重要的决策问题。对于复杂结构装备,组成部件的数量、寿命分布及对应的维修策略等都是可用度的影响因素。在采取预防性维修和修复性维修相结合策略的基础上,推导出了单装备任务周期内可用度关于检修时机的表达式,以此获得了装备群系统的检修时机决策模型,并充分考虑了部件工作年龄的影响。通过实例分析,验证了模型的合理性和实用性。     

加速器控制系统及其进展

目前加速器控制系统普遍采用了分布式体系结构, 使用系统集成工具进行开发, 当前加速器界主流的系统集成工具有EPICS、TANGO和商业SCADA产品. 在硬件方面, FPGA、DSP芯片广泛地用于硬件模块中实现数字化控制, 嵌入式EPICS IOC智能控制器是当今研究的一个热点. 软件方面, 除系统集成工具之外, 各大实验室都建立了自己的软件开发环境, 对软件开发进行标准化管理, 其中开放的软件平台Eclips, Abeans活跃在控制系统软件开发中. 目前具有挑战性的课题是系统高可用性研究. 本文将介绍加速器控制系统及技术方面的现状和进展.     

一种新的两道工序柔性流水车间排序问题

本文针对F_2(p),h11.1|m_1=1,m_2=μ≥2|C_(max)这一问题给出了几种近似算法,并对每种近似算法进行了最坏情形分析,给出了最坏情形界.     

Optimal server resource reservation policies for priority classes of users under cyclic non-homogeneous markov modeling

Resource availability optimization is studied on a server–client system where different users are partitioned into priority classes. The aim is to provide higher resource availability according to the priority of each class. For this purpose, resource reservation is modeled by a homogeneous continuous time Markov chain (CTMC), but also by a cyclic non-homogeneous Markov chain (CNHMC) as there is a cyclic behavior of the users’ requests for resources. The contribution of the work presented consists in the formulation of a multiobjective optimization problem for both the above cases that aims to determine the optimal resource reservation policy providing higher levels of resource availability for all classes. The optimization problem is solved either with known methods or with a proposed kind of heuristic algorithm. Finally, explicit generalized approximate inverse preconditioning methods are adopted for solving efficiently sparse linear systems that are derived, in order to compute resource availability.     

A single-channel single-winner auction model for homogeneous channel allocation in CRNs

Cognitive radio (CR) is a novel intelligent technology which enables opportunistic access to temporarily unused licensed frequency bands. A key functionality of CR is to distribute free channels efficiently amongst Secondary Users (SUs) boosting spectrum usage to assist the escalating wireless applications world wide. In this context, this paper introduces a channel allocation mechanism which enables SUs (CR enabled unlicensed users) to dynamically access unused spectrum bands to fulfill their spectrum needs. We model the channel allocation problem as a sealed-bid single-sided auction which primarily aims at maximizing the overall spectrum utilization. Market based spectrum auctions in CR networks motivate licensed users to participate and lease their under utilized radio resources to gain monetary benefits. Sequential bidding is applied to this model for auctioning homogeneous channels, which reduces communication overhead. Bid submission takes into account two major CR constraints, namely, dynamics in spectrum opportunities and differences in channel availability time, which on incorporation provide disruption free data transmission to the SUs. We reduce resource wastage in this model by performing multiple auction rounds. Application of second price auction determines winning bidders and their respective payments to auctioneer. The design of our auction mechanism is supported with the proofs of truthfulness and individually rational properties. Furthermore, experimental results indicate that our model outperforms an existing auction method. Spectrum utilization values show 22 to 75% improvement in our model with changing number of SUs, and 23 to 93% improvement in our model with changing number of channels.     

关于建立物流网络可用性测度指标体系的研究

论文以保障应急行动的物流网络为研究对象,给出了物流网络可用性定义,提出了研究物流网络可用性指标体系的程序和原则,并系统划分了可用性指标研究的四层次结构,建立了物流网络可用性指标体系.该指标体系的建立对于研究应急物流网络的可用性具有重要的理论和现实意义.