在Robinson-Luxemberg框架下的近初等过程论

在Robinson-Luxemberg框架下重建了由Nelson所创立的近初等过程论,更为有意义的是,我们由近初等过程可找回原来的标准过程,为在此框架下运用近初等过程论做随机分析打下了基础。     

连续时间参数滤波问题的非标准方法

本文应用非标准分析中的Ｎｅｌｓｏｎ近初等过程方法,得到了与标准的连续时间参数滤波问题等价的近初等过程的滤波公式,并由此得到了标准的连续时间参数情形地滤波公式．     

新名词

ＢＴＯＣ 、ＣＴＯＣ、ＣＴＯＢ、ＢＴＯＢ 在电子商务中,有两方面不同角色,他们被称为“Ｂｕｓｉｎｅｓｓ”和“Ｃｏｎｓｕｍｅｒ”,“Ｂ”就是我们通常所说的商家,而“Ｃ”就是消费者。在网络上有各方面的角色,这两个方面组成了多种企业上面角色的关系,有“Ｂｕｓｉｎｅｓｓ”到“Ｃｏｎｓｕｍｅｒ”（Ｂ ＴＯ Ｃ）,也就是说商家到消费者,也有“Ｃｏｎｓｕｍｅｒ”到“Ｃｏｎｓｕｍｅｒ”（Ｃ Ｔｏ Ｃ）,消费者到消费者;还有消费者到商家,就是“Ｃｏｎｓｕｍｅｒ”到“Ｂｕｓｉｎｅｓｓ”（ＣＴＯＢ）;还有“Ｂｕｓｉｎｅｓｓ…     

含收益带费用的校对问题的最优停止

在假定每次校对费用可能不一样且带来一定收益的条件下,讨论了校对问题的最优停止,给出了Ｐｏｉｓｓｏｎ模型与二项模型的最优停时。     

连续情形的窃贼问题

讨论了连续时间上的窃贼问题。Ｊｔ是［０,ｔ］上窃贼作案的次数,｛Ｊｔ｝ｔ≥０是Ｐｏｉｓ－ｓｏｎ过程;收获过程与风险过程都是独立同分布的时间序列。利用弱无穷小算子,我们找出了最优停时规则。     

新型K,Ka波段Wilkinson功分器

本文介绍了一种频段位于Ｘ波段以上的、新型Ｗｉｌｋｉｎｓｏｎ功分器的结构,它解决了传统Ｗｉｌｋｉｎｓｏｎ功分器中出现的一些问题。新结构使得不同功分比的功分器切实可行,并且频率高达Ｋａ频段的此类功分器也能精确设计出来。     

Poisson方程生成数值网格方法中的源项计算法

网格生成是数值研究方法得以实现的基础。本文采用了Ｐｏｉｓｓｏｎ方程生成数值网格，并针对方程源项的选择问题，对两种形式的源项作了比较研究。     

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

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

采用地面导弹发射装置首次发射反导弹导弹Aster 30

采用地面导弹发射装置首次发射反导弹导弹Ａｓｔｅｒ３０陈德沅译从Ａｌｅｎｉａ公司研制成功导弹发射装置并用其首次试验了法国空间公司面对空导弹的发动机以来,且当Ｔｈｏｍｓｏｎ公司的Ａｒａｋｅｌ发射引导装置在ＳＥＳＤＡ开始它的试验时,批准了进行这次垂直发射试...     

《二野劲旅--十二军史话》评介

由李德生担任总顾问并作序、张震题写书名的《二野劲旅——十二军史话》,已由军事科学出版社出版。这部史话,集军史与文学于一体,是一部纪实性军事文学作品。这部长篇著述,是在南京军区原副司令员、第12军原军长郭锡章为主任的编委会运筹下,经过众多参与者近5年的辛勤劳动完成的。在编写过程中,进行了持续一年半之久、涉越半个中国的调查采访,先后访问了亲历者600余人,收集和整理资料近千万字,为成书奠定了史实基础。史话主题鲜明,内容丰富,史料翔实,结构严谨,论见独到,文字生动,情节感人,正如李德生在序中所言“是一部值得一读的好书”。全…     

声对接阵阵元参数控制

提出对声对接阵阵元参数进行控制,以达到提高声对接阵系统精度的目的,并对由于阵元参数改变而引起对接基阵各个阵元之间的交叉耦合的影响以及阵元的近场声压进行了理论分析和计算机仿真计算,结果证明该方法是有效的.     

基础教育与屯垦戍边新型团场建设

屯垦戍边新型团场建设是党中央关于建设社会主义新农村重大决策在兵团的具体实施。基础教育是建设屯垦戍边新型团场的奠基工程和文化基础。发挥基础教育在新型团场建设中的基础作用和服务作用,既关系到新型团场建设的速度和质量,也关系到基础教育发展的环境和水平。     

Framing Protest and Insurgency: Boko Haram and MASSOB in Nigeria

