旋转弹两级分离动力学模型建立与仿真

为了研究不同连接方式对导弹两级分离的影响,针对采用套筒连接和螺栓对接两种分离连接方案的旋转弹,对两种连接形式分别进行了分离过程的运动特性分析;针对两种连接方式不同的运动特点,分析了其分离过程的运动学和动力学特性,并在此基础上建立了相应的弹体动力学模型.根据两种连接形式的算例,对分离过程进行了数字仿真分析.仿真结果显示两种模型下导弹分离成功,证明弹体动力学模型合理.     

用例建模技术在需求获取中的应用研究

统一建模语言(UML)为面向对象系统定义了一个统一的标准.使用UML提高了与不同背景领域专家、工作流专家、软件工程师和其他专业人员的沟通,UML可以用在各个方面.在描述用例建模技术原理的基础上,重点讨论了它在实际系统中的应用,并对一些相关问题进行了探讨.     

"人少任务多"最小分派问题的一种解法

通过对“人少任务多”最小分派问题的解法探析，指出了“加边补零法”的局限性，并得到了一种新的解法——“加边补最小值”法，算例显示此法在n-m=1时优于其它算法。     

基于UML建模的房屋租赁管理系统分析

统一建模语言UML是一种面向对象的建模语言。本分析了UML的建模机制，并以UML为工具进行房屋租赁管理系统建模，给出了设计过程中的用例图、类图、序列图、状态图及活动图，并详细分析了创建这些图的要点及过程，对房屋租赁管理系统的开发具有一定的指导意义。     

“砍大山”考源

"砍大山"原为北京土话,何以有随意聊天、无边际聊天之义,说法不一,莫衷一是。本文在评析众说的基础上,探源溯流,用词例求义法得出"山"有"任意地、无边际地"等意思,从而揭开"砍大山"的谜底,认为北京土语"砍大山"来源于北京土语"山砍",进而对《汉语大词典》对"砍大山"的释义提出自己的见解。     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

修正变光滑长度SPH方法及其应用

提出了修正的变光滑长度SPH方法及其算法实现.与传统变光滑长度SPH法相比,新方程组基于对称形式核函数近似,并从根本上考虑了变光滑长度影响.方程组中,密度演化方程与变光滑长度方程隐式关联;而SPH动量方程和能量方程在Springel提出的全守恒SPH方程组基础上,改进其分散核近似形式为对称核近似形式得到.由于新方程组密度演化方程和变光滑长度方程隐式耦合,采用迭代求解密度演化方程和变光滑长度方程,显式求解SPH动量方程和能量方程的办法,迭代过程增加的计算量相对很少.给出了2个一维激波管算例和二维 Sedov算例来验证方法的有效性.结果表明,新方法很好地解决了传统SPH法中变光滑长度影响,特别是在模拟二维 Sedov问题时新方法能得到比Springel方法更准确的压强峰值位置,中心压强也更接近理论值.特别适合模拟爆炸与冲击、大变形大扭曲等密度和光滑长度变化剧烈的问题.     

不确定需求下供应链合作广告与订货策略的博弈

基于报童类型产品的二级供应链结构,放宽了市场需求为确定性的假设,引入了订货量这一决策变量,先后考察了Stackelberg主从博弈和Nash合作博弈时制造商与零售商的最优广告策略及零售商的最优订货策略,比较了不同博弈均衡下的策略选择及系统期望利润,探讨了市场需求随机性对制造商与零售商广告投入水平的抑制作用.并利用Nash讨价还价理论对合作利益进行了分配.最后,通过一个数学算例验证了有关结论.     

家庭自动化系统中的建模设计

该文以家庭自动化系统为背景,探讨了利用统一建模语言进行面向对象的建模问题,介绍了UML的结构和机制,说明如何在软件开发过程中运用UML建模.按照此模型进行系统的开发,可以大大地提高系统开发的产业化水平,是软件工程的一个发展方向.     

中美两国建筑结构地震力计算的实例比较

通过设计实例对中美两国混凝土结构设计规范和建筑抗震设计规范中关于地震力的计算进行了对比。虽然不是两国规范全面的对比,但是从局部或一个侧面给出了中美两国规范关于地震作用计算的直接对比,进而使我们对两国规范的计算规则乃至结构安全度方面的差异有进一步的认识。