改良MDEA脱碳存在问题的探讨与对策

介绍MDEA脱碳在我公司生产过程中出现的问题 ,并提出了相应的解决方案     

子午线轮胎生产设备的国产化及其存在的问题

对生产子午胎的九大类主要设备：炼胶设备、帘布覆胶设备、覆胶帘布裁断设备、复合挤出机及其生产线、钢丝圈设备、内衬层（气密层）生产线、成型设备、硫化机、成品检测设备进行了分析，总结介绍了我国橡机企业在这九大类设备的设计制造方面取得的成绩和水平，并与国际现状进行了对比。最后总结了我国子午胎设备目前的优势和不足。     

On the complexity of role updating feasibility problem in RBAC

In Role Based Access Control (RBAC) systems, it is necessary and important to update the role–permission assignments in order to reflect the evolutions of the system transactions. However, role updating is generally complex and challenging, especially for large-scale RBAC systems. This is because the resulting state is usually expected to meet various requirements and constraints. In this paper, we focus on a fundamental problem of role updating in RBAC, which determines whether there exists a valid role–permission assignment, i.e., whether it can satisfy all the requirements of the role updating and without violating any role–capacity or permission–capacity constraint. We formally define such a problem as the Role Updating Feasibility Problem (RUFP), and study the computational complexity of RUFP in different subcases. Our results show that although several subcases are solvable in linear time, this problem is NP-complete in the general case.     

Triangle strings: Structures for augmentation of vertex-disjoint triangle sets

Vertex-disjoint triangle sets (triangle sets for short) have been studied extensively. Many theoretical and computational results have been obtained. While the maximum triangle set problem can be viewed as the generalization of the maximum matching problem, there seems to be no parallel result to Berge's augmenting path characterization on maximum matching (C. Berge, 1957 [1]). In this paper, we describe a class of structures called triangle string, which turns out to be equivalent to the class of union of two triangle sets in a graph. Based on the concept of triangle string, a sufficient and necessary condition that a triangle set can be augmented is given. Furthermore, we provide an algorithm to determine whether a graph G with maximum degree 4 is a triangle string, and if G is a triangle string, we compute a maximum triangle set of it. Finally, we give a sufficient and necessary condition for a triangle string to have a triangle factor.     

Coordinating efficiency and equity in disaster relief logistics via information updates

This paper addresses a multi-supplier, multi-affected area, multi-relief, and multi-vehicle relief allocation problem in disaster relief logistics. A multi-objective optimisation model based on disaster scenario information updates is proposed in an attempt to coordinate efficiency and equity through timely and appropriate decisions regarding issues such as vehicle routing and relief allocation. An optimal stopping rule is also proposed to determine the optimum period of delay before responding to disaster, because decision making requires accurate disaster information. The main contribution of this paper is solving relief allocation problem in a novel way by correlating operational research with statistical decision making and Bayesian sequential analysis. Finally, a case is presented based on the post-disaster rescue in Eastern China after supertyphoon Saomai to test the applicability and show the potential advantages of the proposed model.     

Inverse solution for a biochemical heat source in a porous medium in the presence of natural convection

The inverse problem approach by conjugate gradient with adjoint equations is adapted to the context of a non-isothermal bioprocess, controlled by internal heat generation from microbial oxidation, as could be found in a composting reactor for instance, to determine the heat source from internal temperature measurements. The volumetric heat source is assumed proportional to the rate of consumption of a substrate by a biomass, as described by a Monod model. Computations are performed for Rayleigh numbers equal to 0.25 and 25, for a representative biochemical reaction under typical boundary conditions, for constant and temperature-dependent model parameters. The influence of noisy input data is also considered. It is found that good solutions can be obtained when heat release and diffusion occur over very different time scales. The variation of the model parameters with temperature must be taken into account, but single sensor solutions are possible at relatively small Rayleigh numbers when convection is present.     

What you get is what you see: revisiting the evaluator effect in usability tests

Usability evaluation is essential to user-centred design; yet, evaluators who analyse the same usability test sessions have been found to identify substantially different sets of usability problems. We revisit this evaluator effect by having 19 experienced usability professionals analyse video-recorded test sessions with five users. Nine participants analysed moderated sessions; 10 participants analysed unmoderated sessions. For the moderated sessions, participants reported an average of 33% of the problems reported by all nine of these participants and 50% of the subset of problems reported as critical or serious by at least one participant. For the unmoderated sessions, the percentages were 32% and 40%. Thus, the evaluator effect was similar for moderated and unmoderated sessions, and it was substantial for the full set of problems and still present for the most severe problems. In addition, participants disagreed in their severity ratings. As much as 24% (moderated) and 30% (unmoderated) of the problems reported by multiple participants were rated as critical by one participant and minor by another. The majority of the participants perceived an evaluator effect when merging their individual findings into group evaluations. We discuss reasons for the evaluator effect and recommend ways of managing it.     

一种广义分子计算模型及其在 NP问题中的应用

目前各种分子计算模型多基于生物技术,求解一个问题的分子计算机算法很难不作修改地应用于其他类似的问题,尚不似传统计算机般通用。为此,提出一种基于图灵机的广义分子计算模型,其由一台单带图灵机、一条单向只写带和一条工作带组成,通过只写带与工作带之间特殊的映射函数实现并行的同时读、写操作。实验说明了该模型能够在多项式时间求解NP完全的满足性问题（SAT）,比现有分子计算模型在计算准确性和通用性上存在明显优势。     

基于博弈论的百万富翁协议

在经典的百万富翁协议中,一方在得到最后的财富比较结果后,没有动机将结果告诉另一方,或者告诉另一方一个错误的结果。结合博弈论和密码算法,提出一种百万富翁协议。在此协议中,参与者背离协议的收益小于遵守协议的收益,遵守协议是参与者的最优策略,任何百万富翁的欺骗行为都能被鉴别和发现,因此理性的参与者有动机发送正确的数据。最后每个参与者都能公平地得到最后的财富比较结果。     

俄罗斯石油工业改革的现状和问题

近年来作为俄罗斯经济支柱产业的石油工业，在自身发展过程中，其体制改革和生产等方面都取得一些进步，但目前仍存在着许多急待解决的重要问题，因此对俄罗斯石油工业进行一些概括性的分析和梳理对深刻认识俄罗斯石油工业未来的发展趋势是有益的。