搜索筛选:
搜索耗时0.5088秒,为你在为你在102,267,441篇论文里面共找到 41 篇相符的论文内容
发布年度:
[学位论文] 作者：赵常智,,
来源：国防科学技术大学 年份：2011
运行时验证是一种轻量级的运行时监控技术。通过持续监控软件系统的运行状态来判定当前系统运行是否满足通过某种高层规约描述的正确性性质。在运行时验证中，通常从高层规约中......
[期刊论文] 作者：赵常智,,
来源：中国消毒学杂志 年份：2013
目的了解沈阳市医疗卫生机构消毒效果,防止医源性感染。方法根据《消毒技术规范》和《医院消毒卫生标准》,对全市各医疗机构的消毒效果进行现场采样监测。结果共监测医疗机构...
[期刊论文] 作者：赵常智,,
来源：中国消毒学杂志 年份：2015
目的监测沈阳市托幼机构卫生质量状况,为制定有效监管措施提供科学依据。方法通过回顾性分析方法,对沈阳市部分托幼机构卫生质量进行评价。结果收集2011-2013年期间托幼机构...
[期刊论文] 作者：赵常智,,
来源：职业与健康 年份：2015
目的了解沈阳市食源性致病菌的污染状况,提高食源性疾病预警和控制能力。方法 2011—2013年,对沈阳市采集的8类食品进行8种致病菌监测,按照《全国食源性致病菌监测工作手册》...
[学位论文] 作者：赵常智,
来源：国防科学技术大学 年份：2018
...
[期刊论文] 作者：赵常智,田吉宏,
来源：中国卫生检验杂志 年份：2007
布鲁氏菌病是由布鲁氏菌引起的传染病。人患此病常因误诊误治而转成慢性，不仅造成肉体痛苦，精神上压力，而且也带来经济损失。我们对425份临床上有典型病症患者及与羊、牛、猪有......
[期刊论文] 作者：周军,赵常智,
来源：中国卫生检验杂志 年份：2005
2005年4月，沈阳世博会园林设计专家在就餐后有4人出现呕吐、腹痛、腹泻等症状，我们在现场采集患者腹泻便4份，呕吐物2份。在便中分离到一株029：K？侵袭性大肠杆菌，现报告如下：......
[期刊论文] 作者：董雪,赵常智,
来源：环境与健康杂志 年份：2001
1998年6月19～20日沈阳市某中学出现一批以发烧、头晕、恶心、呕吐、腹痛、腹泻、浑身乏力为主要临床表现的患者,经流行病学调查及实验室检测,证实为一起由水污染引起的腹泻病...
[期刊论文] 作者：周军,赵常智,,
来源：中国卫生检验杂志 年份：2005
2005年4月,沈阳世博会园林设计专家在就餐后有4人出现呕吐、腹痛、腹泻等症状,我们在现场采集患者腹泻便4份,呕吐物2份.在便中分离到一株O29:K?侵袭性大肠杆菌,现报告如下:...
[期刊论文] 作者：赵常智,安静,董雪,,
来源：中国卫生检验杂志 年份：2009
为掌握沈阳市医疗机构的消毒情况,提高医疗卫生机构消毒工作质量,减少院内感染发生,我们于2006~2008年对全市41家医疗机构的消毒效果进行监测。现将监测结果分析如下:1对象与...
[期刊论文] 作者：周军,赵常智,李宙,
来源：全国防痨协会2005年全国学术大会 年份：2005
AFB细菌学检验是定性技术。也是发现涂阳患病率，涂阳发病率，诊断传染性结核病的“金标准”，如何加强结核病发现率，就要贯彻镜检盲法考核新标准来提高实验室镜检涂片整体水平和实验室检测能力认证。根据结核病痰涂片镜检质量保证手册要求，本文对沈阳市九个县区结防所......
[期刊论文] 作者：赵常智,周军,李宙,
来源：中国公共卫生管理 年份：2006
目的通过两种方法分离流感病毒的比较，提高流感病毒分离率和流感监测效果。方法对200份咽拭子标本同时采用MDCK细胞和鸡胚双腔法分离。结果细胞培养法分离流感病毒15株。分离...
[期刊论文] 作者：董雪,任羽光,赵常智,
来源：中国公共卫生 年份：2003
2001年6月,我们自一例疑似O157患者粪便中检测出一株肠出血性大肠杆菌O26∶H11.患者男性,24岁.6月28日中午在街头食用烧烤牛、羊肉串,29日感觉腹部疼痛,并发生水样腹泻,口服...
[期刊论文] 作者：董雪,李欣,赵常智,王冰,
来源：中国卫生检验杂志 年份：2007
目的：为了确定沈阳地区新分离汉坦病毒的基因分型及其M片段G1、G2区和S片段的序列特征,对分离株进行了系统进化分析。方法：通过免疫荧光法筛查阳性标本;组织细胞培养法分离汉坦......
[期刊论文] 作者：隋平,赵常智,董威,李冰鹏,
来源：计算机工程与科学 年份：2011
运行时验证技术是对传统的程序正确性保证技术如模型检验和测试的有效补充。模型检验和测试都试图验证系统的所有可能执行路径的正确性，而运行时验证关注的是系统的当前执行路......
[期刊论文] 作者：高丹,赵常智,安静,姜桂香,
来源：中国卫生检验杂志 年份：2000
豆角是我们生活中不可缺少的蔬菜 ,但豆角中含有的豆素和皂素对胃肠黏膜有刺激作用 ,能够凝集和溶解红细胞。豆角如果加热不彻底可引起食物中毒。我市在 1995年发生的食物中...
[期刊论文] 作者：赵常智,董威,隋平,齐治昌,
来源：软件学报 年份：2010
介绍了一种基于自动机理论的参数化LTL（parameterized LTL（1inear temporal logic），简称PALTL）公式运行时预测监控器构造方法．一方面研究PALTL公式的语法、预测语义、赋值提取以及...
[期刊论文] 作者：李勤,黄智,赵常智,安静,罗军,
来源：职业与健康 年份：2003
目的探讨沈阳地区肾综合征出血热(HFRS)的型别.方法对采自沈阳市传染病院临床确诊及免疫荧光法确认的HFRS患者恢复期血清92份,用MCPENT法进行检测.结果检出姬鼠型66份,占71.7...
[会议论文] 作者：周军[1]赵常智[1]李宙[2],
来源：全国防痨协会2005年全国学术大会 年份：2005
AFB细菌学检验是定性技术。也是发现涂阳患病率，涂阳发病率，诊断传染性结核病的“金标准”，如何加强结核病发现率，就要贯彻镜检盲法考核新标准来提高实验室镜检涂片整体水平和实......
[会议论文] 作者：赵常智;董威;隋平;齐治昌;,
来源：中国计算机学会全国软件与应用学术会议(NASAC2009) 年份：2009
本文介绍了一种基于自动机理论的参数化LTL公式的运行时预测监控器合成方法。参数化LTL公式是描述与系统中动态对象和数据结构相关性质的有效途径，因此本文一方面研究参数化LT...
相关搜索：
