关于检察机关内部人员过问案件记录和责任追究制度的思考

建立检察机关内部人员过问案件的记录和责任追究制度,具有十分重要的现实意义。但实践中可能会遇到一系列问题或困境,比如哪些是需要记录的过问行为,能不能如实记录的问题,如实记录后对记录人的保护问题,如实记录后的报告程序问题等。对此,检察机关应该从明确过问的记录标准、加大检务公开力度、细化记录人保护措施、加大宣传教育惩戒力度和完善过问案件记录报告程序等环节着手。

基于穿透导向的集团化公司延伸过问管理研究

集团化公司自身有高附加值品质开发的竞争需求,如果仅仅依靠完善子公司内部运行机制,而没有上级集团公司的干预,可能导致管控效果得不到充分体现,不利于企业稳续经营。本文立足集团总部优势,依托集团化公司在板块管理领域基于穿透导向实施延伸过问管理,明确权责边界与分级授权,规范刚性约束,有利于为实现价值持续增长的目标提供重要支撑。

无人过问的青春

树洞兄： 现在我的眼前有许多照片。 第一张照片：两个女生在喝交杯酒,额头碰在一起,非常亲密,背景一片杯盘狼藉;

马克思主义的世界社会形态与经济形态在国家层面的“匹配性”和“直过性”问题研究——习近平同志对落后国家选择社会发展道路的新贡献研究

落后国家如何正确选择一条适合本国国情的社会发展道路,是长期以来尚未解决好的理论和实践难题。学习和运用习近平同志对马克思主义关于人类社会发展道路的一般规律与社会主义国家和其它落后国家选择社会发展道路理论的新贡献,研究分析社会形态与经济形态在世界和国家两个层面的含义、共性与个性的关系和匹配性选择、依序自然发展和跨越或直过发展的两种发展路径问题,有助于厘清世界社会主义和社会主义国家与世界资本主义和资本主义国家之间在生产方式、经济基础、上层建筑、意识形态的关系;正确选择中国特色社会主义发展的经济形态和制度体制机制的创新建设;坚持中国特色社会主义的道路自信、理论自信和制度自信。

Monadically slicing programs with procedures

A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a procedure with the given labels, and then captures the callees＇ influence on callers when analyzing call statements. Phase 2 captures the callees＇ dependence on callers by replacing all given labels appearing in the corresponding sets of formal parameters. By the introduction of given labels, this slice method can obtain similar summary information in system-dependence-graph（SDG）-based algorithms for addressing the calling-context problem. With the use of the slice monad transformer, this monadic slicing approach achieves a high level of modularity and flexibility. It shows that the monadic interprocedural algorithm has less complexity and it is not less precise than SDG algorithms.

Iterative identification of discrete-time output-error model with time delay

The problem of discrete-time model identification of industrial processes with time delay was investigated.An iterative and separable method is proposed to solve this problem,that is,the rational transfer function model parameters and time delay are alternately fixed to estimate each other.The instrumental variable technique is applied to guarantee consistent estimation against measurement noise.A noteworthy merit of the proposed method is that it can handle fractional time delay estimation,compared to existing methods commonly assuming that the time delay is an integer multiple of the sampling interval.The identifiability analysis for time delay is addressed and correspondingly,some guidelines are provided for practical implementation of the proposed method.Numerical and experimental examples are presented to illustrate the effectiveness of the proposed method.

The Design and Control of Distillation Column with Side Reactors for Chlorobenzene Production

The distillation column with side reactors (SRC) can overcome the temperature/pressure mismatch in the traditional reactive distillation, the column operates at temperature/pressure favorable for vapor-liquid separation, while the reactors operate at temperatures/pressures favorable for reaction kinetics. According to the smooth operation and automatic control problem of the distillation column with side reactors (SRC), the design, simulation calculation and dynamic control of the SCR process for chlorobenzene production are discussed in the paper. Firstly, the mechanism models, the integrated structure optimal design and process simulation systems are established, respectively. And then multivariable control schemes are designed, the controllability of SRC process based on the optimal steady-state integrated structure is explored. The dynamic response performances of closed-loop system against several disturbances are discussed to verify the effectiveness of control schemes for the SRC process. The simulating results show that the control structure using conventional control strategies can effectively overcome feeding disturbances in a specific range.

Modeling of Welding Process by Robotic Vision

