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

Large scale microscopic traffic simulation of 3D digital cities

Chang'an Daxue Xuebao (Ziran Kexue Ban)/Journal of Chang'an University (Natural science Edition) 2013年第3期33卷 62-68页

作者： Liu, You-Quan Zhao, Xiang-Mo Li, Guang-Xi Wu, En-Hua School of Information Engineering Chang'an University Xi'an 710064 Shaanxi China State Key Laboratory of Computer Science Institute of Software of CAS Chinese Academy of Sciences Beijing 100190 China Faculty of Science and Technology University of Macau Macao 000853 China The Eleventh Inst. of the Sixth Res. Academy of China Aerospace Science and Technology Corporation Xi'an 710100 Shaanxi China

In order to simulate the microscopic traffic situation of large cities, based on current fast development of graphics hardware, the road structure was separated into road segments and intersections, which were connected together with signal lights;an improved constraint based follow the leader method was given to update vehicles position with different speed limitations of different lanes considered. Accordingly a heterogeneous many-core based three dimensional microscopic traffic simulation framework was implemented with C++, which was tested with different scenes. The results indicate that such design can make the system more flexible and closer to the reality with potential collision avoided, and can also present a more realistic detailed appearance;moreover such kind of heterogeneous architecture can improve the microscopic traffic simulation efficiency greatly, suitable for large scale 3D city scene. Both the cost of three dimensional rendering and the cost from simulation become higher with the increasing of vehicle number, however the rendering procedure is more likely to be the bottleneck of the whole system. The test also verifies the scalability of the system.

关键词： Three dimensional computer graphics

来源：评论

学校读者我要写书评

暂无评论

Creating a program and research a cryptosystem on the basis of Cardan grille

Creating a program and research a cryptosystem on the basis ...

引用

International Conference on Informatics & Applications (ICIA)

作者： Irbulat Utepbergenov Janna Kuandykova Tamerlan Mussin Sholpan Sagyndykova Department of Computer Science and Information Systems Kazakh Academy of Transport and Communications Almaty Kazakhstan Department of Computer and Software Engineering Turan University Almaty Kazakhstan Division of Research and Cooperation Caspian University of Technologies and Engineering Aktay Kazakhstan

ISBN: (纸本)9781467352543

Considered cryptosystems such as Cardano square lattices are characterized by the high-speed encryption in use today Enhanced Programming computers. This is because the number of different variants rapidly increases with the size of a square. In this paper we have shown that, for the size of 20 × 20, the number of such grids exceeds the number of 1.6 × 2 60 Therefore, these systems have sufficient cryptographic resistance. Application of these systems in conjunction with substitution cipher can still more resist cryptographic attacks.

关键词： Lattices Encryption Ciphers Encoding Clocks Decoding

来源：评论

学校读者我要写书评

暂无评论

Action-based multilevel access control for structured document

引用

Jisuanji Yanjiu yu Fazhan/computer Research and Development 2013年第7期50卷 1399-1408页

作者： Xiong, Jinbo Yao, Zhiqiang Ma, Jianfeng Li, Fenghua Li, Qi School of Computer Science and Technology Xidian University Xi'an 710071 China Faculty of Software Fujian Normal University Fuzhou 350108 China State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences Beijing 100093 China

Cloud computing is a promising computing paradigm which has recently drawn extensive attention from both academia and industry. Meanwhile, structured document plays a vital role as information carrier in cloud computing. Therefore apparently, secure access to structured document is a key technology for the quality control of cloud services. In order to prevent information leakage and unauthorized access to the structured document, which is a common problem caused by lack of the multilevel security mechanism in current cloud computing environment, we propose an action-based multilevel access control model (referred to as the AMAC) and provide a formal description of access control policies. In our AMAC model, we employ noninterference theory in the information flow to establish AMAC noninterference model, and prove the security of multilevel access control policies in our AMAC model. Comparison and analysis with the existing access control models demonstrate that the AMAC model not only improves the flexibility of access control policies on the basis of roles, contexts and access actions, but also realizes multilevel security mechanism in terms of the security levels of the user, the access actions and the structured document.

关键词： Cloud computing

来源：评论

学校读者我要写书评

暂无评论

Model Repair for Markov Decision Processes

Model Repair for Markov Decision Processes

