利用 Nernst 效应的高 Tc 超导红外探测器分析

高T_c超导膜中Nernst效应的存在为研制辐射探测器开辟了新的途径。本文分析了以Nernst效应为基础的高T_c超导红外探测器的工作原理及有关的噪声源。     

对信息流控制机制的一点注记——关于可变级机制语义的探讨

本文讨论对可变安全性级的基于执行的信息流控制机制的语义修改     

引信在膛内的加速度响应分析

研究引信在膛内的受力情况,经典的分析方法是将弹丸和引信看成一个刚体,但随着对膛内问题的深入研究,发现这种方法和实测值出入很大.为更好地计算膛内引信的受力,本文在实测的基础上建立了弹丸引信系统在膛内冲击振动的力学模型,提出利用振动理论计算引信零件膛内加速度响应的方法,并对两种不同类型的弹丸引信系统进行计算比较,计算结果和实测值很接近,并发现此方法在簿壁弹上应用优越性更为突出.     

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

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

战役优势参数及其应用研究

数学分析方法在军事行动计划中扮演着越来越显著的角色。对以兰彻斯特作战模型为基础的描述诸兵种合成作战的矩阵微分方程，以及由方程的控制矩阵和状态变量初值，在不解方程的情况下导出的战役优势参数进行了研究；以空战为例讨论了预测战役结局、辅助军事决策、优化兵力部署和规划火力分配等战役优势参数的主要应用；给出了对战役优势参数和数学模型的评价。     

基于SWOT分析的我国海上方向空中安全形势及对策措施

海上方向是强敌对我实施战略围堵和遏制的主要方向。随着美国国防战略重回大国竞争,其遏制中国的手段推陈出新,尤其是在海空方向对我施压强度频度与日俱增。文章运用SWOT方法对我国海上方向空中安全形势进行了全面分析,认为优势体现在联合作战指挥体制、国防动员能力、列装新型防空武器等方面,劣势体现在战场建设滞后、预警探测拦截打击能力不足等方面,机遇体现在中美共识与相对稳定的周边环境,威胁体现在强敌对我的侦察威慑、空天打击、海空封锁。通过构建我国海上方向空中安全的SWOT分析矩阵,提出要进一步深化改革,加强军队与地方、平时与战时、作战力量和作战环节的“三个统筹”,发展新型防空、预警装备,以及加强沿海防空战场建设等。     

Collective security and strategic instability in the digital domain

Cyberspace experiences worrying trends that could have a negative impact on the international strategic landscape. The lack or erosion of norms and risky practices and behaviors could lead to greater uncertainty and thus greater instability. Set against a context of renewed competition between great powers, these developments are also tied to the strategic structure of cyberspace. This forum is devoted to discussing factors leading to stability or and instability.     

The Somali National Army: an assessment

To engage properly with the Somali National Army, to understand it in the hope of improving stability and the lives of over 12 million Somalis, good basic information on its composition and characteristics is necessary. Authoritative accounts on the subject have been scarce for over 25 years. This account seeks to detail the army’s dispositions across southern Somalia, and, more importantly, the brigades’ clan compositions and linkages. Clan ties supersede loyalties to the central government. The army as it stands is a collection of former militias which suffer from ill-discipline and commit crime along with greater atrocities. Estimates of numbers are unreliable, but there might be 13,000 or more fighters in six brigades in the Mogadishu area and five beyond.     

Analysis of some critical aspects in hot machining of Ti-5553 superalloy: Experimental and FE analysis

In this study, a newly developed titanium superalloy, i.e., the Ti-5553 alloy has used for hot machining. This material replaced Ti-grade-5 alloy in the application of aerospace, automobile, and biomedical sector. However, similar to Ti-grade-5 alloy, the Ti-5553 alloy has a low thermal conductivity which makes it difficult-to-cut material categories hence, high tool wear, cutting force and bad surface finish. Hot machining of Ti-5553 has been studied at different machining condition (room and hot) using Deform-2D finite element analysis. The result from the simulation test was compared with the experimental value and reduction of cutting and thrust forces was observed. The experiment was carried out with the same input parameters as simulation, and good coherence between them observed. Additionally, cutting zone temperature, effective stress, etc. for both room and elevated the temperature are also discussed.     

基于LBDL逻辑的抗DPA攻击电路设计方法

动态差分逻辑是一种典型的电路级差分功耗攻击(DPA)防护技术.这种技术通过使逻辑门保持恒定的翻转率来降低电路功耗与数据信号之间的相关性.介绍了一种新型的、基于查找表(Look-Up-Table,LUT)结构的动态差分逻辑(LBDL),以及基于这种逻辑的集成电路设计方法.该设计方法仅需在传统的半定制设计流程中添加少量的替换操作就可以实现 ,因而比其他完全需要全定制设计的动态差分逻辑具有更好的实用性.而相对同样适用于半定制实现的动态差分逻辑 WDDL(Wave Dynamic Differential Logic),LBDL逻辑解决了逻辑门翻转时刻与数据信号之间的相关性,从而比WDDL逻辑具有更好的功耗恒定性.实验结果表明,该设计方法能够有效实现具有抗DPA攻击性能的电路.