检索结果-南通市图书馆

Formal Verification under Unknown Constraints

在线全文

学校读者我要写书评

暂无评论

Formal Verification under Unknown Constraints

Achievements and challenges of primate conservation in china

The 1st Chinese Conference on Trusted Computing and information Security

作者： li guang-hui, li xiao-wei school of information engineering, zhejiang forestry college, hangzhou 3.13.0, zhejiang, china Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, china Graduate school of the Chinese Academy of Sciences, Beijing 100039, china

＜正＞ We present a formal method of verifying designs with unknown constraints （e. g. , black boxes） using Boolean satisfiability （SAT）. This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form （CNF） formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram （BDD） based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.

关键词： formal verification unknown constraints black box Boolean satisfiability Boolean comparison

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Zoological Research(Diversity and Conservation) 2024年第1期1卷 66-74页

作者： Bao-Guo li He Zhang Ming li Xue-Long Jiang Peng-Fei Fan Jiang Zhou Song-Tao Guo xiao-guang Qi Jin-Hua li Ji-Qi Lu Dong-Po Xia liang-wei Cui Zuo-Fu Xiang Qi-Hai Zhou Zhi-Pang Huang Cheng-Ming Huang Wen xiao hui-Jian Hu Zhi-Xin Zhou Ming-Yong Chen Da-Yong li Peng-Lai Fan Yin Yang Ru-liang Pan Shaanxi Key Laboratory for Animal Conservation College of Life SciencesNorthwest UniversityXi’anShaanxi 710069China Jiangxi Provincial Key Laboratory of Conservation Biology College of ForestryJiangxi Agricultural UniversityNanchangJiangxi 330045China Key Laboratory of Animal Ecology and Conservation Biology Institute of ZoologyChinese Academy of SciencesBeijing 100101China State Key Laboratory of Genetic Resources and Evolution Kunming Institute of ZoologyChinese Academy of SciencesKunmingYunnan 650201China school of life Sciences Sun Yat-sen UniversityGuangzhouGuangdong 510275China school of Karst Science Guizhou Normal UniversityGuiyangGuizhou 550025China International Collaborative Research Center for Huangshan Biodiversity and Tibetan Macaque Behavioral Ecology Anhui UniversityHefeiAnhui 230601China Institute of Biodiversity and Ecology Zhengzhou UniversityZhengzhouHenan 450001China Key Laboratory for Conserving Wildlife with Small Populations in Yunnan Southwest Forestry UniversityKunmingYunnan 650224China college of life Sciences and Technology Central South University of Forestry and TechnologyChangshaHunan 410004China Key Laboratory of Ecology of Rare and Endangered Species and Environmental Protection(Ministry of Education) Guangxi Normal UniversityGuilinGuangxi 541004China International Centre of Biodiversity and Primate Conservation Centre Dali UniversityDaliYunnan 671003China guangdong Key Laboratory of Animal Conservation and Resource Utilization Institute of ZoologyGuangdong Academy of SciencesGuangzhouGuangdong 510663China school of life Sciences Yunnan UniversityKunmingYunnan 650500China Key Laboratory of Southwest china Wildlife Resources Conservation(Ministry of Education) China West Normal UniversityNanchongSichuan 637001China Institute of International Rivers and Eco-security Yunnan UniversityKunmingYunnan 650500China school of Human Sciences The University of Western AustraliaPerthWA 6009Australia

The dual impact of climate change and human activities has precipitated a sharp decline in primate biodiversity *** is home to the most diverse primate species in the Northern hemisphere,which face severe ecological threats due to the expansion of modern agriculture,extensive exploitation and consumption of natural resources,and excessive land development during its transition from an agricultural to a modern *** response,china has implemented various ecological conservation measures,including habitat restoration and *** efforts have made substantial strides in biodiversity conservation,with certain regions witnessing an increase in primate *** the current study,we conducted a systematic review of historical documents and field research data related to Chinese primates,evaluating the endangered status of primate species in *** improvements in the habitats of most primate species and some population growth,many species still face severe threats,including declining and small *** such as the Myanmar snub-nosed monkey(Rhinopithecus strykeri),eastern black crested gibbon(Nomascus nasutus),and Hainan gibbon(***)remain particularly vulnerable due to their limited distribution ranges and extremely small *** scientific data,fragmented information,and not enough studies in conservation biology further compound the ***,there is a notable lack of detailed population monitoring data for species such as the Bengal slow loris(Nycticebus bengalensis),pygmy slow loris(***),Indochinese gray langur(Trachypithecus crepusculus),Shortridge’s langur(***),and capped langur(***),which hinders the development of practical and targeted conservation management ***,for national biodiversity conservation,there is an urgent need for specialized primate surveys,enhancing habitat protection and restoration,and increasing focus on cross-border conse

