VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

成为凝聚各族群众的大熔炉

正春天的新疆大地,万物复苏,生机盎然。天山南北,各族群众团结互助,生活水平不断提高,一个个兵地共建区域如雨后春笋般崛起,彰显着兵地打破常规、团结一心齐力谋发展的智慧、决心和成果。民族团结一家亲民族团结是新疆长治久安的根本保障,也是兵团存在发展的生命线。兵团从组建之日起,就把为新疆各族人民多办好事作为根本宗旨,民族团结成为兵团的优     

贪婪的代价

正原本是一名国企的老总,有着美好的前程,却因为贪婪走上了一条不归路2013年10月30日,新疆神华矿业有限责任公司原董事长刘波坤因涉嫌贪污、受贿、挪用公款共计3600余万元,被一审法院判处有期徒刑20年,后其不服判决上诉。2014年1月21日,北京市高级人民法院终审维持原判。今年58岁的刘波坤,曾任新疆神华矿业有限责任公司法定代表人、董事长,湖南北遥中讯达防伪技术有限公司法定代表人等职务。2008年12月,刘波坤被宣     

成为安边固疆的稳定器

正4月29日,一股冷空气还盘旋在北疆大地,六师、五家渠市下起了雨,在市政府办公楼前,六师人武部部长沈开疆站得笔直,他的身边,六师重点民兵应急营已经集合完毕。作为一个拥有几十年军龄的"老兵",沈开疆经历过无数次检阅,但从没有像今天一样激动过。"报告首长,兵团六师重点民兵应急     

科技让绿洲腾飞

正用"巨手翻天地,大胆易沧桑"来形容兵团60年的发展变化最为凝练。追溯兵团屯垦戍边的历史,从某种意义上说就是一部兵团科技发展史。新疆独特的生态环境为科学研究提供了广阔的创新空间,兵团独具特色的组织形式为科技成果的转化、应用和推广创造了有利条件。兵团人在屯垦戍边的伟大实践中,创造了一个又一个人间奇迹和"中国第一"、"新疆第一":陈顺理选育出我国第一个长绒棉新品种"胜利1号";刘汉珠选育出新疆第一     

兵团60年健康档案

正光阴荏苒,一甲子岁月飘然流逝。兵团的医疗卫生事业是屯垦戍边伟大事业的重要组成部分。在兵团蓬勃发展的60年里,医疗卫生事业,无论是覆盖率、技术水平、设备设施,还是医疗人员的素质能力都取得了很大的成就。人们的医疗卫生理念也与时俱进,从有病治病,到主动体检、未病先防,把健康作为财富进行科学管理,兵团人走过了一条充满艰辛的辉煌之路。回首坎坷路1954年10月,新疆生产建设兵团成立,新疆军区卫生部部分人员和原二十二兵团卫生处全部人员合并组成兵团卫生处,成为兵团卫生工作的行政领导机关。     

一“卡”在手 真情流淌——中国电信喀什分公司实施“军垦卡”战略前期发展素描

正南疆春来早,三师五十一团唐城路上赶巴扎的人群热闹非凡,暖暖的朝阳斜洒在中国电信60多米高的基站塔尖上,无形的电波与金色的阳光交汇成一道独特的风景。中国电信喀什分公司这样的基站,在三师、图木舒克市还有69个。他们对兵团的服务宗旨是,无论在地处昆仑山山腰海拔4000米的叶城二牧场,还是在与吉尔吉斯斯坦接壤的托云牧场,只要有师、市职工活跃的地方,就保证有中国电信的信号。"亚克西,吾斯达,这个‘军垦卡’好,是专为团场职工设计的,省钱服务多,团场职工之间打电话免费……"这一天的晌午,中国电信喀什分公司五十一团支局局长阿不都瓦吉提·艾赛提     

党克明:件件好事暖人心

正2月26日,六师一○五团退休职工党克明正在邻居家帮着修理客厅的木质暖气罩,见到笔者他的第一句话便是:"我没干啥大事,只是做了一个老兵团人该做的。"党克明老人今年虽已77岁,但精神矍铄、红光满面。老人很健谈,说起自己做的一件件好事既谦虚又开心……2003年,一○五团正值小城镇建设起步期,当时的团部周边路面不是很平整,有很多坑洼。一天,党克明散步,发现团部主干道的小坑带给来往的车辆和行人很大不便。他就萌生了用路边     

三师、图木舒克市 助推美好新生活

正数字:近三年来,三师、图木舒克市投入城镇化建设的资金总额达92亿元,超过"十一五"的总和;城镇化率从2010年的37%提升至2013年的52.6%。城镇化建设对经济发展支撑作用明显增强,2013年,师、市固定资产投资实现106.9亿元,增速111.9%,首次突破百亿元大关。实现生产总值81亿元,经济和社会提前两年翻一番。     

廉政传真

正兵团开展廉政谈话教育活动兵团党委日前印发了《兵团廉政谈话暂行办法》,在全兵团范围开展廉政谈话教育活动,做到抓早抓小、防微杜渐,提高廉政教育的针对性和实效性。《办法》明确,廉政谈话包括任职廉政谈话和提醒廉政谈话。任职廉政谈话主要针对新任职的党政领导干部和个人,就如何