检索结果-内蒙古大学图书馆

IEEE Workshop on engineering of Autonomic and Autonomous Systems (EASE)

作者： Yongwang Zhao Dianfu Ma Jing Li Zhuqing Li State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China Institute of Advanced Computing Technology School of Computer Science and Engineering Beihang University Beijing China

Increasingly, software needs to dynamically adapt its structure and behavior at runtime in response to changing conditions in the supporting computing, network infrastructure, and in the surrounding physical environments. By high complexity, adaptive programs are generally difficult to specify, verify, and validate. Assurance of high dependability of these programs is a great challenge. Efficiently and precisely specifying requirements and flexible model checking for adaptation are the key issues for developing dependably adaptive software. This paper introduces a formal model for adaptive programs which have different behavioral modes. We consider that adaptive programs have two behavioral level, functional behavior and adaptation. state machine is used to describe functional behavior in different modes and mode automata is proposed for adaptations. Specifications of adaptive programs are classified into three categories, local, adaptation and global properties from their different scope of dynamic adaptation. To specify and verify specifications on our model, We propose the Mode-extended Linear Temporal Logic (mLTL) and its model checking approach. mLTL extends Linear Temporal Logic (LTL) by adding mode related element and enables describing properties on different modes. Our formal model and mLTL formulae are translated to SMV language and verified in NuSMV model checker.

关键词： Automata Adaptation models Receivers Software Semantics Encryption Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic

Towards Verifying Global Properties of Adaptive Software Bas...

引用

International Conference on advanced Information Networking and Applications (AINA)

作者： Yongwang Zhao Jing Li Dou Sun Dianfu Ma Institute of Advanced Computing Technology School of Computer Science and Engineering Beihang University Beijing China State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China

Increasingly, software needs to dynamically adapt its structure and behavior at runtime in response to changing conditions in the supporting computing, network infrastructure, and in the surrounding physical environments. By high complexity, assurance of high dependability of these software is a great challenge. Effective modeling of behavior and flexibly specifying requirements are the key issues for developing trusted adaptive software. This paper introduces a formal model for the behavior of adaptive software and an extended linear temporal logic to specify global properties. We use state machines to describe programs in different behavioral modes of adaptive software and consider these machines as different versions of programs. Specifications are classified into three categories, local, adaptation and global properties from perspective of dynamic adaptation. To specify and verify global properties on our model, we propose the versioned LTL (vLTL) which extends Linear Temporal Logic by adding version related element and enables describing properties on different versions. We also discuss verifying approach of vLTL by transforming them into LTL formulae and illustrate a study case.

关键词： Automata Software Adaptation model Semantics Runtime Algebra Switches

来源：评论

学校读者我要写书评

暂无评论

Some recent progress on curvilinear imagers and eyeball cameras

Some recent progress on curvilinear imagers and eyeball came...

引用

Imaging Systems and Applications, ISA 2011

作者： Jung, Inhwa Xiao, Jianliang Malyarchuk, Viktor Lu, Chaofeng Li, Ming Liu, Zhuangjian Yoon, Jongseung Huang, Yonggang Rogers, John A. Department of Materials Science and Engineering Beckman Institute for Advanced Science and Technology Frederick Seitz Materials Research Laboratory University of Illinois at Urbana-Champaign Urbana IL 61801 United States Department of Civil Engineering Zhejiang University Hangzhou Zhejiang 310058 China Department of Civil and Environmental Engineering Northwestern University Evanston IL 60208 United States State Key Laboratory of Structural Analysis for Industrial Equipment Dalian University of Technology Dalian 116024 China Institute of High Performance Computing 1 Fusionopolis Way #16-16 Connexis 138632 Singapore Department of Mechanical Engineering Northwestern University Evanston IL 60208 United States

We present curvilinear imagers using photodetector arrays on elastomeric membranes, capable of reversible deformation into hemispherical shapes via hydraulics. Combining with tunable, fluidic plano-convex lenses yield... 详细信息

ISBN: (纸本)9781557529145

关键词： Arrays Detector arrays Image quality Photodetectors Thin films Zoom lenses

来源：评论

学校读者我要写书评

暂无评论

Multicast grooming algorithm in waveband switching optical networks

