检索结果-南通市图书馆

一种基于Renew的有色网元对象协议的设计与实现

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

系统仿真学报 2008年第S2期20卷 63-68页

作者：郭胜基齐大伟林明王生原董渊清华大学计算机科学与技术系北京100084

在Petri网模拟工具Renew的基础上,设计和实现了相应的元对象协议,从四个方面大大增加了Renew的建模能力:简化基级网模型;获取基级网运行信息;动态改变基级网结构以及控制基极网的运行。文章最后以银行家算法的建模作为例子,说明如何用... 详细信息

在Petri网模拟工具Renew的基础上,设计和实现了相应的元对象协议,从四个方面大大增加了Renew的建模能力:简化基级网模型;获取基级网运行信息;动态改变基级网结构以及控制基极网的运行。文章最后以银行家算法的建模作为例子,说明如何用元对象协议控制基极网的运行,以避免银行家算法中的核心问题:死锁,从而验证了元对象协议的强大功能。

关键词： Petri网元对象协议 Renew 银行家算法

维普期刊数据库

A formally verified transformation to unify multiple nested clocks for a Lustre-like language

在线全文

学校读者我要写书评

暂无评论

science china(Information sciences) 2019年第1期62卷 208-210页

作者： Gang SHI Yucheng ZHANG Shu SHANG shengyuan wang yuan dong Pen-Chung YEW department of computer science and technology Tsinghua University department of computer science and Engineering University of Minnesota

Multiple nested clocks is a major language feature in synchronous data-flow languages such as Lustre [1]. To build a formally verified compiler for such a language, it is a common practice to compile the source program to a C-like program first before compiling it to low-level machine-dependent code using a formally verified backend compiler

关键词： A formally verified transformation to unify multiple nested clocks for a Lustre-like language cycle

Understanding Centrality-Lethality Rule in Yeast Protein-Protein Interaction Network by Topological Property

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Understanding Centrality-Lethality Rule in Yeast Protein-Pro...

Research on the reconstruction of fast and accurate AFM probe model

2011 6th IEEE Joint International Information technology and Artificial Intelligence Conference(ITAIC 2011)

作者： dong Yun-yuan 1 wang Zheng-hua 1 LIU Qi-jun 2 wang Yong-xian 1 1.School of computer National university of Defense technology Changsha china 2.department of Chemistry and Biology School of science National university of Defense technology Changsha china

One of the most important problems in biology is to discover the relationship between topological properties and functional features of proteins in Protein-Protein Interaction（PPI） *** centrality-lethality rule reveals that hub proteins tend to be more essential than non-hub *** hub proteins tend to be more essential? Here,we classified hub proteins into two types:essential hub and nonessential *** found that essential hubs are more important to the survival of the cell and they can be called intra-modular hubs while nonessential hubs tend to be inter-modular hubs.

关键词： protein-protein interaction network essential hub nonessential hub centrality

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Chinese science Bulletin 2010年第24期55卷 2750-2754页

作者： yuan Shuai dong ZaiLi MIAO Lei XI Ning wang YueChao State Key Laboratory of Robotics Shenyang Institute of Automation Chinese Academy of Sciences Shenyang 110016 China Graduate university of Chinese Academy of sciences Beijing 100049 China department of Electrical and computer Engineering Michigan State University USA

The AFM image will be distorted due to the tip-broadening effect. It may be mathematically represented as the effect of the tip's convolution on the real image. As a result, the true geometry of the sample surface can not be obtained. If the tip shape could be known accurately, such distortion can be eliminated with the adoption of disconvolution operation. It is of practical significance in the accurate reconstruction of the AFM image. Among the current tip modeling algorithms, the blind tip estimation algorithm based on mathematical morphology is widely applied. However, it takes much time and has difficulties in defining the optimal noise threshold. In view of the above problems, this paper proposes a new blind tip evaluation method to accelerate the speed of blind tip modeling calculation and realize the accurate reconstruction of the AFM image. The simulation and the experimental results demonstrate the feasibility and effectiveness of the above research method.

关键词： AFM探针原子力显微镜数学形态学图像效果模型几何形状精确重建建模算法

