面向故障的软件测试方法研究

提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指针引用、数组越界和未初始化变量等5类故障.该方法在词法分析和语法分析的基础上,利用检查点查找算法查找可疑点,通过适当的人工确认,能够有效找出软件中的故障.     

炮兵指挥决策中优选作战方案的神经网络模型

优选作战方案是炮兵指挥决策的重要内容.如何从炮兵众多的作战方案中确定其价值,并根据作战任务需要选出最佳方案,是炮兵指挥员及其参谋人员的-项重要任务.根据神经网络中联想记忆的-般模型和迭代解法对炮兵作战方案进行分析和排序,并可运用计算机进行处理,为炮兵指挥员的决策行为提供依据.     

一种含工作流Web信息系统的访问控制模型设计实现

包含工作流的Web信息系统是目前较为流行的一种系统应用模式。针对现有TRBAC模型在此类系统应用中存在的控制数据冗余、效率低下等不足改进提出了一种新的访问控制模型,该模型将RBAC与TRBAC进行结合,并按操作级别对角色与权限进行划分,通过引入流程历史信息等约束条件实现动态授权中操作权限与执行上下文的紧密关联,较好地实现了动、静态授权的分离,在保证系统安全的同时降低了访问控制策略的复杂度,为此类系统访问控制策略的制定提供了一个基本的参考性框架。最后以基于Web的办公自动化系统为例描述了模型在应用中的实现方案。     

基于SWOT分析的军队审计容错免责机制完善路径研究

军队审计容错免责机制是在审计权限范围内对符合容错免责情形的事由减轻或免于问责并及时纠正的稳定工作机制,是审计问责态势下应对“为官不为”问题的合理路径。本文基于SWOT法分析认为,当前审计环境下建立军队审计容错免责机制的优势在于独立的经济监督地位、专业的经济监督力量和广泛的经济监督对象,劣势在于单一的认定主体、缺失的法律规范和匮乏的免责素质,机遇在于利好政策的出台、国家审计的实践经验和军队审计的职能定位,威胁在于制度规范笼统、审计风险扩大和资源矛盾加剧。在此基础上,本研究基于W-T（劣势-威胁）的战略选择,提出完善军队审计容错免责机制的现实路径,即：明确机制定位,科学界定边界;完善制度规范,形成法律依据;完备容错清单,转变审计模式;优化容错环境,降低容错风险。     

固定翼无人机航迹跟踪抗风性研究

无人机作为一种新型军事装备,具有广泛的作战应用场景.无人机的航迹跟踪性能和抗干扰能力是其安全完成飞行任务的保障,随着现代战争作战环境日益复杂,无人机飞行将面临更大的挑战.针对目前固定翼无人机在飞行过程中受风扰影响严重的问题,设计了一种具有抗风性的航迹跟踪方法.利用非线性导引原理实现对航迹的跟踪,并通过引入反馈消除了风扰...     

Random disambiguation paths for traversing a mapped hazard field

We consider the problem of safely and swiftly navigating through a spatial arrangement of potential hazard detections in which each detection has associated with it a probability that the detection is indeed a true hazard. When in close proximity to a detection, we assume the ability—for a cost—to determine whether or not the hazard is real. Our approach to this problem involves a new object, the random disambiguation path (RDP), which is a curve‐valued random variable parametrized by a binary tree with particular properties. We prove an admissibility result showing that there is positive probability that the use of an RDP reduces the expected traversal length compared to the conventional shortest zero‐risk path, and we introduce a practically computable additive‐constant approximation to the optimal RDP. The theoretical considerations are complemented by simulation and example. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005     

快擦写存储器结构及机理

讨论了快擦写存储器典型位元结构及其存储信息原理，详细论述了目前广泛使用的或非和与非两种结构的快擦写存储矩阵的结构组成和工作原理。     

基于单码CDMA系统的多级业务的接入控制

基于支持多级业务的单码CDMA系统 ,本文设计了一种适合于多级业务接入的两层控制方案。借助于该方案 ,实时业务用户一旦被接纳就立刻进行通信。而非实时数据用户的通信过程要受到呼叫层和突发层双重的控制。这样 ,前者的QoS能够得到保证 ,而后者则可以充分利用网络暂时闲置的信道容量。     

新型宽带接入技术及其应用前景

介绍了 PON、XDSL、HFC、LMDS 4种新型的宽带接入技术 ,并就国内国际的具体发展情况分析了这些宽带接入技术在网络通信中的应用前景 .     

飘浮式空间机器人路径规划的全局最优解析解

本文根据刚体螺旋运动的特点,利用旋转矩阵构造出评价载体姿态变化的目标函数;采用Ｖａｆａ等人的“虚机械臂”模型简化计算;利用动量矩守恒的假设条件及完成抓取固定目标时的几何位形关系,得到微分约束和边界约束。提出机械臂“周期运动”寻优法,从而得到全局优化的近似解析解。