共查询到20条相似文献，搜索用时 31 毫秒
1.
马宁 《鞍山师范学院学报》2007,9(2):54-56
校核、验证与验收（VV＆A）是检验仿真系统可信性的重要工作，也是建模与仿真（M＆S）的一个必不可少的组成部分．特别是对于日益庞大的仿真系统而言，它的VV＆A工作更加繁重．如果单靠人工来完成，其工作量和花费都是非常难以想象的．因此迫切需要一种计算机工具来辅助其VV＆A工作，借助它来提高整个仿真的经济性和快捷性，降低工作人员的疲劳程度．本文设计的仿真系统VV＆A工具正是实现此类需求的一个系统． 相似文献
2.
3.
4.
郭筠 《新疆教育学院学报》2007,23(2):127-129
针对传统仿真建模中存在的缺陷,本文提出了一种动态仿真建模思想,并以这个思想为核心构造了基于专家系统、智能体(Agent)以及图形建模技术的动态仿真建模框架,研究了实现该框架的关键技术及其相关解决方案。 相似文献
5.
该文提出了一个基于网格的仿真集成框架GS.该框架遵循HLA建模仿真标准,将传统的建模仿真方法和组件集成到网格环境中,强调网格计算对仿真应用的透明支持作用. 相似文献
6.
《蒙自师范高等专科学校学报》2016,(2)
近年来,随着Internet上的Web服务数量激增,单个Web服务已不能满足用户需求,开展语义Web服务的组合问题研究具有重要的现实意义。文章在前期Ontology的语义Web服务组合框架研究基础上,围绕Petri网在Web服务的应用展开工作,提出一种Petri网的服务组合建模方法,并通过实例仿真对其有效性、可行性进行了验证。 相似文献
7.
刘晓瑞 《洛阳工业高等专科学校学报》2006,16(1):42-44
主要讨论UML在网络游戏框架设计建模过程中的应用。提出了网络游戏框架设计技术中需要解决的关键问题:游戏平台实现和服务层实现。主要围绕框架设计的这两个关键问题进行具体的UML建模工作,为具体的游戏开发语言代码编写打下一个良好的基础。利用一个具体游戏实现过程中的建模问题,从UML的角度来对游戏的设计进行组织和研究设计。 相似文献
8.
为了解决传统数字芯片验证环节中基于仿真的验证（或动态验证）功能覆盖率收敛速度慢的缺点,提出一种新的以功能覆盖为导向的测试用例生成方法,该方法基于贝叶斯网络和机器学习技术,可实现从覆盖模型到测试用例生成器反馈回路的自动关闭,在 DUT 的验证过程中,使用该方法为所测试的设计生成新的激励。实验结果表明,基于贝叶斯网络的 CDG 技术测试用例使用较少,覆盖率收敛更快,与传统基于仿真的验证技术相比,测试用例数量减少了 43%。基于贝叶斯网络的
比于传统动态验证技术而言其芯片功能验证更完善。 相似文献
9.
本文提出了校核高精度轴弯曲刚度的一种方法,即有限元法,并结合实例探讨了本方法的应用。因其易于编程上机,与其他方法比较,此法更精确、有效。 相似文献
10.
发现式学习已经在自然科学与工程教育领域得到了广泛的应用 ,但在社会科学领域并不多见。本文首先讨论了在社会科学教育与研究领域引入基于多主体的计算建模和仿真方法的必要性 ,在分析现有多主体建模与仿真平台 (工具 )优缺点的基础上 ,提出并实现了基于多主体的计算建模和仿真框架。实验结果表明 ,该框架能为构建社会科学领域的发现式学习环境提供理论和工具支持。 相似文献
11.
为使实时仿真器在半实物仿真实验中与符合IEC 61850标准的二次设备进行无缝连接,建立符合IEC61850通信标准的实时仿真应用场景,提出一种基于MMS的适用于实时仿真器的IEC61850服务器软件解决方案,对模型建立、通信构架、对象与服务映射、程序流程进行了研究与设计。使用IEDScout软件作为客户端进行通信与模型验证、自动建模验证及MMS读写功能验证,各项功能均达到预期效果。 相似文献
12.
ABAQUS是通用有限元分析系统,能对复杂的固体和结构力学问题进行数值计算分析。为缩短修边刀块动载荷强度校核时间,利用其能够快速和准确得出修边刀块的动载荷强度条件。使用UG对修边刀块进行三维建模,导入ABAQUS对其进行单元类型的选取、网格尺寸的确定、接触关系的定义、整体有限元模型的建立等数值模拟技术进行深入研究。对修边刀块模型进行简化,建立力学模型,利用其对修边刀块进行应力和应变分析,采用传统的强度校核验证ABAQUS对修边刀块的强度校核,以料厚t为1.0mm﹑长度b为300mm﹑高度h为40mm修边刀块为例,利用ABAQUS最大应力为16.27Mpa,最大变形量为3.812um,而采用传统的强度校核理论分析对应的数值为16Mpa,两者相差1.69%,均在安全工作范围内。结果表明:ABAQUS对修边刀块的强度校核与理论分析相吻合,其对修边刀块的强度校核具有快速性、可行性和可靠性,且可缩短研发时间、降低成本。 相似文献
13.
基于Ajax技术的表单验证 总被引：2，自引：0，他引：2
传统的表单验证往往通过复杂的服务器端框架,比如J2EE中struts的validator框架等.这些解决方案既增加了服务器端配置的复杂性又增加了服务器的负担.而Ajax技术的运用让我们找到了更为简单便捷的表单验证方法.文中通过一个实例探讨了如何利用Ajax这种客户端技术和传统服务器端技术相结合实现表单验证的方法. 相似文献
14.
邓海 《九江职业技术学院学报》2006,(1):13-14,41
介绍了电子设计自动化（EDA）技术的特点以及应用EDA技术进行电子系统设计的方法。作为应用实例，给出了八音电子琴芯片的设计过程，在进行软件仿真分析后利用GW48EDA系统实现了硬件验证。 相似文献
15.
陈云 《常熟理工学院学报》2012,(10):76-78
利用Solidworks软件对滚珠式传感安全离合器进行了三维实体建模,建立了力学分析模型,给出了力与扭矩的关系式及接触强度校核方法. 相似文献
16.
水力模型已广泛应用于给水管网设计、分析与运行中。在所有水力模型中,需水量是导致模型输出最不确定的参数之一。因用水情况不确定,使得管网中的节点需水量变得异常复杂。在大多数实际管网中,用于校核节点需水量的监测设备数量有限,且小于未知量个数,使得节点需水量校核作为欠定问题,令节点需水量校准产生较大误差,并且传统遗传算法校核节点需水量的方法是假定所有节点的需求乘数因子一致,这也导致校核后的模型无法接近真实运行情况,因此提出在欠定条件下用遗传算法解决需求乘数因子的校核问题。通过对一个实际案例多次运行并取平均值作为结果进行验证,结果表明,遗传算法的校核结果不仅能够与被测位置的实际值相拟合,而且可以得到非测量位置的管道流量和节点水头,其中校核后的节点水头和管道流量误差较小,平均误差分别为1.78%、4.05%。该方法相比于传统校核方法具有更高精度,且更能反映出管网真实运行情况,同时还避免了传统校核方法中因遗传算法产生局部最优解而导致误差偏大的问题,对于大型管网模型校核也具有一定参考价值。 相似文献
17.
Struts是实现基于网络的MVC模式的应用框架之一,其核心为一个灵活的、基于JavaServlets、JavaBeans等标准技术的控制层。介绍了Struts框架的体系结构和工作原理,并以商务网站身份验证的项目为例,对Struts在Web应用程序中的具体应用进行了详细的探讨。 相似文献
18.
针对复杂机械产品协同设计与仿真中的模型共享与数据映射问题,提出了多学科集成建模方法,构建了融合主模型、语境模型和应用模型的多学科集成模型,研究了多学科集成建模方法中基于特征的主模型构建方法和主模型、多学科仿真语境模型、多学科仿真应用语境之间的模型映射方法,实现了基于多学科集成模型的复杂机械产品协同设计与仿真,并通过整体叶盘多学科协同设计与仿真试验验证了该方法的正确性和有效性。 相似文献
19.
为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证. 相似文献
20.
分析了《研究生英语精读教程教师参考书》（上册）参考译中存在的一些问题，并尝试进行了改译，参考译本来有助于教师节省备课时间与精力；但不妥的译不仅无益，反而会误导师生，只有在翻译的理解阶段做到准确，在表达阶段做到流畅得体，在校核阶段做到细心，才能保证参考译的质量。 相似文献