关键词： Primates Biodiversity Habitat fragmentation Habitat restoration Conservation strategies

Study protocol:A cross-sectional study on psychology and behavior investigation of Chinese residents,PBICR

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Psychosomatic Medicine Research 2022年第3期4卷 30-41页

作者： Yu-Jia Wang Ayidana Kaierdebieke Si-Yuan Fan Rui-Feng Zhang Meng-Jie Huang Han li xiao-Nan Sun Qi-Yu li Wen-Jia Meng Wen-Yu Wu Zhi lin Jing-Yao liu Xin-Pei Wang Yun-Chou Wu Jing-Qi Tang Yi-Ke Sun Ke Chen Pu Ge Wai-Kit Ming Casper Zhang Zheng Feei Ma Lei Feng Xin-Yue Zhang Yu-Yao Niu Yu-Pei Yan Yi-Le Jin guang-Ze Gao Shuang Dai Yu-liu li Yue Tan Yi-wei Wu Qi Zhang Gui Gui Xian-li Pan Yan-Ming liao Xian-Qi Zhao Ya-Ting Zhang hui-Yi Chen Yue-wei Qiu xiao-Min Fu Jiang-ling Zhou Dan li Ke-Han li Meng-wei Xu Zhe Wang Yue-Qi Wang Yong Ma Xin-Ying Sun Yi-Bo Wu college of Humanities and Social Science Harbin Medical UniversityHarbin150081China school of Public Health Xi'an Jiaotong UniversityXi'an710061China Department of Preventive Medicine Yanjing Medical CollegeCapital Medical UniversityBeijing101300China Preschool Education Guangzhou Huangpu District Phoenix Lake KindergartenGuangzhou510000China school of Public Health Shandong UniversityJinan250012China National Drug Clinical Trial Institute The Second Affiliated HospitalXi'an Jiaotong UniversityXi'an741004China school of Humanities and Health Management Jinzhou Medical UniversityJinzhou121000China school of Arts and Media The University of New South WalesSydneyNSW 2052Australia school of Health Management Harbin Medical UniversityHarbin150081China college of Communication and Art Design University of Shanghai for Science and TechnologyShanghai200093China Medical Equipment Department Peking University First HospitalBeijing100034China school of Philosophy Anhui UniversityHefei230039China college of Integrated Traditional Chinese and Westem Medicine Jining Medical UniversityJining272000China Faculty of Health Sciences University of MacaoMacao999078China Jockey Club college of Veterinary Medicine and life Sciences City University of Hong KongHong KongChina school of Public Health The University of Hong KongHong Kong000000China Centre for Public Health and Wellbeing School of Health and Social WellbeingCollege of HealthScience and SocietyUniversity of the West of EnglandBristol BS161QYUK Centre For life Science National University of Singapore117456Singapore school of Stomatology Zhejiang University School of MedicineHangzhou 310006China Faculty of Arts and Humanities University of MacaoMacao999078China Department of Humanities Arts and MediaChangzhi Medical CollegeChangzhi046013China Baotou Clinical college Inner Mongolia Medical UniversityBaotou010110China Tongliao Clinical college Inner Mongolia Medical UniversityTongliao010110China school of Ima

Objective:This study protocol identifies the basic research route and framework of psychological and behavioral surveys among Chinese residents,aims establishing a database through a multicenter,large-sample cross-sectional survey in china to provide strong data support for research development in various fields and a more comprehensive and systematic understanding of the physical and mental health status of the ***:The study was conducted from June 20,2022 to August 31,2022,using stratified sampling and quota sampling methods,a total of 148 cities,202 districts and counties,390 townships/towns/sub-districts,and 780 communities/villages(excluding Hong Kong,Macao,and Taiwan)from 23 provinces,5 autonomous regions,and 4 municipalities directly under the central government in china were *** questionnaire was distributed one-on-one and face-to-face to the public by trained investigators,and the questionnaire included eight aspects:personal basic information,personal health status,family basic information,social environment in which they were located,psychological level scale,behavioral level scale,other scales,and attitude towards social hot *** analysis will be performed after questionnaire ***:Data collection is *** findings will support physical and mental health research and strategy development in china and even globally,guiding policy-makers and health care organizations to reform their programs to ensure the best interests of residents and their families.

关键词： Chinese residents Psychology Behavior Cross-sectional survey

Small P values may not yield robust findings:an example using REST-meta-PD

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science Bulletin 2021年第21期66卷 2148-2152,M0003页

