一类图的边幻和标号及其算法

探索和研究了一类新的图类的边幻和标号问题,给出了相应的边幻和标号算法,并给出了严格的数学证明,从而得出这类图都是边幻和图等结论.     

柱心为A53的SD型拟本原置换群的次轨道

 分析了SD型拟本原置换群的作用,确定了柱心为A₅³的SD型拟本原置换群G的次轨道的个数及其长度,从而确定了所有G弧传递图的度数.     

“西北风”刮到俄罗斯

6月17日,饿罗斯与法国在俄圣彼得堡开幕的国际经济论坛上签署了俄向法采购两艘“西北风”级两栖攻击舰的合同。俄国防出口公司方面披露：合同总金额约11亿欧元（其中前期购买的两艘为8．4亿欧元）,法国将向饿罗斯转交包括“SENIT9”作战信息管理系统和SIC-21联合指挥控制系统在内的所有相关技术。5月26日,在出席八国集团多维尔峰会期间,梅德韦杰夫总统与萨科齐总统宣布,两国已就法向俄出售“西北风”级两栖攻击舰一事达成“最终协议”。     

基于AutoCAD2010环境下机械零件样板图的设计

为避免每次绘制机械零件图之前进行绘图环境的设置而做重复工作,设计了一个机械零件样板图并保存是十分必要的。以A3横装机械零件样板图的设计为例,创建机械制图符合国家标准样板图的步骤、内容及方法如下：建立新图形文件,设置绘图单位和图形界限,设置常用的图层,设置文字样式,设置尺寸标注样式,绘制图幅线、图框线和标题栏,保存为样板文件。     

基于音素相关后验概率变换的发音质量评价

帧规整对数后验概率是目前公认最有效的发音质量的度量。但该文证明了该度量还反映了当前发音对应的声学模型与概率空间中声学模型的混淆程度,使其在评分任务上存在着严重的缺陷。因此,该文提出了可训练的音素相关的后验概率变换;并研究了线性和非线性sigmoid变换,同时给出线性变换的显式全局最优解和非线性变换的梯度下降解法。在全国采集的普通话水平测试现场考试的篇章朗读题型上进行实验。实验结果表明:当概率空间包含所有音素时,该方法能使人机相关度从0.582提升至0.768;当采用优化的概率空间时,该方法能使人机相关度从0.696提升至0.773。     

面向重用的三维CAD模型检索算法

针对现有CAD领域的检索算法对模型的局部细节特征描述不足的现状,提出了一种基于最大公共子图的三维CAD模型检索算法,通过提取CAD模型的B-Rep信息,将模型用属性邻接图来表示.根据如果2个CAD模型存在相似的特征或局部结构,CAD模型所对应的属性邻接图应存在公共子图的原理,通过检测属性邻接图中的公共子图,得到了2个与CAD相似的局部细节特征,并利用这2个相似的局部细节特征对CAD模型进行了相似性评价.实验表明,该方法能够实现三维CAD模型检索,且检索的效率能够满足工程检索的要求,因此可以实现CAD模型设计和制造知识的重用.     

海量信息异常检测问题的异常概率排序算法

针对异常检测算法速度慢、精度低、稳定性差等问题,提出了一种通过异常概率排序提取异常点的算法(OAP).由于异常点相对正常点更容易通过对数据空间的均匀分割而孤立出来,所以OAP通过数据点在均匀N叉分割树中的孤立深度估算异常概率的大小,从而得到异常概率的排序,最终构造由k个异常概率最大的点组成的列表,列表中的数据就是所求的...     

k连通图在边点割原子与点割上的可去边

图的可收缩边与可去边是研究连通图的构造和使用归纳法证明连通图的一些性质的有力工具.利用边点割断片的性质给出某些k连通图中在特定子图上可去边的分布情况,得到了最小度至少为(3(k-1)/2)或围长至少为4的k连通图(k≥4)中由边点割原子与点割所导出的子图的每一条边都是可去边.     

一种基于DAG图的异构可重构任务划分方法

为了实现高性能低功耗的计算,以任务划分为研究对象,提出了异构可重构计算的基本概念和形式化描述方法,给出了基于异构计算任务和异构可重构体系结构相结合的异构可重构两种任务划分方法:节点内部可重组及网络可重建的任务划分及算法,最后验证了其任务划分方法的有效性.     

同时有短期和长期债券的公司债券定价

主要考虑公司同时发行短期和长期零息票债券的定价问题.利用随机分析方法,在短期债券到期日,由于偿付短期债务会引起公司资产的跳跃,所以,长期债券的定价需要分两个时间段进行.在结构化模型下给出了公司在短期债券存续期间没有违约的概率,以及在此条件下公司资产的条件概率分布,得到短期债券和长期债券的定价公式.通过数值计算,分析债券价格随各个参数变化的金融意义.