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

交通运输研究 2019年第5期5卷 21-30页

作者：李平王普郑金子杨连报中国铁道科学研究院集团有限公司电子计算技术研究所北京100081 中国国家铁路集团有限公司北京100844

为提高高速铁路应急处置效率,实现资源统一调配,融合云计算和大数据技术,研究了高速铁路应急服务资源的调度问题。在应急云资源建模、应急云服务虚拟化建模、云服务池建模、高速铁路现有应急救援系统的资源使用建模、云计算模式构建的... 详细信息

为提高高速铁路应急处置效率,实现资源统一调配,融合云计算和大数据技术,研究了高速铁路应急服务资源的调度问题。在应急云资源建模、应急云服务虚拟化建模、云服务池建模、高速铁路现有应急救援系统的资源使用建模、云计算模式构建的基础上,建立了跨总部和区域的高速铁路应急资源服务池的全域优化调度模型,提出了云资源传输总距离最小、资源协调成本最低、运行处理时间最短、当资源缺乏时需增加的资源数最小等4个优化目标;针对问题的特征,研究提出基于双层粒子群的高铁应急服务优化调度方法。对于给定的案例,选取距离最小作为优化目标,运用提出的方法可给出优化的资源调度方向和资源调度数量,验证了所提出的方法对于求解分布式应急云资源调度问题的有效性。

关键词：高速铁路应急管理服务池云计算调度双层粒子群

来源：评论

学校读者我要写书评

暂无评论

铁路安全风险预警系统研究

引用

铁道运输与经济 2017年第12期39卷 49-54页

作者：关则彬中国铁道科学研究院电子计算技术研究所北京100081

铁路行业推行安全风险管理工作取得了初步成效,部分铁路局也分别建设了适合自身的风险管理系统,但目前铁路安全风险管理中还存在缺乏统一信息平台、风险管理信息不完整、安全风险控制方法不够完善等问题。为此,在分析系统需求的基础上,... 详细信息

铁路行业推行安全风险管理工作取得了初步成效,部分铁路局也分别建设了适合自身的风险管理系统,但目前铁路安全风险管理中还存在缺乏统一信息平台、风险管理信息不完整、安全风险控制方法不够完善等问题。为此,在分析系统需求的基础上,以建立适合中国铁路总公司和铁路局2级应用的统一铁路安全风险预警系统为目标,确定系统整体逻辑架构,对核心业务进行细化的功能设计,同时研究并应用系统实现所涉及的关键技术,包括用工作流技术实现风险监测信息采集和闭环流转,基于Web服务解决总公司和铁路局2级服务器之间的数据传输,利用风险矩阵法对安全风险进行评价等。目前风险预警系统已初步实现了对铁路风险因素和风险事故的有效管理。

关键词：铁路安全风险管理预警系统风险矩阵分级部署四书管理工作流

来源：评论

学校读者我要写书评

暂无评论

The New Architecture with Time-Spatial Consistency for 5G Networks

引用

China Communications 2016年第1期13卷 68-79页

作者： SUN Zhennian XU Xu CHAI Xiaomeng ZHANG Tianyu TIAN Lin ZHANG Zhongshan Beijing Engineering and Technology Center for Convergence Networks and Ubiquitous Services University of Science and Technology Beijing (USTB) Beijing China 100083 NEC Laboratories China (NLC) Beijing 100084 China Institute of Computing Technology Chinese Academy of Sciences Beijing China 100190

While operators have started deploying fourth generation(4G) wireless communication systems,which could provide up to1 Gbps downlink peak data rate,the improved system capacity is still insufficient to meet the drastically increasing demand of mobile users over the next *** main causes of the above-mentioned phenomenon include the following two aspects:1) the growth rate of the network capacity is far below that of user's demand,and 2) the relatively deterministic wireless access network(WAN) architecture in the existing systems cannot accommodate the prominent increase of mobile traffic with space-time domain *** order to address the above-mentioned challenges,we investigate the time-spatial consistency architecture for the future WAN,whilst emphasizing the critical roles of some spectral-efficient techniques such as Massive multiple-input multiple-output(MIMO),full-duplex(FD)operation and heterogeneous networks(HetNets).Furthermore,the energy efficiency(EE)of the HetNets under the proposed architecture is also evaluated,showing that the proposed user-selected uplink power control algorithm outperforms the traditional stochastic-scheduling strategy in terms of both capacity and EE in a two-tier *** other critical issues,including the tidal effect,the temporal failure owing to the instantaneously increased traffic,and the network wide load-balancing problem,etc.,are also anticipated to be addressed in the proposed architecture.(Abstract)

关键词： wireless access network spectral efficiency energy efficiency super base station heterogeneous network

来源：评论

学校读者我要写书评

暂无评论

Graph-based Lexicalized Reordering Models for Statistical Machine Translation

引用

China Communications 2014年第5期11卷 71-82页

作者： SU Jinsong LIU Yang LIU Qun DONG Huailin Xiamen University Xiamen 361005 E R. China Tsinghua University Beijing 100084 P. R. China Institute of Computing Technology Chinese Academy of Sciences Beijing 100084 P. R. China

