基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

Fencing the bear? Explaining US foreign policy towards Russian interventions

Despite the burgeoning literature on Russia’s renewed power politics, little attention has been paid to the fact that US reactions towards Russia’s military interventions were all but coherent. The USA has chosen weak measures in Georgia in 2008 (shaming) compared to its assertive response in Ukraine in 2014 (sanctions, hard deterrence). This article assesses the explanatory power of neorealist, liberal and constructivist theories for the variation in US reactions towards Russian interventions in Georgia and Ukraine. Our argument is that the constructivist perspective explains the cases best as it highlights the power and communality of normative assessments. The Ukraine crisis was perceived by the USA as a violation of core international norms, especially the non-use of force and the principle of territorial integrity. Relevant international norm carriers shared this assessment of the conflict. In contrast, the perception of the Georgian war centred on the issue of democracy promotion. While democracy is an important aim of US foreign policy, it does not summon the same normative importance as general principles of international law. Furthermore, the perception of the Georgian war remained contested among Western allies, which decreased the communality of the normative assessment.     

Demobilisation,disarmament and reintegration in the Democratic Republic of Congo: The numbers game

Abstract

The creation of the Africa Command (AFRICOM) has reflected the growth in the strategic importance of Africa in US foreign policy since the end of the 1990s. One of the objectives of this new geographical military command is to forge closer links between foreign, security and development policies. However, this approach met with a number of difficulties associated with the challenge of ‘inter-agency cooperation’ among rather disparate actors from foreign affairs, defence and development. In addition, the establishment of AFRICOM has met with fierce criticism in the US and elsewhere – especially in Africa – culminating in the charge that the US foreign and development policies in Africa are being militarised. Although AFRICOM has a number of interesting features, this paper shows that it has reacted to these criticisms by realigning itself more closely with the traditional model of a military command, at the expense of the innovative interagency elements.     

Local perceptions of the EU’s role in peacebuilding: The case of security sector reform in Palestine

ABSTRACT

Perception research can make a valuable contribution to the study of the local dimension in EU peacebuilding. The conceptual framework developed in this article distinguishes between perceptions of the “legitimacy,” “effectiveness,” and “credibility” of EU peacebuilding practices, which are crucial factors for successful peacebuilding. Relying on the case of the EU’s support for security sector reform (SSR) in Palestine, this article shows that local stakeholders—which participate in various EU-sponsored training and capacity-building programs—display considerable support for liberal peacebuilding norms. Yet, perceived discrepancies between the EU’s peacebuilding rhetoric and its SSR activities have severely undermined the potential of the EU’s liberal peacebuilding model in the eyes of Palestinian stakeholders. Critical local perceptions are frequently articulated with reference to the EU’s own liberal peacebuilding discourse, pointing to a lack of inclusiveness of the SSR process and deficits in terms of democratic governance and the rule of law.     

Newsvendor bounds and heuristics for serial supply chains with regular and expedited shipping

We study an infinite‐horizon, N‐stage, serial production/inventory system with two transportation modes between stages: regular shipping and expedited shipping. The optimal inventory policy for this system is a top–down echelon base‐stock policy, which can be computed through minimizing 2N nested convex functions recursively (Lawson and Porteus, Oper Res 48 (2000), 878–893). In this article, we first present some structural properties and comparative statics for the parameters of the optimal inventory policies, we then derive simple, newsvendor‐type lower and upper bounds for the optimal control parameters. These results are used to develop near optimal heuristic solutions for the echelon base‐stock policies. Numerical studies show that the heuristic performs well. © 2009 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

农村公共财政政策下的消防工作研究

介绍了农村消防工作与农村公共财政政策的内在联系,分析了农村公共财政政策和农村消防基础设施建设存在问题。就改革农村公共财政政策,加强农村消防基础设施建设进行了探讨。     

Inventory management with advance capacity information

An important aspect of supply chain management is dealing with demand and supply uncertainty. The uncertainty of future supply can be reduced if a company is able to obtain advance capacity information (ACI) about future supply/production capacity availability from its supplier. We address a periodic‐review inventory system under stochastic demand and stochastic limited supply, for which ACI is available. We show that the optimal ordering policy is a state‐dependent base‐stock policy characterized by a base‐stock level that is a function of ACI. We establish a link with inventory models that use advance demand information (ADI) by developing a capacitated inventory system with ADI, and we show that equivalence can only be set under a very specific and restrictive assumption, implying that ADI insights will not necessarily hold in the ACI environment. Our numerical results reveal several managerial insights. In particular, we show that ACI is most beneficial when there is sufficient flexibility to react to anticipated demand and supply capacity mismatches. Further, most of the benefits can be achieved with only limited future visibility. We also show that the system parameters affecting the value of ACI interact in a complex way and therefore need to be considered in an integrated manner. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

Securitising humanitarian assistance and post-conflict reconstruction in Africa: A critical review of South Africa's new defence policy

The South African Defence Review 2014 is the country's new defence policy. The Review, which is expected to steer South African defence policymaking for the next few decades, discusses in detail the role of the South African National Defence Force (SANDF) in peace missions in Africa and proposes the direct involvement of the country's soldiers in both military and civilian tasks, from peacekeeping to humanitarian assistance, post-conflict reconstruction and development. This paper contains a critical review of the Review with regard to South Africa's envisaged contribution to regional and continental peace and stability. It is argued that humanitarian assistance and post-conflict reconstruction should not be securitised and that the SANDF should only be tasked with peacekeeping and the establishment of stability and security in fragile in-conflict and post-conflict settings. The humanitarian work should be left to humanitarian and aid agencies, while reconstruction and development should be left to organisations such as the New Partnership for Africa's Development, continental and international development organisations, and local actors.     

关于培养文化自觉和文化自信的几点思考

高度的文化自觉和文化自信,是推动文化繁荣发展的思想基础和先决条件。培养文化自觉和文化自信,必须建立在对坚持马克思主义指导地位、传承优秀传统文化、借鉴国外优秀文化成果等问题的正确认识基础之上。     

Optimal burn‐in procedure for periodically inspected systems

Burn‐in is a widely used method to improve the quality of products or systems after they have been produced. In this paper, we study burn‐in procedure for a system that is maintained under periodic inspection and perfect repair policy. Assuming that the underlying lifetime distribution of a system has an initially decreasing and/or eventually increasing failure rate function, we derive upper and lower bounds for the optimal burn‐in time, which maximizes the system availability. Furthermore, adopting an age replacement policy, we derive upper and lower bounds for the optimal age parameter of the replacement policy for each fixed burn‐in time and a uniform upper bound for the optimal burn‐in time given the age replacement policy. These results can be used to reduce the numerical work for determining both optimal burn‐in time and optimal replacement policy. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007