检索结果-南通市图书馆

A formal method to real-time protocol interoperability testing

Science in China(Series F) 2008年第11期51卷 1723-1744页

作者： wang zhiliang1,3.yin xia2,3.& jing chuanming2,{3.,tsinghua university,beijing 100084,China 2 Department of Computer Science and Technology,tsinghua university,beijing 100084,China 3.tsinghua National Laboratory for Information Science and Technology(TNList) ,beijing 100084,China 1. network research center Tsinghua University Beijing 100084 China 3. tsinghua National Laboratory for Information Science and Technology (TNList) Beijing 100084 China 2. Department of Computer Science and Technology Tsinghua University Beijing 100084 China

Interoperability testing is an important technique to ensure the quality of implementations of network communication protocol. In the next generation Internet protocol, real-time applications should be supported effectively. However, time constraints were not considered in the related studies of protocol interoperability testing, so existing interoperability testing methods are difficult to be applied in real-time protocol interoperability testing. In this paper, a formal method to real-time protocol interoperability testing is proposed. Firstly, a formal model CMpTIOA （communicating multi-port timed input output automata） is defined to specify the system under test （SUT） in real-time protocol interoperability testing; based on this model, timed interoperability relation is then defined. In order to check this relation, a test generation method is presented to generate a parameterized test behavior tree from SUT model; a mechanism of executability pre-determination is also integrated in the test generation method to alleviate state space explosion problem to some extent. The proposed theory and method are then applied in interoperability testing of IPv6 neighbor discovery protocol to show the feasibility of this method.

关键词： protocol testing interoperability testing real-time testing test generation timed input output automata(TIOA)

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A TTCN-3.based protocol testing system and its extension

引用

Science in China(Series F) 2008年第11期51卷 1703-1722页

作者： yin xia1,3.wang {3.2,3.jing {3.1,3.& SHI XinGang2,3.1 Department of Computer Science and Technology,tsinghua university,beijing 100084,China 2 network research center,tsinghua university,beijing 100084,China 3.tsinghua National Laboratory for Information Science and Technology(TNList) ,beijing 100084,China 1. Department of Computer Science and Technology Tsinghua University Beijing 100084 China 3. ]tsinghua National Laboratory for Information Science and Technology (TNList) Beijing 100084 China 2. network research center Tsinghua University Beijing 100084 China

The protocol testing technology used in the next generation Internet should satisfy some new challenges and requirements. This paper focuses on the test suite description and test implementation techniques. TTCN-3.is chosen as the test suite description language and extended in both syntax and semantics to satisfy the requirements of protocol robustness testing. PITSv3. a protocol integrated testing system based on TTCN-3. is developed, and the extensions for robustness testing are implemented. Finally, two practical test applications are presented.

关键词： protocol testing TTCN-3 PITSv3 robustness testing

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

碳中和视角下甘肃省县域碳收支时空分异与国土空间分区优化

引用

环境科学 2024年第7期45卷 4101-4111页

作者：王丽蓉石培基尹君锋张韦萍石晶李雪红程番苑西北师范大学地理与环境科学学院兰州730070 甘肃省绿洲资源环境与可持续发展重点实验室兰州730070 甘肃省土地利用与综合整治工程研究中心兰州730070 北京师范大学地理科学学部北京100875 北京师范大学地表过程与资源生态国家重点实验室北京100875

在新时代全面践行“生命共同体”整体系统观背景下,将碳中和发展目标纳入国土空间规划建设中,优化符合甘肃实际省情的国土空间格局及提出相应发展策略,对于推动区域经济社会绿色低碳转型与高质量发展具有重要意义.以甘肃省县域为例,基... 详细信息

在新时代全面践行“生命共同体”整体系统观背景下,将碳中和发展目标纳入国土空间规划建设中,优化符合甘肃实际省情的国土空间格局及提出相应发展策略,对于推动区域经济社会绿色低碳转型与高质量发展具有重要意义.以甘肃省县域为例,基于碳中和研究视角,测算分析2010年、2015年和2021年全省87个县域土地利用碳收支量,运用GIS空间分析法、社会网络分析法等方法进一步探究其时空分异特征及碳排放空间关联网络整体特征.最后结合主体功能区划进行低碳发展导向下的国土空间优化分区,提出差异化的低碳发展策略.结果表明:(1)碳排放量呈上升趋势但增幅相对较小,空间上呈现“中部和东部高,西南低”的分布态势,建设用地是主要的碳源.碳吸收量在空间上呈现“南高北低,西高东低”的分布特征,林地是主要的碳汇.净碳排量呈增加趋势,省内约58.62%的县域处于碳失衡状况.(2)2021年县域碳排放空间网络关系紧密且规模较大,呈现“核心-边缘”形态,城关区和七里河区处于网络核心地位,在网络中接受较多关联关系.陇中地区网络联系频繁,陇东南地区联系次之.(3.以碳排放量、碳吸收量和生态承载系数为依据,以社会网络空间关联性结果为角色定位,将全省划分为4种碳中和分区.同时,叠加分析主体功能区划,将全省县域重构为7个国土空间分区并对各分区提出差别化区域低碳优化发展策略.

关键词：碳中和网络空间关联低碳优化国土空间分区甘肃省

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Thirty minute transcutaneous electric acupoint stimulation modulates resting state brain activities:a perfusion and BOLD fMRI study

Thirty minute transcutaneous electric acupoint stimulation m...

引用

中国神经科学学会第九届全国学术会议暨第五次会员代表大会

作者： yin JIANG,ying HAO,Yue ZHANG,jing LIU,{3.o-ying wang,Jisheng HAN,jing FANG, Jue ZHANG,Cai-Lian CUI 1 Neuroscience {3. Institute,Peking university Department of Neurobiology,School of Basic Medical Sciences, Peking university Key Laboratory of Neuroscience,The Ministry of Education and Ministry of Public Health,beijing, China 2 Academy for Advanced Interdisciplinary Studies,Peking university,beijing,China 3.Department of Engineering,Peking university,beijing,China 4 Department of Radiology,Peking university First Hospital,beijing,China

＜正＞Objective Increasing neuroimaging studies have focused on the sustained after effects of acupuncture, especially for the changes of brain activities in ***,short-period stimuli have mostly been chosen in these *** present study attempted to investigate how resting state brain activities in healthy subjects were modulated by relatively long-period（3. min） acupuncture,a widely used modality for clinical *** Transcutaneous electric acupoint stimulation（TEAS） or intermittent minimal TEAS（MTEAS） were given for 3. min to 10 subjects with at least 3.months *** MRI（fMRI） data were collected including the pre-stimulation resting state and post-stimulation resting state,using arterial spin labeling（ASL） techniques,representing both cerebral blood flow（CBF） signals and blood oxygen-dependent level（BOLD） signals ***（1） While mean global CBF was not altered by TEAS or MTEAS,pain-processing,decision making and impulsive related brain regions（primary and secondary somatosensory cortex,posterior insula and lateral prefrontal cortex） showed more deactivation after 3. min TEAS as compared to MTEAS.（2） Analysis of BOLD signals revealed that TEAS,but not MTEAS,produced an increased functional connection between posterior cingulate cortex and anterior cingulate cortex, a brain region involved in anti-nociceptive,attention and *** Our results implied that modulation of these regional brain activities and brain network may relate to acupuncture analgesia as well as other acupuncture-associated therapeutic ***,the resting state regional CBF quantified by ASL perfusion fMRI may serve as a potential biomarker in future acupuncture studies.

关键词： acupuncture transcutaneous electric acupoint stimulation(TEAS) sustained after effect resting state cerebral blood flow(CBF) functional connectivity

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

The TanSat mission： preliminary global observations

引用

Science Bulletin 2018年第18期63卷 1200-1207页

作者： Yi Liu jing wang Lu Yao Xi Chen Zhaonan Cai Dongxu Yang Zengshan yin Songyan Gu Longfei Tian Naimeng Lu Daren Lyu Institute of Atmospheric Physics Chinese Academy of SciencesBeijing 100029 China university of Chinese Academy of Sciences Beijing 100049 China Shanghai Engineering center for Microsatellites Shanghai 201210 China National Satellite Meteorological center China Meteorological Administration Beijing 100081 China

The Chinese global carbon dioxide monitoring satellite （TanSat） was launched successfully in December 2016 and has completed its on-orbit tests and calibration. TanSat aims to measure the atmospheric column-averaged dry air mole fractions of carbon dioxide （XCO2） with a precision of 4 ppm at the regional scale, and in addition, to derive global and regional CO2 fluxes. Progress towards these objectives is reviewed and the first scientific results from TanSat measurements are presented. TanSat on-orbit tests indicate that the Atmospheric Carbon dioxide GratingSpectrometer is in normal working status and is beginning to produce LIB products. The preliminary TanSat XCO2 products have been retrieved by an algorithm and compared to NASA Orbiting Carbon Observatory-2 （OCO-2） measurements during an over- lapping observation period. Furthermore, the XCO2 retrievals have been validated against eight groundsite measurement datasets from the Total Carbon Column Observing network, for which the preliminary conclusion is that TanSat has met the precision design requirement, with an average bias of 2.11 ppm. The first scientific observations are presented, namely, the seasonal distributions of XCO2 over land on a global scale.

关键词： TanSat Carbon dioxide Retrieval algorithm Carbon flux inversion

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

肥大细胞白血病6例并文献复习

引用

中华内科杂志 2024年第10期63卷 996-1000页

作者：朱凤于媛陈春燕段文冰江倩闫睿孙谕韩艳秋张静王欢张秋蓉陈苏宁颜婉惠蔡梦洁张智博尹佳王谦苏州大学附属第一医院、江苏省血液研究所、国家血液系统疾病临床医学研究中心苏州215006 山东大学齐鲁医院血液科济南250012 北京大学人民医院、北京大学血液病研究所北京100044 哈尔滨市第一医院血液病肿瘤研究所哈尔滨150010 苏州大学附属第二医院血液科苏州215004 内蒙古医科大学附属医院血液内科呼和浩特010050 昆山市第一人民医院血液科苏州215316 张家港市第一人民医院血液科苏州215699

回顾性分析2021年10月至2023.2月苏州大学附属第一医院(中国肥大细胞增多症协作网络)收治或会诊的6例肥大细胞白血病(MCL)患者的临床及实验室检查资料。6例患者中,男女比为1∶1,中位年龄54岁(范围29~73.)。6例均为急性MCL。临床表现:... 详细信息

回顾性分析2021年10月至2023.2月苏州大学附属第一医院(中国肥大细胞增多症协作网络)收治或会诊的6例肥大细胞白血病(MCL)患者的临床及实验室检查资料。6例患者中,男女比为1∶1,中位年龄54岁(范围29~73.)。6例均为急性MCL。临床表现:低白蛋白血症4例,乏力3.,发热、腹部不适、溶骨性病变各2例,头晕、皮肤潮红、体重减轻各1例。6例均伴脾肿大,3.伴淋巴结肿大。实验室检查:6例均强表达CD117,5例表达CD3.及CD25,4例表达CD2。染色体核型分析提示4例为正常核型,2例为异常核型。6例中4例检测到基因突变。中位血清类胰蛋白酶水平24.9μg/L(范围20.1~171.9μg/L)。治疗:2例予包含维奈克拉和阿扎胞苷的方案诱导化疗(其中1例联合阿伐替尼获得部分缓解,1例联合达沙替尼未缓解),1例予克拉屈滨诱导化疗后未缓解,1例予伊马替尼治疗后未缓解,1例予干扰素联合糖皮质激素治疗后失访,1例放弃治疗。随访时间1.1~21.7个月,3.死亡,2例存活。MCL患者临床表现多样,总体预后差,亟需提高临床对此类罕见病例的认知和诊疗水平。

关键词：白血病肥大细胞预后系统性肥大细胞增多症靶向治疗

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

TanSat Mission Achievements： from Scientific Driving to Preliminary Observations

引用

空间科学学报 2018年第5期38卷 627-639页

作者： LIU Yi wang jing YAO Lu CHEN Xi CAI Zhaonan YANG Dongxu yin Zengshan GU Songyan TIAN Longfei LU Naimeng L Daren Institute of Atmospheric Physics Chinese Academy of Sciences Beijing 100029 university of Chinese Academy of Sciences Beijing 100190 Shanghai Engineering center for Microsatellites Shanghai 201203 National Satellite Meteorological center

The Chinese global carbon dioxide monitoring satellite(TanSat)was successfully launched in December 2016 and has completed its on-orbit tests and *** aims to measure the atmospheric Carbon Dioxide column-averaged dry air mole fractions(X_(CO_2))with a precision of 4 ppm at the regional scale,and further to derive the CO_2 global and regional *** toward these objectives is reviewed and the first scientific results from TanSat measurements are *** the design phase,Observation System Simulation Experiments(OSSE)on TanSat measurements performed prior to launch measurements using a nadir and a glint alternative mode when considering the balance of stable measurements and reduces the flux uncertainty(64%).The constellation measurements of two satellites indicate an extra 10%improvement in flux inversion if the satellite measurements have no bias and similar *** TanSat on-orbit test indicates that the instrument is stable and beginning to produce X_(CO_2)*** preliminary TanSat measurements have been validated with Total Carbon Column Observing network(TCCON)measurements and have inter-compared with OCO-2 measurements in an overlap measurement.

关键词：科学开车二氧化碳监视卫星干燥空气设计阶段地区性 ppm

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Chinese expert consensus on organ protection of transplantation(2022 edition)

引用

Hepatobiliary & Pancreatic Diseases International 2022年第6期21卷 516-526页

作者： Jian-Hui Li xiao Xu Yan-Feng wang Hai-Yang Xie jing-Yu Chen Nian-Guo Dong Mitesh Badiwala Li-Ming Xin Roberto Vanin Pinto Ribeiro Hao {3. Hao Zhang Jian-Zheng Zhang Feng Huo Jia-{3. Yang Hong-Ji Yang Hui Pan Shao-Guang Li {3.-Biao Qiao Jia Luo Hao-Yu Li Jun-Jun Jia Hao Yu Han Liang Si-Jia Yang Hao wang Zhong-Yang Liu Li-Cheng Zhang xiao-Yi Hu Hao Wu Yi-Qing Hu Pei-Fu Tang Qi-Fa Ye Shu-Sen Zheng Department of Hepatobiliary and Pancreatic Surgery Department of Liver TransplantationShulan(Hangzhou)HospitalZhejiang Shuren University School of MedicineHangzhou 310022China Department of Hepatobiliary and Pancreatic Surgery Hangzhou First People’s HospitalZhejiang University School of MedicineHangzhou 310000China Zhongnan Hospital of Wuhan university Institute of Hepatobiliary Diseases of Wuhan UniversityTransplant Center of Wuhan UniversityHubei Key Laboratory of Medical Technology on TransplantationWuhan 430062China NHC Key Laboratory of Combined Multi-organ Transplantation Hangzhou 310003China Wuxi Lung Transplantation center Wuxi People’s Hospital Affiliated with Nanjing Medical UniversityWuxi 214023China Department of Cardiovascular Surgery Union HospitalTongji Medical CollegeHuazhong University of Science and TechnologyWuhan 430022China Peter Munk Cardiac Centre Toronto General Hospital-University Health NetworkTorontoCanada School of Computer Engineering and Science Shanghai UniversityShanghai 200444China Organ Transplant center Shanghai Changzheng HospitalShanghai 200003China Department of Orthopedics Chinese PLA General HospitalBeijing 100039China National Clinical research center for Orthopedics Sports Medicine&RehabilitationBeijing 100039China Department of Surgery General Hospital of Guangzhou Military Command of PLAGuangzhou 510040China Department of Liver Surgery Liver Transplantation CenterWest China Hospital of Sichuan UniversityChengdu 610041China Organ Transplantation center Sichuan Provincial People’s Hospital and School of MedicineUniversity of Electronic Science and Technology of ChinaChengdu 610072China Department of Lung Transplantation The First Affiliated HospitalZhejiang University School of MedicineHangzhou 310003China Division of Hepatobiliary Pancreatic Surgery The First Affiliated HospitalZhejiang University School of MedicineHangzhou 310003China

Introduction Organ transplantation increases survival and improves qual-ity of life to many patients with end-stage organ ***-gan shortage is a worldwide problem that restricts organ trans-plantation[1].Organ procurement and preservation as well as ischemia-reperfusion injury(IRI)after transplantation are the im-portant factors affecting prognosis of *** the de-velopment of organ transplantation technology in the 20th cen-tury,organ protection technology has been a most promising con-cept in this *** preservation solutions such as the Collins solution,university of Wisconsin(UW)solution,and histidine-tryptophan-ketoglutarate(HTK)solution were developed sequen-tially[2],which developed rapidly in static cold storage(SCS)*** remains the standard preservation technique for organ transplantation[2].

关键词： organ preservation transplantation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

库姆塔格沙漠南缘植物物种丰富度格局及主要影响因素

引用

植物科学学报 2020年第4期38卷 483-492页

作者：杨欢王寅王健铭夏延国李景文贾晓红吴波北京林业大学林学院北京100083 中国林业科学研究院荒漠化研究所北京100091 中国科学院地理科学与资源研究所生态系统网络观测与模拟院重点实验室北京100101

通过对库姆塔格沙漠南缘植被进行实地调查,对该地区植物物种丰富度及其群落组成进行研究,并选取11个影响物种丰富度的气候因子和地形因子,利用PCA分析、方差分解等方法探讨气候、地形因子对物种丰富度的影响。结果显示:该区共有植物15... 详细信息

通过对库姆塔格沙漠南缘植被进行实地调查,对该地区植物物种丰富度及其群落组成进行研究,并选取11个影响物种丰富度的气候因子和地形因子,利用PCA分析、方差分解等方法探讨气候、地形因子对物种丰富度的影响。结果显示:该区共有植物15科3.属3.种,植物群落种类匮乏,物种组成单一,植物生活型主要以灌木、多年生草本为主,占所有物种的80%以上;植物物种丰富度与植物群落组成明显受到水热条件的制约。回归分析结果表明,该区物种丰富度与能量因子呈显著负相关(P3.。此外,地形因子对研究区物种丰富度也存在一定影响,能进一步提高环境因子对物种丰富度的解释率。总之,库姆塔格南缘物种组成单一、物种丰富度格局受到水热条件的共同制约,同时地形的变化也有重要影响。

关键词：物种丰富度水分能量地形库姆塔格沙漠南缘

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于ARMA-SVR的短时交通流量预测模型研究

引用

公路交通科技 2021年第11期38卷 126-133页

作者：王博文王景升朱茵王统一张泽有中国人民公安大学交通管理学院北京100038 山东科技大学电气信息学院山东济南250000

短时交通流量预测是辅助智能交通系统进行决策,解决拥堵问题,提高道路通行能力的关键任务。为提高模型对于小样本数据的拟合效果及速度,并充分挖掘交通流序列中存在的线性与非线性关系,将对于线性数据具备良好拟合效果,并且时间复杂度... 详细信息

短时交通流量预测是辅助智能交通系统进行决策,解决拥堵问题,提高道路通行能力的关键任务。为提高模型对于小样本数据的拟合效果及速度,并充分挖掘交通流序列中存在的线性与非线性关系,将对于线性数据具备良好拟合效果,并且时间复杂度较低的自回归滑动平均(ARMA)模型与对于非线性、小样本数据具有计算准确率高、时间复杂度低等优势的支持向量回归(SVR)模型进行组合,提出一种残差优化组合预测模型。采用赤池信息准则对ARMA模型进行定阶,实现交通流量的线性拟合,并得到相应的残差序列。然后将重构后的残差序列作为SVR模型的输入,对残差序列进行预测,以补偿交通流量数据中的非线性变化。将ARMA、SVR、长短期记忆网络、人工神经网络及ARMA-SVR加权组合模型作为对照组进行模型评价。结果表明:样本的时间间隔分别为5,10,15 min时,ARMA-SVR残差优化组合模型的均方根误差(RMSE)及平均绝对误差(MAE)均小于对照组模型,RMSE降低约0.3.8~7.063.MAE降低约0.054~0.802;ARMA-SVR残差优化组合模型在不同的样本时间间隔下均具备较高的预测能力、较低的时间复杂度及数据计算成本,可以满足基于不同样本时间间隔的交通流量预测的需要。

关键词：智能交通交通流量预测模型自回归滑动平均模型 SVR模型智能交通

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：