动态灰色时序系统 DGTS 及其在安全策略规范中的应用

设计安全策略模型时应考虑安全策略的时序特性和灰色特性,还应综合考虑保密性、完整性和可用性三方面的需求。已有的安全模型没有描述时序性和灰色特性,而且一般只侧重描述保密性或完整性。为此,本文提出了动态灰色时序系统（简称ＤＧＴＳ）。本文详细描述了ＤＧＴＳ,以及基于ＤＧＴＳ的动态语义设计的灰色时序安全策略规范语言ＧＴＳＬ。     

THE CREEP-DAMAGE MODELING CORRELATED TO TEMPERATURE FOR COMPOSITE SOLID PROPELLANT

ＴＨＥＣＲＥＥＰ－ＤＡＭＡＧＥＭＯＤＥＬＩＮＧＣＯＲＲＥＬＡＴＥＤＴＯＴＥＭＰＥＲＡＴＵＲＥＦＯＲＣＯＭＰＯＳＩＴＥＳＯＬＩＤＰＲＯＰＥＬＬＡＮＴＳｈｅｎＨｕａｉｒｏｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＡｅｒｏｓｐａｃｅＴｅｃｈｎｏｌｏｇｙ,１０８Ｌａｂｏ...     

AN UNIFIED METHOD AND THEORY FOR GRAMMAR DESIGN OF A CLASS OF CONTEXT-SENSITIVE LANGUAGES

ＡＮＵＮＩＦＩＥＤＭＥＴＨＯＤＡＮＤＴＨＥＯＲＹＦＯＲＧＲＡＭＭＡＲＤＥＳＩＧＮ　ＯＦＡＣＬＡＳＳＯＦＣＯＮＴＥＸＴ－ＳＥＮＳＩＴＩＶＥＬＡＮＧＵＡＧＥＳＬｉＺｈｏｕｊｕｎ;ＣｈｅｎＨｕｏｗａｎｇ;ＬｉＫａｎ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒ...     

(G2-continuous) SHAPE PRESERVING CUBIC INTERPOLATION SPLINE CURVE

（Ｇ~２－ｃｏｎｔｉｎｕｏｕｓ）ＳＨＡＰＥＰＲＥＳＥＲＶＩＮＧＣＵＢＩＣＩＮＴＥＲＰＯＬＡＴＩＯＮＳＰＬＩＮＥ　ＣＵＲＶＥＦａｎｇＫｕｉ（ＤｅｐａｒｔｍｅｎｔｏｆＳｙｓｔｅｍＥｎｇｉｎｅｅｒｉｎｇａｎｄＭａｔｈｅｍａｔｉｃｓ,ＮＵＤＴ,Ｃｈａｎｇｓｈ?..     

一个基于面向对象模型的并行系统

为了开发分布式系统中的计算资源,我们设计了一个基于面向对象大粒度数据流模型的并行Ｃ＋＋系统ＯＯＣＰＣＳ．该系统的底层计算模型是面向对象范式和数据流模型的结合体。它将状态对象引入到数据流模型中,并且支持面向对象的特性。本文讨论了此模型在ＯＯＣＰＣＳ系统中的实现;并行化编译器;ＰＯＣ程序设计语言;面向对象网络文件Ｉ／Ｏ和虚拟ＯＯＬＧＤＦＭ机     

跨声速母弹空腔流的数值模拟

将ＳＬＩＰ格式和ＬＵ－ＳＳＯＲ隐式迭代方法结合，数值模拟了尖头母弹在开舱前后的跨声速定常流场。采用修正的Ｂ－Ｌ湍流模型，用轴对称Ｎ－Ｓ方程求解零攻角时母弹在Ｍａｃｈ数０．９４～０．９８ 的临界气动特性和空腔流特性。开舱前母弹计算结果与实验以及Ｓａｈｕ 的结果能够很好吻合， 开舱后空腔流的计算结果也给出了合理的理论分析。     

一种改进的最大选择逻辑恒虚警检测算法

在已有的恒虚警处理算法中,由于单元平均（ＣＡ）和有序统计（ＯＳ）法都是剔除平均（ＴＭ）法的特例,因此可以考虑用ＴＭ法代替一些参量ＣＦＡＲ算法中所采用的ＣＡ或ＯＳ法,以期获得更优的检测或控制虚警的性能。基于这种思想提出ＴＭＣＡＧＯ检测器,并在ＳｗｅｒｌｉｎｇⅡ型目标假设下推导Ｐｆａ、Ｐｄ和ＡＤＴ的解析表示式。通过对其在均匀背景和强干扰目标环境下性能的分析,以及与ＯＳＣＡＧＯ、ＧＯＳＧＯ和ＯＳ等检测器性能的比较,发现ＴＭＣＡＧＯ在上述环境中的性能较这几种检测器均获得了明显的改善。     

专家系统在电信网络管理中的应用

ＴＯＰＡＳ－ＥＳ是干线操作、保障、管理系统－专家系统的缩写。本文描述ＴＯＰＡＳ－ＥＳ的结构,软件子系统、推理子系统、;图象显示以及利用专家系统对网络进行监视、分析、诊断和维护。文章还介绍了其它的网管专家系统。     

FKMS 不精确知识库推理维护系统的设计与实现

简述在ＳＵＮ工作站上用ＰＲＯＬＯＧ语言所实现的ＦＫＭＳ不精确知识库推理维护系统的理论基础和有关的实现技术,并对ＦＫＭＳ系统给出评价。     

