退出
我的积分:
中文文献批量获取
外文文献批量获取
凌辉; 李茜; 许晓春; 徐永森; 徐家福;
南京大学计算机科学与技术系;
用例模型; 使用测试模型; 软件开发; 软件需求分析;
机译:使用调试器基于系列硬件测试模型
机译:使用模型转换重构基于反模式的用例模型
机译:使用模型检查的用例基于模型的源代码验证-以ASP.NET应用程序为例
机译:自动生成测试用例:从xtUML系统模型到QML测试模型
机译:一种基于逻辑的方法,用于基于用例的需求验证和域模型改进。
机译:基于模型的测试用例优先级排序使用经过仔细检查的排序标准的基于选择性和均匀分布计数的方法
机译:通过使用适当选择的热力学循环和热力学积分方法进行蒙特卡洛计算机模拟,研究了将五个模型的甲酰胺和三个模型的水混合在一起时发生的热力学变化,包括这些模型组合本身的可混溶性。结果表明这两种组分的混合接近于理想的混合,因为混合的能量和熵在整个组成范围内都非常接近理想的项。关于混合的能量,甲酰胺的OPLS / AA-mod模型的行为与所考虑的其他模型在质上不同。因此,该模型得出的结果是负的,而其他模型得出的正能量则是与所有三种水模型结合使用时的混合值。实验数据支持后一种行为。尽管混合的亥姆霍兹自由能在整个组成范围内始终为负,但大多数测试模型组合显示出有限的混溶性,或至少非常接近某些组合物的混溶性极限。关于这些模型组合的混溶性和混合能量,我们建议在模拟水-甲酰胺混合物时使用CHARMM甲酰胺和TIP4P水模型的组合。
机译:Viking mars Lander 1975动态测试模型/轨道开发测试模型强迫振动测试
机译:使用从测试模型生成的测试用例进行缺陷检测
机译:基于贝内特内部测试模型的贝内特内部测试模型的生成过程
机译:使用半导体系统或显示系统的用于精确转印位置测量的测试模型,以及使用该测试模型的精确转印位置测量方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。