期刊文献+
共找到720篇文章
< 1 2 36 >
每页显示 20 50 100
求解四阶半线性抛物方程的B样条有限元法
1
作者 秦丹丹 李阳晴 黄文竹 《吉林大学学报(理学版)》 北大核心 2025年第5期1337-1347,共11页
首先,用三次B样条有限元法求解一类带有变系数的四阶半线性抛物方程,证明半离散格式的稳定性和收敛性;其次,用Crank-Nicolson方法离散时间变量得到全离散格式,讨论全离散格式的稳定性和收敛性;最后,在数值算例中,采用Picard迭代方法处... 首先,用三次B样条有限元法求解一类带有变系数的四阶半线性抛物方程,证明半离散格式的稳定性和收敛性;其次,用Crank-Nicolson方法离散时间变量得到全离散格式,讨论全离散格式的稳定性和收敛性;最后,在数值算例中,采用Picard迭代方法处理非线性项,得到有限元法按照L 2模和H 2模的收敛阶. 展开更多
关键词 四阶半线性抛物方程 变系数 三次b样条有限元法 稳定性 收敛性
在线阅读 下载PDF
B/N掺杂单栅GFET的自洽模型研究
2
作者 刘杰 王军 《传感器与微系统》 北大核心 2025年第2期57-61,66,共6页
建立了B/N掺杂单栅石墨烯场效应管(GFET)全工作区域下的漏极电流模型。利用自洽方法获取精确的电势-电荷关系,解决了建模过程中的多重对数问题。该模型明确捕捉到产生非零带隙和狄拉克(Dirac)点偏移对载流子片电荷密度和迁移率等参数的... 建立了B/N掺杂单栅石墨烯场效应管(GFET)全工作区域下的漏极电流模型。利用自洽方法获取精确的电势-电荷关系,解决了建模过程中的多重对数问题。该模型明确捕捉到产生非零带隙和狄拉克(Dirac)点偏移对载流子片电荷密度和迁移率等参数的影响。此外,通过考虑相互作用参数和杂质浓度建立了一种半经典扩散迁移率模型。所提出的漏极电流模型和扩散迁移率模型的模拟数据与7.5%B-掺杂单栅GFET的实验数据具有良好的一致性,验证了方法的有效性。在不同掺杂浓度下,B/N掺杂单栅GFET漏极电流模型所预测的转移特性曲线与输出特性曲线表明,通过掺杂能够完全抑制单栅GFET的双极性行为,增强了输出饱和性,并提高了开关比。因此,B/N掺杂单栅GFET能够同时满足模拟/射频电路和数字电路的应用条件。 展开更多
关键词 石墨烯场效应管 b/N掺杂 自洽方法 半经典扩散迁移率
在线阅读 下载PDF
General-Service Ballistic Computer Programming Based on B-Method
3
作者 郑宇军 张子丘 +1 位作者 王金全 薛锦云 《Defence Technology(防务技术)》 SCIE EI CAS 2006年第3期178-183,共6页
关键词 抽象机 精化 弹道 程序设计
在线阅读 下载PDF
Fe^(0)/C催化降解罗丹明B反应性能研究
4
作者 齐国金 李智 《化学研究与应用》 北大核心 2025年第8期2383-2388,共6页
以蔗糖和硝酸铁为原料,采用碳热还原法制备炭负载纳米零价铁催化剂(Fe^(0)/C),并与H_(2)O_(2)构建类芬顿体系用于降解罗丹明B。对所制备的催化剂进行了XRD,FT-IR和N_(2)吸脱附表征。详细探究了催化剂中铁含量、Fe^(0)/C用量、pH值等对... 以蔗糖和硝酸铁为原料,采用碳热还原法制备炭负载纳米零价铁催化剂(Fe^(0)/C),并与H_(2)O_(2)构建类芬顿体系用于降解罗丹明B。对所制备的催化剂进行了XRD,FT-IR和N_(2)吸脱附表征。详细探究了催化剂中铁含量、Fe^(0)/C用量、pH值等对罗丹明B降解效果的影响。实验结果表明,铁含量为18%时所制得的Fe^(0)/C对罗丹明B的去除效果最好,在25℃、Fe^(0)/C催化剂用量为0.05 g、pH值为1-5范围内降解50 mL的罗丹明B溶液(10 mg/L),反应20 min时,罗丹明B的去除率高于95%。该催化降解过程满足一级反应动力学。 展开更多
关键词 罗丹明b 纳米零价铁 碳热还原法 降解
在线阅读 下载PDF
基于B-S实物期权定价模型的广西桂平市碳汇造林项目价值评估及投资决策分析
5
作者 谭桂菲 邓玉艳 +3 位作者 蒋燚 唐庆 王仁杰 王勇 《林产工业》 北大核心 2025年第5期101-108,共8页
从项目投资角度对碳汇造林项目中的木材资产和碳汇资产进行了科学评估,并探讨了实物期权法在评估林业投资项目中的应用。通过对广西桂平市碳汇造林项目的木材和碳汇资产进行收获现值法和实物期权定价法的价值评估,得出20 a的碳汇量为634... 从项目投资角度对碳汇造林项目中的木材资产和碳汇资产进行了科学评估,并探讨了实物期权法在评估林业投资项目中的应用。通过对广西桂平市碳汇造林项目的木材和碳汇资产进行收获现值法和实物期权定价法的价值评估,得出20 a的碳汇量为634 341 t,年均减排量为181 717 t,实物期权法的评估结果51 256.90元/hm^(2)高于收获现值法的评估结果40 861.69元/hm^(2)。这一差异表明,实物期权法能够更好地评估项目的管理灵活性和未来的不确定性,尤其是在标的资产价格波动较大的情况下。研究还通过数值模拟分析,预测出杉木造林项目的最佳投资年限为26 a。为推动碳汇造林项目的发展并对气候变化产生积极影响,建议一是通过引入碳金融工具(如碳期货、碳期权、碳保险等)来丰富碳市场交易产品,二是尽快恢复CCER项目备案,以获得更多资金支持并减少交易限制。 展开更多
关键词 林业投资项目 资产价值评估 碳汇造林 实物期权法 b-S模型
在线阅读 下载PDF
A Parallel Computational Scheme on Hybrid Methods
6
作者 Zhao ShuangsuoDepartment of Mathematics, Lanzhou University, Lanzhou 730000Wang ChangyinInst. of Mech. & Elec. Eng., Gansu University of Technology, Lanzhou 730050 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 1994年第4期8-18,共11页
Based on the efficient hybrid methods for solving initial value problems of stiff ODEs, this paper derives a parallel scheme that can be used to solve the problems on parallel computers with N processors, and discusse... Based on the efficient hybrid methods for solving initial value problems of stiff ODEs, this paper derives a parallel scheme that can be used to solve the problems on parallel computers with N processors, and discusses the iteratively B-convergence of the Newton iterative process, finally, the paper provides some numberical results which show that the parallel scheme is highly efficient as N is not too large. 展开更多
关键词 Hybrid methods Parallel computation Iteratively b-convergence.
在线阅读 下载PDF
基于VO_(2)(B)纳米带的超快响应柔性呼吸传感器
7
作者 龙开琳 刘风坤 +1 位作者 黄子林 郭喜涛 《半导体技术》 北大核心 2025年第10期1006-1012,共7页
柔性呼吸监测技术在慢性阻塞性肺疾病和阻塞性睡眠呼吸暂停等疾病的早期诊断中展现出重要的临床应用潜力。提出了一种基于B相二氧化钒纳米带(VO_(2)(B)NB)的高灵敏度、超快响应的柔性呼吸传感器。通过水热法合成的VO_(2)(B)NB能在室温... 柔性呼吸监测技术在慢性阻塞性肺疾病和阻塞性睡眠呼吸暂停等疾病的早期诊断中展现出重要的临床应用潜力。提出了一种基于B相二氧化钒纳米带(VO_(2)(B)NB)的高灵敏度、超快响应的柔性呼吸传感器。通过水热法合成的VO_(2)(B)NB能在室温下检测相对湿度(RH)在26%~93%范围内的变化。通过将VO_(2)(B)NB与顶层金叉指电极及底层柔性聚酰亚胺(PI)基底结合,制备了基于VO_(2)(B)NB的柔性呼吸传感器。该传感器在呼气和吸气过程中表现出显著的电阻变化,其响应时间为0.32 s,恢复时间为0.41 s。循环实验结果表明,该传感器在跟踪不同呼吸频率的人体呼吸时具有优异的一致性和可重复性,适用于长期监测。该VO_(2)(B)NB呼吸传感器具有优异的传感性能与超快的响应速度,在预防睡眠呼吸暂停综合征的呼吸监测方面具有可行性。 展开更多
关键词 b相二氧化钒纳米带(VO_(2)(b)Nb) 水热法 相对湿度 柔性呼吸传感器 睡眠呼吸暂停
在线阅读 下载PDF
溃坝流冲击特性的B样条物质点法模拟研究
8
作者 华云军 周晓敏 +1 位作者 徐云卿 孙政 《计算力学学报》 北大核心 2025年第5期772-779,共8页
准确模拟溃坝的冲击特性对溃坝流灾害预测和防治具有重要意义。B样条物质点法作为物质点法的一种改进算法,有效提高了计算精度和改进了收敛性。然而,B样条物质点法基于张量网格而非欧拉背景网格进行控制方程的求解;同时,其插值形函数具... 准确模拟溃坝的冲击特性对溃坝流灾害预测和防治具有重要意义。B样条物质点法作为物质点法的一种改进算法,有效提高了计算精度和改进了收敛性。然而,B样条物质点法基于张量网格而非欧拉背景网格进行控制方程的求解;同时,其插值形函数具有更大的影响域;因此,在求解流固耦合等接触问题时存在过早接触、接触界面不易捕捉、接触力难以计算等问题。在同一B样条物质点张量网格空间内,基于同一结点的相对速度以及单位外法线实现接触界面的准确捕捉;采用格列维尔公式(Greville Abscissa),实现接触物体的精准接触,避免过早或虚假接触;通过拉格朗日乘子法,准确判定界面接触力,构建采用流固统一描述的流固强耦合高精度接触算法,开展溃坝流体冲击刚性和弹性障碍物模拟研究,并与已有试验结果或模拟结果进行对比。结果表明,模拟所得冲击荷载及结构变形演化规律与已有试验结果/模拟结果吻合较好;对刚性障碍物,随水位高度和溃坝坡度的增大,冲击压力峰值分别呈现下凹型抛物增长和正相关指数函数增长;对弹性障碍物,冲击压力峰值随探测点高度的增大呈负相关指数函数递减。验证了基于B样条物质点法接触算法模拟溃坝流冲击问题的可行性和有效性,为模拟溃坝流冲击问题提供一种新视角。 展开更多
关键词 溃坝流 冲击特性 b样条物质点法 接触算法
在线阅读 下载PDF
高产维生素B乳酸菌的筛选、鉴定及培养优化的研究
9
作者 许媛 韩建邦 +4 位作者 祝晨琳 王欣雨 孙颖盈 陈雨濛 金海如 《微生物学杂志》 北大核心 2025年第2期15-22,共8页
为获得高产维生素B乳酸菌菌株,优化培养条件及发酵方式。从三种不同酸菜中分离纯化出乳酸菌,通过荧光分光光度法、HPLC法筛选出1株高产维生素B的菌株SC-65,对其进行形态学观察、生理生化鉴定和16S rDNA序列分析;运用单因素分析和正交实... 为获得高产维生素B乳酸菌菌株,优化培养条件及发酵方式。从三种不同酸菜中分离纯化出乳酸菌,通过荧光分光光度法、HPLC法筛选出1株高产维生素B的菌株SC-65,对其进行形态学观察、生理生化鉴定和16S rDNA序列分析;运用单因素分析和正交实验确定最佳培养条件和最佳培养基浓度;最后通过发酵罐扩大培养,分析其对菌株生物量及维生素B浓度的影响。结果显示,菌株SC-65为戊糖片球菌(Pediococcus pentosaceus)。确定接种量5%(体积分数)、温度37℃、装液量50%、pH 6.0、葡萄糖20.0 g/L、蛋白胨10.0 g/L,磷酸盐体系0.35 g/L为最佳培养方案。补料分批发酵细胞生物量为11.94 g/L,维生素B浓度为15.50 mg/L,相比于分批发酵生物量(质量分数)提高117.10%,维生素B浓度(质量分数)提高40.91%。该研究结果为进一步优化菌株的生产工艺,开发乳酸菌发酵产维生素B的应用提供参考。 展开更多
关键词 维生素b 乳酸菌 生物量 培养优化 发酵方式 补料发酵
在线阅读 下载PDF
UML模型形式化B方法转换的实现 被引量:6
10
作者 夏志翔 徐中伟 +1 位作者 陈祖希 张元玲 《计算机应用与软件》 CSCD 2011年第11期15-20,共6页
UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系... UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。 展开更多
关键词 b方法 UML模型 用例图 顺序图
在线阅读 下载PDF
钒酸铋的制备及可见光降解罗丹明B的研究 被引量:13
11
作者 刘利 王亚飞 +2 位作者 崔文权 梁英华 王萌 《无机盐工业》 CAS 北大核心 2013年第8期60-62,共3页
以偏钒酸铵和碳酸铋为原料,用NaOH调节体系pH,水热法合成钒酸铋(BiVO4)光催化剂。利用XRD和UV-Vis漫反射对样品的晶型结构和光吸收特性进行表征分析。以罗丹明B为目标降解物,卤素灯(λ>400 nm)为光源,探讨水热温度、水热时间对合成Bi... 以偏钒酸铵和碳酸铋为原料,用NaOH调节体系pH,水热法合成钒酸铋(BiVO4)光催化剂。利用XRD和UV-Vis漫反射对样品的晶型结构和光吸收特性进行表征分析。以罗丹明B为目标降解物,卤素灯(λ>400 nm)为光源,探讨水热温度、水热时间对合成BiVO4催化剂的可见光催化活性影响。结果表明,在水热温度为200℃、水热时间为8 h的条件下合成的钒酸铋光解效率最高。实验还研究了罗丹明B水溶液pH、催化剂投加量对光催化罗丹明B降解率的影响。结果表明,在罗丹明B水溶液pH为3、初始质量浓度为10 mg/L、每60 mL溶液催化剂投加量为0.4 g时能达到较好的光催化效果,反应2 h后降解率可达97%。 展开更多
关键词 钒酸铋 罗丹明b 水热法 可见光催化降解
在线阅读 下载PDF
HPLC法测定木蝴蝶中木蝴蝶苷A和木蝴蝶苷B的质量分数 被引量:7
12
作者 张昌壮 张培旭 +4 位作者 姚华 杨洁 金永日 李绪文 李清民 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2013年第2期321-324,共4页
建立了利用高效液相色谱法(HPLC)同时测定木蝴蝶中木蝴蝶苷A和木蝴蝶苷B的定量分析法:采用COSMOSIL-C18-MS-Ⅱ(4.6 mm×250 mm,5μm)色谱柱,以V(甲醇)∶V(ρ(磷酸)=0.2%)=4∶6为流动相进行洗脱,流速1.0 mL/min,检测波长278nm,柱温2... 建立了利用高效液相色谱法(HPLC)同时测定木蝴蝶中木蝴蝶苷A和木蝴蝶苷B的定量分析法:采用COSMOSIL-C18-MS-Ⅱ(4.6 mm×250 mm,5μm)色谱柱,以V(甲醇)∶V(ρ(磷酸)=0.2%)=4∶6为流动相进行洗脱,流速1.0 mL/min,检测波长278nm,柱温25.0℃.结果表明:木蝴蝶苷A的线性范围为0.050~2.0μg(r2=0.999 9),平均回收率为101.14%,相对标准偏差(RSD)为1.07%;木蝴蝶苷B的线性范围为0.050~2.0μg(r2=0.999 9),平均回收率为100.41%,RSD为2.26%. 展开更多
关键词 木蝴蝶 木蝴蝶苷A 木蝴蝶苷b 高效液相色谱法 质量分数测定
在线阅读 下载PDF
形式化方法Designware、B的比较 被引量:4
13
作者 胡启敏 薛锦云 《计算机工程与应用》 CSCD 北大核心 2007年第31期96-99,共4页
用形式化方法开发软件是提高软件可靠性和开发效率的革命性途径。Designware、B是两种支持软件开发全过程的形式化方法。对它们的规约描述方法、规约求精方式、开发步骤进行比较,最后分析这两种方法各自的优缺点。
关键词 形式化方法 Designware b方法 规约 求精
在线阅读 下载PDF
基于Event-B方法的安全协议设计、建模与验证 被引量:3
14
作者 李梦君 潘国腾 欧国东 《软件学报》 EI CSCD 北大核心 2018年第11期3400-3411,共12页
随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B... 随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B方法的安全协议形式化设计、建模与源程序验证的典型研究工作,主要包括从需求规范到消息传递形式协议的安全协议精化设计、基于TPM(trusted platform module)的安全协议应用的精化建模以及从消息传递形式协议到代码的源程序精化验证. 展开更多
关键词 安全协议设计 安全协议建模与验证 精化 Event-b方法
在线阅读 下载PDF
基于改进Event-B建模的高速列车追踪运行仿真研究 被引量:3
15
作者 陈永 张薇 胡晓辉 《计算机工程》 CAS CSCD 北大核心 2015年第8期256-261,共6页
针对铁路移动闭塞系统中高速列车间隔动态实时变化的特征,结合Agent理论对Event-B方法中Machine动态属性进行改进,提出一种基于Event-B建模方法的高速列车追踪运行模型。给出高速列车追踪运行形式化控制策略,研究运行过程中速度变化关... 针对铁路移动闭塞系统中高速列车间隔动态实时变化的特征,结合Agent理论对Event-B方法中Machine动态属性进行改进,提出一种基于Event-B建模方法的高速列车追踪运行模型。给出高速列车追踪运行形式化控制策略,研究运行过程中速度变化关系、不同发车间隔时间对高速铁路运营的影响,得到相应的定量与定性分析。仿真结果表明,该模型能够准确描述高速列车追踪运行机理,有助于列车间隔动态控制,具有较强的适用性。 展开更多
关键词 高速列车 列车追踪 Event-b方法 形式化方法 交通仿真 建模
在线阅读 下载PDF
丁基罗丹明B褪色分光光度法测定小麦粉中痕量溴酸钾 被引量:5
16
作者 杨冰仪 黎紫滢 +1 位作者 王梅 邹志辉 《食品科学》 EI CAS CSCD 北大核心 2011年第10期208-211,共4页
建立基于丁基罗丹明B-盐酸体系测定小麦粉中痕量溴酸钾的褪色分光光度法。考察酸度、丁基罗丹明浓度和用量、反应时间和温度对测定结果的影响。结果表明,最优化的实验条件为:最大吸收波长558nm,0.3mol/L盐酸反应介质,1.0mL 1×10-4m... 建立基于丁基罗丹明B-盐酸体系测定小麦粉中痕量溴酸钾的褪色分光光度法。考察酸度、丁基罗丹明浓度和用量、反应时间和温度对测定结果的影响。结果表明,最优化的实验条件为:最大吸收波长558nm,0.3mol/L盐酸反应介质,1.0mL 1×10-4mol/L丁基罗丹明B,80℃水浴条件下加热5min。在优化实验条件下,溴酸钾在0~0.3μg/mL之间存在线性关系,线性方程为ΔA=1.607C+0.0057(r=0.9996),检出限为0.08μg/g,摩尔吸光系数为1.6×106L/(mol.cm),将该法用于小麦粉中痕量溴酸钾的测定,样品加标回收率为92%~109%,相对标准偏差小于5%,结果满意。 展开更多
关键词 丁基罗丹明b-盐酸体系 褪色分光光度法 溴酸钾 小麦粉
在线阅读 下载PDF
基于B方法的Web Service组合描述和验证方法 被引量:1
17
作者 王帅强 万建成 +1 位作者 侯金奎 冯仕红 《计算机工程》 CAS CSCD 北大核心 2007年第19期19-22,41,共5页
对于Web Service及其组合来说,保证其组合的正确性是十分必要的。B方法是一个基于模型的形式化方法,有很强的结构化机制和很好的工具支持,对于建模和软件验证是一种有效的方法。该文基于B方法对Web服务及其组合进行了形式化建模,并能够... 对于Web Service及其组合来说,保证其组合的正确性是十分必要的。B方法是一个基于模型的形式化方法,有很强的结构化机制和很好的工具支持,对于建模和软件验证是一种有效的方法。该文基于B方法对Web服务及其组合进行了形式化建模,并能够利用B方法相对成熟和完善的模型检查工具,来完成模型的正确性验证。 展开更多
关键词 WEb SERVICE b方法 服务形式化 服务组合
在线阅读 下载PDF
TiO_2(B)的合成及其光催化性能的研究 被引量:2
18
作者 赵玉宝 谭雯文 +2 位作者 吴兆峰 吴凤娇 陈日雄 《应用化工》 CAS CSCD 2011年第5期796-798,共3页
以硫酸钛和过氧化钠为原料,合成了过氧钛酸复合物作为前躯体,进而通过水热法制备出单斜结构二氧化钛TiO2(B),采用XRD、TEM、FTIR和BET等技术对样品进行了表征。结果表明,TiO2(B)的比表面积为98.15 m2/g,对甲基橙的光催化降解表现出比P2... 以硫酸钛和过氧化钠为原料,合成了过氧钛酸复合物作为前躯体,进而通过水热法制备出单斜结构二氧化钛TiO2(B),采用XRD、TEM、FTIR和BET等技术对样品进行了表征。结果表明,TiO2(B)的比表面积为98.15 m2/g,对甲基橙的光催化降解表现出比P25更高的活性和良好的稳定性。 展开更多
关键词 TiO2(b) 水热法 过氧钛酸复合物
在线阅读 下载PDF
一种状态图到B规格说明的自动转换方法研究实现 被引量:1
19
作者 曾一 孙政 +1 位作者 周吉 胡小威 《计算机工程与应用》 CSCD 北大核心 2011年第35期77-80,142,共5页
状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提... 状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。 展开更多
关键词 形式化方法 元模型 UML状态图 b方法 模型转换
在线阅读 下载PDF
UML状态图到形式化B语言转换的实例研究 被引量:2
20
作者 邹盛荣 孟静 +3 位作者 阳雪平 腾腾 陈宇 孙建国 《科学技术与工程》 2007年第24期6334-6338,6343,共6页
使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化... 使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较。 展开更多
关键词 UML 状态图 形式化方法 b方法 T细胞
在线阅读 下载PDF
上一页 1 2 36 下一页 到第
使用帮助 返回顶部