维普期刊数据库

Noninvasive Tracking of Every Individual in Unmarked Mouse Groups Using Multi-Camera Fusion and Deep Learning

在线全文

学校读者我要写书评

暂无评论

Neuroscience Bulletin 2023年第6期39卷 893-910页

作者： Feng Su Yangzhen wang Mengping Wei Chong wang Shaoli wang Lei Yang Jianmin Li Peijiang yuan dong-Gen Luo Chen Zhang department of Neurobiology School of Basic Medical SciencesBeijing Key Laboratory of Neural Regeneration and RepairCapital Medical UniversityBeijing100069China Chinese Institute for Brain Research Beijing102206China State Key Laboratory of Translational Medicine and Innovative Drug Development Nanjing210000China Peking-tsinghua Center for Life sciences Academy for Advanced Interdisciplinary StudiesPeking UniversityBeijing100871China School of Life sciences Tsinghua UniversityBeijing100084China School of Biological science and Medical Engineering Beihang UniversityBeijing100191China The Key Laboratory of Developmental Genes and Human Disease Institute of Life SciencesSoutheast UniversityNanjing210096JiangsuChina Institute for Artificial Intelligence the State Key Laboratory of Intelligence Technology and SystemsBeijing National Research Center for Information Science and TechnologyDepartment of Computer Science and TechnologyTsinghua UniversityBeijing100084China School of Mechanical Engineering and Automation Beihang UniversityBeijing100191China

Accurate and efficient methods for identifying and tracking each animal in a group are needed to study complex behaviors and social *** tracking methods(e.g.,marking each animal with dye or surgically implanting microchips)can be invasive and may have an impact on the social behavior being *** overcome these shortcomings,video-based methods for tracking unmarked animals,such as fruit flies and zebrafish,have been ***,tracking individual mice in a group remains a challenging problem because of their flexible body and complicated interaction *** this study,we report the development of a multi-object tracker for mice that uses the Faster region-based convolutional neural network(R-CNN)deep learning algorithm with geometric transformations in combination with multi-camera/multi-image fusion *** system successfully tracked every individual in groups of unmarked mice and was applied to investigate chasing *** proposed system constitutes a step forward in the noninvasive tracking of individual mice engaged in social behavior.

关键词： Noninvasive tracking Deep learning Multi-camera Mouse group Social interaction

Research on the Willingness to Accept Compensation and Compensation Sharing of Returning Land for Farming to Forestry in Zhangjiakou and Chengde Region

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Meteorological and Environmental Research 2011年第5期2卷 41-44页

作者： wang Yan-xia1,CHEN Xu-dong1,ZHANG Su-juan1,BAI Jie2,ZHANG Yi-wen3 1.Institute of Geographical science,Hebei Academy of science,Shijiazhuang 050011,china 2.computer department,Hebei Vocational College of Politics and Law,Shijiazhuang 050081,china 3.College of Resources and Environment science,Hebei Normal university,Hebei Key Laboratory of Environmental Change and Ecological Construction,Shijiazhuang 050016,china