Why do some protest movements erupt into rebellion, whereas others protest peacefully under similar circumstances? Addressing this question, this paper investigates the cases of Boko Haram (rebellion) and MASSOB (non-violent protest) in contemporary Nigeria. Conventional explanations of rebellion focusing on opportunity, inequality, and repression cannot explain why these movements have pursued different protest strategies. This paper tries to explain this puzzle by investigating the signifying work and meaning construction of both movements drawing on the framing approach from social movement studies. The framing analysis shows that the different protest behavior largely results from the differing cultural context of both movements, from the agency of the framers, and from successful frame alignment, which results in frame resonance and, thereby, the successful mobilization for collective action.     

舰炮武器系统对大目标跟踪精度评估修正方法

随着技术的发展,舰炮武器系统的精度水平越来越高.在真实目标环境下一些影响系统精度评估的因素必须加以考虑,将具有相当外形尺度的目标作为点目标考虑势必带来系统精度评估的误差.针对大尺度目标,在目标坐标系下建立了目标外形尺度模型.利用目标坐标系和瞄准线坐标系之间的坐标变换,得到目标外形尺度在瞄准线法面上的描述,据此提出了一种大目标瞄准精度评估修正的计算方法.     

用数字散斑干涉法测量动态面内位移场

利用数字散斑干涉法,研究了半无限平面模型在受冲击载荷下的面内位移场的测试技术。采用瞬态图像采集系统,将模型受冲击前后的电子散班图像直接存储在图像采集系统中,通过数字处理实现数字散斑干涉,测得了模型的面内位移。数值计算结果与实验两者能很好地吻合。     

面向突防效能的超声速巡航导弹总体设计技术初步研究

防御系统技术的不断发展,对超声速巡航导弹设计提出了新的需求.针对以“性能”为核心的设计不能满足超声速巡航导弹设计新需求的问题,初步探讨了面向突防效能的超声速巡航导弹总体设计技术.分析了国内外导弹武器设计技术的发展,指出设计技术向着以“效能为核心”的设计方向发展;提出了面向效能的设计理念,分析指出面向效能的设计是以追求满意设计为目标的优化设计;在新的设计理念指导下提出了面向突防效能设计的技术框架,主要说明了面向突防效能的超声速巡航导弹设计框架、效能基础、技术基础、基本模式以及几项关键技术等.     

电视制导小灵巧炸弹三维导引律

小灵巧炸弹是一种采用倾斜转弯(BTT)控制方式的小型面对称电视制导航空弹药,在实际飞行中必须确保其导引头框架角不超出可用范围。针对上述问题,根据时变偏置比例导引的思想,在三维空间中设计视线角速率偏置项,通过姿态角时变修正实现框架角约束,提出了一种带导引头框架角约束的三维纯比例导引律。仿真结果表明该方法在保证小灵巧炸弹战技指标要求的同时有效减少了框架角需求。     

Good Guest,Bad Guest: The Micro-Geographies of Violence in Urban Kenya

This article analyses the 2007–08 postelection violence in Kenya arguing that there were significant socio-spatial variations to the conflict in urban areas that can be better understood through an analysis of localised framing processes. It argues that, in some urban neighbourhoods, an underlying frame of autochthony is (re)produced through lived experience, facilitating the casting of ethnic others as either good or bad guests in times of political transition. The flawed elections of 2007 justified the violent eviction of ‘bad’ guests in these settings. This frame of autochthony, however, is absent in other urban neighbourhoods, and so these spaces remained relatively calm for the duration of the crisis. The article further argues that the flexibility of the good guest/bad guest frame enabled its reconfiguration at the local level, leading to variations in the fault lines of conflict across both time and space. It concludes that frame analysis can help to elucidate these micro-geographies of conflict.     

A survey of performance issues in defence innovation

This article reviews innovation processes in defence. It analyses the way and the context under which these processes are carried out. The article covers the features of defence goods with impact on innovation, the development of a new good, the institutional arrangements that support these processes and the effect of innovation on industrial market. The analysis helps to identify the causes of facts observed in practice, such as poor performance in terms of product quality, cost or delivery time, as well as to assess potential remedies. Some policy implications, which can be derived from this analysis, are finally outlined.     

利用整帧翻转的SRAM型FPGA故障注入加速算法

不可恢复异常比特位(unrecoverable-sensitive bits, UR-SB)不能通过定时刷新修复,会造成卫星载荷在轨服务的长时间中断,是地面故障注入试验需要着重评估和改善的。但UR-SB占比极低,若采用传统逐位翻转故障注入方法,其测试耗时太长,效率极低。提出了一种基于整帧翻转的静态随机存取存储器型现场可编程门阵列的故障注入加速算法,其通过整帧翻转能够快速筛除不存在UR-SB的配置帧,并进一步用二分法对存在UR-SB的配置帧进行快速搜索,有效加速了UR-SB的精确定位过程。以在轨常用XQR2V3000器件为例,理论分析在较差情况下测试效率可提升207倍,信号生成载荷实测结果最高可提升949倍,理论分析和实测结果均验证了所提加速算法的有效性。