并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

双层优化交通模型及其算法

提出了一个用于交通工程实践的考虑用户路径选择行为的两层数学规划模型.该模型可以应用在交通网络 设计、道路收费、交通信号灯配时等方面.分析了两层规划模型的特性和求解难点所在.并提出了一种基于路段变 量的连续可导的边际函数和距离函数,从而把两层规划转化成单层规划问题.通过把距离函数罚到目标函数上,转 化后的单层规划问题可以方便求解.     

气动式防盗盖铣字机的PLC控制系统设计

采用PLC设计了一种用于气动式全自动防盗盖铣字机的控制系统,介绍了该系统的自动循环工序、控制原理,给出了应用SFC图转换梯形图设计PLC控制程序的方法.该控制系统克服了传统的机械式铣字机加工效率低、结构复杂、维修困难等缺点.     

图的最大亏格与面度

利用图在曲面上的嵌入特征,特别是面的度的大小,研究图的最大亏格的下界.     

Gn^d，s图的（n-1）-角色分配

Everett和Borgatti引入了k-角色分配的概念.进一步,他们引入并研究了图G的k-角色可分配程度来表示图G可以在多大程度上进行k-角色分配,记作αk(G).他们还给出了k=2时的k-角色可分配程度α2(G)的下确界,并回答了什么时候α2(G)达到下确界.本文证明了k≥3时,αk(G)的下确界为0,并证明了当图G为G1,sk+1图且a(s+1)≠0(mod k+1)(a=2,3,4)时,αk(G)达到下确界;最后还刻画了能够(n-1)-角色分配的G1,sn图.     

基于颜色特征的改进图像检索算法

本文提出一种综合图像的颜色、灰度和空间信息提取特征向量的改进算法将图像从RGB空间转换成HSV空间,将彩色图像转换成黑白图像,并分别进行直方图量化后,进行相似度比较;改进颜色相关图的算法,提高颜色空间特征的检索效率.     

机会约束下风险证券的期望收益率的切点组合(简报)

在现实生活中决策者进行投资决策时,有时要求风险证券的实际收益率比某一期望收益率要大,以该目标为导向制定相应的最优策略.考虑到所做决策在不利情况下可能不满足约束条件,故允许所做决策在一定程度上不满足约束条件,但该决策应使约束条件成立的概率不小于某一置信水平,该方法由Charnes和Cooper提出,被称为机会约束规划.本文讨论证券组合的机会约束问题.     

关于Euler生成子图极大边数的一个注记

若图G存在欧拉生成子图,则称G是超欧拉图(supereulerian).常用SL表示全体超欧拉图组成的集合 设G是有n个点的简单图,G∈SL,如果δ(G)≥ 4且δ≥n5-1,则G存在欧拉生成子图H,使得 |E(H) | / |E(G) |≥ 3/5     

简单图含有完全子图的一个充分条件

从生活中的一个问题出发,运用图论知识进行了分析,得到了结论,并且对结论进行了推广 得到了在一般情况下简单图含有完全子图的充分条件 并且,在度数要求方面,这个结果是最佳可能的     

数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。