|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Formal verification of safety protocol in train control system显示文摘In order to satisfy the safety-critical requirements,the train control system(TCS) often employs a layered safety communication protocol to provide reliable services.However,both description and verification of the safety protocols may be formidable due to the system complexity.In this paper,interface automata(IA) are used to describe the safety service interface behaviors of safety communication protocol.A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN.A case study of using this method to describe and verify a safety communication protocol is included.The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks,livelocks and several mandatory consistency properties.A prototype of safety protocols is also developed based on the presented formally verifying method. | ZHANG Yan TANG Tao LI KePing MERA Jose Manuel ZHU Li ZHAO Lin XU TianHua | 2011 | Science China(Technological Sciences)2011，54，11： | 6 |
| 2 | An inverse solution to the point contact EHL problem under heavy loads 显示文摘 | Hou Keping Zhu Dong Wen Shizhu | 1987 | Joumal of Tribology Trans ASME1987，109，3： | 4 |
| 3 | Positioning taxonomic research for the future显示文摘Why do taxonomists matter? The work of taxonomists is often understated if not completely misunderstood. Without taxonomists, organisms cannot be accurately identified, neither can these organisms be given universally accepted names, and reliably positioned in the phylogenetic tree of life. Thanks to the work of taxonomists over the last 269 years since Carl Linnaeus established the binomial system, we can now measure the health and wealth of our biodiversity in a refined, science-based inventory prescribed by stringent nomenclatural rules. | Deyuan Hong Wenying Zhuang Min Zhu Keping Ma Xiaoquan Wang Dawei Huang Yalin Zhang Guodong Ren Wenjun Bu Wanzhi Cai Dong Ren Ding Yang Aiping Liang Fengyan Bai Runzhi Zhang Fumin Lei Shuqiang Li Hongzhi Kong Lei Cai Yucheng Dai Chaodong Zhu Qisen Yang Jun Chen Zhongli Sha Jianping Jiang Jing Che Donghui Wu Jiatang Li Qiang Wang Xinli Wei Ming Bai Xingyue Liu Xuexin Chen Gexia Qiao | 2022 | Zoological Systematics2022，47，3： | 2 |
| 4 | A semi-wet technological process for flue gas desulfurization by coro- na discharges at an industrial scale 显示文摘 | Yan Keping Li Ruinian Zhu Tianle | 2006 | Chemical Engi- neering Journal2006，，2： | 1 |
| 5 | A semi-wet technological process for flue gas desulfurization by corona discharges at an indust rial scale显示文摘 | Yan Keping Li Ruinian Zhu Tianle | | 0，，： | 1 |
| 6 | Six steps for building a technological knowledge base for future taxonomic work显示文摘Species are the principal category we use to study,understand,and conserve the natural world,so how we define species has a cascading impact across fields,well beyond biology[1].Despite such importance,debate on species concepts continues to this day([2]2020),with consequences for what organisms we recognize,study and protect.Given the wealth of life forms on our planet. | Michael C.Orr Anderson Feijó Douglas Chesters Alfried P.Vogler Silas Bossert Rafael R.Ferrari Mark John Costello Alice C.Hughes Lars Krogmann John S.Ascher Xin Zhou De-Zhu Li Ming Bai Jun Chen Deyan Ge Arong Luo Gexia Qiao Paul H.Williams Ai-bing Zhang Keping Ma Feng Zhang Chao-Dong Zhu | 2022 | National Science Review2022，9，12： | 1 |
| 7 | Analysis of the Hydraulic and Heat Transfer Evolution Mechanism of a Single Rock Fracture显示文摘Mineral dissolution and mechanical deformation of granite are two main mechanisms that affect permeability evolution of rock fracture.In this study,two water flow-through experiments with large granite fractures were conducted at 200 0C with a constant flow rate for 24 h,under confining pressures of 5 and 10 MPa,respectively.Water pressure and temperature were measured,fracture aperture and permeability were calculated,and chemical element concentrations in effluent water were tested for mechanism analysis.The permeability fluctuates up and down between 2.62 × 10^(-12)and 3.16 ×10^(-12)m^(2)at confining pressure of 5 MPa;while it decreased monotonously by 24% from 1.92 × 10^(-12)to1.45 × 10^(-12)m^(2)at a confining pressure of 10 MPa.The heat transfer rates at both experiments stay stable at about 0.25 J/s.The mass concentration of Ca,Na,K,and Si in effluent water are between 5 to 23mg/L,indicating slight dissolution of Ca-plagioclase,Na-plagioclase,and K-feldspar,as well as possible precipitation of minor amount of kaolinite or quartz.The total amount of free-face dissolution and pressure dissolution are similar at 5 and 10 MPa.The geochemical reaction counts for only small part of the aperture change,while the mechanical deformation counts the major part of the aperture change. | Biao Shu Fan Zeng John Kemeny Runjun Zhu Keping Chen Jingqiang Tan | 2023 | Journal of Earth Science2023，34，1： | 1 |
| 8 | A semiwet technological process for flue gas desulfurization by corona discharges at an industrial scale显示文摘 | Yan Keping Li Ruinian Zhu Tianle | 2006 | Chem Eng J2006，116，2： | 1 |
| 9 | MiR-130a regulates and dendritic spine MeCP2 neurite outgrowth density by targeting显示文摘 | Yunjia Zhang Mengmeng Chen Zilong Qiu Keping Hu Warren McGee Xiaoping Chen Jianghong Liu Li Zhu Jane Y. Wu | 2016 | Protein & Cell2016，7，7： | 1 |
| 10 | A semi-wet technological process for flue gas desulfurization by corona discharges at an industrial scale 显示文摘 | Yan Keping Li Ruinian Zhu Tianle | 2006 | Chemical Engineering Journai2006，116，： | 1 |
| 11 | First Rocketsonde Launched from an Unmanned Semi-submersible Vehicle显示文摘The unmanned semi-submersible vehicle(USSV) developed by the unmanned surface vehicle team of the Institute of Atmospheric Physics is an unmanned, rugged, and high-endurance autonomous navigation vessel designed for the collection of long-term, continuous and real-time marine meteorological measurements, including atmospheric sounding in the lower troposphere. A series of river and sea trials were conducted from May 2016 to November 2017, and the first rocketsonde was launched from the USSV. Real-time meteorological parameters in the marine atmospheric boundary layer(MABL) were obtained, including sea surface temperature, and vertical profiles of the pressure, temperature, relative humidity, wind speed,and wind direction. These data are extremely useful and important for research on air–sea interactions, sea surface heat and latent heat flux estimations, MABL modeling, and marine satellite product validation. | Hongbin CHEN Jun LI Yuejian XUAN Xiaosong HUANG Weifeng ZHU Keping ZHU Wenzheng SHAO | 2019 | Advances in Atmospheric Sciences2019，36，4： | 1 |
| 12 | A semiwet technological process for flue gas desulfurization by corona discharges at an industrial scale显示文摘 | YAN Keping LI Ruinian ZHU Tianle | 2006 | Chemical Engineering Journal2006，116，2： | 1 |
| 13 | Smart industrial IoT empowered crowd sensing for safety monitoring in coal mine显示文摘The crowd sensing technology can realize the sensing and computing of people,machines,and environment in smart industrial IoT-based coal mine,which provides a solution for safety monitoring through distributed intelligence optimization.However,due to the difficulty of neural network training to achieve global optimality and the fact that traditional LSTM methods do not consider the relationship between adjacent machines,the accuracy of human body position prediction and pressure value prediction is not high.To solve these problems,this paper proposes a smart industrial IoT empowered crowd sensing for safety monitoring in coal mine.First,we propose a Particle Swarm Optimization-Elman Neural Network(PE)algorithm for the mobile human position prediction.Second,we propose an ADI-LSTM neural network prediction algorithm for pressure values of machines supports in underground mines.Among them,our proposed PE algorithm has the lowest average cumulative prediction error,and the trajectory fit rate is improved by 24.1%,13.9%and 8.7%compared with Kalman filtering,Elman and Kalman plus Elman algorithms,respectively.Meanwhile,compared with single-input ARIMA,RNN,LSTM,and GRU,the RMSE values of our proposed ADI-LSTM are reduced by 36.6%,52%,32%,and 13.7%,respectively;and the MAPE values are reduced by 0.0003%,0.9482%,1.1844%,and 0.3620%,respectively. | Jing Zhang Qichen Yan Xiaogang Zhu Keping Yu | 2023 | Digital Communications and Networks2023，9，2： | 0 |
| 14 | Pharmaceutical digital transformation in China:digital quality assurance takes the driver’s seat显示文摘The development of automation,the Internet of Things(IoT),artificial intelligence(AI),big data,and other digi-tal technologies has made it imperative for pharmaceutical companies to undergo digital transformation to improve their research and development capabilities,increase the quality of their products,lower operating costs,and gain a competitive edge.One of the most crucial steps in the life-cycle riskman-agement chain for drugs is digital quality assurance(DQA).Based on a literature review,questionnaire survey,and expert consensus,a panel of experts was convened in Shanghai to generate a set of conceptual,pharmaceutical manufacturing-specific DQA specifications.The goal of the consensus is to advance common practices that use digital tools to quickly collect,record,evaluate,and review particular forms of data to enhance the automation of quality assurance and make drug quality activities more efficient. | Yuanyuan Ge Meng Cao Hui Cao Bin Han Jingchen Zhang Zhengyu Yi Yaowei Wu Beifen Zhu Keping Ruan Yiyi Pu Yi Zeng Tongjing Tao Zhenzhong Lyu Hongmei Yuan Guiliang Chen | 2023 | Bio-Design and Manufacturing2023，6，5： | 0 |
| 15 | 基于高空气球平台的下投探空:系统研发和青藏高原实验显示文摘为提高复杂地理环境和极端天气条件下的大气廓线探测能力,本文自主研发了基于平流层高空气球平台的下投探空系统,并在青藏高原开展探测评估实验.该系统主要由下投探空舱,携带降落伞的下投探空仪,下投施放装置,数据接收通讯天线和GPS模块等组成.下投探空仪测量数据通过卫星通信链路和无线电信号实时发送至数据接收机存储处理.2020年青藏高原实验中8枚下投探空仪全部成功施放,提供了合理有效的大气廓线探测数据.后续会进一步提高下投探空仪传感器性能,全面评估其探测准确性和精度. | Jinqiang Zhang Hongbin Chen Yunfei Du Wenzheng Shao Runping Zeng Keping Zhu Yi Liu Yuejian Xuan | 2021 | Atmospheric and Oceanic Science Letters2021，14，3： | 0 |
| 16 | Differential impacts of adult trees on offspring and non-offspring recruits in a subtropical forest显示文摘An important mechanism promoting species coexistence is conspecific negative density dependence(CNDD),which inhibits conspecific neighbors by accumulating host-specific enemies near adult trees.Natural enemies may be genotype-specific and regulate offspring dynamics more strongly than non-offspring,which is often neglected due to the difficulty in ascertaining genetic relatedness.Here,we investigated whether offspring and non-offspring of a dominant species,Castanopsis eyrei,suffered from different strength of CNDD based on parentage assignment in a subtropical forest.We found decreased recruitment efficiency(proxy of survival probability)of offspring compared with non-offspring near adult trees during the seedling-sapling transition,suggesting genotype-dependent interactions drive tree demographic dynamics.Furthermore,the genetic similarity between individuals of same cohort decreased in late life history stages,indicating genetic-relatedness-dependent tree mortality throughout ontogeny.Our results demonstrate that within-species genetic relatedness significantly affects the strength of CNDD,implying genotype-specific natural enemies may contribute to population dynamics in natural forests. | Fang Wang Xiangcheng Mi Lei Chen Wubing Xu Walter Durka Nathan GSwenson Daniel JJohnson Samantha JWorthy Jianhua Xue Yan Zhu Bernhard Schmid Yu Liang Keping Ma | 2022 | Science China(Life Sciences)2022，65，10： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员