动车所调车作业计划优化模型与算法

本文在分析动车组一级修作业流程特点的基础上,将动车所调车作业计划优化问题构建为整数规划模型并设计了融合"股道均衡分配规则""股道无效占用时间最小化规则""冲突消解策略"的启发式算法对问题进行求解,以动车所实际案例为背景验证了模型和算法的有效性。结果表明,所提出优化模型和算法是有效的;所提启发式算法相比三类常见的调度方法具有明显的优越性。     

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.     

基于语言偏好信息的满意公平稳定双边匹配方法

针对语言偏好信息下的双边匹配问题,提出一种考虑匹配满意性、公平性和稳定性的双边匹配方法.首先,通过构造匹配满意度计算规则,将双边主体的语言偏好信息转化为匹配满意度;然后,给出满意匹配、公平匹配和稳定匹配的定义,在此基础上,考虑稳定匹配约束条件,建立双边匹配多目标优化模型,采用理想点法将多目标优化模型转化为单目标规划模型进行求解;最后,通过一个算例验证了提出方法的可行性和有效性.     

Human Development in Saudi Education: a Critical Systemic Approach

This paper is drawn from PhD research funded by the Saudi government on the policy and governance of Saudi schools (Algraini 2017. A critical systemic approach to human development in education: a case study of the Ministry of Education in Saudi Arabia). The aim of this article is to address human development challenges using the Critical Systems Heuristics approach. The results show that the central policy framework limits the opportunity for teachers and learners to contribute to shaping the curriculum and the process for human development. The Saudi Ministry of Education needs to: a) develop policy that takes into account the structure and the processes that shape education outcomes and b) to represent the voices of service users and service providers who have different and overlapping views.     

A Method to Visualize the Skeleton Industrial Structure with Input-Output Analysis and Its Application in China,Japan and USA

The paper established a double filtering method (DFM) to visualize the skeleton industrial structure (SIS) of one economy and find its evolution rule. Different with the previous researches, this method is from a new view of industrial conjunctions combined by leading sectors to depict the industrial structure. It was proved that the leading sector selected by DFM must be key sector selected by Hirschman-Rasmussen method. Applied DFM to input-output tables of China, Japan and USA and MFA to Japan and USA, the results analysis showed that DFM could overtake the two main shortcomings of minimum flow analysis (MFA), scratch SIS of each economy with its own characteristics, visualize the general evolution rules of the industrial structure with crisscrossed conjunctions among leading sectors.     

Control of excessive neural circuit excitability and prevention of epileptic seizures by endocannabinoid signaling

Progress in research on endocannabinoid signaling has greatly advanced our understanding of how it controls neural circuit excitability in health and disease. In general, endocannabinoid signaling at excitatory synapses suppresses seizures by inhibiting glutamate release. In contrast, endocannabinoid signaling promotes seizures by inhibiting GABA release at inhibitory synapses. The physiological distribution of endocannabinoid signaling molecules becomes disrupted with the development of epileptic focus in patients with mesial temporal lobe epilepsy and in animal models of experimentally induced epilepsy. Augmentation of endocannabinoid signaling can promote the development of epileptic focus at initial stages. However, at later stages, increased endocannabinoid signaling delays it and suppresses spontaneous seizures. Thus, the regulation of endocannabinoid signaling at specific synapses that cause hyperexcitability during particular stages of disease development may be effective for treating epilepsy and epileptogenesis.     

Quantitative Analysis of Multi-Recovery-Based Intrusion Tolerance Model

Quantitative analysis has always been a difficult problem in security analysis of intrusion tolerance systems. An intrusion tolerance model based on multiple recovery mechanisms is introduced in this paper and how to quantify the security attributes of the model is proposed. A state transition model with recovery states more accurately describes the dynamic behavior of the system. Considering that recovery mechanisms have a great impact on the security performance of the system, we set up the cost models corresponding to different recovery mechanisms. We propose a feasible security measure based on mean cost to security failure in order to evaluate the system cost during the recovery phase. The experimental results confirmed the feasibility of the proposed methods.     

The Life-Cycle Model with Optimal Retiring Age and Simulation

In this paper, a life-cycle model with retirement is set up to study how an individual chooses the optimal retiring age on account of wage growth rate, longevity and healthy state. It is proved that there exists optimal retiring age under given conditions. The numerical simulations are given to show how wage growth rate, longevity and healthy state affect retiring age.