基于SolidWorks的设备库的研究和实现

改进了文献［2］中提出的一种由软件的UML模型转换得到软件的Markov链使用模型的方法。采用Java语言实现了一个从软件的UML模型获得软件使用模型的工具。     

基于SolidWorks的三次开发方法研究

详细探讨了如何于SolidWorks二次开发完成后,在不改动程序的前提下,为用户提供良好的三次开发接口,并实现对产品库和零件库的修改和升级。此方法有效延长了二次开发软件的生命周期,使软件得到最大程度的利用,对CAD软件的企业级应用具有十分重要的意义。     

软件测试准则的有效性度量研究

测试准则的有效性是软件质量保障的一个重要问题,但至今仍没有一个有效的度量方法．已有的度量对于全面表示测试效果、提高软件质量的作用非常有限．潜在失效距离（pfd）将测试准则对软件的测试有效性视为以规范、程序、缺陷类型和测试准则为自变量的函数,从软件和测试准则交互的角度来度量测试的有效性．与已有的度量相比较,该度量反映了软件经过满足测试准则的充分测试后获得的可靠性,为比较测试准则的测试效果提供了可行的方法,为设计更易测试的软件提供了指标．     

用着色Petri网建模工作流模式

工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准,目前市场上的工作流引擎对其支持得并不好。本文重点阐述了基于着色Petri网的工作流建模语言对当前流行的20种工作流模式的支持情况。结果表明,该语言不仅能很好地支持全部模式,而且具有建模简洁、准确的特点。同其它建模语言相比,用着色Petri网建模工作流模式具有较好的灵活性和扩展性。它也为如何使基于着色Petri网的工作流引擎能够正确、有效地支持全部20种工作流模式提供了有意义的指导。     

基于CMMI-SW软件过程定义模型CSPDM的研究

为改进传统的软件过程定义模型缺乏动态跟踪机制和专业性的缺陷,将任务和活动进行有效地结合,并引入动态跟踪机制,提出以活动为核心的过程定义模型,模型分为针对软件过程框架的EIDEF0和针对活动的BETVX,分别描述了软件过程的基本要素、过程的测量项、输入和输出以及过程间的关系;过程活动的组成要素、任务及其关系、执行活动的角色、执行者、资源和信息。模型完全符合CMMI-SW的要求,并结合工作流控制的特点,降低了实施软件过程改进和评估的成本。     

软件先验知识和基于测试的可靠性评估关系研究

软件测试能够为软件可靠性提供一种运行前评估．为减少达到一定可靠性目标所需要的测试用例的数量，普遍认为可以将软件的先验知识综合到基于测试的可靠性估计模型中．目前已经提出几种理论模型但是少有试验验证．本文对测试系统的定义进行了扩展，从规范、实现和测试之间的关系，研究了影响软件测试有效性的因素，并通过试验验证了基于贝塔分布模型的先验知识和基于PAC模型的先验知识在可靠性估计中的作用．本文的结论认为是软件的易测性特征而不是先验知识的多少决定了达到一定可靠性目标所需的测试用例数量．该结论有助于理解软件设计对于测试有效性的影响．     

电气原理图的自动识别

本文给出了一种识别通用CAD软件绘制的电气原理图的方法。该方法先根据电气符号的几何特征将其从图纸中提取出来并使用含两级属性的属性图表示,然后采用过滤图模式库和Ullman算法相结合的方法识别电气符号,最后提取图纸中各种文字标注和电气符号的连接关系。实验证明,该方法能够准确地识别电气原理图。     

菌群细胞图像分离算法研究

颗粒图像分析中聚堆目标的分离对目标的计数及特征的提取非常重要.现有分离算法都要求聚堆目标粘连处凹陷比较明显,并且/或者存在灰度局部最小边缘.菌群聚堆细胞大小不一、聚堆形态各异,多数聚堆细胞并不具备上述条件.文中提出了一种基于聚堆区域轮廓跟踪、删除的分离算法,依据跟踪"虫"在跟踪过程中遇到已跟踪过轮廓点的情况判断分离的进行.实验结果表明算法对菌群聚堆细胞分离的成功率要高于现有算法10%以上.     

"两甩"是艰苦长期的工程

今天参加中国制造业信息化2007年新年趋势论坛十分高兴,看到好多老朋友,又结识了一些新朋友,新朋老友聚会在一起共同探讨中国制造业信息化发展的趋势,意义十分重大.     

Trimmed NURBS曲面参数域的快速三角化算法

本文介绍对裁剪后的ＮＵＲＢＳ曲面参数域的一个简单、快速的三角划分算法．该算法首先对参数域进行初始划分，然后对初始划分中的每个三角形进行取舍判断或裁剪，保留参数域内的部分，丢弃参数域外的部分．为了提高速度，本算法采用了近似参数域边界线、避免无效计算及避免重复计算等措施．测试所得的数据表明，三角划分的时间与划分数成线性关系．