大理岩动抗拉强度测定实验研究

本文在SHPB实验装置上,利用测定岩石动态压缩特性的基本原理,测定了大理岩动抗拉强度和动弹性模量,并通过计算确定了大理岩的本构方程。     

管理信息系统通用工具软件MT-1

MT—1是在汉字dBASE—Ⅱ的基础上开发的数据库工具软件,它具有图形化的数据描述和数据操纵语言,是一个实用的微机管理信息系统开发工具。它在图形化用户界面、数据字典、视图、数据完整性和安全性等方面优越于dBASE—Ⅱ。本文描述了MT—1的总体结构和主要功能,讨论了主要设计和实现问题。     

动态子结构方法及在武器分析中的应用

针对用传统有限元法进行大型复杂结构动力分析所遇到的困难,60年代以来,人们不断地提出了许多行之有效的动态子结构方法.本文在简要回顾这种方法的产生背景基础上,着重于介绍国内外学者对发展最具有代表性的子结构模态综合法所提出的基本改进措施,并通过分析高射机枪动态特性的算例,初步探讨了这种方法在武器分析中的应用前景。     

紧固件用钢复验的动态抽验方案

本文针对现行紧固件原材料进厂抽样复验方法的不足,套改《ISO2859计数抽查程序和图表》,提出动态抽样方案,并对新旧方案实际应用进行了比较。以比较科学的决策,取得提高效益、降低消耗的结果.     

能量均衡的围捕任务分配方法

随着水下机器人反围捕策略研究的不断深入，水下机器人围捕变得越来越困难。为此构建一种多层环状伏击围捕模型并设计了基于围捕任务的任务分配方法，使得水下机器人能够充分利用自身的特点更好地完成任务。同时，考虑在围捕过程中随时间推移，系统内能量会出现消耗不均的现象，据此提出一种能量均衡方法平衡系统能量的消耗。实验证明所提出的基于多层环状围捕模型的能量均衡策略任务分配方法能有效提高围捕成功率，延长系统寿命。     

气动弹性影响下高超声速飞行器动力学建模与分析

高超声速飞行器通常采用轻质材料和细长升力体设计,导致受控刚体运动频率与结构振动频率趋于接近,给飞行器制导控制系统设计带来了巨大挑战。基于假设模态下建立了考虑变截面效应的高超声速飞行器自由梁结构动力学模型,对比了横截面梁和变截面梁模态振型和频率;考虑变截面效应后,振型变化较大,同时二、三阶模态频率均变小。给出了耦合气动弹性和飞行动力学的高超声速飞行器运动方程。在典型工况下,对比分析了刚体、常截面梁和变截面梁高超声速飞行器的平衡和动态特征,结果说明:变截面梁在平衡状态下附加攻角更大,系统在平衡点处开环不稳定性更大,同时非最小相位行为基本不变。     

基于任务和角色的分布式工作流安全模型

针对现有基于角色访问控制的缺陷和分布式工作流管理系统的特性,在传统的基于角色的访问控制模型中引入任务集(Tasks)、任务实例集(TaskInstances)和任务上下文(TaskContext)的概念,将传统的user role permission权限赋予结构修改为user role task permission权限赋予结构,建立了基于任务和角色的访问控制模型,给出了其形式化定义。该模型解决了传统的基于角色访问控制中的动态适应性差和最小权限约束假象的问题,用于分布式工作流管理系统,提高了安全性、实用性。     

对当前建立和完善消防监督管理法律制度的思考

分析当前消防监督管理法律规范存在的问题,提出建立和完善消防监督管理法律制度应遵循的基本思路,指出在市场经济条件下应当建立和完善的主要消防监督管理法律制度及措施。     

Dynamic proximity calculations for situation awareness

We apply dynamic proximity calculations (density and clustering) from dynamic computational geometry to a military application. The derived proximity information serves as an abstract view of a current situation in the battlefield that can help a military commander achieve situation awareness. We employ Delaunay triangulation as a computational tool in our framework, and study its dynamic update in depth. © 2003 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.