生物燃料与能源安全

如今,全球石油市场面临的压力不断攀升。要实现能源安全,各国都必须减少对外国进口石油的依赖。为此,生物燃料的研发和应用正愈加受到各能耗大国的重视。美国也正大力发展生物燃料产业,但是,将有限的资源投入到生物燃料产业之中,并以十倍于石油燃料的价格对其进行采购,这种做法是否真的合适?针对此种现状,美国海军舰队司令部公共事务部副主任约翰·盖伊提出了他自己的看法。     

基于马氏过程的电子对抗装备伺服驱动器可用度分析

针对电子对抗装备天线伺服系统驱动器可用度评估问题,考虑其具有优先使用权冷贮备冗余设计的特点,运用马尔可夫过程分析的方法,研究修理工人数不同情况下伺服驱动器稳态可用度和瞬时可用度,建立相应的数学模型,最后进行实例验证,绘出不同维修策略下系统瞬时可用度随时间变化的曲线.     

我可以和正在服刑的丈夫离婚吗?

正王女士:我和丈夫两年前结婚。去年8月,因为参与拦路抢劫,我丈夫被判处有期徒刑4年。他现在正在服刑,我想和他离婚,是否可以?新疆瑞诚律师事务所律师江华:服刑人员虽然被限制了人身自由,但还享有其他权利。王女士可采取协议离婚或者起诉离婚两种方式办理离婚手续。如果采取协议离婚的方式离婚,王女士可利用探     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

新型可重构RF—MEMS天线的设计

设计了一种新型的可重构双C型RF-MEMS贴片天线,它由T型桥膜结构的电容式MEMS开关实时地控制天线结构,使之能够发生双频谐振.采用背腔结构的硅基底,使硅衬底的相对有效介电常数从9.18下降到1.51,这有利于减小表面波的损耗,通过优化设计有效地实现了天线的小型化.理论计算得到在开关断开和连通状态下,天线的谐振频率分别为11.14 GHz和5.56 GHz.将理论结果与HFSS软件仿真的结果进行比较,发现它们吻合得比较好,说明了可重构天线的设计具有可行性.     

舰艇编队防空火力射击冲突问题研究

从建立编队内统一的坐标系入手,利用编队中武器的位置、战术参数和来袭目标的信息,采用系统建模仿真的思想,建立火力射界冲突分析模型。借助于这个模型,通过解命中计算等方法,计算编队中武器的可抗击航路以及连续射界,进而得出其可抗击射界,与武器固有安全射界叠加,确定编队中可以参与抗击来袭目标的武器,并为进一步地探讨编队火力兼容问题,进行火力兼容控制奠定基础。     

卫星导航系统仿真效能模糊评估的新算法*

根据系统效能模糊评价矩阵,在计算系统效能隶属度时要经过一系列的隶属度转换;但是,已有的隶属度转换算法都不能揭示"指标隶属度中哪部分对目标分类有用,哪部分无用";结果是指标隶属度中原本对目标分类不起作用的冗余数值也被用于计算目标隶属度.为此,从对目标分类角度设计一种滤波器,能识别指标隶属度中对目标分类不起作用的冗余数值,提取对目标分类起作用的有效值计算目标隶属度,由此建立实现隶属度转换的一般算法,并用于卫星导航系统效能评估.     

POMDP在战场决策评估中的应用和仿真

通过将贝叶斯统计方法和POMDP(部分可观测马氏决策过程)方法相结合,采用计算机模拟的方式,预测在给定条件下可能产生的各种作战决策的质量.为解决不确定条件下对决策质量的定量评估提供了一种比较可行的方法.     

DDBMS中的并发控制理论

本文叙述了并发控制的数学理论,以此达到两个目的:一是以精确的术语定义并发控制方法的正确性;二是把并发控制问题分解成两个更容易处理的子问题:读一写同步和写一写同步。为后继论文对分布式并发控制的分析和设计打下基础。     

中温石墨流态床热处理炉的加热装置与电极设计

本文以笔者早年设计的小型石墨流态床热处理炉(LTR)和随后研制大功率炉的经验,讨论加热装置的最佳方案和电极设计的有关问题,通过理论分析和试验,给出950℃以下的温度-电阻曲线和屏蔽电极区间的电压-幂次和电阻-幂次曲线。