检索结果-南通市图书馆

SENSITIVITY ANALYSIS IN BILEVEL LINEARPROGRAMMING

在线全文

学校读者我要写书评

暂无评论

Systems Science and Mathematical Sciences 1998年第4期11卷 359-366页

作者： JIA Fuchen(School of Mathematics, Statistics and computing, university Of Greenwich London, SE18 6PF, U.K.)YANG Fengmei(Department of Applied Mathematics and Physics, beijing university Of Chemical technology,beijing 100027, china)WANG Shouyang(Institute

In this paper, we study sensitivity analysis of bilevel linear programming. Twocases of the leader’s objective function and the right-hand side of the constraints includingparameters are discussed separately. We presellt a necessary and sufficient optimalitycondition for an optimal solution to a bilevel linear programming problem and its equivalentexpression in nonconvex quadratic programming. The necessary and sufficient conditionsare proposed to guarantee that the current optimal solution or the corresponding basisremains optimal when the parameters vary. An algorithm is also proposed to determinethe set of the parameters which leaves the current optimal solution optimal or -optimal.

关键词： Bilevel linear programming sensitivity analysis parameters

Extended multivariate public key cryptosystems with secure encryption function

在线全文

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2011年第6期54卷 1161-1171页

作者： WANG HouZhen 1,2 , ZHANG HuanGuo 1,2 , WANG ZhangYi 1,2 & TANG Ming 1,2 1 The Key laboratory of Aerospace Information Security and trusted computing, Ministry of Education, School of Computer, Wuhan university, Wuhan 430079, china 2 State Key laboratory of Software Engineering, Wuhan university, Wuhan 430072, china 1. The Key laboratory of Aerospace Information Security and trusted computing Ministry of Education School of Computer Wuhan University Wuhan 430079 China2. State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China

Advances in quantum computers pose great threats on the currently used public key cryptographic algorithms such as RSA and ECC. As a promising candidate secure against attackers equipped with quantum computational power, multivariate public key cryptosystems (MPKCs) have attracted increasing attention in recently years. Unfortunately, the existing MPKCs can only be used as a multivariate signature scheme, and it remains unknown how to construct an efficient MPKC enabling secure encryption. Furthermore, some multivariate signature schemes have been shown insecure in recent years, and it is also not trivial to build MPKC which can serve as a secure signature scheme. By employing the basic MQ-trapdoors, this paper proposes a novel MPKC and shows how it can be used as a multivariate signature scheme and a multivariate encryption scheme, respectively. The goal is achieved by incorporating our new hash authentication techniques and some modification methods such as the Shamir's minus method. Thorough analysis shows that our schemes are secure and efficient. Our MPKC gives a positive response to the challenges in multivariate public key cryptography.

关键词： cryptography post-quantum cryptography MQ problem hash function

Remote Attestation-Based Access Control on trusted computing Platform

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Wuhan university Journal of Natural Sciences 2010年第3期15卷 190-194页

作者： LIU Xian'gang ZHANG Xing FU Yingfang SHEN Changxiang Institute of Computer Science and technology Beijing University of Technology Beijing 100022 China

Existing remote attestation schemes based on trusted computing have some merits on enhancing security assurance level, but they usually do not integrate tightly with the classical system security mechanism. In this paper, we present a component named remote attestation-based access controller （RABAC）, which is based on a combination of techniques, such as random number, Bell-La Padula （BLP） model, user identity combined with his security properties and so on. The component can validate the current hardware and software integrity of the remote platform, and implement access control with different security policy. We prove that the RABAC can not only improve the security of transferred information in remote attestation process but also integrate remote attestation and classical system security mechanism effectively.

关键词： trusted computing remote attestation access control security model

Many-Knot Spline Interpolating Curves and Their Applications in Font Design

在线全文

学校读者我要写书评

暂无评论

Computer Aided Drafting,Design and Manufacturing 1999年第1期9卷 1-8页

作者： Yan Weiqi Qi Dongxu(CAD laboratory, Institute of computing technology. Academic Sinica. beijing.P.R.china 100080 CAD Research Center. North china university of technology, beijing.P.R.china,100041)

Many-knot spline interpolating is a class of curves and surfaces fitting method presentedin 1974. Many-knot spline interpolating curves are suitable to computer aided geometric design anddata points interpolation. In this paped, the properties of many-knot spline interpolating curves arediscussed and their applications in font design are considered. The differences between many-knotspline interpolating curves and the curves genoaed by exceeding-lacking adjuStment algorithm aregiven.

关键词： many-knot spline interpolating curves font design subdivision continuity

Oblique derivative problems for nonlinear elliptic systems with measurable coefficients

在线全文

学校读者我要写书评

暂无评论

Communications in Nonlinear Science and Numerical Simulation 2001年第2期6卷 93-96页

作者： Guochun WEN and Zuoliang XU Department of Mathematics, Peking university, beijing 100871, china Institute of Computational Mathematics and Scientific/Engineering computing, Chinese Academy of Sciences, beijing 100080, china Department of Mathematics Peking University Beijing 100871 China Institute of Computational Mathematics and Scientific/Engineen:ng computing Chinese Academy of Sciences Beijing 100080 China

An oblique derivative boundary value Problem for nonlinear nondivergent elliptic systems with measurable coefficients in a multiply connected domain is considered. Firstly, we give a priori estimates of solutions for the boundary value problem, and then by using the above estimates of solutions, and the Leray-Schauder theorem, the existence and uniqueness of solutions for the proposed problem are proved.

关键词： oblique derivative problems nonlinear elliptic systems multiply connected domains

2-LEVEL FORMAL SEMANTICS AND SEMANTICS-DIRECTED COMPILATION

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science in china,Ser.A 1985年第9期28卷 991-1001页

作者：唐稚松郑茂松李新 Institute of computing technology Academia Silica beijing Northeast university Xi’an

This paper proposes a method to formalize semantics. It makes the formal semantics more harmonious with compilation. This method is established on the basis of a temporal logic language, which is, on the one hand, a logic system, so its semantics is simple and easy to formalize and convenient to implement; on the other hand, an intermediate programming language, so the semantics of other higher languages can be mapped into it by means of rigorous transformation. To organize a kind of 2-1evel formal semantics in this way the compilation is constituted.

关键词： mode LEVEL FORMAL SEMANTICS AND SEMANTICS-DIRECTED COMPILATION

Thermodynamic Analysis of Desulfurization and Its Connection With Deoxidation and Temperature for SPHC in JISC During LF Refining Process

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Iron and Steel Research International 2011年第S2期18卷 135-140页

作者： GUO Jing1, CHENG Zi-jian1,2, CHENG Shu-sen1, CHENG Ze-wei1, ZOU Ming2, MA Ming-sheng2 (1. State Key laboratory of Advanced Metallurgy, university of Science and technology of beijing, beijing 100083, china 2. china’s Hongxing Stock Company of Jiugang,Jiugang 735000,Gansu,china) Univ Sci & Technol beijing State Key Lab Adv Met Beijing 100083 Peoples R China chinas Hongxing Stock Co Jiugang Jiugang 735000 Gansu Peoples R China

The thermodynamic characteristics of desulfurization reaction (CaO)+[S]=(CaS)+[O] is analyzed based on the detailed composition of liquid steel and slag of Steel Plate Hot Commercial (SPHC) in Jiuquan Iron & Steel Corporation(JISC), where the activities of CaO, CaS and Al2O3 in molten slag are calculated by thermodynamic software FactSage for a more accurate result. The critical values of [O%]/[S%] for desulfurization at different temperature is are obtained, typically 0.09 at 1873K, which shows directly that it should deoxidize adequately for obtaining a favorable desulfurization condition. In addition, the thermodynamic analysis indicates that the actual dissolved O is much higher than that of equilibrium calculation which shows Al-O reaction in LF is far away from equilibrium, but it is perfect agreement with the computing results when taking the activity of Al2O3 as 1 that due to the inclusion component in LF is mainly Al2O3. Besides, with the temperature rise, the sulfur partition ratio increases softly meanwhile the reaction between Al and O is limited to a great degree resulting in the increase a dissolved oxygen in liquid steel that decreases the sulfur partition ratio seriously. As a result, the sulfur partition ratio appears to decrease with temperature increase in Al killed steel.

关键词： LF refining desulfurization deoxidation sulfur partition ratio

computing rarity on uncertain data

在线全文

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2011年第10期54卷 2028-2039页

作者： JIN CheQing,ZHOU MinQi & ZHOU AoYing Shanghai Key laboratory of Trustworthy computing,Software Engineering Institute,East china Normal university,Shanghai 200062,china 1. Shanghai Key laboratory of Trustworthy computing Software Engineering Institute East China Normal University Shanghai 200062 China

The essence of uncertain data management has been well adopted since data uncertainty widely exists in lots of applications,such as Web,sensor networks,*** of the uncertain data models are based on the possible world *** the number of the possible worlds will blowup exponentially with the growth of the data set,it is much more challenging to handle uncertain data than deterministic *** this paper,we take the first attempt to study the rarity,an important statistic that describes the proportion of items with the same frequency,upon uncertain *** have proposed three novel solutions,including an exact method and an approximate method to compute the rarity of a given frequency respectively,and a method to find the frequency of the maximum *** in theorem and extensive experimental results demonstrate the effectiveness and efficiency of the proposed solutions.

关键词： rarity uncertain data possible world

A New Process and Framework for Direct Anonymous Attestation Based on Symmetric Bilinear Maps

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Wuhan university Journal of Natural Sciences 2011年第5期16卷 369-375页

作者： TAN Liang1,2, ZHOU Mingtian3 1. College of Computer/Key Lab of Visualization in Scientific computing and Virtual Reality of Sichuan, Sichuan Normal university, Chengdu 610066, Sichuan, china 2. Institute of computing technology, Chinese Academy of Sciences, beijing 100190, china 3. School of Computer Science and Engineering, university of Electronic Science and technology of china, Chengdu 610054, Sichuan, china College of Computer/Key Lab of Visualization in Scientific computing and Virtual Reality of Sichuan Sichuan Normal University Chengdu Sichuan China Institute of computing technology Chinese Academy of Sciences Beijing China School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu Sichuan China

For the problem of the original direct anonymous attestation （DAA） scheme＇s complexity and great time consumption, a new DAA scheme based on symmetric bilinear pairings is presented, which gives a practical solution to ECC-based TPM in protecting the privacy of the TPM. The scheme still includes five procedures or algorithms： Setup, Join, Sign, Verify and Rogue tagging, but gets rid of zero-knowledge proof and takes on a new process and framework, of which the main operations are addition, scalar multiplication and bilinear maps on supersingular elliptic curve systems. Moreover, the scheme adequately utilizes the properties of bilinear maps as well as the signature and verification of the ecliptic curve system itself. Compared with other schemes, the new DAA scheme not only satis- fies the same properties, and shows better simplicity and high effi- ciency. This paper gives not only a detailed security proof of the proposed scheme, but also a careful performance analysis by comparing with the existing DAA schemes.

关键词： direct anonymous attestation bilinear map privacy authentication trusted computing platform trusted platform module