基于hp模型的蛋白质结构检验

上传：王跑跑浏览： 40 推荐： 0 文件：RAR 大小：31.73KB 上传时间：2019-01-20 08:52:41 版权申诉

基于hp模型的蛋白质二级结构检验. 通过主函数，矩阵，以及其他函数。对蛋白质的二级结构通过遗传算法的改进算法，基于hp模型。消除了局部最大。

上传资源

基于π演算的工作流模型检验

描繪出馬可夫模型的實踐...透過DTMC方法來討論出離散時間

2019-09-05 09:31

模型检验技术的ppt

一个模型检验技术的入门资料，大家可以参考一下。

2018-12-20 04:34

蛋白质设计及蛋白质网络模型的研究

蛋白质设计及蛋白质网络模型的研究

2019-07-11 12:06

基于完备抽象解释的模型检验CTL公式研究

Abstraction plays a fundamental role in combating state-space explosion in model checking. In a comp

2021-02-22 19:49

论文研究基于吴方法的符号模型检验.pdf

模型检验技术广泛应用于验证并发系统的性质。它的瓶颈一直是内存爆炸问题，将BDD技术引入到模型检验中的方法能有效地缓和状态组合爆炸问题。然而，随着系统规模的增大，BDD的大小仍呈指数增长。吴方法是一种处

2020-07-16 06:17

论文研究基于SAPSOLSSVM的蛋白质模型质量评估.pdf

针对传统蛋白质模型质量评估没有考虑同源信息的问题，提出了一种基于LS-SVM评估蛋白质模型质量的方法。综合模拟退火（simulatedannealing，SA）算法跳出局部最优解和粒子群（partic

2020-06-19 02:48

应用优化的隐马尔可夫模型预测蛋白质结构类

应用优化的隐马尔可夫模型预测蛋白质结构类,杨惠云,石鸥燕,针对3-状态隐马尔可夫模型(Hidden Markov Model, HMM)预测蛋白质结构类准确率不高的问题,提出了优化的7-状态和8-状态

2020-09-11 13:43

UMLStatecharts的模型检验方法

UMLStatecharts的模型检验方法摘要: 统一建模语言 UML 已广泛应用于软件开发中,验证 UML 模型是否满足某些关键性质成为一个重要问题.提出了对 UML Statecharts

2019-01-16 05:54

船舶结构防火的检验要求

船舶结构的各项防火检验要求——《１９７４年国际海上人命安全公约》（ＳＯＬＡＳ７４）第Ⅱ－２章和船舶检验规范的规定，船舶结构防火的要求主要体现的几个方面

2020-07-20 05:01

优秀的蛋白质结构分析工具

该工具可在pdb数据库中找到相应源文件，用于对蛋白质结构进行详细的分析和研究，是非常实用的工具。

2018-12-07 08:30

蛋白质的结构与功能课件

蛋白质的结构与功能蛋白质的结构与功能蛋白质的结构与功能

2019-07-13 21:22

基于模型检验的软件可信分析模型共4页.pdf.zip

基于模型检验的软件可信分析模型共4页.pdf.zip

2022-12-28 09:38

论文研究基于交际接口的Web应用模型检验.pdf

为了验证Web应用的质量，首次采用了基于交际接口及其工具TICC的建筑智能化系统Web应用验证方法，通过一个简单的能源管理Web应用系统实例说明了整个建模、构件模块组合验证和系统性质验证过程。结果表明

2020-07-24 02:00

论文研究基于优化判别模型的蛋白质分类方法.pdf

在远同源检测的蛋白质分类方法中，基于判别模型的分类器相对于其他方法取得了最高的准确性，但这类方法都面临训练建模时因正类样本不足导致的训练不平衡问题。为此提出一种基于优化判别模型的蛋白质分类方法，通过对

2020-07-19 18:39

论文研究基于半边图模型的蛋白质建模研究.pdf

适合大中型蛋白质的建模方法目前尚属于空白。设计出一种新预测模型，称为“半边图模型”。利用半边图模型描述底层数据结构，进行底层计算，确立蛋白质的立体结构。新模型适于表现原子之间和原子团之间的相互结合作用

2020-07-16 14:17