线性代数中一个向量等式的新应用

本文利用向量等式：对线性代数中的两个重要结论作出新的证明。本文给出的证明，不但方法上具有新意，而且其解决过程也会使我们对问题本身有新的认识和理解。     

柔软物体力触觉形变模型验证系统

为了验证柔性物体力-形变模型的合理性,构建了基于CC2531芯片的无线数据收发平台、力传感器测量平台和FALCON手控器位移测量平台的力-形变模型验证系统。以新鲜猪肝脏为实验对象,研究了弹性形变实验和穿刺实验的作用力与位移之间的关系;以力-形变测量数据为基础,进行了参数验证校调。仿真实验结果表明:模型中力-形变特性与实际测量值保持一致。该系统能广泛应用于柔性物体力-形变模型验证,对于促进力触觉虚拟医学仿真系统的发展具有重要意义。     

船舶静态电场跟踪的渐进更新扩展卡尔曼滤波器

为了实现利用船舶静态电场对船舶进行跟踪的目的,针对传统卡尔曼滤波算法中存在的问题,设计一种新的非线性滤波器。建立船舶的状态空间模型,分析传统卡尔曼滤波算法在船舶跟踪中存在的问题;依据渐进贝叶斯思想,利用连续白噪声与离散白噪声序列噪声协方差之间的关系,设计一种新的渐进更新扩展卡尔曼滤波器。仿真结果表明,该滤波器能有效地抑制由于初始误差较大而造成的滤波性能下降和滤波发散,能够有效地跟踪船舶,具有较高的实用价值。     

概念层次网络中对偶性设计

首先对概念层次网络（ＨＮＣ）理论作简要说明，然后根据ＨＮＣ中层符号个性化设计理论给出对偶性设计方案，和偶性的具体表现，并给出对偶性概念具体表现的注解。     

Cell structure of microcellular combustible object foamed by supercritical carbon dioxide

In order to solve the issue that the combustible objects for cased telescoped ammunition (CTA) didn't burn completely during the combustion process, the microcellular combustible objects were foamed with numerous cells in the micron order to improve the combustion performance by the supercritical carbon dioxide (SCCO₂) foaming technology. As the cell structure determined the combustion properties of microcellular combustible objects, the solubility of SCCO₂ dissolved into the combustible objects was obtained from the gravimetric method, and scanning electron microscope (SEM) was applied to characterize the cell structure under various process conditions of solubility, foaming temperature and foaming time. SEM images indicate that the cell diameter of microcellular combustible objects is in the level of 1 μm and the cell density is about 10¹¹ cell⋅cm⁻³. The microcellular combustible objects fabricated by the SCCO₂ foaming technology are smooth and uniform, and the high specific surface area of cell structure can lead to the significant combustion performance of microcellular combustible object for CTA in the future.     

主要国家航天力量建设节点

航天力量是各主要军事强国重点投入建设的新型作战力量。本文以航天产业军民两用的天然技术属性作为切入点,从各主要军事强国商业、民用航天的规划建设中研判分析航天力量短期、中期、长期的建设节点,对航天力量走向战场需要突破的瓶颈进行思考,就航天力量建设问题提出思考。     

面向快速响应发射的机动测控力量构建

快速响应发射是太空作战背景下实现快速进入、反击作战及重建太空信息支援作战能力的重要保障。立足未来太空作战需要,本文提出构建全域机动测控力量的设想。该测控力量以快速响应发射、应急航天搜救以及商业航天发射为目标,并具备全面对抗条件下全域范围内机动作战、独立遂行测控任务的能力。文章研究分析了测控力量作战编成,并对后续作战应用进行探讨,以完善现有测控力量体系、提升测控作战能力。     

基于本体的信息与信息空间及其代数结构

实现特定信息环境下基于信息组织的信息资源服务,需要对信息、信息空间有更合适的、形式化的描述。文章基于本体层次对信息、信息的运算、信息之间的关系以及信息空间给出了数学描述并对其代数结构进行了研究。从而为特定信息环境下的信息资源服务提供理论支撑。     

Supply chain coordination with shelf‐space and retail price dependent demand and heterogeneous retailers

We consider supply chain coordination in which a manufacturer supplies some product to multiple heterogeneous retailers and wishes to coordinate the supply chain via wholesale price and holding cost subsidy. The retail price is either exogenous or endogenous. The market demand is described by the market share attraction model based on all retailers'shelf‐spaces and retail prices. We obtain optimal solutions for the centralized supply chain, where the optimal retail pricing is a modified version of the well‐known cost plus pricing strategy. We further get feasible contracts for the manufacturer to coordinate the hybrid and decentralized supply chains. The manufacturer can allocate the total profit free to himself and the retail market via the wholesale price when the retail price is exogenous, but otherwise he cannot. Finally, we point out that different characteristics of the retail market are due to different powers of the manufacturer, and the more power the manufacturer has, the simpler the contract to coordinate the chain will be. © 2010 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

Hilbert空间中次连续拟非扩张映像不动点的迭代方法

首次引用一种迭代算法，用来构造Hilbert空间中次连续拟非扩张映像的不动点；使用新的算法证明了一个强收敛定理，其优点是不要求映像具有次闭性质。