Lexicalized reordering models are very important components of phrasebased translation *** examining the reordering relationships between adjacent phrases,conventional methods learn these models from the word aligned bilingual corpus,while ignoring the effect of the number of adjacent bilingual *** this paper,we propose a method to take the number of adjacent phrases into account for better estimation of reordering *** of just checking whether there is one phrase adjacent to a given phrase,our method firstly uses a compact structure named reordering graph to represent all phrase segmentations of a parallel sentence,then the effect of the adjacent phrase number can be quantified in a forward-backward fashion,and finally incorporated into the estimation of reordering *** results on the NIST Chinese-English and WMT French-Spanish data sets show that our approach significantly outperforms the baseline method.

关键词： natural language processing statistical machine translation lexicalized reordering model reordering graph

来源：评论

学校读者我要写书评

暂无评论

社会计算与计算社会:智慧社会的基础与必然

引用

Science Bulletin 2015年第Z1期 460-469页

作者：王飞跃王晓袁勇王涛林懿伦中国科学院自动化研究所复杂系统管理与控制国家重点实验室国防科技大学军事计算与平行系统技术研究中心青岛智能产业技术研究院北京市智能化技术与系统工程技术研究中心国防科技大学信息系统工程重点实验室中国科学院云计算产业技术创新与育成中心自动化所东莞研究院

基于社会计算,智慧社会可充分利用开放流动的大数据资源,综合协调人、地、事、物和组织等各种要素,形成信息对称、权利对等、扁平化组织的社会结构,推动传统社会管理模式向分布式、集约化、信息化、智能化、全响应的创新社会管理模式的... 详细信息

基于社会计算,智慧社会可充分利用开放流动的大数据资源,综合协调人、地、事、物和组织等各种要素,形成信息对称、权利对等、扁平化组织的社会结构,推动传统社会管理模式向分布式、集约化、信息化、智能化、全响应的创新社会管理模式的转变.为此,必须同时以海量社会传感器网络为基础,以高性能分布式计算为支撑,以知识自动化技术为核心,以虚实互动的平行系统为手段,推动对社会的全面感知、建模、解析、决策及反馈执行,进而实现集舆情感知、平行管理和移动指挥与控制为一体的闭环反馈组态式的社会管理,全面提升其功能与服务水平.

关键词：智慧社会 ACP 社会计算知识自动化闭环反馈组态式管理

来源：评论

学校读者我要写书评

暂无评论

A direct product decomposition of QMV algebras

引用

Science China Mathematics 2012年第4期55卷 841-850页

作者： LU Xian 1 ,SHANG Yun 1,& LU RuQian 1,2 1 institute of Mathematics,Academy of Mathematics and Systems Science,Beijing 100190,China 2 Key Laboratory of Intelligent Information Processing,institute of computing technology,Chinese Academy of Sciences,Beijing 100190,China 1. Institute of Mathematics Academy of Mathematics and Systems Science Beijing 100190 China2. Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

We study the direct product decomposition of quantum many-valued algebras (QMV algebras) which generalizes the decomposition theorem of ortholattices (orthomodular lattices).In detail,for an idempo- tent element of a given QMV algebra,if it commutes with every element of the QMV algebra,it can induce a direct product decomposition of the QMV *** the same time,we introduce the commutant C(S) of a set S in a QMV algebra,and prove that when S consists of idempotent elements,C(S) is a subalgebra of the QMV *** also generalizes the cases of orthomodular lattices.

关键词： QMV algebra commutativity idempotent decomposition theorem

来源：评论

学校读者我要写书评

暂无评论

Study on Internet of Things application for Highspeed Train Maintenance,Repair and Operation(MRO)

Study on Internet of Things application for Highspeed Train ...

引用

2012 National Conference on Information technology and Computer Science

作者： Weijiao ZHANG institute of computing technology China Academy of Railway Sciences Beijing,China

the design of EMU IoT-system,which is oriented to the MRO of high-speed trains,was studied with implementations of sensing technologies like RFID,sensors,etc;with regarding to the future requirements of safety,orderly,efficient and high-quality in EMU maintenance service of *** operation:massive seamless embedded RFID tags and sensors,on the basis of trainground transmission network,perceive running and defects status of high-speed train in real-time;realizing holographic train visualization and transit *** maintenance and repair:multisource and multilevel raw data,from the collection of various production aspects such as trains flow,parts flow,labor jobs flow and equipments,monitor productive process and logistics of train maintenance in total life *** general framework and detailed technical solution were presented in this paper;for the efficient processing of raw data,a semantic analysis measure driven by complex event mechanism was introduced;finally,a quantitative evaluation of productivity upgrading owing to IoT was *** RFID applications involved are running or experienced pilot tests in factory environment.

关键词： intelligent transportation internet of things (IoT) high-speed trian semantic analysis complex event processing

来源：评论

学校读者我要写书评

暂无评论

Communication network designing:Transmission capacity,cost and scalability

引用