引用

Theoretical Aspects of software engineering (TASE)

作者： Taolue Chen Ernst Moritz Hahn Tingting Han Marta Kwiatkowska Hongyang Qu Lijun Zhang Department of Computer Scienc University of Oxford UK Department of Automatic Control and Systems Engineering University of Sheffield UK State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China

Markov decision processes (MDPs) are often used for modelling distributed systems with probabilistic failure or randomisation. We consider the problem of model repair for MDPs defined as follows: if the MDP fails to satisfy a property, we aim to find new values for the transition probabilities so that the property is guaranteed to hold, while at the same time the cost of repair is minimised. Because solving the MDP repair problem exactly is infeasible, in this paper we focus on approximate solution methods. We first formulate a region-based approach, which yields an interval in which the minimal repair cost is contained. As an alternative, we also consider sampling based approaches, which are faster but unable to provide lower bounds on the repair cost. We have integrated both methods into the probabilistic model checker PRISM and demonstrated their usefulness in practice using a computer virus case study.

关键词： Maintenance engineering Markov processes Computational modeling Probabilistic logic Cost accounting Proposals

来源：评论

学校读者我要写书评

暂无评论

D2ER: Distributed Energy Efficient Routing in Wireless Sensor Networks with Unreliable Links

D2ER: Distributed Energy Efficient Routing in Wireless Senso...

引用

2013 International Conference on computer,Networks and Communication engineering(ICCNCE 2013)

作者： Dianjie Lu Xiangwei Zheng Guijuan Zhang Jue Hong School of Information Science and Engineering Shandong Normal University Shandong Provincial Key Laboratory for Novel Distributed Computer Software Technology Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences

ISBN: (纸本)9781629932170

Wireless Sensor Networks (WSNs) are subject to node failures because of limited energy and link unreliability which makes the design of routing protocols in such networks a challenging task. The multipath routing scheme is an optimal alternative to address this problem which splits the traffic across multiple paths instead of routing all the traffic along a single path. However, using more paths introduces more contentions which degrade energy efficiency. The problem becomes even more difficult in the scenario of multiple source-destination pairs since the flow distribution of each link is uncertain. Our goal is to minimize the energy cost and provide the robust transmission by choosing the optimal paths. We propose a Distributed Energy Efficient Routing protocol (D2ER) to achieve this goal. In D2ER, we first study the problem from a theoretical standpoint by mapping it to the multi-commodity network design problem. Then, we employ the transportation method to solve this problem since it is hard to build a global addressing scheme due to the great number of sensor nodes. Simulation results demonstrate that our optimal algorithm can save energy drastically.

关键词： Energy efficient wireless sensor networks routing

来源：评论

学校读者我要写书评

暂无评论

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

引用

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2013年 8232 LNCS卷 VI页

作者： Sun, Zhenan Shan, Shiguang Yang, Gongping Zhou, Jie Wang, Yunhong Yin, Yilong Chinese Academy of Sciences Institute of Automation National Laboratory of Pattern Recognition Beijing China Chinese Academy of Sciences Institute of Computing Technology Beijing China Shandong University School of Computer Science and Technology Jinan China Tsinghua University Software Engineering Institute Beijing China Beihang University School of Computer Science and Engineering Beijing China

来源：评论

学校读者我要写书评

暂无评论

Accountable authority identity-based encryption with public traceability 1

引用

Cryptographers' Track at the RSA Conference 2013, CT-RSA 2013

作者： Lai, Junzuo Deng, Robert H. Zhao, Yunlei Weng, Jian School of Information Systems Singapore Management University Singapore Singapore Software School Fudan University China State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences China Department of Computer Science Emergency Technology Research Center of Risk Evaluation and Prewarning on Public Network Security Jinan University China Shanghai Key Laboratory of Integrate Administration Technologies for Information Security China

ISBN: (数字)9783642360954

ISBN: (纸本)9783642360947

