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

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

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

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

携带诱骗信息的多层网络隐写方法

为了提升网络隐写方法中秘密信息隐蔽传输的安全性,研究了携带诱骗信息的多层网络隐写方法。方法分为两层,高层方法用于携带诱骗信息欺骗检测者,低层方法利用网络协议栈纵向多协议之间的关系编码秘密信息,实现隐蔽通信。实验结果表明,该方法能够在保证隐写带宽的同时,确保了秘密信息传输的安全性。     

中船重工集团与山西省政府签署战略合作协议

7月22日,中国船舶重工集团公司和山西省人民政府战略合作框架协议签字仪式在山西太原举行。中船重工总经理李长印,副总经理董强、钱建平,山西省省长王君,副省长陈川平出席签字仪式。钱建平与陈川平分别代表双方在协议上签字。     

中核集团与国核公司携手共推三代核电发展

10月27日下午,中国核工业集团公司与国家核电技术公司在北京签署《共同推进第三代核电技术自主化发展战略合作协议》。双方将在三代核电AP1000技术的消化。吸收,再创新,以及三代核电标准设计、后续核电项目建设、大型先进压水堆核电站国家重大科技专项、关键设备及材料国产化等方面开展深层次合作。中核集团公司党组书记,总经理孙勤,党组成员,副总经理孙又奇、杨长利,     

Global Diagnosable Sequence的故障诊断能力分析

利用归纳法对Global Diagnosable Sequence的故障诊断能力进行了分析。分析结果表明：目前该算法＂关于征兆混淆问题＂的结论是不够准确的,除了满足一个基本互连诊断算法的抗混淆能力以外,还对W-A/W-O以及W-O/S-D-k无征兆混淆。并由证明过程得到以下结论：无W-O征兆误判的诊断算法必然不存在W-O/S-D-k征兆混淆。     

基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。