加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

建立新型消防勤务机制探索

随着经济社会的快速发展,消防部队的职能也正在由过去的单一灭火向多元化灭火救援发展,这就给消防勤务工作提出了研究的新课题,揭示了目前消防部队在勤务机制中遇到的警力严重不足、灭火救援骨干队伍薄弱、灭火救援训练效率不高、适应现代灭火救援作战的观念意识不强等突出问题,论证了消防勤务机制改革势在必行,并提出了应采取的四个方面的改革措施。     

布尔函数的Walsh谱绝对值分布及其性质研究

提出并研究了布尔函数的Walsh谱绝对值分布.指出布尔函数Walsh谱绝对值分布在仿射变换下的不变性,计算了n(n≤5)元布尔函数的Walsh谱绝对值分布,研究了Walsh谱绝对值分布与Walsh谱支撑和Walsh谱中非零取值个数以及其他一些密码学难题的联系,最后研究了布尔函数的Walsh谱绝对值分布的大小.     

信息系统体系结构设计中系统内聚度分析方法

系统的组成及其结构是体系结构中的一个核心元素,系统内聚度是评价信息系统体系结构的一个重要指标。以体系结构框架为基础,给出系统接口和系统功能的规范化描述。从功能和数据关系的角度,分别定义了系统功能内聚度和数据内聚度的计算方法,提出一种体系结构中系统内聚度的分析方法,并通过一个实例说明了方法的应用。该方法有助于规划系统和分配功能,提高体系结构设计质量。     

军队律师若干问题研究

军队律师,是专门为其所在部队、部队官兵及军属提供法律服务,保障依法治军的专业法律工作者,具有军人和律师的双重身份。建立和完善军队律师制度,不仅是完善我国律师制度体系的内在要求,也是依法治军,建设社会主义法治国家的必然要求。     

几类特殊多叶函数的极值点和支撑点

设S(p,α)、C(p,α)及K(p,α)分别表示α阶的p 叶星像、凸像和近于凸函数族。本文对这些函数族的支撑点和S(p,α)的从属函数族的极值点和支撑点进行了研究,推广了Grassmann 和Perera 等人的结果。     

On the median residual lifetime and its aging properties: A characterization theorem and applications

This paper is devoted to study several aspects of the median residual life function (MERLF). In reliability studies, it is well known that, although the MERLF have several advantages over the mean residual life function (MRLF), the MRLF has the good property of uniquely determine a life distribution whereas either the median residual life function (MERLF) or an α‐percentile residual life do not have such good property. We shall give a characterization result where knowledge of both the MERLF and the survival function on an interval does uniquely determine the distribution. Moreover, in order to apply this characterization in practical situations, we propose a method to estimate the necessary information of the survival function. Relationships between analytical properties of the survival function and its associated MERLF are also obtained. Bryson and Siddiqui [J Am Statist Assoc 64 (1969), 1472–1483] proved relationships among seven criteria for aging, out of which two contained the MRLF (decreasing MRLF and net decreasing MRLF). In this paper, we prove that the same pattern of relationships holds if the MRLF is replaced by the MERLF. We also examine the aging criteria corresponding to an increasing MERLF and show that there is no relation between the behavior (increasing or decreasing) of the MERLF and of the MRLF. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005     

简析政府职能转变之明确性原则——以消防法律文本为视域

政府职能转变是一项浩大、复杂的系统工程,不仅需要正确的方向,也更需要科学的方法.其中,明确性就是一个必须遵守的原则.审视政府消防管理职能50年的文本变迁,对政府职能转变与明确性原则关系进行了现实考察,进而分析明确性原则与政府职能转变关系进路.     

Police Corruption: Towards a Working Definition

According to the International Committee of the Red Cross (ICRC) publication Interpretive Guidance on the Notion of Direct Participation in Hostilities under International Humanitarian Law, all civilians (including child soldiers) lose their immunity from direct targeting ‘for so long as’ their actions amount to direct participation in hostilities. All civilians can, however, access the revolving door of protection and return to their civilian activities – complete with full immunity from direct targeting – provided the nature of their direct participation was spontaneous and disorganised. Once it can be ascertained that their participation in hostilities amounts to continuous combative functions, they relinquish their access to the revolving door of protection, and can be targeted at all times until they abandon their formal or functional membership of the belligerent group. This piece analyses how the revolving door phenomenon and the notion of continuous combative functions apply in instances where civilian child soldiers are directly participating in hostilities.     

关于Tu-Deng函数的一个注记

2009年,Tu和Deng在一个组合猜想成立的基础上,构造了同时具有最优代数免疫性、最优代数次数和高非线性度的一类偶数元布尔函数.这类函数被称为Tu-Deng函数.基于同一猜想,Tu和Deng又构造了同时具有次最优代数免疫性、最优代数次数和较高非线性度的一类偶数元的l -阶弹性函数.通过研究由Tu-Deng函数导出的两个布尔函数的级联的密码学性质,在Tu-Deng猜想成立的基础上,给出一类奇数元的1 -阶弹性布尔函数.这类函数同时具有次最优代数免疫性、最优代数次数和较高非线性度.