作者： Xi-Ze Jia Na Zhao Hao-Ming Dong Jia-wei Sun Marek Barton Roxana Burciu Nicolas Carrière Antonio Cerasa Bo-Yu Chen Jun Chen Stephen Coombes Luc Defebvre Christine Delmaire Kathy Dujardin Fabrizio Esposito Guo-guang Fan Federica Di Nardo Yi-Xuan Feng Brett W.Fling Saurabh Garg Moran Gilat Martin Gorges Shu-Leong Ho Fay BHorak xiao Hu xiao-Fei Hu Biao Huang Pei-Yu Huang Ze-Juan Jia Christina Jones Jan Kassubek Lenka Krajcovicova Ajay Kurani Jing li Qing li Ai-Ping liu Bo liu Hu liu wei-Guo liu Renaud Lopes Yu-Ting Lou wei Luo Tara Madhyastha Ni-Ni Mao Grainne McAlonan Martin J.McKeown Shirley Pang Andrea Quattrone Irena Rektorova Alessia Sarica hui-Fang Shang James M.Shine Priyank Shukla Tomas Slavicek xiao-Peng Song Gioacchino Tedeschi Alessandro Tessitore David Vaillancourt Jian Wang Jue Wang Z.Jane Wang Lu-Qing wei Xia Wu xiao-Jun Xu Lei Yan Jing Yang Wan-Qun Yang Nai-lin Yao De-Long Zhang Jiu-Quan Zhang Min-Ming Zhang Yan-ling Zhang Cai-Hong Zhou Chao-Gan Yan Xi-Nian Zuo Mark Hallett Tao Wu Yu-Feng Zang Center for Cognition and Brain Disorders the Affiliated HospitalHangzhou Normal UniversityHangzhou 310015China zhejiang Key Laboratory for Research in Assessment of Cognitive Impairments Hangzhou 311121China National Basic Science Data Center Beijing 100190China State Key Laboratory of Cognitive Neuroscience and Learning&McGovern Institute for Brain Research Beijing Normal UniversityBeijing 100875China school of information and Electronics Technology Jiamusi UniversityJiamusi 154007China Neuroscience Program Central European Institute of TechnologyCEITECMasaryk UniversityBrno 62500Czech Republic Department of Applied Physiology and Kinesiology University of FloridaGainesville FL 32611USA Univ.lille InsermCHU LilleU1172-LilNCog-Lille Neuroscience&CognitionLille F-59000France The Institute for Biomedical Research and Innovation National Research CouncilMangone CS 87050Italy Department of Radiology The First Affiliated Hospital of China Medical UniversityShenyang 110001China Department of Radiology Guangdong Provincial Hospital of Chinese MedicineGuangzhou 510120China Department of Medicine Surgery and DentistryScuola Medica SalernitanaUniversity of SalernoFiscianoSA 132-84084Italy Department of Advanced Medical and Surgery Sciences University of Campania“Luigi Vanvitelli”Caserta 81100Italy Eye Center of the 2nd Affiliated Hospital Medical College of Zhejiang UniversityHangzhou 310020China zhejiang Provincial Key Lab of Ophthalmology Hangzhou 310020China Department of Health and Exercise Science Colorado State UniversityFort Collins CO 80523USA Pacific Parkinson’s Research Centre University of British ColumbiaVancouver BC V6E 2M6Canada Department of Medicine(Neurology)University of British Columbia Vancouver BC V6T 1B7Canada Brain and Mind Center The University of SydneySydney NSW 2006Australia Department of Neurology Ulm UniversityUlm 89081Germany Division of Neurology Department of MedicineQueen Mary HospitalUniversity of Hong KongHong Kong 999077China Department of

Thousands of resting state functional magnetic resonance imaging(RS-f MRI)articles have been published on brain *** precise localization of abnormal brain activity,a voxel-level comparison is *** of the large number of voxels in the brain,multiple comparison correction(MCC)must be performed to reduce false positive rates,and a smaller P value(usually including either liberal or stringent MCC)is widely recommended[1].

关键词：帕金森病 precise correction

在线全文

学校读者我要写书评

暂无评论

2005年中国城市CO2排放数据集

中国人口·资源与环境 2018年第4期28卷 1-7页

