检索结果-南通市图书馆

A new heuristic algorithm for the circular packing problem with equilibrium constraints

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(information sciences) 2011年第8期54卷 1572-1584页

作者： liu jingfa 1,2,li gang 3 & GENG HuanTong 1 1 school of computer and software,nanjing university of information science & technology,nanjing 2.0044,china 2 Network information Center,nanjing university of information science & technology, nanjing 2.0044,china 3 school of Mathematics and Physics,nanjing university of information science & technology,nanjing 2.0044,china school of computer and software Nanjing University of Information Science & Technology Nanjing China Network information Center Nanjing University of Information Science & Technology Nanjing China school of Mathematics and Physics Nanjing University of Information Science & Technology Nanjing China

The circular packing problem with equilibrium constraints is an optimization problem about simplified satellite module layout design.A heuristic algorithm based on tabu search is put forward for solving this *** algorithm begins from a random initial configuration and applies the gradient method with an adaptive step length to search for the minimum energy *** jump out of the local minima and avoid the search doing repeated work,the algorithm adopts the strategy of tabu *** the process of tabu search,we improve the traditional neighboring solutions,tabu objects and the acceptance criteria of the current solution *** test two sets of benchmarks consisting of 11 representative instances from the current *** numerical results show that the proposed algorithm breaks the records in seven out of 11 instances,and obtains the optimal solutions for the other four instances.

关键词： equilibrium constraints packing problem heuristic algorithm tabu search layout optimization

Deterministic secure quantum communication without unitary operation based on high-dimensional entanglement swapping

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(information sciences) 2012年第2期55卷 360-367页

作者： liu ZhiHao1,CHEN HanWu1,liu WenJie2,XU Juan1 & li ZhiQiang3 1school of computer science and Engineering,Southeast university,nanjing 211189,china 2school of computer and software,nanjing university of information science & technology,nanjing 2.0044,china 3College of information Engineering,Yangzhou university,Yangzhou 225009,china school of computer science and Engineering Southeast University Nanjing China school of computer and software Nanjing University of Information Science & Technology Nanjing China College of information Engineering Yangzhou University Yangzhou China

By analysis of the basic properties of entanglement swapping of high-dimensional Bell states,a universal and general deterministic secure quantum communication(DSQC)protocol is proposed,in which unitary operation is not *** making use of the results of high-dimensional Bell measurement,the sender and the receiver can encode and decode the message respectively by performing the modular addition and *** mutually complementary bases are constructed;and according to the property of mutual complement,a method for checking security of the high-dimensional quantum channel is put *** common attack strategies are analyzed,and the corresponding error rates are *** the upper bound of the threshold of error rate is deduced.

关键词： deterministic secure quantum communication high-dimensional Bell state entanglement swap-ping high-dimensional Bell measurement

A heuristic algorithm for cube packing with time schedule

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(information sciences) 2010年第1期53卷 18-29页

作者： li Wei1, HUANG WenQi2, JIANG DongChen1 & liu XiangLong1 1State Key Laboratory of software Development Environment, Beihang university, Beijing 100191, china 2school of computer science and technology, Huazhong university of science and technology, Wuhan 430074, china State Key Laboratory of software Development Environment Beihang University Beijing China school of computer science and technology Huazhong University of Science and Technology Wuhan China

Packing problem has been proved to be an NP-hard problem. Many algorithms such as simulation annealing algorithm, genetic algorithm and other heuristic algorithms have been proposed to solve twodimensional and three-dimensional packing problem. To solve the cube packing problem with time schedule, this paper first introduces some concepts such as packing level, space distance and average neighbor birth order and then proposes a greedy algorithm. The algorithm tries every feasible corner greedily to calculate the space utilization, packing level, space distance, average neighbor birth order of this placement, and chooses the best placement according to these criteria. Theoretical analysis indicates that the time complexity of this algorithm is O(A2B2C2T 2n5). The experiments show that the average space utilization of non-guillotine cutting test cases is 98.81%, and the average space utilization of guillotine cutting test cases achieves 99.87%. Furthermore, optimal solutions of more than half cases are achieved by this algorithm. The experimental results show that this algorithm can solve the problem of cube packing with time schedule effectively and effciently.

关键词： cube packing problem time schedule packing level space distance average neighbor birth order

A Secure Device Management Scheme with Audio-Based Location Distinction in IoT

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

工程与科学中的计算机建模(英文) 2024年第1期138卷 939-956页

作者： Haifeng lin Xiangfeng liu Chen Chen Zhibo liu Dexin Zhao Yiwen Zhang Weizhuang li Mingsheng Cao College of Economics and Management Nanjing University of Aeronautics and AstronauticsNanjing211106China Chengdu Aircraft Industrial(Group)Co. Ltd.Chengdu610073China Academy of Military sciences of PLA Beijing100091China school of information and software Engineering University of Electronic Science and Technology of ChinaChengdu610054China Ningbo Web King technology Joint Stock Co. Ltd.Ningbo315000China The Network and Data Security Key Laboratory of Sichuan Province University of Electronic Science and Technology of ChinaChengdu610054China

Identifying a device and detecting a change in its position is critical for secure devices management in the Internet of Things(IoT).In this paper,a device management system is proposed to track the devices by using audio-based location distinction *** the proposed scheme,traditional cryptographic techniques,such as symmetric encryption algorithm,RSA-based signcryption scheme,and audio-based secure transmission,are utilized to provide authentication,non-repudiation,and confidentiality in the information interaction of the management ***,an audio-based location distinction method is designed to detect the position change of the ***,the audio frequency response(AFR)of several frequency points is utilized as a device *** device signature has the features as follows.(1)Hardware Signature:different pairs of speaker and microphone have different signatures;(2)Distance Signature:in the same direction,the signatures are different at different distances;and(3)Direction Signature:at the same distance,the signatures are different in different *** on the features above,amovement detection algorithmfor device identification and location distinction is ***,a secure communication protocol is also proposed by using traditional cryptographic techniques to provide integrity,authentication,and non-repudiation in the process of information interaction between devices,Access Points(APs),and *** experiments are conducted to evaluate the performance of the proposed *** experimental results show that the proposedmethod has a good performance in accuracy and energy consumption.

