嵌入式浏览器中SSL的设计与实现

针对嵌入式浏览器信息传输的安全性问题和嵌入式软件的特点,介绍了SSL协议,提出了一种在嵌入式浏览器中实现对SSL协议支持的方法.通过分析影响SSL协议客户端性能的因素,对SSL的实现过程进行了适当的优化,使用会话恢复机制、只对服务器进行验证的简单握手模式、减少TCP调用次数和优化对批量数据加密算法等方法,实现了嵌入式浏览器对SSL协议的支持;并介绍了方法在嵌入式浏览器JARI_Browser中的实现过程.实际的应用验证了该方法的可行性和正确性.     

军事物流单证的信息服务研究

物流单证是物流系统之间数据交换的载体,是实现物流业务流程无缝衔接的条件。文章介绍了物流单证结构,研究了军事物流单证的信息交换过程,建立了军事物流单证的信息交换架构,探讨了军事物流单证信息查询和业务状态信息跟踪服务。     

地方高校图书馆主动服务对军校图书馆的启示——对全国15所重点高校图书馆网站的调查与分析

从图书馆主动服务的理念入手,探讨利用网络开展主动服务的可能性,并结合对全国15所重点高校图书馆网站和实践开展的多种主动服务方式进行调查统计,分析总结其特点,由此得出对军校图书馆开展主动服务的启示。     

Formulations for dynamic lot sizing with service levels

In this article, we study deterministic dynamic lot‐sizing problems with a service‐level constraint on the total number of periods in which backlogs can occur over a finite planning horizon. We give a natural mixed integer programming formulation for the single item problem (LS‐SL‐I) and study the structure of its solution. We show that an optimal solution to this problem can be found in \begin{align*}\mathcal O(n^2\kappa)\end{align*} time, where n is the planning horizon and \begin{align*}\kappa=\mathcal O(n)\end{align*} is the maximum number of periods in which demand can be backlogged. Using the proposed shortest path algorithms, we develop alternative tight extended formulations for LS‐SL‐I and one of its relaxations, which we refer to as uncapacitated lot sizing with setups for stocks and backlogs. {We show that this relaxation also appears as a substructure in a lot‐sizing problem which limits the total amount of a period's demand met from a later period, across all periods.} We report computational results that compare the natural and extended formulations on multi‐item service‐level constrained instances. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

基于锁相环的GNSS授时接收机钟差校准算法

GNSS(全球卫星导航系统)授时接收机利用卫星导航信号获取钟差并校准本地时钟,从而与GNSS系统时间同步。提出了全新的基于锁相环的GNSS授时接收机钟差校准算法,将钟差校准过程等效为传统的锁相环模型,鉴相器的功能由PVT(位置、速度与时间)解算实现,压控振荡器的功能由本地时间调整接口实现,环路将本地秒相位与GNSS系统的秒相位锁定。分析了环路总误差的组成,以及环路参数与各误差项的关系,给出了误差最小的环路优化设计准则。在北斗二号卫星导航接收机平台上进行了对比实验,验证了算法的有效性。     

中学作文教学中应注重培养学生的真实体验

针对中学生作文中缺少真情实感,教师在作文教学中应承担改变中学生作文缺少真情实感的责任。教师应引导学生作文写作找回"真实体验",转变角色改革作文教学方法,启迪学生善于思考提升作文的"真实体验"。     

SDI,NATO, and the Social Composition Function

The strategic defense initiative (SDI) intends to renew the leadership of the USA on the western alliance. The initiative takes place in a period when a summation technology prevails for the aggregation of contributions of NATO allies. We investigate if SDI induces a shift in Hirshleifer’s social composition function. Panel data tests over the period 1970–1990 do not confirm any break toward a best-shot aggregator. SDI does not alter the core of deterrence. It is indeed a public good at the US level but not at the NATO level, where, it is one of the joint products of the alliance. We also investigate the lessons to be drawn for the current debates on ballistic defense.     

基于可组合服务的陆军作战仿真模型集成＊

陆军仿真模型体系的复杂性决定了其建模与集成的复杂度,基于模型组件化技术,设计了模型组件库、对象库,通过逻辑组合实现了基本库和作战单元库,并以可组合的模型服务实现不同分辨率、异构模型的聚合集成目标,使得陆军作战仿真模型具备模块化、可复用、可扩展和可控制等应用特点和技战术性能。     

通用装备机动抢修单元作业效能评估研究

界定了通用装备机动抢修单元（人-装备-机工具-器材结合体）的内涵和外延,构建了通用装备机动抢修单元作业过程模型．通过EXTEND仿真平台定量评估了面向典型任务条件下通用装备（以车辆装备为例）机动抢修单元的作业效能。最后对仿真评估结果进行分析,提出了改进对策和建议。     

关闭部分导航信号阻止区域授时对全球定位授时性能的影响分析

在导航战中,在区域范围内阻止对手使用授时服务可通过关闭战区目标点的所有可见卫星信号来实现.以关闭部分导航信号阻止区域授时服务为例,描述了阻止区域授时服务的导航信号关闭仿真流程,提出了定位授时性能评估方法,并就关f闭部分导航信号阻止区域授时服务对全球定位服务和授时服务产生的影响进行了分析讨论.仿真结果表明,关闭部分导航信...