Modeling of welding process by robotic vision is basically a theoretical problem, means mainly on physical problem, and also technological problem. To obtain a good model of welding process by robotic vision, theoretical researches are required but also constant experimental researches of several welding processes. Until today researches of welding processes has been based on empirical and detailed experimentation. This paper presents welding process by robotic and automation points of view with application of new technologies. Welding robotic system has been designed with possibility to control and inspect this process. Parameters that should be controlled during the process have been identified to reach desired quality. Figure of control system of welding process by robotic vision is given in this paper.

A Novel Real-time Optimization Methodology for Chemical Plants

In this paper, a novel approach termed process goose queue (PGQ) is suggested to deal with real-time optimization (RTO) of chemical plants. Taking advantage of the ad-hoc structure of PGQ which imitates biologic nature of flying wild geese, a chemical plant optimization problem can be re-formulated as a combination of a multi-layer PGQ and a PGQ-Objective according to the relationship among process variables involved in the objective and constraints. Subsequently, chemical plant RTO solutions are converted into coordination issues among PGQs which could be dealt with in a novel way. Accordingly, theoretical definitions, adjustment rule and implementing procedures associated with the approach are explicitly introduced together with corresponding enabling algorithms. Finally, an exemplary chemical plant is employed to demonstrate the feasibility and validity of the contribution.

Heap-Leaching of Low-Grade Uranium Ore at SOMAIR： From Laboratory Tests to Production of 700 Tonnes U Per Year

In 2006, SOMAIR decided to increase the uranium production by 50% using heap leaching for the treatment of low grade ores. These ores, which come from different lodes with various properties, have been studied in four steps： （ 1 ） Lab tests： to compare the ores （characterization, acid consumptions, recovery...）; （2） Column tests on an average sample： to define significant parameters for a feasibility study; （3） Column tests on specific samples： to optimize recovery for each ore and identify problems of percolation due to the clays; （4） Pilot tests in large boxes （stalls）： to validate process parameters. Uranium production by heap leaching started in July 2009.

Application of orthogonal experimental design and Tikhonov regularization method for the identification of parameters in the casting solidification process

The inverse heat conduction method is one of methods to identify the casting simulation parameters. A new inverse method was presented according to the Tikhonov regularization theory. One appropriate regularized functional was established, and the functional was solved by the sensitivity coefficient and Newtonaphson iteration method. Moreover, the orthogonal experimental design was used to estimate the appropriate initial value and variation domain of each variable to decrease the number of iteration and improve the identification accuracy and efficiency. It illustrated a detailed case of AlSiTMg sand mold casting and the temperature measurement experiment was done. The physical properties of sand mold and the interracial heat transfer coefficient were identified at the meantime. The results indicated that the new regularization method was efficient in overcoming the ill-posedness of the inverse heat conduction problem and improving the stability and accuracy of the solutions.

Successful treatment of intracardiac air embolism using intracardiac catheter aspiration

Intracardic air embolism is uncommon, however it is a serious condition which frequently leads to catastrophic complications during or after invasive procedures resulting in significant morbidity and mortality. For a successful re- suscitation of patients with intracardiac air embolism, hy- perbaric oxygen therapy is critical.~~2~ Still, due to a hyper- baric chamber＇s unavailability at many hospitals and con- cerns about patient movement resulting in further embolism during transport, such treatment method is gradually dimin- ishing.

Development of a Cooling System for Geothermal Borehole Probes

The high potential of geothermal energy in quantity and availability can be a great option, facing the huge problem of growing energy use linked with the climatic problems. Therefore, it is necessary to reduce costs and risks for the use of geothermal energy sources. Because most of the problems have to do with insufficient knowledge about the conditions in the earth crust, the key to take root of geothermal energy is widespread research. The cooling system allows the use of all needed devices in deep boreholes without strict time or temperature limitations, which promotes the achieving of comprehensive information. To develop the purpose-built components among conducting experiments about the thermodynamic processes, a prototype is provided step by step.

Experience and Radical Democracy

The economic crisis within the European Union also involves a crisis of democracy. On the one side the austerity-politics of the Troika limits the influence of democratic procedures. On the other side new forms of social protests rise in which social actors struggle for an extension of the democratic public： the resistance against evictions the self-organization of medical care, the occupation of public places etc. realized new forms of social cooperation, discussion and decision-making processes. On this background a reference to John Deweys theory of the democratic public seems to be helpful to reconstruct and to orient these conflicts and the claims raised in them. According to Dewey the normative criteria which we use if we evaluate actions or common institutions are a part of the social process and insofar a process themselves. These criteria have to be reflected and reformulated in new situations in which new social problems and conflicts occur. The democratic public is in this conception the realm in which a common elucidation of problematic social consequences of the existing institutions takes place and in which proposals for the overcoming of these consequences are formulated. Therefore it reconstructs the central norms embedded within the social institutions, it shows how collective actions guided by these norms leads to problematic social consequences. This is then the background for a critical reflection on, and a reformulation of the guiding norms of these institutions. To realize such a form of collective self-determination the democratic public can not be reduced to a separate political sphere, rather it has to be extended to all forms of social cooperation especially the economy.