高层体系结构(HLA)的开发与构建

从ＤＩＳ的局限性及不足出发,简要说明了构建和开发ＨＬＡ的可行性和必要性;重点论述了ＨＬＡ的结构、规则、接口规范、对象模型模板（ＯＭＴ）及ＳＯＭ 和ＦＯＭ 的构建步骤     

数据库系统安全模型的设计

本文首先分析了有关数据库安全所需要解决的几个问题,并基于 discretion 和mandatory 存取策略,以及完整性和数据库加密策略,提出了一个较完整的数据库系统的安全模型。     

基于灰色关联和D-S证据理论的导弹系统安全性评估

针对导弹系统安全性评价的不确定性问题,提出了将灰色关联和D-S证据理论相结合的方法,从人员安全性、设备安全性和环境安全性建立了综合评估指标体系,用灰色关联分析处理了指标之间的关联性。在传统证据合成公式的基础上,考虑证据集非关键因素的权重,给出了修正的证据合成公式。并以打靶选弹为例进行了计算分析,得出了导弹安全性优先级排序,并将改进算法与传统计算方法的结果进行了比较,验证了评价模型的可行性与实用性,为导弹系统的管理工作提供了有益的参考。     

Explaining the security paradigm shift: strategic culture,epistemic communities,and Israel’s changing national security policy

The paper’s main argument is that Israel’s security policy, which traditionally focused on defending its territorial integrity against regular Arab armed forces, was, by the 2010s, transformed into one that focuses on facing a variety of state- and non-state-based threats. Neo-realist explanations could neither account for the contested nature of the security debate during this period, nor the inconsistent evolution of the policy. The present study aims to solve this conundrum by introducing an alternative approach known as 4th generation strategic culture research. The paper is comprised of four parts. First, the origins and evolution of strategic culture are reviewed, with emphasis placed on the commonly accepted weaknesses that, to date, have prevented it from being used as a testable theoretical concept, and subsequently as an explanatory factor for security policy changes. The second part presents the “modernist constructivism” approach that bridges the gap between traditional constructivism and hypothesis-driven research design. Next, the paper introduces the emerging fourth generation in strategic culture literature, followed by a conceptual framework designed to resolve the inherent weaknesses of the more traditional approaches. Finally, this conceptual framework is applied to analyse the transformation of Israel’s security policy between 1982 and 2014.     

灰色可靠性设计模型及其在机械工程应用

将灰色系统推广到概率统计理论 ,阐述了灰色概率公理化体系 ,研究了灰色概率密度函数与灰色可靠度计算方法 ,建立了应力—强度干涉灰色可靠度计算模型及其白化求解方法 ,编制了matlab5 3语言程序。给出了工程应用实例 ,并对结果与常规可靠性设计进行了对比分析 ,显示了本模型的正确性与可行性。它可用于设计参数变动对可靠度的灵敏度分析及其稳健性可靠性设计 ,有效地控制设计参数     

军用安全模型扩展及其应用

在分析基于格理论的信息流控制军用安全模型在实际应用中存在的不足的基础上,从安全类定义和信息流控制策略两个方面对原模型进行了理论扩展和安全性分析.扩展模型安全类在作为对象和主体时具有相同的表达方式,以及在保持原模型信息流关系情况下,允许同职权等级用户交流他们共知的信息,以及高职权等级用户访问低职权等级用户他们之间共知的信息.以数字文档安全管理系统为例对扩展模型应用进行了描述.实例表明扩展模型更适合实际系统对信息流控制的要求.     

信息管理误失灰色补偿方法

在信息采集、信息管理、信息传递过程中,数据链出现空穴、误传或丢失等情况时,将影响信息采集传递的安全性与信息管理的有效性,是信息管理与使用中一个值得关注的问题,如何对数据列进行有效补偿则是解决该问题的关键.运用灰色理论与正交试验设计方法建立了信息链缺失补偿模型并给出了信息链空穴补偿优化准则.所给出的具体的补偿实例说明信息链空穴灰色生成与正交试验设计生成是一种极为有效的信息缺失补偿方法.     

基于灰色关联分析的反导导弹战斗部作战效能评估

针对反导导弹战斗部的性能特点,以灰色关联理论为基础,采用灰色加权关联度分析进行综合评判,建立了反导导弹战斗部作战效能评估模型．最后通过算例,验证了该模型的完整性,最终为决策者做出合理的作战决策提供了理论参考．     

基于非齐次线性方程组的认证协议的研究

认证技术是信息安全理论与技术的一个重要方面.认证技术主要包括用户认证和信息认证2个方面.前者用于鉴别用户身份,后者用于保证信息的真实来源.本文基于线性代数的方程组的解的理论建立了一种身份认证协议和一种消息认证协议.通过安全性分析结果表明这个新的身份认证协议能够保证用户身份的正确认证,新的信息认证协议能够保证数据的机密性、完整性,同时能够防止重传攻击认证信息来源.     

The Wilson government and the demise of TSR‐2, October 1964 – April 1965

Domestic factors play an important role in the formulation and evolution of a country's foreign and security policy. This is clearly seen in the case study of a Soviet successor state, Ukraine. The article brings together in seven sections theory with the key domestic factors that influence Ukrainian security policy, such as economics, energy, national identity, elites and political parties. The article provides an insight into how these domestic factors influence the course of Ukrainian security policy which is striking a balance between the twin extremes of Soviet re‐integration, which would be tantamount to the loss of independence, and nationalist maximalism which seeks to place as much distance as possible between Ukraine and Russia.