引用

Journal of Lightwave Technology 2010年第19期28卷 2856-2864页

作者： Guo, Lei Wang, Xingwei Cao, Jiannong Hou, Weigang Pang, Lan College of Information Science and Engineering Northeastern University Shenyang 110819 China Department of Computing Hong Kong Polytechnic University Hong Kong Hong Kong State Key Laboratory of Advanced Optical Communication Systems and Networks Peking University Beijing 100871 China

In optical Wavelength-Division-Multiplexing (WDM) networks, multicast becomes more and more popular to provide high-speed communication between one point and multiple points. At the same time, the ports of Optical Cross-Connect (OXC) are greatly enhanced with the increasing number of wavelengths in fibers, and then the waveband switching technique is proposed to save the ports and reduce the cost of OXC. However, current waveband grooming algorithms are all limited in unicast. To achieve the multicast communication and meanwhile save the ports of OXC, we need to solve the multicast grooming, routing and wavelength/waveband assignment problem which is the HP-hard. In this paper, we propose a heuristic algorithm named Integrated Multicast Waveband Grooming (IMWG) based on Multicast Layered Auxiliary Graph (MLAG) that includes a Virtual Topology Layer (VTL) and multiple Waveband-Plane Layers (WPLs) to support the single-hop, multi-hop and hybrid multicast waveband grooming. For each demand, IMWG first computes a single-hop or multi-hop grooming waveband-tree on VTL. If the grooming waveband-tree cannot be found on VTL, IMWG computes a new waveband-tree on WPL. If the new waveband-tree cannot be found on WPL, IMWG computes a hybrid grooming waveband-tree on MLAG. Simulation results show that, compared with other algorithms, IMWG is able to obtain better performances. © 2010 IEEE.

关键词： Multicasting

来源：评论

学校读者我要写书评

暂无评论

Mammalian target of rapamycin regulates murine and human cell differentiation through STAT3/p63/Jagged/Notch cascade

Mammalian target of rapamycin regulates murine and human cel...

引用

第一届国家癌症中心学术年会

作者： Jianhui Ma Yanling Jing Shu Zhang Rongrong Chen Lianmei Wang Erxi Wu Guifang Cai Izabela Malinowska-Kolodziej Qi Liao Yuqin Liu Yi Zhao Yan Meng Qiang Sun Kaifeng Xu Jianwu Dai Jiahuai Han Lizi Wu Robert Chunhua Zhao Huangxuan Shen Hongbing Zhang David J.Kwiatkowski Xinxin Chen Haiyong Peng Qian Sun Xiaojun Zha Fang Wang Ying Wang Center of Excellence in Tissue Engineering Institute of Basic Medical Sciences and School of Basic MedicineChinese Academy of Medical Sciences and Peking Union Medical CollegeBeijingPeople ''s Republic of China Division of Breast SurgeryDepartment of SurgeryPeking Union Medical College HospitalChinese Academy of Medical Sciences and Peking Union Medical CollegeBeijingPeople ''s Republic of China Division of Respiratory MedicineDepartment of MedicinePeking Union Medical College HospitalChinese Academy of Medical Sciences and Peking Union Medical CollegeBeijingPeople''s Republic of China Key Laboratory of Molecular Developmental BiologyInstitute of Genetics and Developmental BiologyChinese Academy of SciencesBeijingPeople''s Republic of China Key Laboratory of the Ministry of Education for Cell Biology and Tumor Cell EngineeringSchool of Life SciencesXiamen UniversityXiamenFujianPeople ''s Republic of China Department of Molecular Genetics and MicrobiologyShands Cancer CenterUniversity of FloridaGainesvilleFloridaUSA Center of Excellence in Tissue EngineeringInstitute of Basic Medical Sciences and School of Basic MedicineChinese Academy of Medical Sciences and Peking Union Medical CollegeBeijingPeople ''s Republic of China State Key Laboratory of OphthalmologyLaboratory of Ocular GeneticsZhongshan Ophthalmic CenterSun Yat-Sen UniversityGuangzhouPeople''s Republic of China Division of Breast Surgery Department of SurgeryPeking Union Medical College HospitalChinese Academy of Medical Sciences and Peking Union Medical CollegeBeijingPeople ''s Republic of China Department of Physiology and PathophysiologyNational Laboratory of Medical Molecular BiologyInstitute of Basic Medical Sciences and School of Basic MedicineChinese Academy of Medical Sciences and Peking Union Medical CollegeBeijingPeople ''s Republic of China Department of Physiology and Pathophysiology National Laboratory of Medical Molecular BiologyInstitute of Basic Medical Sciences and School of Basic MedicineCh

