徐佳琪
- 作品数：3 被引量：2H指数：1
- 供职机构：吉林大学更多>>
- 相关领域：自动化与计算机技术轻工技术与工程更多>>
- 一种超高产率银纳米线的制备方法
- 一种超高产率银纳米线的制备方法，属于一维纳米材料制备技术领域。本发明首先是将氯化物金属盐和聚乙烯基吡咯烷酮溶于多元醇中，得到均匀的透明溶液；然后将硝酸银的多元醇溶液逐滴加入其中，回流反应后加入含有还原剂的多元醇溶液，搅拌...
- 卢晓峰任思宇李闱墨徐佳琪张越
- 适用于ICONIX过程的UML图有色Petri网建模技术
- UML是一种通用性强,功能全面的可视化建模语言,但由于UML缺少精准的语义表达,使其在系统建模过程中不能给出形式化的验证和分析。目前有很多关于UML形式化的研究,有将UML模型直接定义形式化语义,然后对具有形式化语义的U...
- 徐佳琪
- 关键词：ICONIXUML形式化分析
- 文献传递
- UML图转有色Petri网图文法被引量：2
- 2011年
- 为解决由于UML(Unified Modeling Language)缺少精准的语义表达,使其在系统建模过程中不能给出形式化的验证和分析的问题,提出了UML模型转Petri网模型的图文法,利用Petri网的分析验证技术,实现了对UML模型的正确性验证。在设计阶段即发现系统的缺陷,从而减少软件开发后期发现设计的错误而带来的损失,提高系统的正确性和安全性。实验表明了该转换算法的有效性。
- 吴海孙永雄付庆兴徐佳琪
- 关键词：统一建模语言PETRI网形式化验证
