搜索筛选:
搜索耗时2.1602秒,为你在为你在102,285,761篇论文里面共找到 40 篇相符的论文内容
发布年度:
[学位论文] 作者：徐蔚文,
来源：上海交通大学 年份：2003
形式验证是一种比测试和模拟更具吸引力的描述和验证软硬件系统的方法.形式验证方法的种类很多,从定理证明到计算机辅助定理证明,最后出现模型检测方法.该文所提出的两个缓解...
[学位论文] 作者：徐蔚文,
来源：哈尔滨理工大学 年份：2000
首先,论文对Job-shop调度问题(JSSP)和非标准Job-shop(NJSSP)的研究现状、效率调度算法和遗传算法在Job-shop调度问题方面的研究现状及其存在的问题等方面进行全面综述,并提...
[期刊论文] 作者：徐蔚文,易豫州,,
来源：企业销售 年份：1996
古朴的蜡染艺术堪称中国一绝,令成千上万的人为之倾倒。不少国家纷纷仿制。但他们使用的化工染料对人体有害。于是,一些外国人打起了蓝靛的主意……Quaint batik art is a...
[期刊论文] 作者：徐蔚文,陆鑫达,
来源：计算机工程 年份：2003
检测部分状态空间是近年来出现的有效解决状态爆炸的模型检测技术,部分Kripke结构是描述部分状态空间的形式框架.文章主要讨论一类具有公平性约束条件的CTL(计算树逻辑)模型...
[期刊论文] 作者：徐蔚文,陆鑫达,
来源：上海交通大学学报：英文版 年份：2003
This paper discussed how to handle the fairness conditions in partial Kripke structures. The partial Krip-ke structures were used for partial state spaces model...
[期刊论文] 作者：徐蔚文,陆鑫达,
来源：计算机工程 年份：2003
讨论了一类Leader Election(LE)协议,该类协议通常运行在允许进程随时加入或崩溃的动态环境中,给出了LE协议的参数化版本,即考虑分布式系统中的进程数目任意多的情况.并提出...
[期刊论文] 作者：徐蔚文,陆鑫达,
来源：计算机学报 年份：2003
提出一个直观、易用的模型来模拟和验证身份认证协议,并给出基于Spin(模型检测工具)的实现,它不仅可以模拟多对参与者同时进行会话,而且还有效缩减了状态空间,从而避免了以前...
[期刊论文] 作者：曾志勇,徐蔚文,陆鑫达,
来源：计算机工程 年份：2001
讨论了工作站网络"NOW”系统在高性能计算方面的应用,指出通信延迟对计算性能具有重要的影响,并给出了实验作出经验分析....
[期刊论文] 作者：王凤儒,徐蔚文,王凤林,
来源：电机与控制学报 年份：2001
遗传算法是一种采用自然界中的遗传变异和自然选择思想的全局优化算法，其中编码机制是遗传算法得以展开的基础，它直接影响遗传操作算子的构造和遗传算法的性能。本文针对一类具......
[期刊论文] 作者：王凤儒,徐蔚文,徐洪副,
来源：计算机集成制造系统 年份：2001
作业车间调度问题是一类具有次序约束和资源约束的较大规模的组合优化问题,本文所描述的非标准作业车间调度问题,放宽了资源约束的条件,具有更大的寻优空间.针对这种复杂的组...
[会议论文] 作者：徐蔚文,陆鑫达,曾志勇,
来源：2001年全国开放式分布与并行计算学术会议 年份：2001
提出了一种验证LTL属性的分布式嵌套深度优先算法(Distributed Double Depth First Algorithm—DDDFA).DDDFA运行在工作站网络或集群等分布主存环境上,通过验证一个自动机所...
[期刊论文] 作者：庞智,朱红音,徐蔚文,萧树东,
来源：胃肠病学 年份：2002
背景:幽门螺杆菌(H.pylori)是全球人群中感染范围最广的致病菌,现已被公认为慢性胃炎和消化性溃疡的重要致病因子,并与胃腺癌和胃淋巴瘤的形成密切相关.而H.pylori疫苗可能成...
[期刊论文] 作者：梁晓,刘文忠,徐蔚文,萧树东,
来源：胃肠病学 年份：2007
背景：耐药菌株的出现是近年来药物根除幽门螺杆菌（H．pflori）成功率下降的主要原因，尤其是对常用抗生素克拉霉素和甲硝唑耐药。左氧氟沙星是一个新近用于根除H．pylori的抗生素，含左氧......
[期刊论文] 作者：史彤,刘文忠,萧树东,徐蔚文,
来源：中华内科杂志 年份：2000
甲硝唑和克拉霉素是根除幽门螺杆菌（Hp）感染的主要抗生素，Hp对这些抗生素耐药是治疗失败的主要原因。我们调查了上海地区1995~1999年间Hp对甲硝唑和克拉霉素耐药率的变化情况，现报道如下。......
[期刊论文] 作者：史彤,刘文忠,萧树东,徐蔚文,
来源：中华消化杂志 年份：2001
目的 研究幽门螺杆菌(Hp)对克拉霉素耐药的分子机制。方法 用E-test进行克拉霉素药敏试验，选取治疗前敏感、治疗后耐药的配对菌株及原发耐药Hp菌株进行研究；应用随机扩增多态性DNA(RAPD)分析，确定治疗前后菌株的同一性；用PCR-限制性片段长度多态性(RFLP)分析探讨......
[期刊论文] 作者：王凤儒,徐蔚文,郭红,李小平,王宏欣,
来源：电机与控制学报 年份：2001
遗传算法是一种采用自然界中的遗传变异和自然选择思想的全局优化算法,其中编码机制是遗传算法得以展开的基础,它直接影响遗传操作算子的构造和遗传算法的性能.针对一类具有...
[期刊论文] 作者：李晓波,刘文忠,萧树东,徐蔚文,
来源：胃肠病学 年份：2000
目的:探讨上海地区人群中幽门螺杆菌(H.Pylori)cagA基因3′区和vacA基因的多态性及其临床意义.方法:99株H.pylori菌株分离自17例慢性浅表性胃炎(CSG)、21例慢性萎缩性胃炎(CA...
[期刊论文] 作者：李晓波,刘文忠,萧树东,徐蔚文,
来源：胃肠病学 年份：2000
探讨上海地区人群中幽门螺杆菌（H．pylori）cagA基因3’区和vacA基因的多态性及其临床意义。方法：99株H．pylori菌株分离自17例慢性浅表性胃炎（CSG）、21例慢性萎缩性胃炎（CAG）、19例胃溃......
[期刊论文] 作者：陆红,梁晓,刘文忠,徐蔚文,萧树东,
来源：胃肠病学 年份：2002
背景:幽门螺杆菌(H.pylori)对抗生素的耐药率上升是导致根除治疗失败率上升的主要原因,对经标准方案根除H.pylori失败的患者有必要进行补救治疗。目的:评估铋剂、质子泵抑制...
[期刊论文] 作者：陈胜良,萧树东,刘文忠,徐蔚文,潘嬿,
来源：胃肠病学 年份：2002
目的:比较1990~2001年上海市区幽门螺杆菌(H.pylori)血清流行病学的改变,探讨H.pylori感染的危险因素。方法:2001年6~10月,应用检测H.pylori血清IgG抗体的酶免疫试剂盒,以酶...
相关搜索：