来源：评论

学校读者我要写书评

暂无评论

Elastic property of single double-stranded DNA molecules: Theoretical study and comparison with experiments

引用

Physical Review E 2000年第1期62卷 1045-1045页

作者： Haijun Zhou Yang Zhang Zhong-can Ou-Yang Institute of Theoretical Physics Academia Sinica P.O. Box 2735 Beijing 100080 China State Key Laboratory of Scientific and Engineering Computing Beijing 100080 China Institute for Advanced Study Tsinghua University Beijing 100084 China

This paper aims at a comprehensive understanding of the novel elastic property of double-stranded DNA (dsDNA) discovered very recently through single-molecule manipulation techniques. A general elastic model for double-stranded biopolymers is proposed, and a structural parameter called the folding angle φ is introduced to characterize their deformations. The mechanical property of long dsDNA molecules is then studied based on this model, where the base-stacking interactions between DNA adjacent nucleotide base pairs, the steric effects of base pairs, and the electrostatic interactions along DNA backbones are taken into account. Quantitative results are obtained by using a path integral method, and excellent agreement between theory and the observations reported by five major experimental groups are attained. The strong intensity of the base stacking interactions ensures the structural stability of DNA, while the short-ranged nature of such interactions makes externally stimulated large structural fluctuations possible. The entropic elasticity, highly extensibility, and supercoiling property of DNA are all closely related to this account. The present work also suggests the possibility that negative torque can induce structural transitions in highly extended DNA from the right-handed B form to left-handed configurations similar to the Z-form configuration. Some formulas concerned with the application of path integral methods to polymeric systems are listed in the Appendixes.

关键词： .base pairs double-stranded Elastic supercoiling backbones Deformations torque Ou-Yang base-stacking folding angle dsDNA molecules

来源：评论

学校读者我要写书评

暂无评论

Bending and Base-Stacking Interactions in Double-Stranded DNA

引用

Physical Review Letters 1999年第22期82卷 4560-4560页

作者： Zhou Haijun Zhang Yang Ou-Yang Zhong-can Institute of Theoretical Physics Academia Sinica P.O. Box 2735 Beijing 100080 China State Key Laboratory of Scientific and Engineering Computing Beijing 100080 China Center for Advanced Study Tsinghua University Beijing 100084 China

An elastic model for double-stranded polymers is constructed to study the recently observed DNA entropic elasticity, cooperative extensibility, and supercoiling property. With the introduction of a new structural parameter (the folding angle ϕ), bending deformations of sugar-phosphate backbones, steric effects of nucleotide base pairs, and base-stacking interactions are considered. The comprehensive agreements between theory and experiments both on torsionally relaxed DNA and on negatively supercoiled DNA strongly indicate that base-stacking interactions, although short-ranged in nature, dominate the elasticity of DNA and, hence, are of vital biological significance.

关键词： .parameter negatively extensibility supercoiling backbones relaxed supercoiled dsDNA Ou-Yang torsionally base-stacking folding angle steric effects nucleotide base

来源：评论

学校读者我要写书评

暂无评论

Multi-Agent Reinforcement Learning based Edge Content Caching for Connected Autonomous Vehicles in IoV

引用

ACM Transactions on Autonomous and Adaptive Systems 1000年

作者： Xiaolong Xu Linjie Gu Muhammad Bilal Maqbool Khan Yiping Wen Guoqiang Liu Yuan Yuan School of Software Jiangsu Province Engineering Research Center of Advanced Computing and Intelligent Services Nanjing University of Information Science and Technology China Changwang School of Honors Nanjing University of Information Science and Technology China Department of Computer and Electronics Systems Engineering Hankuk University of Foreign Studies Korea Department of IT and Computer Science Pak-Austria Fachhochschule-Institute of Applied Sciences and Technology Pakistan School of Computer Science and Engineering Hunan University of Science and Technology China School of Software Nanjing University of Information Science and Technology China School of Computer Science and Engineering Beihang University State Key Laboratory of Software Development Environment Zhongguancun Laboratory China

