Component; Behavioral interoperability; Positive/negative model; Model checking;
机译:使用边界模型检查来验证网络ASIC组件
机译:组件协议一致性的模型检查–通过减少错误的否定词进行优化
机译:使用每日牛奶组分和行为传感器数据鉴定革兰阴性和革兰氏阳性临床乳腺炎
机译:使用正/负模型检查验证行为分量互操作性
机译:通过三体稀有和禁止的魅力来寻找超出标准模型的物理场,将衰减正D介子,正奇怪D介子衰减为正kaon正muon负muon,负kaon正muon正muon,正pion正muon负muon,负介子阳性介子阳性介子阳性介子阳性介子阴性介子
机译:一种新颖的血液及其成分床前输血身份检查方法:Sandesh阳性-阴性方案
机译:通过使用适当选择的热力学循环和热力学积分方法进行蒙特卡罗计算机模拟,研究了将五种甲酰胺模型和三种水模型混合在一起时发生的热力学变化,包括这些模型组合本身的可混溶性。结果表明这两种组分的混合接近于理想的混合,因为混合的能量和熵在整个组成范围内都非常接近理想的项。关于混合的能量,甲酰胺的OPLS / AA-mod模型与其他模型相比,在质量上有不同的表现。因此,该模型得出的结果是负的,而其他模型则综合考虑了所有三个水模型的结果的正能量。实验数据支持后一种行为。尽管混合的亥姆霍兹自由能在整个组成范围内始终为负,但大多数测试模型组合显示出有限的混溶性,或至少非常接近某些组合物的混溶性极限。关于这些模型组合的可混溶性和混合能量,我们建议在水-甲酰胺混合物的模拟中使用CHARMM甲酰胺和TIP4P水模型的组合。