可信软件研究

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。     

刊中报苑

兵团司法局召开基层先进人物事迹报告会9月25日,兵团司法局召开基层先进人物事迹报告会。近年来,兵团司法行政系统广大干警和法律服务工作者坚持以人为本、服务职工群众,认真履行职责,在法制宣传教育、法律援助和提供优质高效法律服务等方面取得显著成绩,涌现出一大批先进典型,他们牢固树立全心全意为人民服务的宗旨,把职工群众的法律需求作为自己的人生追求,在平凡的岗位上干出了不平凡的业绩,生动展示了新时期兵团司法行政干警的良好形象。     

律师连线

声明断绝父子关系有法律效力吗?李先生:我因为做错了事情,父亲声明和我断绝父子关系,这有法律效力吗?新疆得胜律师事务所律师刘燕:《中华人民共和国宪法》以及其他的法律、行政法规没有对声明断绝父母子女关系作出具体的规定,因此,声明断绝父母子女关系没有法律依据,不受法律保护。     

逃得再远,逃不出法律的天空

[案情追踪]1997年12月至2000年6月28日间,廖雪梅利用担任四川省宜宾市翠屏区电影发行放映公司出纳员之便,采取偷盖单位印鉴的方式,在银行提取公款82万元并占为己有。2003年3月3日,宜宾市中级法院以贪污罪判处其无期徒刑,剥夺政治权利终身,没收个人全部财产。[忏悔录]我出生在美丽的江城——宜宾,山清水秀的家乡赋予我生命的灵性。书香门第的教育世家,让我从小就知道只有勤奋读书才能笑傲人生。参加     

军队经费内部控制实施中的博弈分析

军队经费内部控制实施过程中存在监督者与执行者之间的“监督与执行”博弈和执行者之间的“合谋”博弈。监督者应改变博弈参数、引导博弈方向,加大“承诺行动”的“可置信度”、提高监督查处概率,强化不相容岗位分离,避免执行者的机会主义动机,保证军队经费内部控制的实施。     

某小型武器稳定系统的建模及仿真

针对某小型武器稳定系统稳定精度差的问题,构建了其控制系统的数学模型,通过仿真施加试验台架扰动信号,对现系统采用的传统PID控制器进行仿真计算,得到其动态稳定精度,并把得到的和定型试验稳定精度数据对应的外扰模拟信号作为改造后系统的标准扰动输入,对线性自抗扰控制器进行了比对仿真研究.仿真结果表明,系统采用线性自抗扰控制器具有响应速度快、稳定精度高、抗扰能力强的优点.这一方法得到的仿真结果和实车具有较高一致性,可以有效解决实车参数调试困难的问题.     

完善我国海防法律制度的若干建议

海防法律制度是国防法律制度的重要内容。虽然我国海防法律制度已初具规模,但与当前复杂的海防局势相比,尚存某些缺陷和不足。为应对我国海防安全所面临的日益严峻挑战,急需完善我国海防法律制度。(一)增加维护海洋权益宪法规范。以往宪法颁布时,海洋权益还没有像今天这样受到重视。现行宪法中几乎没有对海域、海洋资源和海洋权益的明确规     

山西省长治军分区 抓住重点见成效

近年来,山西省长治军分区在积极探索军民融合式发展的有效途径、方法和机制的同时,始终把军地联合指挥、军地预案衔接、军地信息互通作为提升民兵预备役部队"双应"能力的融合重点,在全省率先实现了军地要素对应、工作衔接、相互协同的应急应战联合处突指挥体系,达到指挥控制、力量运用和协调保障的一体化。针对近年来国防动员和政府应急     

2013——中国白皮书五大解密

中国政府于1995年开始发表《中国的军备控制与裁军》白皮书,并于1 998年起每两年发表一部国防白皮书。2013年《中国武装力量的多样化运用》白皮书是至今为止最为透明的白皮书,许多核心机密首次曝光,标志着中国军队走向公开、透明、自信。     

医疗事故鉴定和司法鉴定的区别

1.提起鉴定的申请人不同医疗事故鉴定的启动:根据我国《医疗事故处理条例》的规定,由卫生行政部门委托或医患双方当事人共同委托两种启动方式。前者属于行政鉴定,解决的是行政处理医疗纠纷中的专门性问题,即是否属于医疗事故的问题和赔偿调解问题。后者属于自行委托的鉴定,其作用在于给双方当事人一个"判定的标准",即可提起鉴定的申请人为:卫生行政部门委托或者医患双方。司法鉴定的启动:目前根据我国法律和相关司法解释的规定,司