华力28LP与22ULP不同工艺平台的转制程EFUSE_TQV版图设计,跳过常规的版图设计,通过编写特殊DRC验证规则利用版图验证的方式,显示出......

在基于构件的系统中，随着用户需求、软件运行环境不断地发生变化，系统在运行中需要不停地进行更新，对于某些需要长期运行的关键业务系......

无论是自动产生还是用户输入的数据,都要验证它的完整性和有效性。这项工作可能非常繁琐,因为数据可能有不同的类型和格式。随着MV......

日常工作中经常会出现银行卡号码填写错误的情况,经研究发现银行卡号遵循Luhn算法规则。通过ExcelVBA和Excel公式实现Luhn算法对银......

用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提......

中国特色社会主义事业获得全效发展,当中各类业务开始对于互联网技术产生高度依赖特性,一旦说操作沿用期间衍生任何故障危机,都会......

针对制造业企业PDM（Product Data Management）系统中图文档数据外发方式、访问控制的需求，在传统文档外发方式的基础上研究出一种适用......

介绍了海上油田数据质量检查系统的开发方法以及该系统的功能结构,该系统主要用于钻完井数据质量的检查。......

为降低软件测试成本,基于模型驱动的测试领域研究得到了极大发展。测试的准确性以模型的正确性为前提,在进行测试前必须对模型正确......

In the present study,the reliability design of semicircular breakwater is based on the verification of the rules defined......

传统的城市轨道交通信号系统轨旁设备的布置,主要依赖于系统设计人员的个人经验,其准确度和效率都不能得到有效保障,更多地依赖于......

介绍并讨论了在系统开发过程中使用UML(Unified Modeling Language)与其他形式化方法得到的一种精化模型, 而且这一模型也同样支持......

针对知识熔接（KF）函数功能不全面,影响Check-Mate验证规则定制的问题,提出了基于NXOpen二次开发技术定制Check-Mate验证规则的方法。......