网络图自动生成算法研究

本文针对当前项目管理软件中网络图绘制的缺陷 ,对网络图自动生成的算法作了新的探索 ,提出的算法力求使生成的网络图逻辑关系清楚 ,布局合理 ,直观清晰 ,对改进项目管理软件在此方面的不足甚至对整个项目管理软件的研究有重要意义 .本算法亦有一些遗留问题需进一步研究 .     

网络计划编制系统中网络图的自动生成

本文从设计角度，系统地介绍了一个计算机网络计划编制系统中如何实现计算机辅助生成网络图和时间坐标网络图的方法与步骤。并阐述了资源优化的计算机实现。     

网络图的自动生成

本文叙述了网络图自动生成的方法和步骤,介绍了相应的计算机程序的功能,在网络分析的图形化方面提供了一个有效的工具。     

有效解集的自动生成方法

本根据多目标规划有效解集的特性,应用神经网络的逼近和分类功能,建立了多目标规划有效解集的自动生成方法,证明了有关定理,给出了应用示例。     

网络图修改方法的两个创新

随着社会的不断向前发展，网络图的应用越来越广泛。比如项目管理中的网络图、电网中的控制图和交通运输中的控制图等都是常见的网络图。网络图越复杂，修改起来越麻烦，本提出的网络图修改方法的两个创新能大大提高网络图修改方法的效率。网络图修改的第一个创新是网络图节点的高效删除．第二个创新是平行工序变为顺序工序的自动实现。     

绘制统筹网络图的一个标号算法及应用

本文给出了一个绘制统筹网络图的有效算法，称之为标号算法．利用标号算法可使计算机在只接收到各工序间紧前紧后关系的数据后，便可生成网络优化中必需的网络图形．利用该算法我们还建立了网络优化计算机辅助设计系统，该方法和计算机辅助设计系统，目前已在山东省兴隆庄煤矿井下的拆除和安装工程中得到了具体应用，收到了良好的效果．     

任意区域的网格自动生成和任意高阶有限元方法

本文首先简要介绍非拟合网格有限元方法求解复杂区域上椭圆问题的发展现状.然后结合最近本文作者发展的非拟合网格有限元方法,针对二阶椭圆方程提出一种任意光滑区域上的任意高阶协调有限元方法.本文在带悬点的Cartesian网格上自动生成诱导网格,在诱导网格上构造协调的高阶有限元空间,采用Nitsche技术处理Dirichlet边界条件,并证明方法的适定性和hp先验误差估计.数值算例验证了本文的理论结果.     

网络图中部分结点环游的优化

本文讨论网络图中部分结点环游的优化问题，怎样将该问题转化为完全图中的货郎担问题，并给出该问题的动态规划解法．     

基于情景推演与网络图技术的应急处置模式研究

突发事件应急处置工作时间紧、任务重、压力大,要求工作人员分秒必争,传统的"兵来将挡,水来土淹"的应急处置模式已不再适用,时间压力要求以一种新型、高效的处置模式来代替传统模式.研究在有关突发事件情景演变的研究基础之上,结合项目计划与控制中的网络图技术,提出了一种基于情景推演与网络图技术的应急实时处置模式,确定了这种处置模式的流程.以2010年大连输油管道爆炸事件为例,对传统的处置模式与基于情景推演与网络图技术的应急处置模式做了比较分析,分析结果证明,基于情景推演与网络图技术的应急处置可有效节省时间45小时40分钟,这对于分秒必争的应急处置工作意义非常重大.     

N维点集凸包的计算机生成原理与方法

本文提出计算N维点集凸包问题的一个新算法,其基本作法是:首先生成一基本凸包,然后逐次依该基本凸包的诸面及法向为基础生成新的顶点集并形成更大的部分凸包,如此逐步递归地系统生成所求凸包的全部顶点及面.与已知的Chand-kapur方法相比,该算法每增加一个新的顶点不需求解线性代数方程组,从而计算效率大大提高.     

城市公交线路网络图的最短路与乘车路线问题

分析大城市公共交通网络图的特点 ,提出了乘公共交通在大城市观光旅游时的乘车路线问题 ,并应用图论的理论和方法 ,通过建立数学模型 ,给出最佳乘车路线的设计方法 .本文的方法和结果可以应用在城市公共电脑服务系统中、公共线路的设计上、公交线路网络图的评价和改造上等 .     

计算机自动优选回归曲线方程

计算机自动优选回归曲线方程，乃是凭借笔者开发研制的计算机专用软件，在系统内给出的２０个曲线方程中，由计算机自动快速选出一个与已知二维数组散点图拟合得最佳的曲线方程，作为二维数组的回归曲线方程．     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

基于“网络图”的题型设计之探索

近几年来,在全国各地的高考试卷中,经常会出现一些情景新鲜、内容新颖、方法新巧,让人耳目一新的考题.人们习惯上称之为新题型.这些新题型已成为高考试卷中亮丽的风景线,倍受人们关注;也是广大师生深感忧愁的美丽,因为它新不可测,让人有些迷茫.     

体上矩阵环的极小生成系

本文证明体上某些矩阵环及相关的代数系统可由两个元生成。     

智能动画创作系统 PNAI 的研究进展

计算机动画制作是一件十分耗费时间的工作,提高计算机动画的效率是一项重要的研究课题.近几年我们研制的计算机动画生成系统中的3个底层子系统以及其中涉及的方法,为计算机动画生成提供了有效的支持.在场景设计方面,我们提出了基于场景实例和场景设计知识的场景设计方法;在自动摄影中,我们提出了一种基于摄影脚本的摄影方法;在脸部动画方面,我们采用了RBF方法以及利用了一些预先编成的MEL脚本     

论高效数学课堂教学的有效预设与生成

数学学习充满着学生主动的、丰富多样的活动,包括观察、实验、猜测、验证、数据资料的收集、整理、描述、画图、推理、反思、交流等,因此数学教师在数学课堂上的教学实践也是复杂多样的,而数学课堂教学的过程性和动态性决定了它具有不确定性.而     

局部积分余弦算子函数的生成定理

本文讨论局部k次积分Cosine算子函数，在不假定其生成元稠定每件下，建立一个Hille—yosida型定理．