检索结果-南通市图书馆

Design of secure operating systems with high security levels

Science in China(Series F) 2007年第3期50卷 399-418页

作者： QING SiHan1,2 & SHEN ChangXiang3.1 institute of software, chinese academy of sciences,{3., China 2 School of software and Microelectronics, Peking University, beijing 102600, China 3.institute of Computing Technology, Navy, beijing 10084., China institute of software Chinese Academy of Sciences School of software and Microelectronics Peking University institute of Computing Technology

Numerous Internet security incidents have shown that support from secure operating systems is paramount to fighting threats posed by modern computing environments. Based on the requirements of the relevant national and international standards and criteria, in combination with our experience in the design and development of the ANSHENG v4.0 secure operating system with high security level （hereafter simply referred to as ANSHENG OS）, this paper addresses the following key issues in the design of secure operating systems with high security levels： security architecture, security policy models, and covert channel analysis. The design principles of security architecture and three basic security models： confidentiality, integrity, and privilege control models are discussed, respectively. Three novel security models and new security architecture are proposed. The prominent features of these proposals, as well as their applications to the ANSHENG OS, are elaborated. Cover channel analysis （CCA） is a well-known hard problem in the design of secure operating systems with high security levels since to date it lacks a sound theoretical basis and systematic analysis approach. In order to resolve the fundamental difficulties of CCA, we have set up a sound theoretical basis for completeness of covert channel identification and have proposed a unified framework for covert channel identification and an efficient backward tracking search method. The successful application of our new proposals to the ANSHENG OS has shown that it can help ease and speedup the entire CCA process.

关键词： secure operating systems with high security levels architecture security model covert channel analysis

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

SOLVING INTEGRAL EQUATIONS WITH LOGARITHMICKERNEL BY USING PERIODIC QUASI-WAVELETSOLVING INTEGRAL EQUATIONS WITH LOGARITHMICKERNEL BY USING PERIODIC QUASI-WAVELET

引用

Journal of Computational Mathematics 2000年第5期18卷 487-512页

作者： Han-lin Chen,Si-long Peng (institute of Mathematics, chinese academy of sciences, beijing 100080, China) 中科院数学所北京 100080

In solving integral equations with logarithmic kernel which arises from the boundary integral equation reformulation of some boundary value problems for the two dimensional Helmholtz equation, we combine the Galerkin method with Beylkin's ([2]) approach, series of dense and nonsymmetric matrices may appear if we use traditional method. By appealing the so-called periodic quasi-wavelet (PQW in abbr.) ([5]), some of theme matrices become diagonal, therefore we can the a algorithm with only O(K(m)2) arithmetic operations where m is the highest level. The Galerkin approximation has a polynomial rate of convergence.

关键词： Periodic Quasi-Wavelet Integral equation Multiscale.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

(r,k)-catching code

引用

chinese Science Bulletin 1998年第10期43卷 812-815页

作者： LI Anping institute of Applied Mathematics, chinese academy of sciences, beijing 100080, China institute of Applied Mathematics Chinese Academy of Sciences Beijing China

A collection of r_words on an alphabet of n letters is called (r,k)_catching code if for every r_word w there is one selected member v such that v coincides with w in at least k places. How large is the smallest size of the (r,k)_catching code and how to find the minimal (r,k)_\%catching code? Some methods are advanced to construct such codes.

关键词： catching code.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

THE PRIMAL-DUAL POTENTIAL REDUCTION ALGORITHM FOR POSITIVE SEMI-DEFINITE PROGRAMMING

引用

Journal of Computational Mathematics 2003年第3期21卷 339-346页

作者： Si-ming Huang(institute of Policy and Management, academy of Mathematics and System sciences,{3.,{4., China) institute of Policy and Management Academy of Mathematics and System Sciences Chinese Academy of Sciences 北京 100080

In this paper we introduce a primal-dual potential reduction algorithm for positive semi-definite programming. Using the symetric preserving scalings for both primal and dual interior matrices, we can construct an algorithm which is very similar to the primal-dual potential reduction algorithm of Huang and Kortanek [6] for linear programming. The complexity of the algorithm is either O(nlog(X0 · S0/ε) or O(nlog(X0· S0/ε) depends on the value of ρ in the primal-dual potential function, where X0 and S0 is the initial interior matrices of the positive semi-definite programming.

关键词： Positive semi-definite programming Potential reduction algorithms Complexity.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Integrated precise orbit determination of Shenzhou IV unmanned spacecraft

引用

Science China(Technological sciences) 2004年第5期47卷 518-525页

作者： L Congmin1,2, GU Yidong3. LIN Baojun3.& GUO Jiong3.1. Center for Space Science and Applied Research, chinese academy of sciences,{4., China 2. Graduate School of the chinese academy of sciences, {3. 10003., China 3. General Establishment of Space Science and Application, chinese academy of sciences,{4., China Correspondence should be addressed to L Congmin General Establishment of Space Science and Application Chinese Academy of Sciences

Considering the characteristic orbit of Shenzhou IV spacecraft and the advantages and disadvantages of several types of domestic orbit measurements, a scheme of IPOD is determined, which uses GPS, SLR and USB observation data jointly plus precise ionosphere corrections to GPS observation data. IPOD system and mathematic models of OD are introduced. The results of different joint OD are analyzed using true observation data, and show that radial accuracy is better than 2 m.

关键词： Shenzhou IV unmanned spacecraft integrated precise orbit determination GPS SLR USB.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

CONSTRUCTION OF A PRECONDITIONER FOR DOMAIN DECOMPOSITION METHODS WITH POLYNOMIAL LAGRANGIAN MULTIPLIERS

引用

Journal of Computational Mathematics 2001年第2期19卷 213-224页

作者： Qi-ya Hu (institute of Computational Mathematics, academy of Mathematics and Systems sciences,{3.,{4., China) Guo-ping Liang Jin-zhao Liu (institute of Mathematics, academy of Mathematics and Systems sciences, chinese 中科院计算数学与工程计算数学所北京 100080 中科院数学所北京 100080

In this paper we consider domain decomposition methods with polynomial Lagrangian multipliers to two-dimentional elliptic problems, and construct a kind of simple preconditioners for the corresponding interface equation. It will be shown that condition number of the resulting preconditioned interface matrix is almost optimal (namelys it has only logarithmic growth with dimension of the local interface space).

关键词： Domain Decomposition Non-matching grids Lagrangian multipliers Preconditioner Condition number.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Local canonical correlation coefficients and canonical variables of groups of random variables

引用

chinese Science Bulletin 1998年第10期43卷 815-817页

作者： XU Xingzhong institute of Systems Science, chinese academy of sciences, beijing 100080, China institute of Systems Science Chinese Academy of Sciences Beijing China

The concepts of local correlation coefficient, local canonical correlation coefficients and local canonical variables of groups of random variables are defined, which generalize the classical concepts in two groups of random *** concepts together with total corresponding concepts clarify the correlativity among groups of random variables.

关键词： groups of random variables covariance matrix local canonical correlation coefficients local canonical variables.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

RADIAL BASIS FUNCTION INTERPOLATION IN SOBOLEV SPACES AND ITS APPLICATIONS

引用

Journal of Computational Mathematics 2007年第2期25卷 201-210页

作者： Manping Zhang (School of Mathematical sciences,Fudan University,Shanghai 2004.1},China institute of Computational Mathematics,chinese {3. of sciences,beijing 100080,China School of Mathematical sciences Fudan University Shanghai 200433 China Institute of Computational Mathematics Chinese Academy of Sciences Beijing 100080 China

In this paper we study the method of interpolation by radial basis functions and give some error estimates in Sobolev space H^k（Ω）（k 〉 1）. With a special kind of radial basis function, we construct a basis in H^k（Ω） and derive a meshless method for solving elliptic partial differential equations. We also propose a method for computing the global data density.

关键词： Sobolev space Radial basis function Global data density Meshless method

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Preparation and Characterization of Ultrafine ZrO_2 Powders from Solvent Extraction of Zr(Ⅳ) with Tri-n-butyl Phosphate in Kerosene from Nitric Acid Solutions

引用

Journal of Materials Science & Technology 1996年第6期12卷 439-444页

作者： Chuanfang YANG and Jiayong CHEN (institute of Chemical Metallurgy, chinese academy of sciences, beijing 100080, China)(To whom correspondence should be addressed) institute of Chemical Metallurgy Chinese Academy of Sciences Beijing 100080 China

Zr(IV) was extracted by tri-n-butyl phosphate in kerosene from concentrated nitric acid solutions and the formation of the third phase during extraction was experimentally investigated. Zirconia powders were prepared by using the loaded organic phase as the bulk solution precipitated with aqueous ammonia or NaOH solution. The powder prepared was characterized with TEM, XRD,EDAX and TG-DTA. Effects of some conditions on powder preparation were studied and it was shown that nanosized particles could be obtained from this extraction system but conditions should be carefully controlled for powder purity and particle size.

关键词： Zirconia

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Microstructure of Pd_(77.5)Au_6Si_(16.5) Alloy Droplet Solidified in a Drop Tube Process

引用

Journal of Materials Science & Technology 1996年第5期12卷 385-388页

作者： Liling SUN Qi WU Liwei SUN and Wenkui WANG (institute of Physics, chinese academy of sciences, beijing 100080, China) institute of Physics Chinese Academy of Sciences Beijing 100080 China

The microstructure development of Pd77.5Au6Si16.5 alloy droplet solidified in a drop tube process was studied. It was found that two distinct microstructures, i.e. (Pd,Au)3.i primary phase and Pd+(Pd,Au)3.i eutectic can be obtained when the droplet diameter is within the range between 2.3.0.4.mm. The morpologies of the (Pd,Au)3.i developed from dendrite trunk-like with single branching only into dendrite cluster-like with ternary branching with the decrease of the droplet diameter. When the droplet diameter is about 0.25 mm, the primary phase (Pd,Au)3.i almost disappears and the microstructure mainly shows Pd+(Pd,Au)3.i eutectic. The morphology of the eutectic transforms from fiber-like to plate-like with the decrease of the droplet diameter in the range between 2.3.0.25 mm. When the droplet diameter is about 0.19 mm, the microstructure is only the single phase of Pd solid solution

关键词： Microstructure of Pd Au6Si Alloy Droplet Solidified in a Drop Tube Process

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：