同城即时配送问题基于多预测场景的在线调度

同城即时配送是随现代电子商务而产生的新问题,该问题呈现出极强的动态性与求解时间的紧迫性,并具有商户与顾客一对多的关系、车辆需要多次往返商户取货、货物取送有时效要求等诸多新特征,无法依赖现有研究而求解.针对这一问题,建立了基于多预测场景的在线优化调度方法,将带有预测订单的多个场景整合到路线规划过程,通过每个场景的方案计算,以及多场景方案的整合,得到了车辆赖以运行的集成方案,提高了调度方案面对未来不确定需求的适应性;所建立的调度系统在新订单进入时立即响应,在系统闲置时则采用大邻域搜索技术不断优化未完成的任务方案.最后,在具有200～300个日订单的大连市某同城即时配送公司的真实数据上,验证了在线调度方法的有效性和可行性.     

Theoretical construction in physics – The role of Leibniz for Weyl's ‘Philosophie der Mathematik und Naturwissenschaft’

This paper aims at closing a gap in recent Weyl research by investigating the role played by Leibniz for the development and consolidation of Weyl's notion of theoretical (symbolic) construction. For Weyl, just as for Leibniz, mathematics was not simply an accompanying tool when doing physics—for him it meant the ability to engage in well-guided speculations about a general framework of reality and experience. The paper first introduces some of the background of Weyl's notion of theoretical construction and then discusses particular Leibnizian inheritances in Weyl's ‘Philosophie der Mathematik und Naturwissenschaft’, such as the general appreciation of the principles of sufficient reason and of continuity. Afterwards the paper focuses on three themes: first, Leibniz's primary quality phenomenalism, which according to Weyl marked the decisive step in realizing that physical qualities are never apprehended directly; second, the conceptual relation between continuity and freedom; and third, Leibniz's notion of ‘expression’, which allows for a certain type of (surrogative) reasoning by structural analogy and which gave rise to Weyl's optimism regarding the scope of theoretical construction.     

Inhibition of protein misfolding and aggregation by natural phenolic compounds

Protein misfolding and aggregation into fibrillar deposits is a common feature of a large group of degenerative diseases affecting the central nervous system or peripheral organs, termed protein misfolding disorders (PMDs). Despite their established toxic nature, clinical trials aiming to reduce misfolded aggregates have been unsuccessful in treating or curing PMDs. An interesting possibility for disease intervention is the regular intake of natural food or herbal extracts, which contain active molecules that inhibit aggregation or induce the disassembly of misfolded aggregates. Among natural compounds, phenolic molecules are of particular interest, since most have dual activity as amyloid aggregation inhibitors and antioxidants. In this article, we review many phenolic natural compounds which have been reported in diverse model systems to have the potential to delay or prevent the development of various PMDs, including Alzheimer’s and Parkinson’s diseases, prion diseases, amyotrophic lateral sclerosis, systemic amyloidosis, and type 2 diabetes. The lower toxicity of natural compounds compared to synthetic chemical molecules suggest that they could serve as a good starting point to discover protein misfolding inhibitors that might be useful for the treatment of various incurable diseases.     

An Economic Model-Based Matching Approach Between Buyers and Sellers Through a Broker in an Open E-Marketplace

A broker in an open e-marketplace enables buyers and sellers to do business with each other. Although a broker plays an important role in e-marketplaces, theory and guidelines for matching between buyers and sellers in multi-attribute exchanges are limited. Therefore, a challenge for a broker’s responsibility is how to maximize a buyer’s total satisfaction degree as its goals under the consideration of trade-off between a buyer’s buying quantity and price paid to a seller, and other attributes. To solve this challenge, this paper proposes an economic model-based matching approach between a buyer’s requirements and a seller’s offers. The major contributions of this paper are that (i) a broker can model a seller’s price policy as per a buyer’s buying quantity through communication between a broker and a seller; (ii) due to each buyer’s different quantity demand, a broker models a buyer’s satisfaction degree as per a buyer’s buying quantity based on communication between a broker and a buyer; and (iii) to carry out a broker’s matching processes, an objective function and a set of constraints are generated to help a broker to maximize a buyer’s total satisfaction degree. Experimental results demonstrate the good performance of the proposed approach.     

Microbes,mathematics, and models

