电气原理图的自动识别

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

正交型与非正交型消元兼容的一种线代数方程解法

求解大型稀疏线性代数方程组 AX=C (1)常采用的直接解法有二种,最普遍的是LU分解法(即Gauss消去法,或称非正交型消元法).为了提高精度,常采用部分主元素或全部主元素法.但是,这一措施对一个非零元有确定分布的方程组,每次分解而形成的三角阵L和U其稀疏结构却是不同的.因此,每次分解用于寻找主元以及修改阵中非零元连接表的额外工作量很大,严重地降低了求解速度.文的作者做过一些试验,其结果见表1.他们的试验是在111机上用BCY语言实现的.试验表明,按主容限法(为兼顾稀疏性而对全主元降低了要求的全主元素法)作LU分解,总工作量往往正比于n~q(n为方程组阶数),其中q>1.为了避免选主元     

一种针对交互式软件的测试用例生成模型研究与实现

测试用例的自动生成是软件测试的一个重要方面，测试用例生成的复杂度与质量直接影响测试的效率和覆盖面，已有的针对软件功能测试的自动测试理论和方法在针对CAD和图像处理这类人机交互复杂、系统状态繁多的系统时，因复杂度大或者测试效率较低而难以在实际中应用．本文提出的一种针对复杂人机交互软件的测试模型一基于功能对象的测试用例生成模型，将用户使用被测试系统的操作流程看成是若干个处理过程的组合，采用面向对象的思想将用户的操作流程进行分解和封装，构建出用以生成测试流程的功能对象，并依照一定约束条件对功能对象的实例进行重组，派生出测试用例．本文提出的测试用例生成模型，已在三维数字化设计系统的专用测试平台CADTesting中成功实现，实践证明，该模型与现有的一些模型相比，实现复杂度低且测试用例的质量较高．     

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

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

做实

我国ERP方面的工作整体推进情况是好的。全国很多省市都有自己的ERP，在套数上占有市场很大的比例，但在功能等方面都有差距。症结在于ERP的开发和使用、维护服务这三者结合不够紧密。     

工程更改管理的设计与实现

论述了实现工程更改管理对企业实现全面质量管理和提高设计能力的意义和作用;分析工工程更改管理的业务需求,并给出了软件的功能要求,提出了通用的工程更改管理的对象模型,并用形式化方法论证了工程更改过程中,如何保证产品数据的完整性、一致性和可跟踪性;进一步讨论了在CIMS集成系统中与实现工程更改相关的关键技术和实现策略;最后,引入扩展标记语言来描述通用的工程更改文档,并给出了基于XML的工程更改文档类型定义方案。     

加强关键共性技术研究提高自主创新能力

今年年初,国家召开了全国科技大会,会议动员全国积极参与建设一个创新型国家,并提出了奋斗目标:在未来十五年要使我国的自主创新能力显著增强,进入创新型国家行列。科技大会对制造业也提出了明确的要求:掌握一批事关国家竞争力的装备制造业和信息产业核心技术,使制造业技术水平进入世界先进行列。党中央、国务院对制造业非常关注。我个人认为“,十一五”要以自主创新为主线,围绕这个重点,把装备制造业搞上去。科技部高新技术发展及产业化司的思路,要占领装备制造业主阵地,高举制造业信息化的旗帜,发展制造业。要实现占领装备制造业主阵地的…     

变量化设计中的多解性问题

在变量化设计过程中往往存在多解性,从所有可能的解中找出符合设计意图的有铲解是变量化中的一个重要问题。导致变量化设计存在多解性的主要原因是：（１）几何约束系统处于欠约束状态;（２）约束方程（组）的数学性质引起的多解性。文中讨论了在几何约束系统的分解呼约束方程（组）的求解过程中的多解性情况,并研究了利用设计对象所蕴含的几何信息寻找符合设计意图的有效解的问题。     

平面扩展简单多边形的布尔运算

Rivero等最近提出了一种用来计算任意平面简单多边形的交、并、差的新方法，在这一算法基础上进行扩展，使其可以应用到带圆锥曲线边的平面扩展简单多边形上，并给出了完整的数学模型。