Connected Autonomous Vehicle (CAV) Driving, as a data-driven intelligent driving technology within the Internet of Vehicles (IoV), presents significant challenges to the efficiency and security of real-time data management. The combination of Web3.0 and edge content caching holds promise in providing low-latency data access for CAVs’ real-time applications. Web3.0 enables the reliable pre-migration of frequently requested content from content providers to edge nodes. However, identifying optimal edge node peers for joint content caching and replacement remains challenging due to the dynamic nature of traffic flow in IoV. Addressing these challenges, this article introduces GAMA-Cache, an innovative edge content caching methodology leveraging Graph Attention Networks (GAT) and Multi-Agent Reinforcement Learning (MARL). GAMA-Cache conceptualizes the cooperative edge content caching issue as a constrained Markov decision process. It employs a MARL technique predicated on cooperation effectiveness to discern optimal caching decisions, with GAT augmenting information extracted from adjacent nodes. A distinct collaborator selection mechanism is also developed to streamline communication between agents, filtering out those with minimal correlations in the vector input to the policy network. Experimental results demonstrate that, in terms of service latency and delivery failure, the GAMA-Cache outperforms other state-of-the-art MARL solutions for edge content caching in IoV.

关键词： Content Caching Reinforcement Learning Connected Autonomous Driving

来源：评论

学校读者我要写书评

暂无评论

Distributed Computation Offloading and Power Control for UAV-Enabled Internet of Medical Things

引用

ACM Transactions on Internet Technology 1000年

作者： Jiakun Gao Xiaolong Xu Lianyong Qi Wanchun Dou Xiaoyu Xia Xiaokang Zhou School of Software Nanjing University of Information Science and Technology NanJing China School of Software Nanjing University of Information Science and Technology NanJing China and Jiangsu Province Engineering Research Center of Advanced Computing and Intelligent Services Jiangsu Collaborative Innovation Center of Atmospheric Environment and Equipment Technology (CICAEET) Nanjing University of Information Science and Technology Nanjing China College of Computer Science and Technology China University of Petroleum (East China) QingDao China and State Key Laboratory for Novel Software Technology Nanjing University Nanjing China State Key Laboratory for Novel Software Technology Nanjing University Nanjing China School of Computer Technology RMIT University Victoria Australia Faculty of Data Science Shiga University Hikone Japan

The advancement of the Internet of Medical Things (IoMT) has led to the emergence of various health and emotion care services, e.g., health monitoring. To cater to increasing computational requirements of IoMT services, Mobile Edge computing (MEC) has emerged as an indispensable technology in smart health. Benefiting from the cost-effectiveness of deployment, unmanned aerial vehicles (UAVs) equipped with MEC servers in Non-Orthogonal Multiple Access (NOMA) have emerged as a promising solution for providing smart health services in proximity to medical devices (MDs). However, the escalating number of MDs and the limited availability of communication resources of UAVs give rise to a significant increase in transmission latency. Moreover, due to the limited communication range of UAVs, the geographically-distributed MDs lead to workload imbalance of UAVs, which deteriorates the service response delay. To this end, this paper proposes a UAV-enabled Distributed computation Offloading and Power control method with Multi-Agent, named DOPMA, for NOMA-based IoMT environment. Specifically, this paper introduces computation and transmission queue models to analyze the dynamic characteristics of task execution latency and energy consumption. Moreover, a credit assignment scheme-based reward function is designed considering both system-level rewards and rewards tailored to each MD, and an improved multi-agent deep deterministic policy gradient algorithm is developed to derive offloading and power control decisions independently. Extensive simulations demonstrate that the proposed method outperforms existing schemes, achieving \(7.1\%\) reduction in energy consumption and \(16\%\) decrease in average delay.

关键词： Internet of Medical Things (IoMT) Mobile Edge computing (MEC) Unmanned Aerial Vehicles (UAV) Non-Orthogonal Multiple Access (NOMA)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：