碘化N-正丁基氟哌啶醇对大鼠缺氧复氧心肌细胞钠钙交换体电流的抑制作用

碘化N-正丁基氟哌啶醇(N-n-butyl haloperidol iodide,F2)为本研究室改造合成的新化合物。前期研究发现F2作为L-型钙通道拮抗剂,能剂量依赖地拮抗缺血再灌注所导致的大鼠心脏损伤。研究F2对缺氧复氧(hypoxia/reoxygenation,H/R)大鼠心肌细胞钠钙交换体电流的作用并探讨其保护机制。采用Langendorff灌流系统灌流SD大鼠心脏,标准酶解法消化分离得到单个心室肌细胞。正常台式液灌流5min,立即灌流充90%N2-10%CO2的缺氧液,建立体外心肌细胞H/R模型,采用全细胞膜片钳技术记录对照、模型以及不同浓度F2(0.1、1、10μmol/L)对心肌细胞钠钙交换体电流,观察H/R状态F2对心肌细胞钠钙交换体电流的影响。结果显示:缺氧抑制钠钙交换体电流主要是抑制外向电流;H/R引起钠钙交换体电流增大,尤其是外向电流的增大。F2呈浓度依赖地抑制钠钙交换体电流,钠钙交换体电流I-V曲线上移。以上表明:F2能抑制钠钙交换体电流,尤其是外向电流,防止H/R时心肌细胞的钙超载,保护心肌细胞。     

电阻绝缘检测中低压脉冲信号注入法的算法改进

在有源式低压脉冲信号注入法的基础上,重新推导了计算电阻值的数学模型,并设计了一种运用该模型的有源式动力电池绝缘电阻监测系统,该系统可以有效地解决部分无源式和有源式绝缘检测法无法有效精确测量同时下降的正负端绝缘电阻与正负端单侧绝缘电阻的问题.此外,通过台架实验验证了该监测系统的有效性,在改进电动汽车动力电池监测系统方面具有一定的应用价值.     

Two Innovative Coalition Formation Models for Dynamic Task Allocation in Disaster Rescues

This paper addresses the problem of multi-objective coalition formation for task allocation. In disaster rescue, due to the dynamics of environments, heterogeneity and complexity of tasks as well as limited available agents, it is hard for the single-objective and single (task)-to-single (agent) task allocation approaches to handle task allocation in such circumstances. To this end, two multi-objective coalition formation for task allocation models are proposed for disaster rescues in this paper. First, through coalition formation, the proposed models enable agents to cooperatively perform complex tasks that cannot be completed by single agent. In addition, through adjusting the weights of multiple task allocation objectives, the proposed models can employ the linear programming to generate more adaptive task allocation plans, which can satisfy different task allocation requirements in disaster rescue. Finally, through employing the multi-stage task allocation mechanism of the dynamic programming, the proposed models can handle the dynamics of tasks and agents in disaster environments. Experimental results indicate that the proposed models have good performance on coalition formation for task allocation in disaster environments, which can generate suitable task allocation plans according to various objectives of task allocation.     

UPLC-MS/MS法同时检测小花鬼针草中6种单体成分的含量

建立了一种应用UPLC-MS/MS同时测定小花鬼针草中6种单体成分原儿茶酸、芦丁、金丝桃苷、槲皮苷、槲皮素和山奈酚含量的方法。小花鬼针草药材粉碎后，经甲醇超声提取稀释后进样，采用负离子多反应监测（MRM）模式同时测定提取物中6种单体成分的含量，并以芍药苷为内标。色谱柱为Agilent SB C18 （50 mm × 2.1 mm, 1.8 μm），流动相为乙腈-0.1%甲酸水溶液，梯度洗脱，流速为0.4 mL/min，柱温为35 ℃。结果表明，该方法所测6种成分在相应的质量浓度范围内，峰面积与浓度线性关系良好，r＞0.999 0；平均加样回收率（n=6）为92.1% ～95.5%，相对标准偏差≤4.50%。该方法简单快捷、灵敏度高、专属性强，可同时测定小花鬼针草中6种单体成分。     