Science China(Information Sciences) 2012年第11期55卷 2454-2465页

作者： ZHANG GuoQiang1,2,3 & ZHANG GuoQing1 1institute of computing technology,Chinese Academy of Sciences,Beijing 100190,China 2School of Computer Science and technology,Nanjing Normal University,Nanjing 210046,China 3Provincial Key Laboratory for Computer Information Processing technology,Soochow University,Suzhou 215000,China 1. Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China2. School of Computer Science and Technology Nanjing Normal University Nanjing 210046 China3. Provincial Key Laboratory for Computer Information Processing Technology Soochow University Suzhou 215000 China

Despite the growing number of works centering around the traffic dynamics on complex networks,these researches still have some common shortcomings,e.g.,too simple traffic flow model and lack of considerations for the designing cost and scalability *** paper builds on a more realistic traffic flow model,and offers a holistic view on the network designing *** addition to the extensively studied transmission capacity,this paper takes designing cost and scalability as two other designing objectives,and presents a quantitative study of how different designing choices independently and collectively influence these objectives by the introduction of a cartesian coordinate *** is shown that different kinds of network topologies display different shapes of achievable solution spaces and exhibit different abilities to achieve cost-effective and scalable *** particular,we find the philosophy underlying empirical network designing and engineering today fails to meet the cost-effective and scalable designing requirements,and propose a cost-effective and scalable designing scheme for BA-like networks,i.e.,the efficient routing combined with effective betweenness based link bandwidth *** addition,when designing a thoroughly new network from the beginning,we find that ER network is a good candidate to achieve cost-effective and scalable designing in most settings.

关键词： cost-effective communication network designing network transmission efficiency network topology traffic dynamics next generation network scalable network designing

来源：评论

学校读者我要写书评

暂无评论

The correspondence between the concepts in description logics for contexts and formal concept analysis

引用

Science China(Information Sciences) 2012年第5期55卷 1106-1122页

作者： MA Yue 1,2,SUI YueFei 1 & CAO CunGen 1 1 Key Laboratory of Intelligent Information Processing,institute of computing technology,Chinese Academy of Sciences,Beijing 100190,China 2 Graduate University of Chinese Academy of Sciences,Beijing,China 1. Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China2. Graduate University of Chinese Academy of Sciences Beijing 100049 China

Formal concept analysis (FCA) and description logic (DL) are meant to be formalizations of concepts.A formal concept in the former consists of its intent and extent,where the intent is the set of all the attributes shared by each object in the extent of the concept,and the extent is the set of all the objects sharing each property in the intent of the concept.A concept in the latter formalization is simply a concept name,the interpretation of which is a subset of a *** consider the correspondence between concepts in both formalizations,a multi-valued formal context must be represented both as a knowledge base and as a model of the DL for contexts,where concepts are decomposed into tuple concepts C,interpreted as a set of tuples and value concepts V,interpreted as a set of attribute-value *** show that there is a difference between the interpretation of concepts R.V /R.C and the Galois connection between the extent/intent of formal concepts in *** to the Galois connection,there should be concepts of the form + R.V and + R.C inter-preted in FCA,and hence the logical language L for DL is extended to be L + together with + as a constructor so that + R.V and + R.C are well-defined ***,according to the interpretation in DL there should be pseudo concepts in FCA so that the interpretation of concepts R.V /R.C is the extent/intent of pseudo *** correspondence between formal concepts and concepts in L +,and between pseudo concepts and concepts in L are presented in this paper.

关键词： description logic formal concept analysis concept attribute/role

来源：评论

学校读者我要写书评

暂无评论

A novel logic-based automatic approach to constructing compliant security policies

引用

Science China(Information Sciences) 2012年第1期55卷 149-164页

作者： BAO YiBao1,2,4,YIN LiHua1,FANG BinXing 1,3&GUO Li 1 1institute of computing technology,Chinese Academy of Sciences,Beijing 100190,China 2institute of Electronic technology,Information Engineering University,Zhengzhou 450004,China 3Beijing University of Posts and Telecommunications,Beijing 100190,China 4Graduate University,the Chinese Academy of Science,Beijing 100049,China 1. Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China2. Institute of Electronic Technology Information Engineering University Zhengzhou 450004 China4. Graduate University the Chinese Academy of Science Beijing 100049 China3. Beijing University of Posts and Telecommunications Beijing 100190 China

It is significant to automatically detect and resolve the incompliance in security *** existing works in this field focus on compliance verification,and few of them provide approaches to automatically correct the incompliant security *** paper proposes a novel approach to automatically transform a given security policy into a compliant *** security policy Π and delegation policy M declared by logic programs,the approach automatically rewrites Π into a new one ΠM which is compliant with M and is readable by the *** prove that the algorithm is sound and complete under noninterference ***,we show that the security policy query evaluation algorithm with conflict and unsettlement resolution still works very well on Π*** approach is automatic,so it doesn't require a administrator with excess *** this sense,our proposal can help us to save much manpower resource in security management and improves the security assurance abilities.

关键词： security policy rewriting logic program compliance

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：