关键词： Acoustic hardware fingerprinting device management IoT location distinction

The Development of Integrated Simulation Model for Prediction

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

The Development of Integrated Simulation Model for Predictio...

2009中国控制与决策会议

作者： Juanfei li~1,Pengfei li~2,lin liu~1 1.school of science,Xi''an university of Architecture & technology,Xi''an,710055,china 2.Department of information and Management Engineering,Xi''an Institute of Posts and Telecommunications,Xi''an,710061,china

＜正＞We used both linear regression models（RM） and grey model（GM） to predict the gross domestic product （GDP） of Shaanxi province for last few *** we proposed a new combination grey model（CGM） based on RM and GM to predict GDP of Shaanxi province *** simulation results from CGM are much more precise than those from simple models（RM and GM）.The whole calculation process can be conducted by MATLAB computer software.

关键词： Grey Model(1,1) Regression Analysis Least Squared Criterion Weight-coefficient Combination Grey Model

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

基于Matlab的时间Petri网工具箱

系统仿真学报 2011年第B7期23卷 99-101,131页

作者：潘理刘显明郑红张远来湖南理工学院信息与通信工程学院岳阳414006 江西省电力公司信息通信中心南昌330077 华东理工大学计算机科学与工程系上海200237 泰豪软件股份有限公司电力事业部南昌330090

要解决实际系统,尤其是大型复杂实时系统的建模、模拟、分析和验证等问题,友好、有效的工具支持是必不可少的。充分利用Matlab强大的矩阵运算和丰富的数据分析能力,研制基于Matlab平台的可视化时间Petri网分析工具箱,重点开发了工具箱... 详细信息

要解决实际系统,尤其是大型复杂实时系统的建模、模拟、分析和验证等问题,友好、有效的工具支持是必不可少的。充分利用Matlab强大的矩阵运算和丰富的数据分析能力,研制基于Matlab平台的可视化时间Petri网分析工具箱,重点开发了工具箱的图形编辑、动态模拟、时间分析等功能,为时间Petri网分析工具的研制提供了一种有益的探索。

关键词：时间Petri网 Matlab 时间分析工具箱

在线全文

学校读者我要写书评

暂无评论

密码协议的一种基于组合推理的模型验证

通信学报 2003年第9期24卷 122-127页

作者：刘怡文李伟琴冯登国北京航空航天大学计算机科学与工程系北京100083 中科院软件所信息安全国家重点实验室北京100080

将密码协议与协议中用到的密码算法视为一个系统,基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的正确性,实现了密码协议系统的模型... 详细信息

将密码协议与协议中用到的密码算法视为一个系统,基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的正确性,实现了密码协议系统的模型验证,并重点解决了系统分解问题、假设函数的设定问题等难题。以kerberos v5密码协议系统为例,利用该组合推理技术对密码协议系统进行了安全验证。

关键词：密码协议形式化模型组合推理模型检查

在线全文

学校读者我要写书评

暂无评论

软件质量协同控制的工作流模型研究与应用

计算机工程与应用 2003年第1期39卷 78-80页

作者：祁立红李芬刘超清华大学计算机科学与技术系北京100084 北京航空航天大学软件研究所北京100083

随着计算机应用领域、规模的扩大,软件系统越来越复杂,软件开发越来越离不开协同工作。工作流技术是计算机支持协同工作(CSCW)研究领域的一个重要部分,是其实现的关键技术。该文提出了一个实用的软件开发CDDQT循环模型,并在其基础上建... 详细信息

随着计算机应用领域、规模的扩大,软件系统越来越复杂,软件开发越来越离不开协同工作。工作流技术是计算机支持协同工作(CSCW)研究领域的一个重要部分,是其实现的关键技术。该文提出了一个实用的软件开发CDDQT循环模型,并在其基础上建立了一个多Agent、以协同方式控制软件质量的工作流模型(SW_CQMWF)。它较全面反映软件质量控制过程中的信息处理以及信息流向,有效地保证协同开发中的软件质量。

关键词：软件质量协同控制工作流模型软件工程软件开发软件系统计算机

Study on Hardware-in-loop Simulation of Twin-screw Extruder Experiment System

在线全文

学校读者我要写书评

暂无评论

Journal of Measurement science and Instrumentation 2010年第S1期1卷 91-94页

作者： Yun-zhou li,An-li Tao,Jun-guo liu,Shao-gang li,li-na Han,Xiang-zhong li (College of information and Electrical Engineering Shandong university of science and technology Qingdao,china.) College of information and Electrical Engineering Shandong University of Science and Technology

In order to facilitate the teaching of industrial processes and experiments on the twin-screw extruder control debugging,and be closer to the actual testing,to reduce the debugging costs and the risk of debugging process,the paper designs a hardware-in-loop simulation of twin-screw extruder experiment system which is closer to scene,low cost and high *** system through the establishment of twin-screw extruder’s mathematical model on computer to simulate the realistic system and there is hardware practicality in the computer simulation *** hardware based on C8051F020 can operate in the simulation loop in real *** computer software design, we desigh man-machine interface that is intuitive and easy to operate,can reflect twin-screw extruder main operation information ***,twin-screw extruder’s 3 heater temperature mathematical model and PID incremental control algorithm are presented.

关键词： twin-screw extruder hardware-in-loop simulation temperature mathematical model PID control algorithm