At Crypto'07, Goyal introduced the notion of accountable authority identity-based encryption (A-IBE) in order to mitigate the inherent key escrow problem in identity-based encryption, and proposed two concrete constructions. In an A-IBE system, if the private key generator (PKG) distributes a decryption key or produces an unauthorized decryption box for a user maliciously, it runs the risk of being caught and sued in the court of law with the help of a tracing algorithm. Subsequent efforts focused on constructions of A-IBE schemes with enhanced security. In these A-IBE constructions, the tracing algorithm needs to take a user's decryption key as input. If the user lost his key or is deliberately uncooperative in court, then we cannot implicate the PKG or the user. An interesting open problem left by Goyal et al. at CCS'08 is to consider the possibility of tracing a decryption box using only a public tracing key, or with the assistance of a tracing authority. In this paper, we address this problem positively. We first extend the original model of A-IBE to accommodate public traceability, and then propose an A-IBE scheme in the new model. To the best of our knowledge, the proposed scheme is the first A-IBE with public traceability. © 2013 Springer-Verlag.

关键词： Accountable Authority Identity Based Encryption Public Traceability

来源：评论

学校读者我要写书评

暂无评论

A research on the storage structure and reconstruction algorithm of Meta data during the startup process of solid state storage systems

A research on the storage structure and reconstruction algor...

引用

International SoC Design Conference, ISOCC

作者： Cheng Li-xin Yue Yang Liu Yun-yun Ka Lok Man Nan Zhang Chinese Academy of Sciences Suzhou Institute of Nano-Tech and Nano-Bionics (SINANO) Suzhou China Network Information Center Harbin Engineering University Harbin China Department of Computer Science and Software Engineering Xi'an Jiaotong-Liverpool University Suzhou China

The Meta data structure stored in the flash array can be used to make addressing for the data stored in the system and to obtain the dynamic property parameters of NAND flash. The meta data structure will be reconstructed during the startup period of the solid storage system. The procedure of data reading and writing to the solid storage system can be supported by the meta data structure. The Meta data storage structure in the flash chip for persistence and the corresponding reconstruction approach for large scale flash array are researched in this paper. To make sure the effectiveness of the approach and the quickly reconstruction progress, the solid storage system architecture and storage style of meta data are both studied, and a reconstruction algorithm is presented. The totally reading and partly reconstruction approach is created by author. For the Meta data stored in the flash array, it is once loaded into RAM. When some logical area is accessed by the system, the corresponding meta structure of the area will be reconstructed. According to the software simulation and real circuit verification, the approach presented in this paper can not only accomplish startup procedure quickly, and make the meta data ready, but also the refresh of the meta data during the operation of the storage system makes less writing bandwidth and system overhead. The meta data structure and reconstruction algorithm presented in this paper can be used to large scale flash array, and the storage overhead to the storage system is lower, with fast reconstruction procedure.

关键词： Arrays Solids Flash memories Reconstruction algorithms Random access memory Integrated circuit modeling

来源：评论

学校读者我要写书评

暂无评论

Network learning forum posts topic discovery

Network learning forum posts topic discovery

引用

2013 International Conference on Communication Technology (ICCT 2013)

作者： Changri Luo Tingting He Xinhua Zhang National Engineering Research Center for e-Learning Central China Normal University College of Vocational and Continuing Education Central China Normal University Academy of Computer Science Central China Normal University Network Media Branch National Language Resources Monitoring and Research Center College of Computer Science Wuhan Vocational College of Software and Engineering

What the network learners have said in network learning forum posts directly reflects the needs of the learners during the network learning. By mining topics from forum posts, the network learning support service could be greatly improved. For this purpose, the Learner-Topic model was employed in this paper to mine the learner's posts for discovering its topics. And then use the topics for learning resources recommendation.

关键词： network learner topic model post

来源：评论

学校读者我要写书评

暂无评论

The near-infrared spectra and distribution of excited states of electrodeless discharge rubidium vapour lamps

引用

Chinese Physics B 2012年第3期21卷 171-175页

作者：孙钦青缪新育盛荣武陈景标 Institute of Quantum Electronics School of Electronics Engineering and Computer Science School of Software and Microelectronics Peking University Wuhan Institute of Physics and Mathematics Chinese Academy of Sciences

The population ratio between the excited states of rubidium in the electrodeless discharge rubidium vapour lamp is calculated according to the near-infrared spectra in the region of 780-1550 nm. By using a 1529 nm laser, we measure the density of natural rubidium atoms at the 5P3/2 level. The populations of different excited states are then clarified.

关键词： electrodeless discharge rubidium vapour lamp near-infrared spectra population

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：