Data-Driven Leader-Follower Output Synchronization for Networked Non-Linear Multi-Agent Systems with Switching Topology and Time-Varying Delays

This paper studies the output synchronization problem for a class of networked non-linear multi-agent systems with switching topology and time-varying delays. To synchronize the outputs, a leader is introduced whose connectivity to the followers varies with time, and a novel data-driven consensus protocol based on model free adaptive control is proposed, where the reference input of each follower is designed to be the time-varying average of the neighboring agents’ outputs. Both the case when the leader is with a prescribed reference input and the case otherwise are considered. The proposed protocol allows for time-varying delays, switching topology, and does not use the agent structure or the dynamics information implicitly or explicitly. Sufficient conditions are derived to guarantee the closed-loop stability, and conditions for consensus convergence are obtained, where only a joint spanning tree is required. Numerical simulations and practical experiments are conducted to demonstrate the effectiveness of the proposed protocol.     

Contours and Tight Clusters

Nested clusters arise independently in graph partitioning and in the study of contours. We take a step toward unifying these two instances of nested clusters. We show that the graph theoretical tight clusters introduced by Dress, Steel, Moulton and Wu in 2010 are a special case of nested clusters associated to contours.     

An empirical investigation on the risk-return relationship of carbon future market

This paper examines the risk-return relationship for the carbon future market during Phases I, II and III of the European Union Emission Trading Scheme (EU ETS). The risk factors derived from the newly developed LSW model, are embedded into a GARCH framework. This new specification is compared with several GARCH-M type models analyzing the risk-return relationship in the carbon market. The results show that the new specification consistently achieves a good fit and possesses superior explanatory power for the European Union Allowance (EUA) data. Some policy suggestions regarding market efficiency are also provided.     

Systemic Design for Applying the Combined Use of SSM and CDA to Social Practices

In this paper, we propose a framework for applying the combined use of soft systems methodology (SSM) and critical discourse analysis (CDA) based on social semiotic systemic functional linguistics to social practices. In the social practice, ‘participation’ mode of Checkland’s SSM is used for ‘problem-solving’ whilst CDA is used to problematize ‘problem-solving’ processes within the practice. During the meta-process of problematization of our research, we used Churchman’s systems approach and its theory of ‘boundary critique’ in order to explore issues such as governance, inequality of power, and social values within the organization examined for this study. In other words, the process-oriented methodology proposed in this paper consists of two processes: that of ‘problem-solving’ based on SSM and of problematization of naturalized discourse from the perspective of CDA and two phases of boundary critique in social practice. A detailed account of a case study of Korean social enterprise is given to demonstrate how our proposed framework of the combined use of SSM and CDA is applied into practice. Reflecting the outcome of the case study, this paper argues that critical social research from systemic inquiry using what we call ‘process-oriented methodology’ is useful to address some of the social and complex issues related to understanding dynamic relation between power and discourse amongst participants in the social enterprise in Korean contexts.     

On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra

Some techniques using linear algebra was introduced by Faugère in F4 to speed up the reduction process during Gr?bner basis computations.These techniques can also be used in fast implementations of F5 and some other signature-based Gr?bner basis algorithms.When these techniques are applied,a very important step is constructing matrices from critical pairs and existing polynomials by the Symbolic Preprocessing function(given in F4).Since multiplications of monomials and polynomials are involved in the Symbolic Preprocessing function,this step can be very costly when the number of involved polynomials/monomials is huge.In this paper,multiplications of monomials and polynomials for a Boolean polynomial ring are investigated and a specific method of implementing the Symbolic Preprocessing function over Boolean polynomial rings is reported.Many examples have been tested by using this method,and the experimental data shows that the new method is very efficient.