我可以和正在服刑的丈夫离婚吗?

正王女士:我和丈夫两年前结婚。去年8月,因为参与拦路抢劫,我丈夫被判处有期徒刑4年。他现在正在服刑,我想和他离婚,是否可以?新疆瑞诚律师事务所律师江华:服刑人员虽然被限制了人身自由,但还享有其他权利。王女士可采取协议离婚或者起诉离婚两种方式办理离婚手续。如果采取协议离婚的方式离婚,王女士可利用探     

离婚协议达成违约金条款 违约后应按相关规定支付

正【案例】2013年2月4日,李某某与刘某某在伊犁哈萨克自治州霍城县清水镇法律服务所达成离婚调解协议。协议约定:婚生子李某由李某某抚养,婚生子的生活费、医疗费原、被告各承担一半,如违反约定将承担违约金1万元并赔偿实际损失。2013年8月6日,婚生子李某到新疆医科大学进行眼角膜移植手术,李某某要求     

DIS的多武器模拟器训练系统

现有的武器系统模拟器大多是对单个武器系统平台的性能仿真,利用DIS可以将它们联结成多武器平台的作战环境下的对抗仿真。在分析基于DIS的多武器系统模拟器训练系统的基础上,确定了系统的仿真框架,介绍了系统中通信的实现方法,并介绍了系统的工作过程。     

基于LEACH协议的研究与改进

无线传感器网络中如何节能是一个关键问题。对经典的LEACH协议做研究与改进,并提出了一种新型的动态网络转换机制。该算法通过综合考虑候选节点的地理位置、剩余能量等参数来进行网络协议的选择,从而有效地降低了低能量与位置不佳的节点被选为簇首的可能性,进一步保证网络内节点能量负载的均衡性。仿真结果表明,新型的动态网络协议机制能够有效平衡节点的能量消耗分布,延长节点与网络的寿命。     

带落角约束的再入机动弹头的复合导引律

针对再入机动弹头垂直打击目标的要求,研究了具有末端落角约束的复合导引律.该导引律包括俯冲平面内的制导方程和转弯平面内的制导方程,通过在最优导引律的基础上引入滑模变结构控制,增强导引律的鲁棒性.为了减小控制量的抖振和能量损耗,提出了采用RBF(径向基函数)神经网络自适应调节切换项增益的方案,数学仿真验证了该方案的有效性.仿真结果还表明,与最优导引律相比,复合导引律在外界干扰的影响下仍能保持较高的制导精度.     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

基于频谱分析的飞行模拟器飞行性能验证

介绍频谱分析用于仿真系统模型验证的原理和方法,提出一种应用频谱分析进行飞行模拟器飞行性能验证的方案。结合飞行试验和仿真模型的输出数据,分别采用窗谱估计和最大熵谱估计方法对某型飞行模拟器的飞行性能进行验证,并对验证结果进行分析。结果表明,频谱分析法用于飞行模拟器飞行性能的验证是有效的,可为其他训练模拟器的性能验证提供参考。     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。     

基于EPA的分布式控制系统研究与设计

在模拟信号控制的数控系统基础上,设计了基于EPA标准的分布式控制系统;介绍了EPA标准,研究了确定性通信调度机制和精确时钟同步协议的应用这两个关键技术,设计了控制系统中通信模块和嵌入式转接电路板,并对试验结果进行了演示.结果表明,该系统运行稳定,各项性能满足应用需求,对军用控制系统的研究提供了较好的借鉴经验.     

电子装备可靠性指标提出的有关问题

本文从抽样检查的要求出发,论述了可靠性指标提出的有关问题,包括定量指标及其它要求的提出。