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

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

基于标注事件图的空间数据库主动规则终止性分析

主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。     

全力推动国防科技工业工艺技术跨越发展

工艺技术是产品研制生产的重要手段,是制造业生存和发展的核心和基础技术,也是市场竞争能力和制造业可持续发展能力的重要体现。军工工艺技术具有覆盖面宽、技术要求高、特殊工艺专用性强等特点,在缩短研制周期、降低生产成本、提高经济可承受性和批生产能力方面起着至关重要的作用,是武器装备研制生产和军民结合高技术产业发展的关键技术,是国防科技工业实现可持续发展的重要保障。为满足国防建设和国民经济发展的需要,全面增强自主创新能力、高新技术武器装备供给能力和军民结合高技术产业发展能力,建立新型国防科技工业体系,国防科工委将…     

武器装备跨越式发展的首要问题——经济可承受性

我军武器装备跨越式发展要借鉴国外“经济可承受性”改革的成功经验,结合我军实际,加强装备需求的经济分析,制定合理的跨越式发展战略;重视武器装备全寿命费用管理,推进装备采办改革;寻求不对称发展模式,谋求正确的跨越式发展通路。     

多智能体系统指定时间双向编队控制

多智能体系统协同控制的收敛速率问题是当前系统与控制领域一个热点研究问题.结合指定时间控制思想,以一般线性动力学系统为控制对象,对多智能体系统双向编队问题进行研究.首先,利用庞特里亚金极大值原理,设计了指定时间双向编队控制器,双向编队指的是被分成两组的智能体最终以指定的编队队形、相反的方向进行运动;其次,通过运动规划算法...     

面向图计算应用的处理器访存通路优化设计与实现

针对图计算应用的访存特点,提出并实现一种支持高并发、乱序和异步访存的高并发访存模块(High Concurrency and high Performance Fetcher, HCPF)。通过软-硬件协同的设计方法,HCPF可同时处理192条共8种类型的内存访问请求,且访存粒度可由用户定义,满足图计算应用对海量低延迟细粒度数据访问的需求。同时,HCPF扩展了基于内存语义的跨计算节点定制互连技术,支持远程内存的细粒度直接访问,为后续实现分布式图计算框架提供技术基础。结合上述两个核心研究内容,基于流水线RISC-V处理器核,设计并实现了可支持HCPF的RISC-V片上系统(System-on-Chip,SoC)架构,搭建基于FPGA的原型验证平台,并使用自研测试程序对HCPF进行初步性能评测。实验结果表明,HCPF相比原有访存通路,最高可将基于数组和随机地址的两种随机内存访问性能分别提升至3.5倍和2.7倍。远程内存直接访问4 Byte数据的延时仅为1.63μs。     

基于统一理论框架的故障诊断模型及学习进化方法

本文以概率图理论为基础,系统研究了基于这一理论框架的故障诊断模型,对模型的构建方法以及在不同场景下的模型演化方案进行了探讨,使得在统一理论框架下可实现多模式系统故障诊断、耦合故障诊断、动态故障诊断、故障预测等复杂情形的诊断。为了弥补单独利用基于模型的方法和基于数据的方法的缺陷,研究了诊断模型的学习进化策略,实现了诊断效果的改进和优化。另外,对模型后续的能力扩展和可能的研究方向进行了展望,为后续理论研究提供了参考。     

基于防空反导的战术级通用态势图分析研究

针对不同战场角色、作战任务、作战规模、战场级别、关键事件环境等情境因素中,指挥员无法准确而迅速地获取需要的信息等问题,在战术级指控系统与当前防空反导发展趋势的基础上,集中详细地阐述了通用态势图。在战场态势预测分析的基础上,进一步介绍了其关键技术,并通过仿真数据进行了验证。在帮助指挥员深入认知战场态势上提供了辅助,从而减少了冗余态势信息对指挥员的干扰,缩短了整个决策环的时间。     

C4ISR网络安全态势的可拓云理论综合评估方法

为了对C4ISR网络的安全态势进行精确评估,提出了一种基于云理论和可拓学的评估方法。分析了影响C4ISR网络安全态势的评价指标体系,通过主客观综合赋权法确定各评价指标的权系数。在此基础上,利用云理论和可拓学中的基元理论,构建C4ISR网络安全态势的综合评估方法。通过对实例的分析,表明了该方法的可操作性和优越性。     

方格图在小学数学教学中的有效应用

方格图作为直观形态的数学学习工具,将学科的理趣和学习的情趣相结合,具有帮助学生提高数学学习能力的作用。本文以人教版小学数学教材为依据,将方格图的表现形式、数学本质以及在培养学生数学学习能力等方面所起到的数学价值进行系统地剖析和总结;同时将方格图在人教版教材中的编排情况进行梳理及归纳,从绘制图形、统一度量、数的认识与运算、总结和推理四个方面诠释方格图在教学中的具体应用及研究启示。