[Objective] The aim was to study the willingness to accept compensation and compensation sharing of returning land for farming to forestry in Zhangjiakou and Chengde region.[Method] Based on the investigation of farmers’ willingness to accept ecological compensation in Zhangjiakou and Chengde region,farmers’ willingness to accept compensation was quantized,and the calculation model of sharing rate of ecological compensation was established,finally the sharing rate of ecological compensation was calculated choosing water supply quantity as reference.[Result] Farmers’ willingness to accept compensation in Zhangjiakou and Chengde region was 2 740.5 yuan/(hm2·a),and returned farmland area was 429 700 hm2 in 2008,so the willingness to accept ecological compensation was up to 1.178 billion yuan/*** addition,the ecological compensation sharing rate of government was 37.60% in beijing,42.75% in Tianjing and 19.64% in Tangshan,and their ecological compensation funds were 443,504 and 231 million yuan,respectively.[Conclusion] The study could provide important foundation for the establishment of ecological compensation standard and implementation of ecological compensation in Zhangjiakou and Chengde region.

关键词： Zhangjiakou Chengde Ecological compensation Willingness to accept compensation Sharing rate of compensation china

Applications and prospects of cryo-EM in drug discovery

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Military Medical Research 2023年第6期10卷 848-861页

作者： Kong-Fu Zhu Chuang yuan Yong-Ming Du Kai-Lei Sun Xiao-Kang Zhang Horst Vogel Xu-dong Jia yuan-Zhu Gao Qin-Fen Zhang Da-Ping wang Hua-Wei Zhang department of Biomedical Engineering Southern University of Science and TechnologyShenzhen 518055GuangdongChina department of Biochemistry and Molecular Biology School of Basic Medical SciencesPeking UniversityBeijing 100191China department of Structural Biology St.Jude Children’s Research HospitalMemphisTN 38105USA Center for Protein science and Crystallography School of Life SciencesFaculty of ScienceChinese University of Hong KongHong Kong 999077China Interdisciplinary Center for Brain Information the Brain Cognition and Brain Disease InstituteShenzhen Institute of Advanced TechnologyChinese Academy of SciencesShenzhen 518055GuangdongChina Faculty of Life and Health sciences Shenzhen Institute of Advanced TechnologyChinese Academy of SciencesShenzhen 518055GuangdongChina Shenzhen-Hong Kong Institute of Brain science-Shenzhen Fundamental Research Institutions Shenzhen 518055GuangdongChina Shenzhen Institute of Advanced technology Chinese Academy of SciencesShenzhen 518055GuangdongChina State Key Lab for Biocontrol School of Life SciencesSun Yat-Sen UniversityGuangzhou 510275China Cryo‑EM Facility Center Southern University of Science and TechnologyShenzhen 518055GuangdongChina department of Orthopedics Shenzhen Intelligent Orthopaedics and Biomedical Innovation PlatformGuangdong Provincial Research Center for Artifcial Intelligence and Digital Orthopedic TechnologyShenzhen Second People’s HospitalThe First Affiliated Hospital of Shenzhen UniversityShenzhen 518000GuangdongChina Guangdong Provincial Key Laboratory of Advanced Biomaterials Southern University of Science and TechnologyShenzhen 518055GuangdongChina

Drug discovery is a crucial part of human healthcare and has dramatically benefited human lifespan and life quality in recent centuries, however, it is usually time-and effort-consuming. Structural biology has been demonstrated as a powerful tool to accelerate drug development. Among different techniques, cryo-electron microscopy(cryo-EM) is emerging as the mainstream of structure determination of biomacromolecules in the past decade and has received increasing attention from the pharmaceutical industry. Although cryo-EM still has limitations in resolution, speed and throughput, a growing number of innovative drugs are being developed with the help of cryo-EM. Here, we aim to provide an overview of how cryo-EM techniques are applied to facilitate drug discovery. The development and typical workflow of cryo-EM technique will be briefly introduced, followed by its specific applications in structure-based drug design, fragment-based drug discovery, proteolysis targeting chimeras, antibody drug development and drug repurposing. Besides cryo-EM, drug discovery innovation usually involves other state-of-the-art techniques such as artificial intelligence(AI), which is increasingly active in diverse areas. The combination of cryo-EM and AI provides an opportunity to minimize limitations of cryo-EM such as automation, throughput and interpretation of mediumresolution maps, and tends to be the new direction of future development of cryo-EM. The rapid development of cryo-EM will make it as an indispensable part of modern drug discovery.

关键词： Cryo-electron microscopy(cryo-EM) Drug discovery Structure-based drug design Fragment-based drug discovery Proteolysis targeting chimeras Drug repurposing Artificial intelligence(AI)

维普期刊数据库

A Pipelining Loop Optimization Method for Dataflow Architecture

在线全文

学校读者我要写书评

暂无评论

Journal of computer science & technology 2018年第1期33卷 116-130页

作者： Xu Tan Xiao-Chun Ye Xiao-Wei Shen yuan-Chao Xu Da wang Lunkai Zhang Wen-Ming Li dong-Rui Fan Zhi-Min Tang State Key Laboratory of computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China School of computer and Control Engineering University of Chinese Academy of Sciences Beijing 1000J9 China State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 214125 China College of Information Engineering Capital Normal University Beijing 100048 China department of computer science The University of Chicago Chicago IL 60637 U.S.A.

With the coming of exascale supercomputing era, power efficiency has become the most important obstacle to build an exascale system. Dataflow architecture has native advantage in achieving high power efficiency for scientific applications. However, the state-of-the-art dataflow architectures fail to exploit high parallelism for loop processing. To address this issue, we propose a pipelining loop optimization method （PLO）, which makes iterations in loops flow in the processing element （PE） array of dataflow accelerator. This method consists of two techniques, architecture-assisted hardware iteration and instruction-assisted software iteration. In hardware iteration execution model, an on-chip loop controller is designed to generate loop indexes, reducing the complexity of computing kernel and laying a good f（mndation for pipelining execution. In software iteration execution model, additional loop instructions are presented to solve the iteration dependency problem. Via these two techniques, the average number of instructions ready to execute per cycle is increased to keep floating-point unit busy. Simulation results show that our proposed method outperforms static and dynamic loop execution model in floating-point efficiency by 2.45x and 1.1x on average, respectively, while the hardware cost of these two techniques is acceptable.

关键词： dataflow model control-flow model loop optimization exascale computing scientific application

CEPC Technical Design Report

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Radiation Detection technology and Methods 2024年第1期8卷 I0003-I0016,1-1091页

作者： Waleed Abdallah Tiago Carlos Adorno de Freitas Konstantin Afanaciev Shakeel Ahmad Ijaz Ahmed Xiaocong Ai Abid Aleem Wolfgang Altmannshofer Fabio Alves Weiming An Rui An Daniele Paolo Anderle Stefan Antusch Yasuo Arai Andrej Arbuzov Abdesslam Arhrib Mustafa Ashry Sha Bai Yu Bai Yang Bai Vipul Bairathi Csaba Balazs Philip Bambade Yong Ban Tripamo Bandyopadhyay Shou-Shan Bao Desmond P.Barber Ayse Bat Varvara Batozskaya Subash Chandra Behera Alexander Belyaev Michele Bertucci Xiao-Jun Bi yuanjie Bi Tianjian Bian Fabrizio Bianchi Thomas Biekotter Michela Biglietti Shalva Bilanishvili Deng Binglin Denis Bodrov Anton Bogomyagkov Serge Bondarenko Stewart Boogert Maarten Boonekamp Marcello Borri Angelo Bosotti Vincent Boudry Mohammed Boukidi Igor Boyko Ivanka Bozovic Giuseppe Bozzi Jean-Claude Brient Anastasiia Budzinskaya Masroor Bukhari Vladimir Bytev Giacomo Cacciapaglia Hua Cai Wenyong Cai Wujun Cai Yijian Cai Yizhou Cai Yuchen Cai Haiying Cai Huacheng Cai Lorenzo Calibbi Junsong Cang Guofu Cao Jianshe Cao Antoine Chance Xuejun Chang Yue Chang Zhe Chang Xinyuan Chang Wei Chao Auttakit Chatrabhuti Yimin Che Yuzhi Che Bin Chen Danping Chen Fuqing Chen Fusan Chen Gang Chen Guoming Chen Hua-Xing Chen Huirun Chen Jinhui Chen Ji-yuan Chen Kai Chen Mali Chen Mingjun Chen Mingshui Chen Ning Chen Shanhong Chen Shanzhen Chen Shao-Long Chen Shaomin Chen Shiqiang Chen Tianlu Chen Wei Chen Xiang Chen Xiaoyu Chen Xin Chen Xun Chen Xurong Chen Ye Chen Ying Chen Yukai Chen Zelin Chen Zilin Chen Gang Chen Boping Chen Chunhui Chen Hok Chuen Cheng Huajie Cheng Shan Cheng Tongguang Cheng Yunlong Chi Pietro Chimenti Wen Han Chiu Guk Cho Ming-Chung Chu Xiaotong Chu Ziliang Chu Guglielmo Coloretti Andreas Crivellin Hanhua Cui Xiaohao Cui Zhaoyuan Cui Brunella D'Anzi Ling-Yun Dai Xinchen Dai Xuwen Dai Antonio De Maria Nicola De Filippis Christophe De La Taille Francesca De Mori Chiara De Sio Elisa Del Core Shuangxue Deng Wei-Tian Deng Zhi Deng Ziyan Deng Bhupal Dev Tang Dewen Biagio Di Micco Ran Ding Siqin Dingl Yadong Ding Haiyi dong Jianin AGH university of science and technology Faculty of Physics and Applied Computer ScienceKrakow Anhui university HefeiAnhui Applied Physics department Federal Urdu University of ArtsScience and TechnologyIslamabad Banaras Hindu university Institute of ScienceVaranasi Bandirma Onyedi Eylul university Bandirma Beihang university Beijing beijing Computational science Research Center Beijing beijing Conveyi LTD Beijing beijing Glass Research Institute Co. LtdBeijing beijing Institute of technology Beijing beijing Normal university Beijing Brown university ProvidenceRI Budker Institute of Nuclear Physics Novosibirsk Cadi Ayyad university Laboratory of Fundamental and Applied PhysicsPolydisciplinary FacultyMarrakech Cairo university Giza Center for Theory and Computation National Tsing Hua UniversityHsinchu Central china Normal university WuhanHubei Central South university ChangshaHunan Centro de Fisica Teorica de Particulas Universidade Tecnica de LisboaLisboa Chengdu KaitengSifang Digital Radio&TV Equipment Co. LtdChengduSichuan china academy of engineering physics MianyangSichuan china building materials academy Beijing china Center of Advanced science and technology Beijing china Institute of Atomic Energy Beijing china Jiliang university HangzhouZhejiang china Nuclear Instrument CO. LTDBeijing china university of Geosciences Beijing china university of Geosciences WuhanHubei china university of Mining and technology XuzhouJiangsu china West Normal university NanchongSichuan Chongqing university Department of PhysicsChongqing Chulalongkorn university Bangkok City university of Hong Kong Department of PhysicsHong Kong Cockcroft Institute Daresbury Cornell university IthacaNY CPPM(AMU/IPhU&CNRS/INP) Marseille Dalian Minzu university DalianLiaoning Dalian university of technology Department of PhysicsDalian Deutsches Elektronen-Synchrotron DESY Hamburg Dzhelepov Laboratory of Nuclear Problems of Joint Institute for Nuclear Research(DLNP JINR) Dubna East china university Of science And Technol

The Circular Electron Positron Collider(CEPC)is a large scientific project initiated and hosted by china,fostered through extensive collaboration with international *** complex comprises four accelerators:a 30 GeV Linac,a 1.1 GeV Damping Ring,a Booster capable of achieving energies up to 180 GeV,and a Collider operating at varying energy modes(Z,W,H,and tt).The Linac and Damping Ring are situated on the surface,while the subterranean Booster and Collider are housed in a 100 km circumference underground tunnel,strategically accommodating future expansion with provisions for a potential Super Proton Proton Collider(SPPC).The CEPC primarily serves as a Higgs *** its baseline design with synchrotron radiation(SR)power of 30 MW per beam,it can achieve a luminosity of 5×10^(34)cm^(-2)s^(-1)per interaction point(IP),resulting in an integrated luminosity of 13 ab^(-1)for two IPs over a decade,producing 2.6 million Higgs *** the SR power to 50 MW per beam expands the CEPC's capability to generate 4.3 million Higgs bosons,facilitating precise measurements of Higgs coupling at sub-percent levels,exceeding the precision expected from the HL-LHC by an order of *** Technical Design Report(TDR)follows the Preliminary Conceptual Design Report(Pre-CDR,2015)and the Conceptual Design Report(CDR,2018),comprehensively detailing the machine's layout,performance metrics,physical design and analysis,technical systems design,R&D and prototyping efforts,and associated civil engineering ***,it includes a cost estimate and a preliminary construction timeline,establishing a framework for forthcoming engineering design phase and site selection *** is anticipated to begin around 2027-2028,pending government approval,with an estimated duration of 8 *** commencement of experiments and data collection could potentially be initiated in the mid-2030s.

关键词： initiated exceeding precise