星的全着色和计数

超图H的全着色是指同时给图中的顶点和超边进行着色,使相关联或相邻的元素间着不同的颜色,满足这一条件的最少色数就称为全色数,记为χT(H).超图的全着色又可以分成弱全着色和强全着色两种情况.本篇文章主要讨论超图中星形图S(v)的弱全着色和强全着色,并给出相应的弱全色数和强全色数,χWT(S(v))=Δ 1,χST(S(v))=M 1,以及有关全色数计数的相关结论.     

具有不可忽略退出的面板数据混合半参数变系数模型

由于面板数据经常出现由信息性退出而引起的缺失数据,故其统计分析比较复杂。本文假定响应变量服从部分线性半参变系数混合效应模型,其中非参数系数函数依赖于相应的退出时间。利用二步估计方法的思想求得参数与非参数部分的相合估计,减少了同时估计的参数的个数,避免了估计方程中由较多参数引起的多重共线性问题。     

中国会成为霸权国家吗？

斯德哥尔摩国际和平研究所6月7日公布的报告称,2010年美国的军费开支为6980亿美元,排名世界首位,占全球的43％。美国的军费几乎等于世界其他国家军费的总和。据《时代》周刊报道,美国2011年总军费将超过7000亿美元,达到二战以来的最高水平。而中国的军费开支估算数据为1190亿美元,占全球军费开支的7．3％,约为美国的1／6。瑞士“国际关系与安全网”也宣称,“自2005年以来,中国的军费每年增加17％”,“中国未来之路的不可预测性令人沮丧”。     

采用非结构网格的IDEAL算法实现及定压边界条件处理

在非结构网格系统中采用有限容积法对不可压N-S方程进行了离散,其中对流项采用二阶迎风格式,扩散项采用超松弛校正格式.通过修正的动量插值格式构造了压力方程,利用IDEAL算法处理压力与速度的耦合.利用Taylor展式导出了邻近边界内节点的压力计算公式,进而将边界静压引入到压力方程的迭代计算中,确保了边界信息向内部区域的有效传递.根据质量守恒定律分别导出了压力入口和出口边界的速度计算公式,结合伯努利定律给出了总压边界的处理方法.通过压力驱动管内层流、三通管层流以及浮力驱动流等几个典型算例对文中方法进行了考核,并将计算结果与文献中的基准解和实验值进行了对比.结果表明,不管是静压边界还是总压边界,采用该处理方法均能获得令人满意的结果,尤其对于大空间自然对流问题,可以在保证精度的前提下节省大量的存储空间和运算时间.     

3-正则Halin图的边可区别数

根据3-正则Halin图的Hamilton性,结合其边的相邻关系,通过适当地选取边进行着色后证明了4和6阶以上3-正则Halin图G的边可区别数分别为3和2.     

超立方体三次幂的可区别数研究

根据d维超立方体p次幂结构特性,研究了其顶点间距离与海明距离的关系,给出了确定顶点坐标的充分必要条件,并对d维超立方体三次幂H3d的可区别数进行了研究.得到H3d可区别数的一个上界:D(H3d)≤5(d≥6).     

基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

基于HTCPN的飞机维修保障资源配置方法

针对飞机基层级维修保障资源配置问题,提出了一种基于分层赋时着色Petri网(hierarchical timed colored Petri net, HTCPN)的维修保障资源配置方法。首先,根据飞机基层级维修保障工作内容及流程,运用CPN Tools软件,构建飞机维修保障全过程的HTCPN仿真模型,设计仿真时钟折算方法。其次,提出维修保障资源配置规则,建立基于飞机出动架次率的维修保障资源配置模型。最后,算例分析结果表明所提方法能够迅速、准确地完成飞机基层级维修保障资源配置。所提方法为科学制定飞机基层级维修保障配置方案提供了技术支撑,具有一定的工程应用价值。     

简单闭包空间与形式背景的联系

结合概念格中交不可约元的概念,探讨简单闭包空间与形式背景的联系.首先,根据简单闭包空间与知识空间的对偶性,定义知识基的对偶集A,在此基础上,研究合取模型下技能约简的实质.其次,在技能背景中提出交不可约元的概念,论证A与交不可约元一致性.然后,阐述技能约简的本质与形式背景中保持最小交式生成组的约简相同.最后,给出技能约简...     

一种匿名代理签名方案的标记

Fu-Kou-Xiao提出了一种匿名代理签名方案,其特点在于：用户的真实身份隐藏在原始签名人颁发的一个假名中;匿名性撤销时不需要可信第3方的参与.对该方案进行分析发现,原始签名人可以滥用代理授权,代理签名人也能够对自己所生成的有效代理签名进行事后否认,即不满足代理签名权力的不可滥用性和不可否认性.