检索结果-南通市图书馆

Modeling and verifying Web services driven by requirements:An ontology-based approach

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2006年第6期49卷 792-820页

作者： HOU Lishan1,3,jin zhi1,2 & WU Budan1,4 1. academy of Mathematics and Systems Science, Chinese academy of sciences, beijing 100080, china 2. institute of computing technology, Chinese academy of sciences, beijing 100080, china 3. institute of Software, Chinese academy of sciences, beijing 100080, china 4. Graduate University of Chinese academy of sciences, beijing 100049, china 1. academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100080 China 3. institute of Software Chinese Academy of Sciences Beijing 100080 China 2. institute of computing {2. Chinese Academy of Sciences Bejing 100080 China 4. Graduate University of Chinese academy of sciences Beijing 100049 China

Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects： the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with π calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.

关键词： Web service environment ontology automatic composition π calculus formal verification.

Weighted weak type estimates for commutators of the Marcinkiewicz integrals

在线全文

学校读者我要写书评

暂无评论

Science china Mathematics 2004年第1期47卷 83-95页

作者： ding Yong, LU Shanzhen & ZHANG PuDepartment of Mathematics, beijing Normal University, beijing 100875, china Department of Information and computing Science, Zhejiang institute of Science and technology, Hangzhou 310033, china 1. Department of Mathematics Beijing Normal University 100875 Beijing China 2. Department of Information and computing Science Zhejiang Institute of Science and Technology 310033 Hangzhou China

In this paper the authors give the weighted weak LlogL type estimates for a class of the higher order commutator generated by the Marcinkiewicz integral and a BMO function. In addition, the weak type norm inequalities... 详细信息

关键词： Marcinkiewicz integral, commutator, Ap weight, weak type estimate.

Chiral quantum heating and cooling with an optically controlled ion

在线全文

学校读者我要写书评

暂无评论

Light(Science & Applications) 2024年第7期13卷 1393-1400页

作者： jin-Tao Bu Jian-Qi Zhang Ge-Yi ding Jia-Chong Li Jia-Wei Zhang Bin Wang Wen-Qiang ding Wen-Fei Yuan Liang Chen Qi Zhong Ali Keçebaş Şahin KÖzdemir Fei Zhou Hui jing Mang Feng State Key Laboratory of Magnetic Resonance and Atomic and Molecular Physics Wuhan Institute of Physics and MathematicsInnovation Academy of Precision Measurement Science and TechnologyChinese Academy of Sciences430071 WuhanChina. University of the Chinese academy of sciences 100049 BeijingChina. Research Center for Quantum Precision Measurement Guangzhou Institute of Industry Technology511458 GuangzhouChina. Department of Engineering Science and Mechanics and Materials Research InstitutePennsylvania State UniversityUniversity ParkState CollegePA 16802USA. Key Laboratory of Low-Dimensional Quantum Structures and Quantum Control of Ministry of Education Department of Physics and Synergetic Innovation Center for Quantum Effects and ApplicationsHunan Normal University410081 ChangshaChina. Department of Physics Zhejiang Normal University321004 JinhuaChina

Quantum heat engines and refrigerators are open quantum systems,whose dynamics can be well understood using a non-Hermitian formalism.A prominent feature of non-Hermiticity is the existence of exceptional points(EPs),which has no counterpart in closed quantum *** has been shown in classical systems that dynamical encirclement in the vicinity of an EP,whether the loop includes the EP or not,could lead to chiral mode ***,we show that this is valid also for quantum systems when dynamical encircling is performed in the vicinity of their Liouvillian EPs(LEPs),which include the effects of quantum jumps and associated noise—an important quantum feature not present in previous *** demonstrate,using a Paul-trapped ultracold ion,the first chiral quantum heating and refrigeration by dynamically encircling a closed loop in the vicinity of an *** witness the cycling direction to be associated with the chirality and heat release(absorption)of the quantum heat engine(quantum refrigerator).Our experiments have revealed that not only the adiabaticity breakdown but also the Landau–Zener–Stückelberg process play an essential role during dynamic encircling,resulting in chiral thermodynamic *** observations contribute to further understanding of chiral and topological features in non-Hermitian systems and pave a way to exploring the relation between chirality and quantum thermodynamics.

关键词： quantum chiral dynamical

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于知识的UML图形文档自动生成

计算机工程与应用 2004年第33期40卷 50-55页

作者：李娜金芝中国科学院数学与系统科学研究院北京100080

基于领域本体的需求获取使得用领域术语描述用户需求,并进行应用模型的自动分析成为可能,以尽可能地保证需求描述的正确性和完整性。从以领域概念为背景的应用模型,到以软件概念为基础的应用软件模型,是需求工程要完成的一个实质性跨越... 详细信息

基于领域本体的需求获取使得用领域术语描述用户需求,并进行应用模型的自动分析成为可能,以尽可能地保证需求描述的正确性和完整性。从以领域概念为背景的应用模型,到以软件概念为基础的应用软件模型,是需求工程要完成的一个实质性跨越。UML是目前软件需求描述的一个实际上的标准。该文主要论述了从基于领域本体的应用需求描述到基于UML的软件需求文档的自动转换过程,文章提出建立从领域本体概念到UML概念映射规则库,以及根据UML概念填写用XML表示的UML图元模板的规则库,设计并实现了一个基于规则的,从应用需求概念到UML图元模板的自动转换工具。

关键词：企业本体 UML XML领域模型需求规格说明

在线全文

学校读者我要写书评

暂无评论

移动数据库系统乐观事务处理策略

计算机研究与发展 2002年第10期39卷 1379-1387页

作者：丁治明孟小峰王珊中国科学院计算技术研究所北京100080 中国人民大学数据与知识工程研究所北京100872

在移动数据库系统中 ,计算平台的移动性、频繁的断接性以及长事务等特性使得传统的事务处理模式不再适用 .为了解决移动数据库中的事务处理问题 ,提出了一种新的移动事务处理模型——乐观两阶段提交移动事务模型 ( O2.PC-MT) .该模型采... 详细信息

在移动数据库系统中 ,计算平台的移动性、频繁的断接性以及长事务等特性使得传统的事务处理模式不再适用 .为了解决移动数据库中的事务处理问题 ,提出了一种新的移动事务处理模型——乐观两阶段提交移动事务模型 ( O2.PC-MT) .该模型采用乐观并发控制与两阶段提交协议相结合的方法 ,对移动事务的长事务特性提供了灵活与有效的支持 ;此外 ,该模型允许移动计算机分多次发送事务操作 ,且在事务执行的过程中可以任意移动 ,从而提供了对交互式事务及随意移动性的支持 .实验结果表明 ,与基于两段锁协议及其变形的其它移动事务处理模型相比 ,O2

关键词：移动数据库系统乐观事务处理策略移动计算乐观并发控制

Mitigated reaction kinetics between lithium metal anodes and electrolytes by alloying lithium metal with low-content magnesium

在线全文

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2024年第8期95卷 644-650,I0014页

作者： Yang-Yang Wang Ya-Nan Wang Nan Yao Shu-Yu Sun Xiao-Qing ding Chen-Xi Bi Qian-Kui Zhang Zhao Zheng Cheng-Bin jin Bo-Quan Li Xue-Qiang Zhang Jia-Qi Huang School of Materials Science and Engineering Beijing Institute of TechnologyBeijing 100081China Advanced Research institute of Multidisciplinary Science Beijing Institute of TechnologyBeijing 100081China beijing Key Laboratory of Green Chemical Reaction Engineering and technology Department of Chemical EngineeringTsinghua UniversityBeijing 100084China College of Materials and Chemistry China Jiliang UniversityHangzhou 310018ZhejiangChina

Lithium(Li)metal is regarded as a promising anode candidate for high-energy-density rechargeable ***,Li metal is highly reactive against electrolytes,leading to rapid decay of active Li metal ***,alloying Li metal with low-content magnesium(Mg)is proposed to mitigate the reaction kinetics between Li metal anodes and *** atoms enter the lattice of Li atoms,forming solid solution due to the low amount(5 wt%)of *** atoms mainly concentrate near the surface of Mg-alloyed Li metal *** reactivity of Mg-alloyed Li metal is mitigated kinetically,which results from the electron transfer from Li to Mg atoms due to the electronegativity *** on quantitative experimental analysis,the consumption rate of active Li and electrolytes is decreased by using Mgalloyed Li metal anodes,which increases the cycle life of Li metal batteries under demanding ***,a pouch cell(1.2. Ah)with Mg-alloyed Li metal anodes delivers an energy density of 340 Wh kg^(-1)and a cycle life of 100 *** work inspires the strategy of modifying Li metal anodes to kinetically mitigate the side reactions with electrolytes.

关键词： Lithium metal anodes Alloying Anode/electrolyte interface Reaction kinetics Pouch cell

Microbiome and metabolome dysbiosis analysis in impaired glucose tolerance for the prediction of progression to diabetes mellitus

在线全文

学校读者我要写书评

暂无评论

Journal of Genetics and Genomics 2024年第1期51卷 75-86页

作者： Boxun Zhang Xuan Zhang Zhen Luo Jixiang Ren Xiaotong Yu Haiyan Zhao Yitian Wang Wenhui Zhang Weiwei Tian Xiuxiu Wei Qiyou ding Haoyu Yang Zishan jin Xiaolin Tong Jun Wang Linhua Zhao institute of Metabolic Diseases Guang'anmen HospitalChina Academy of Chinese Medical SciencesBeijing 100053China Faculty of Biological Science and technology Baotou Teacher's CollegeBaotouInner Mongolia 014030China CAS Key Laboratory of Pathogenic Microbiology and Immunology Institute of MicrobiologyChinese Academy of SciencesBeijing 100101China Infinitus(china)Company Ltd GuangzhouGuangdong 510405China Affiliated Hospital of Changchun University of Chinese Medicine ChangchunJilin 130021China Department of Endocrinology Guang'anmen HospitalChina Academy of Chinese Medical SciencesBeijing 100053China Xinjiekou Community Health Service Center in Xicheng District Beijing 100035China Department of Spleen and Stomach Shenzhen Traditional Chinese Medicine HospitalShenzhenGuangdong 518033China University of Chinese academy of sciences Beijing 100049China beijing University of Chinese Medicine Beijing 100105China Northeast Asia institute of Traditional Chinese Medicine Changchun University of Chinese MedicineChangchunJilin 130117China

Gut microbiota and circulating metabolite dysbiosis predate important pathological changes in glucose metabolic disorders;however,comprehensive studies on impaired glucose tolerance(IGT),a diabetes mellitus(DM)precursor,are ***,we perform metagenomic sequencing and metabolomics on 47 pairs of individuals with IGT and newly diagnosed DM and 46 controls with normal glucose tolerance(NGT);patients with IGT are followed up after 4 years for progression to *** of baseline data reveals significant differences in gut microbiota and serum metabolites among the IGT,DM,and NGT *** addition,13 types of gut microbiota and 17 types of circulating metabolites showed significant differences at baseline before IGT progressed to DM,including higher levels of Eggerthella unclassified,Coprobacillus unclassified,Clostridium ramosum,L-valine,L-norleucine,and L-isoleucine,and lower levels of Eubacterium eligens,Bacteroides faecis,Lachnospiraceae bacterium 3_1_46FAA,Alistipes senegalensis,Megaspaera elsdenii,Clostridium perfringens,α-linolenic acid,10E,12.-octadecadienoic acid,and dodecanoic acid.A random forest model based on differential intestinal microbiota and circulating metabolites can predict the progression from IGT to DM(AUC=0.87).These results suggest that microbiome and metabolome dysbiosis occur in individuals with IGT and have important predictive values and potential for intervention in preventing IGT from progressing to DM.

关键词： Impaired glucose tolerance Diabetes mellitus Gut microbiota Metabolomics

Research and Development of Attribute Reduction Algorithm Based on Rough Set

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Research and Development of Attribute Reduction Algorithm Ba...

2.10 Chinese Control and Decision Conference

作者： Shifei ding~(1,2.,Hao ding~1 1.School of Computer Science and {2.,china University of Mining and {2.,Xuzhou,2.1116 2.Key Laboratory of Intelligent Information Processing,institute of computing {2.,Chinese academy of sciences,beijing 100080

＜正＞Attribute reduction is a form of the data reduction,usually as a preprocessing step in data *** job is to maintain the knowledge base under the premise of the same classification ability to remove irrelevant and redundant attributes properties,thereby reducing the search space and improve *** recent years,attribute reduction has become the focus and hot spot of research in the field of Rough *** paper reviews the current domestic and foreign attribute reduction algorithm on a number of the latest research advances,focusing on the mainstream of attribute reduction methods and cutting-edge progress summary and *** it concludes with a brief discussion of the future direction of research and development.

关键词： Rough Set Attribute Reduction Discernibility Matrix Granular computing

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

复杂场景中海量外存地形模型的实时绘制算法

系统仿真学报 2009年第20期21卷 6510-6514,6518页

作者：郎兵方金云韩承德中国科学院计算技术研究所空间信息处理技术实验室北京100190 中国科学院研究生院北京100049

针对地形相关复杂三维场景应用需求,提出一种海量地形外存实时绘制算法,该方法使用离散细节层次技术并结合视点相关动态连续细节层次选择。基于元网格连通边权值简化地表模型,并基于Hausdorff距离进行视点无关批LOD误差控制。提出一种... 详细信息

针对地形相关复杂三维场景应用需求,提出一种海量地形外存实时绘制算法,该方法使用离散细节层次技术并结合视点相关动态连续细节层次选择。基于元网格连通边权值简化地表模型,并基于Hausdorff距离进行视点无关批LOD误差控制。提出一种海量数据实时调度方法,通过分层增量控制,两级数据预取和改进的快速视锥裁减实现了对外存数据的动态装载与调度。实验表明,该算法处理海量地形数据时占用较低系统资源,从而能够在复杂场景环境下进行快速实时绘制。

关键词：地形绘制细节层次地表简化外存模型元网格