作者：蔡博峰刘晓曼陆军王金南刘红光陈洋陈占明丛建辉崔志鹏代春艳董会娟方恺冯彤郭杰李芬孟凡鑫唐伟王庚哲谢运生张建军阿依吐尔逊·沙木西布买日也木·买买提蔡伟光曾胜常盼陈前利陈振国单钰理丁冠乔独威范敏冯相昭干晓宇高壮飞谷雨何凌昊何姚胡鸣明黄丽珍黄桥贾小平菊春燕蓝菁李爽李松李耀光李照令刘合林刘婧文刘庆燕刘竹逯飞马贤磊欧金沛潘栋沈杨税月孙露谭效时唐敏唐袆祺王柯王思亓王香爱王晓培吴家杰吴雪萍肖连香邢文婷徐丽笑叶瑞克袁子坤张飞云张袆张明张琦峰张曦文张宇赵晶赵胜男郑思伟周来友朱天琦曹丽斌冯乐李栋李一静龙瀛孙瑞红环境保护部环境规划院北京100012 中国科学院大气物理研究所北京100029 南京农业大学公共管理学院江苏南京210095 上海财经大学城市与区域科学学院上海200433 中国人民大学经济学院北京100872 山西大学经济与管理学院山西太原030006 E20环境平台咨询部北京100195 重庆工商大学长江上游经济研究中心重庆400067 上海交通大学环境科学与工程学院上海200240 浙江大学公共管理学院浙江杭州310058 天津大学管理与经济学部天津300072 南京农业大学土地管理学院江苏南京210095 深圳市建筑科学研究院股份有限公司北京研创中心广东深圳518049 华南理工大学环境与能源学院广东广州510006 杭州市环境保护科学研究院环境政策研究中心浙江杭州310014 埃因霍芬理工大学建筑学院荷兰埃因霍芬5616SC 江西省科学院能源研究所江西南昌330000 中国地质大学(北京)土地科学技术学院北京100083 新疆农业大学管理学院新疆乌鲁木齐830052 重庆大学建设管理与房地产学院重庆400044 重庆工商大学财政金融学院重庆400067 东安格利亚大学国际发展学院英国诺维奇NR47TJ 环境保护部环境发展中心北京100029 环境保护部环境与经济政策研究中心北京100029 四川大学建筑与环境学院四川成都610065 浙江工业大学政治与公共管理学院浙江杭州310023 美国绿色建筑委员会城市与社区部北京100085 挪威科技大学工程学院挪威约尔维克2815 北京师范大学统计学院北京100875 青岛科技大学环境学院山东青岛266000 北京大学遥感与地理信息系统研究所北京100871 北京师范大学环境学院北京100875 筑波大学日本筑波305-0005 华中科技大学建筑与城市规划学院湖北武汉430074 美国东北大学工学院美国波士顿02115 河北省环境科学研究院规划所河北石家庄050037 中山大学地理科学与规划学院广东广州北京林业大学环境科学与工程学院北京宁波职业技术学院商贸外语学院浙江宁波重庆工商大学土地管理学院重庆日本国立环境研究所社会环境系统研究中心日本筑波中国船舶重工集团公司第七一四研究所北京重庆工商大学管理学院重庆渭南师范学院化学与材料学院陕西渭南福州大学经济与管理学院福建福州扬州大学环境科学与工程学院江苏扬州中国矿业大学管理学院江苏徐州北京大学城市与环境学院北京内蒙古大学公共管理学院内蒙古呼和浩特江苏大学财经学院江苏镇江赤峰学院资源与环境科学学院内蒙古赤峰新余学院经济管理学院江西新余北京市环境保护科学研究院生态与城市环境研究所北京北京清华同衡规划设计研究院有限公司技术创新中心北京100085 北京大学汇丰商学院英国校区华威大学交叉学科研究方法中心英国牛津100871 清华大学建筑学院北京100062 上海工程技术大学管理学院上海021620

2005年是中国承诺碳减排目标的基准年份,因而也是中国城市碳减排战略制定和近中期低碳转型的基准年份和对照年份。中国城市2005年CO_2排放数据的一致性、全面性和精准性对于中国所有城市和每个具体城市的目标考核和评估都有重要意义。... 详细信息

2005年是中国承诺碳减排目标的基准年份,因而也是中国城市碳减排战略制定和近中期低碳转型的基准年份和对照年份。中国城市2005年CO_2排放数据的一致性、全面性和精准性对于中国所有城市和每个具体城市的目标考核和评估都有重要意义。基于中国高空间分辨率网格数据(CHRED 2.0)、城市层面统计数据以及大量现场调研和走访,建立2005年中国城市CO_2排放数据集,包括工业能源排放、工业过程排放、农业排放、服务业排放、城镇生活排放、农村生活排放、交通排放7个部门的直接排放数据和间接排放数据。该数据集的建立汇总了86名研究人员的工作成果,在企业、城市不同行业与部门、城市工业和城市总化石能源等不同层面进行了大量的交叉验证和数据分析,有效保障了数据的精确性和准确性。结果显示,2005年中国城市碳排放呈现出较大的体量差异和空间格局差异。排放前10的城市几乎比排放后10的城市的排放量高出两个数量级。高排放城市基本都是城市群的核心城市。东部城市直接排放占全国直接排放比例最高,达到44.59%,其次是西部城市21.76%,中部城市22.70%,东北城市10.95%。

