卫星点波束可移动天线地面应用软件设计

卫星点波束可移动天线以其结构简单,高精度等优点得到广泛应用,天线地面应用软件便是对其进行可视化监控而设计的。软件采用以状态变量为中心的设计思想及模块化的设计方法,用VC和OpenGL作为设计平台实现了两种工作模式：在线模式下,通过解算遥测数据,可视化监视天线状态,还可通过设置指向目标位置,直接构造指令并发送;离线模式下,可对天线理想运动进行功能性的验证及仿真。软件经过在卫星测试阶段的使用,性能指标满足应用要求。     

基于多Agent动态影响图的协作实现

将MAIDs在时间上进行扩展,提出一种新决策模型——多Agent动态影响图（MADIDs）,对动态环境中的协作关系进行建模;给出MADIDs的一种分层分解的分布近似方法,进而通过将决策结点和效用结点的推理引入到BK算法中,给出MADIDs环境模型的一种扩展BK（EBK）近似推理算法;引入一种BP神经网络学习MADIDs的局部效用函数。最后,针对一个表示协作关系的MADID模型,进行算法比较和仿真实验,实验结果显示了MADIDs模型的有效性。     

基于Agent的卫星航天系统建模与仿真方法研究

使用基于Agent的建模与仿真（ABMS）研究卫星航天系统,以解决对其总体功能和应用效能进行评估的问题。首先,介绍了卫星航天系统的概念和组成,并对其复杂性作了分析。然后,从应用角度介绍了Agent模型所应具备的特性,并指出了ABMS在传统建模与仿真方法的基础上还需开展的额外工作。最后,以一个火灾卫星系统为例进行了实现,证明了此方法应用的可行性和有效性。     

延期付款条件下两货栈库存优化模型

已有的两货栈库存模型通常不考虑延期支付.然而,延期支付现象比较常见.特别是零售企业,延期支付货款相当普遍,延期支付成为库存管理者决策时考虑的一个重要因素.本文首次通过考虑延期支付而将已有两货栈库存模型作了进一步扩展,为零售商实际的库存管理决策提供理论依据.     

吸收能力与竞争企业研发投资及方式选择

竞争企业间的R＆D联盟已经成为企业技术创新的重要策略.为了揭示联盟内竞争企业在吸收能力、研发方式、研发投资之间的关系,提出了一个三阶段博弈模型.首先企业选择R＆D方式;然后,企业决定他们的R＆D支出;最后,企业在市场上进行古诺产量竞争.分析了竞争企业间吸收能力与企业R＆D方式、R＆D投资之间的交互作用,以及这种交互作用对企业利润的影响.结果表明,竞争的企业倾向于采用某种非专有的R＆D方式以实现企业之间知识的流动,这种知识的流动有助于竞争企业双方利润的提高.企业通过R＆D方式专有性的选择,使企业摆脱过分投资和投资不足的囚徒困境.     

关系数据库系统移植中模式优化与冲突机制的设计

在深入研究异构数据库在模式和SQL语法等方面差异的基础上,设计了可扩展的冲突检查和处理机制,通过对潜在的冲突元素进行针对性调整避免模式冲突的不利影响.同时为了向上层应用程序屏蔽数据库移植中的模式调整,提出了在运行期间动态调整操作请求来保证数据库操作的准确性.     

Hardware system design for UHF surface velocities radar

UHF surface velocities radar is developed based on the successful ocean state measuring and analyzing radar system. The design method for UHF radar system is presented. It is designed to operate at UHF channel, and the transmit power is under 5W. Maximum range of field test over fresh water can be a kilometer. The field tests at Tangsun River and at Majiatan and Gaohazhou proved that USVR System can be used successfully.     

二级库存系统中库存策略的比较研究

着重研究在分配策略中,安全库存量和转载运输之间的关系.首先,分析了中心存放库存和分仓库之间转载的原理,并对不同策略的安全库存变化进行了探讨,由此得出将节约库存与增加运输进行比较的数学公式,以供决策者做出科学合理的策略选择.     

XML模式的结构规范化研究

关于可扩展标识语言XML的模式规范化研究主要是针对其语义方面,但在实际应用中存在另一类问题:结构规范化。在分析了XML模式设计中结构上存在的两类问题后,提出了XML模式规范化在结构层面上的结构有效性和结构良好性规范。模式的结构有效性确保了XML模式能够被实例化,模式的结构良好性确保了模式定义中的所有元素定义是有意义的,即元素定义都能被实例化。最后,利用元素关系图探讨了结构有效性和结构良好性的判定定理和方法。XML模式的结构规范化是对现有XML模式规范化问题一个有益的补充。     

库所耦合网的T-不变量求解算法

首先定义了库所耦合网及相关概念,其次揭示了库所耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,然后给出了一个库所耦合网的T-不变量求解算法,最后将该算法实现并给出初步实验数据,以说明所提算法比现有算法节省计算时间和存储空间。