对2010版人才培养方案人文素质教育的几点思考

2010版人才培养方案设置《人文素质辅助培养方案》,培养学员的人文精神、创造性思维、艺术品位和审美情趣,提高学员的综合素质,促进学员全面发展,使学员具备与公安边防、消防、警卫工作要求相适应的人文精神。为此,必须摸清学员人文素质教育的现状,认清开展人文素质教育的意义,理清开展人文素质教育的思路。     

加强新疆高校学位点建设工作的思考

学位点建设是一项系统工程，学位点的多少和层次可以体现一所学校学科建设和师资队伍建设的水平。本文通过与西部重点高校学位点建设现状的比较，分析了新疆高校学位点建设中存在的问题，提出了加强学位点建设的措施。     

Optimization and mediated bartering models for ground delay programs

The Federal Aviation Administration (FAA) and the airline community within the United States have adopted a new paradigm for air traffic flow management, called Collaborative Decision Making (CDM). A principal goal of CDM is shared decision‐making responsibility between the FAA and airlines, so as to increase airline control over decisions that involve economic tradeoffs. So far, CDM has primarily led to enhancements in the implementation of Ground Delay Programs, by changing procedures for allocating slots to airlines and exchanging slots between airlines. In this paper, we discuss how these procedures may be formalized through appropriately defined optimization models. In addition, we describe how inter‐airline slot exchanges may be viewed as a bartering process, in which each “round” of bartering requires the solution of an optimization problem. We compare the resulting optimization problem with the current procedure for exchanging slots and discuss possibilities for increased decision‐making capabilities by the airlines. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2006     

巨型机通用数学库软件与并行算法

本文介绍了巨型机通用数学库软件的概念和意义,指出了巨型机数学软件开发的技术途径与发展趋势,讨论了并行算法在其中的关键性作用,结合实例分析了巨型机通用数学库软件研制中的并行算法设计与实现。     

Development programs for one‐shot systems using multiple‐state design reliability models

Design reliability at the beginning of a product development program is typically low, and development costs can account for a large proportion of total product cost. We consider how to conduct development programs (series of tests and redesigns) for one‐shot systems (which are destroyed at first use or during testing). In rough terms, our aim is to both achieve high final design reliability and spend as little of a fixed budget as possible on development. We employ multiple‐state reliability models. Dynamic programming is used to identify a best test‐and‐redesign strategy and is shown to be presently computationally feasible for at least 5‐state models. Our analysis is flexible enough to allow for the accelerated stress testing needed in the case of ultra‐high reliability requirements, where testing otherwise provides little information on design reliability change. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004     

优越的CCRP算法研究

CCRP是重要的空对地攻击方式,该文以向量三角形描述空对地瞄准,结合弹道回归多项式的三元Honer 处理,提出了一种高精度的CCRP 实时算法。     

符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

并行程序中同步瓶颈的检测和优化方法

针对并发程序中锁的不当使用可能导致性能瓶颈的问题,提出检测和优化并发程序中同步瓶颈的方法IdeSync。IdeSync使用静态分析方法获取同步方法和同步块,构建静态同步依赖图,采用基于执行路径的动态分析技术进行同步依赖关系分析,构建同步依赖图。为了暴露性能瓶颈,在同步依赖图上通过增加程序工作负载的方式,监测临界区的性能变化,并针对检测到的同步瓶颈给出优化建议。在实验中通过HSQLDB、SPECjbb2005和RxJava等12个大型实际应用程序对IdeSync的有效性进行验证,共检测到72个同步瓶颈,根据优化建议进行优化后程序性能均有所提升。实验表明,IdeSync能够有效地检测和优化同步瓶颈。     

Effects of Nuclear Technology Export Competition on Nuclear Nonproliferation

ABSTRACT

While nuclear suppliers compete in markets, they simultaneously partner in other fields. This produces a delicate relationship between civilian nuclear programs and nuclear weapon proliferation. This study explores how export competition affects suppliers’ conditions of supply related to nuclear nonproliferation. We investigated three export cases (India, North Korea, and South Korea) and identified four effects that competition has on the conditions of supply related to nonproliferation. First, under highly competitive conditions, suppliers might hesitate to enforce the conditions of supply to avoid negotiation conflicts with recipients. Second, suppliers focus on politically and economically attractive recipients while mostly ignoring unattractive ones, perhaps allowing proliferation problems to fester out of view in marginal states. Third, suppliers can build consensus on the conditions of supply to avoid being the only party experiencing negotiation conflicts. Fourth, suppliers can constrain others from relaxing the conditions of supply to maintain economic benefits and nonproliferation norms. The first two effects accelerate proliferation while the last two promote nonproliferation. Although the extent of these effects can vary with changes in nonproliferation norms, they can contribute to our understanding of the relationship between nonproliferation and civilian nuclear programs.     

Aligning national “logics” in a European military helicopter program

This article analyzes the public side of the NH90 network consisting of four participating countries (Germany, France, Italy, and the Netherlands) and their industrial partners. Comparable to observations in earlier international projects in the defense sector, the development and production of the NH90 defense helicopter did not match original plans and costs estimates. On the basis of four mechanisms that were intended to facilitate the cooperation between the partnering countries (the General Memorandum of Understanding; coalition formation; the role of the central agency; and the process of vertical escalation) the question is posed whether or not there was a true alignment of national interests and “logics.” The lack of standardization, as well as program delays and issues concerning the division of the work-share, lead to the emerging alignment being characterized as “quasi-alignment” at best.