关键词：城市 CO 2排放数据集中国高空间分辨率网格

在线全文

学校读者我要写书评

暂无评论

论“植物医学”学科与专业的建设

植物医生 2021年第3期34卷 1-6页

作者：刘同先丁伟沈佐锐杨忠岐许永玉李洪连原雪峰马德英文才艺董金皋刘芳邱宝利王源超张正光黄丽丽黄国华操海群潘月敏韩强黄金光刘会香刘怀侯有明王宗华刘长仲缪卫国刘国坤郭永霞罗朝喜梁广文曾玲李华平顾爱星左豫虎李向东张大羽吴元华段玉玺尹建潘洪玉钟国华张跃进赵中华陈根强林晓民张友军万方浩高希武李世东褚栋赵洪海梁文星王森山张世泽李俊凯谭辉华王文明周洪友赵思峰王兰芦光新崔汝强李会平尚巧霞赵晓燕青岛农业大学植物医学学院山东青岛266109 西南大学植物保护学院重庆400715 中国农业大学植物保护学院北京100193 中国林业科学院北京100091 山东农业大学植物保护学院山东泰安271001 河南农业大学植物保护学院郑州450002 新疆农业大学农学院乌鲁木齐830052 河北农业大学植物保护学院河北保定071001 扬州大学园艺与植物保护学院江苏扬州225009 华南农业大学植物保护学院广州510642 南京农业大学植物保护学院南京210014 西北农林科技大学植物保护学院陕西杨凌712100 湖南农业大学植物保护学院长沙410128 安徽农业大学植物保护学院合肥230036 福建农林大学植物保护学院福州350002 甘肃农业大学植物保护学院兰州730070 海南大学植物保护学院海口570228 黑龙江八一农垦大学农学院黑龙江大庆163319 华中农业大学植物科技学院武汉430070 浙江农林大学农学院杭州311300 沈阳农业大学植物保护学院沈阳110161 信阳农林学院农学院河南信阳464006 吉林大学植物科技学院长春130012 全国农业技术推广服务中心北京100026 河南科技大学园艺与植保学院河南洛阳471023 中国农业科学院蔬菜花卉研究所北京100081 中国农业科学院植物保护研究所北京100193 长江大学农学院湖北荆州434020 广西大学农学院南宁530004 四川农业大学农学院四川雅安625014 内蒙古农业大学园艺与植保学院呼和浩特010018 石河子大学农学院新疆石河子832003 塔里木大学植物科学学院新疆阿拉尔843300 青海大学农牧学院西宁810016 江西农业大学农学院南昌330045 河北农业大学林学院河北保定071001 北京农学院生物与资源环境学院北京102206

1952年以前我国涉农高校设有植物病理学、昆虫学学科与专业,没有“植物保护”这一名称.在1952年全国高校院系调整时,因学习和借鉴原苏联的教育体系而引入并设立“植物保护”学科与专业.目前我国至少有62所高校设有“植物保护”学科和本... 详细信息

1952年以前我国涉农高校设有植物病理学、昆虫学学科与专业,没有“植物保护”这一名称.在1952年全国高校院系调整时,因学习和借鉴原苏联的教育体系而引入并设立“植物保护”学科与专业.目前我国至少有62所高校设有“植物保护”学科和本、专科专业.无论从专业名称、专业侧重或专业理念上看,“植物保护”都远远不能满足新农科背景下学科专业建设和高素质人才培养及“三农”发展的需求.在原植物保护学科的基础上,升级建设“植物医学”学科,与人医学、兽医学一起构建人类健康和食物安全的三大支柱和生态命运共同体是新时期赋予医学人员的使命.“植物医学”名称自明,理念新颖;基础植物医学探讨植物与害源的关系;实用植物医学倡导以植物健康为核心的“治未病”.本文通过分析我国高校植物保护学科与专业发展中存在的问题,呼吁在原“植物保护”学科与专业的基础上,建立“植物医学”一级学科与相关专业,逐步完善科学的高素质植物医学人才培养体系,建设新农科和深入贯彻落实习近平总书记给全国涉农高校书记校长和专家代表重要回信精神,以新农科建设为统领,推进高等农林教育创新发展,培养出更多学农、知农、爱农的新型人才.

关键词：植物医学植物保护学科发展新农科