论文部分内容阅读
具有参数n,k和m的组合批处理码可以看作一个n元集以及它的m个子集B_1,B_2,…,B_m组成的集合系统,满足对于任意k个元素都能通过从每个子集中至多取一(可以一般化为t)个元素来取得.一个优化问题是,确定m个子集中元素总数|B_1|+|B_2|+…+|B_m|的最小值N(n,k,m).这种问题不仅具有理论意义,而且有着重要的应用价值.本文研究N(n,k,m)的变化规律,给出N(n,k,m)的一个上下界,当2≤k
其他文献
航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可
期刊
医学图像的三维显示通过复杂计算为医生提供了直观的病人内部病理信息特征,它通过对具有空间特征的医学对象在静态或动态三维空间中进行处理,以视觉信息的形式充分反映出医学对象中丰富的隐含信息。
期刊
本年度我刊将特别关注大数据、移动互联网、云计算、信息安全、物联网方面的稿件。主要组稿方向如下(但不仅限以下方向):网络与通信:移动互联网、物联网、移动通信、移动支付、软件定义网络、近场通信、
期刊
尊敬的聂力主任、各位院士、各位将军、各位嘉宾、各参赛队的老师与同学们、朋友们:大家好!今天我们非常高兴地迎来了全国各地参加第六届计算机仿真大奖赛的选手们和专家们,在此,我谨代表本届评委会,对各位朋友的远道而来,表示热烈地欢迎!
期刊
很高兴能够见到大家,作为一个仿真界的老人,今天看到来了很多同学,他们能够参加到这个大奖赛说明他们都是青年才俊,有这么多的青年才俊共聚一堂说明仿真事业发展前景是非常美好的。第一,各位同学你们能够有幸进入到仿真这个领域,我觉得你们应当
期刊
2014年12月21日下午2:00在人民大会堂重庆厅隆重举行了《第六届全国计算机仿真大奖赛决赛及颁奖典礼》。主办单位是中国自动化学会,中国计算机用户协会,中国系统仿真学会,中国指挥与控制学会,教育部高教司,总装备部仿真技术专业组。承办单位是《计算机仿真》杂志社。
期刊
24~27 August 2015,Nanjing,China http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/ITP is the premier international conference for researchers from all areas of interactive theorem proving and its applica
期刊
The conference on Natural Language Processing and Chinese Computing(NLPCC)is the annual meeting of the CCF TCCI(Technical Committee of Chinese Information,China Computer Federation).NLPCC is a leading
期刊
在众多的输电形式中,架空线路是比较成熟稳定的一种。本文主要是探讨计算机图像处理技术在架空线路导线孤垂测量中的具体应用,希冀可以为实际电力线路的观测起到一定的参考意义。
期刊
d-和d-跟踪性质是Dastjerdi和Hosseini为推广伪轨跟踪性质于2010年提出的.本文考察该动力性质在迭代系统和逆极限系统下的性质.首先证明对动力系统(X,f),以下三命题等价:(1)f具有d-跟踪性质(d-跟踪性质);(2)对任意k∈N,f~k也具有d-跟踪性质(d-跟踪性质);(3)存在k∈N,使得f~k具有d-跟踪性质(d-跟踪性质).进而证明具有d-跟踪性质的系统是链混合的.最
期刊