A Hybrid Improved Genetic Algorithm and Its Application in Dynamic Optimization Problems of Chemical Processes

The solutions of dynamic optimization problems are usually very difficult due to their highly nonlinear and multidimensional nature. 13enetic algorithm （GA） has been proved to be a teasibte method when the gradient is difficult to calculate. Its advantage is that the control profiles at all time stages are optimized simultaneously, but its convergence is very slow in the later period of evolution and it is easily trapped in the local optimum. In this study, a hybrid improved genetic algorithm （HIGA） for solving dynamic optimization problems is proposed to overcome these defects. Simplex method （SM） is used to perform the local search in the neighborhood of the optimal solution. By using SM, the ideal searching direction of global optimal solution could be found as soon as possible and the convergence speed of the algorithm is improved. The hybrid algorithm presents some improvements, such as protecting the best individual, accepting immigrations, as well as employing adaptive crossover and Ganssian mutation operators. The efficiency of the proposed algorithm is demonstrated by solving several dynamic optimization problems. At last, HIGA is applied to the optimal production of secreted protein in a fed batch reactor and the optimal feed-rate found by HIGA is effective and relatively stable.

Discrete Differential Evolution for Mixed Discrete Non-Linear Problems

Differential evolution （DE） is a global optimizer for continuous design variables. To enhance DE, it is necessary to handle discrete design variables. In this paper, a discrete differential evolution （DDE） algorithm is proposed to handle discrete design variables The proposed DDE is based on the DE/l/rand/bin method. In the proposed DDE, the mutation ratio is regarded as the exchange probability, and thus, no modifications of DE/l/rand/bin are required. In addition, in order to maintain diversity through the search process, we initialize all search points. By introducing the initialization of all search points, global or quasi-optimum solution can be found. We validate the proposed DDE by applying it to several benchmark problems.

Particle Filter for Estimation and Tracking

In recent years, the particle filter technique has been widely used in tracking, estimation and navigation. In this paper, the authors described several practical filters including the general practical, the extended Kaman practical, and the unsented particle filters. And they explained the degeneracy problem in the practical filter protess, and introduced some solved methods. Finally they demonstrated the estimation of different particle filters in non-liner and non-Gaussian situation respectively. The result proved the unscented particle filter had the best performance.

Characteristics of User Redesign Process： A Study of Changes Made by Users in Architect-Designed Housing

Housing is dynamic. It changes with time. A sample of 60 houses in the Shagari Low Cost housing scheme in Kanra Namoda was studied in order to find out the characteristics of changes made by the users. Physical observations and questionnaires were used as the major instruments of data collection. The results show that 91% of occupants have made various changes to the original designs without the help of professional designers, and some of the changes have completely transformed the outlook of the houses in locational planning, materials and form. This implies that a post architectural design phase exists, suggesting that the design process can be divided into two phases; the initial design by the architect and the subsequent redesign by the user. The paper presents preliminary findings on the general characteristics of user redesign and concludes that a clear process can be established. The architectural design process can, therefore, be expanded to include the user redesign process in order to reflect the entire lifespan of the building.

The Strategy of Integrating Enterprise Culture into College English Teaching Under the New Curriculum Reform

With the overall promotion of the new curriculum reform, teachers’ teaching ideas have greatly changed. Under this background, how to apply the concept of new curriculum reform guide the reform of college English teaching is an important task. Therefore, it is very important to study the teaching strategies of college English teaching. Culture and language are complementary and inseparable, which requires us to carry out cultural teaching during English teaching process. In this paper, we focus on the strategy of integrating enterprise cultures into college English teaching, and discuss several cultural teaching problems in college English class. As a language required course, English not only strengthen the learners’ language skills, but also enhance humanistic quality of students. However, current college English teaching takes the examination as the goal, which cannot meet the needs of the learner’s professional stuff. We propose the strategy of integrating the professional background into English teaching, in order to improve the students’ ability of comprehensive application of English and the professional quality.