Microbial model systems have a long history of fruitful use in fields that include evolution and ecology. In order to develop further insight into modelling practice, we examine how the competitive exclusion and coexistence of competing species have been modelled mathematically and materially over the course of a long research history. In particular, we investigate how microbial models of these dynamics interact with mathematical or computational models of the same phenomena. Our cases illuminate the ways in which microbial systems and equations work as models, and what happens when they generate inconsistent findings about shared targets. We reveal an iterative strategy of comparative modelling in different media, and suggest reasons why microbial models have a special degree of epistemic tractability in multimodel inquiry.     

Early SIV and HIV infection promotes the LILRB2/MHC-I inhibitory axis in cDCs

Classical dendritic cells (cDCs) play a pivotal role in the early events that tip the immune response toward persistence or viral control. In vitro studies indicate that HIV infection induces the dysregulation of cDCs through binding of the LILRB2 inhibitory receptor to its MHC-I ligands and the strength of this interaction was proposed to drive disease progression. However, the dynamics of the LILRB2/MHC-I inhibitory axis in cDCs during early immune responses against HIV are yet unknown. Here, we show that early HIV-1 infection induces a strong and simultaneous increase of LILRB2 and MHC-I expression on the surface of blood cDCs. We further characterized the early dynamics of LILRB2 and MHC-I expression by showing that SIVmac251 infection of macaques promotes coordinated up-regulation of LILRB2 and MHC-I on cDCs and monocytes/macrophages, from blood and lymph nodes. Orientation towards the LILRB2/MHC-I inhibitory axis starts from the first days of infection and is transiently induced in the entire cDC population in acute phase. Analysis of the factors involved indicates that HIV-1 replication, TLR7/8 triggering, and treatment by IL-10 or type I IFNs increase LILRB2 expression. Finally, enhancement of the LILRB2/MHC-I inhibitory axis is specific to HIV-1 and SIVmac251 infections, as expression of LILRB2 on cDCs decreased in naturally controlled chikungunya virus infection of macaques. Altogether, our data reveal a unique up-regulation of LILRB2 and its MHC-I ligands on cDCs in the early phase of SIV/HIV infection, which may account for immune dysregulation at a critical stage of the anti-viral response.     

军用航空装备技术发展趋势

 军用航空装备技术的发展方向直接影响一个国家的军用航空装备，进而决定一个国家的空中力量。通过分析研究世界航空军事强国着力发展的航空装备以及新兴技术在航空装备上的应用，提出未来军用航空装备技术将向着体系化、信息化、敏捷化、远程化和智能化的方向发展，并对中国军用航空装备未来发展提出了建议。     

基于功率谱熵特征提取的脑电波大脑年龄预测

 大脑会随着年龄的增加而出现功能衰退，通过决策实验获取年轻人和中老年人的脑电信号，可以定量分析大脑随年龄增长而出现的变化。提出了一种基于熵的脑电波刻画方法，并利用机器学习的方法能够比较准确地预测人的大脑年龄。研究表明，脑电波功率谱熵（PSE）具有良好的时域分辨能力和更准确的区分效果，年轻人在做决策时的脑电波功率谱熵的分布是大于中老年人的，即年轻人所产生的脑电波信息量更大。此外，支持向量机（SVM）的分类效果优于随机森林（RF）方法，最高平均精度达88.02%，比随机森林高出2.66%。通过基尼指数对特征重要性排序，还发现决策过程中左眼电区域、大脑的颞和中央区域的决策反应差异很大，分类器更容易在这些特征区域做出更好的分类。     

ID-Based Public Auditing Protocol for Cloud Storage Data Integrity Checking with Strengthened Authentication and Security

Cloud storage service reduces the burden of data users by storing users’ data files in the cloud. But, the files might be modified in the cloud. So, data users hope to check data files integrity periodically. In a public auditing protocol, there is a trusted auditor who has certain ability to help users to check the integrity of data files. With the advantages of no public key management and verification, researchers focus on public auditing protocol in ID-based cryptography recently. However, some existing protocols are vulnerable to forgery attack. In this paper, based on ID-based signature technology, by strengthening information authentication and the computing power of the auditor, we propose an ID-based public auditing protocol for cloud data integrity checking. We also prove that the proposed protocol is secure in the random oracle model under the assumption that the Diffie-Hellman problem is hard. Furthermore, we compare the proposed protocol with other two ID-based auditing protocols in security features, communication efficiency and computation cost. The comparisons show that the proposed protocol satisfies more security features with lower computation cost.