Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.     

Local Feasible QP-Free Algorithms for the Constrained Minimization of SC1 Functions

We consider the problem of minimizing an SC¹ function subject to inequality constraints. We propose a local algorithm whose distinguishing features are that: (a) a fast convergence rate is achieved under reasonable assumptions that do not include strict complementarity at the solution; (b) the solution of only linear systems is required at each iteration; (c) all the points generated are feasible. After analyzing a basic Newton algorithm, we propose some variants aimed at reducing the computational costs and, in particular, we consider a quasi-Newton version of the algorithm.     

语言模因论视角下的不可译现象研究

模因视角下对待不可译有两种处理办法：一是产生“基因型模因”，基本上采用直译或异化策略再进行补偿的办法，保证信息不失真，实现“相同信息异型传播”；二是产生“表现型模因”，在原模因的基础上产生较大的变异，采用意译或归化的翻译策略，实现“不同信息同型传播”。     

暗夜明珠——著名画家丘沺评传

丘沺是近现代著名画家。徐悲鸿曾誉之为“笔精墨妙,技法超群”。他花鸟、山水、人物兼擅,尤以彩墨山水见长。作品自辟蹊径,构图新巧,诗书画印和谐结合,形成高雅明丽的画风,深受海内外艺术爱好者青睐。惜一生贫困漂泊,英年早逝。福建省美协原主席丁仃称他是“一颗埋藏已久的珠”。     

毛细管气相色谱法测定中药中有机氯农药残留量

建立了江西省两种中药中有机氯农药残留量的气相色谱分析方法。样品以丙酮提取,在NaCl存在下,以正已烷进行液—液分配,提取液用H2SO4净化,采用DB—1701毛细管柱,GC—ECD检测有机氯农药残留量。最低检测限为1.0×10-3-5.0×10-3mg/kg,添加回收率为85.7%-115.2%,应用于实际样品中有机氯农药残留量的检测,获得了较为满意结果。     

英汉翻译中的文化透析

语言与文化有着密切的关系,任何语言都体现一定的文化特征,故文化因素对不同语言的翻译具有重要的影响。从中西文化的相似形和差异性,包括不同的生活方式、认知思维方式以及价值观等方面,对此问题进行深刻的分析和探讨,指出两种语言翻译中应注意的文化问题。     

On the spectral norm of algebraic numbers

In this paper we continue to study the spectral norms and their completions ([4]) in the case of the algebraic closure $ \overline {\mathbb Q} $ of ? in ?. Let $ \widetilde{\overline{\mathbb{Q}}} $ be the completion of $ \overline {\mathbb Q} $ relative to the spectral norm. We prove that $ \widetilde{\overline{\mathbb{Q}}} $ can be identified with the R‐subalgebra of all symmetric functions of C(G), where C(G) denotes the ?‐Banach algebra of all continuous functions defined on the absolute Galois group G = Gal$ {\overline {\mathbb Q}} / {\mathbb Q} $. We prove that any compact, closed to conjugation subset of ? is the pseudo‐orbit of a suitable element of $ \widetilde{\overline{\mathbb{Q}}} $. We also prove that the topological closure of any algebraic number field in $ \widetilde{\overline{\mathbb{Q}}} $ is of the form $\widetilde{\mathbb{Q}[x]}$ with x in $ \widetilde{\overline{\mathbb{Q}}} $.     

中国邮路问题的一个解法

本给出中国邮路问题的一个解法。虽然它仍只是初始方案，但因考虑了问题的足够信息，因而这种方案至少拉近了与最优解的距离。     

Resolution of Some Open Problems Concerning Multiple Zeta Evaluations of Arbitrary Depth

We prove some new evaluations for multiple polylogarithms of arbitrary depth. The simplest of our results is a multiple zeta evaluation one order of complexity beyond the well-known Broadhurst–Zagier formula. Other results we provide settle three of the remaining outstanding conjectures of Borwein, Bradley, and Broadhurst. A complete treatment of a certain arbitrary depth class of periodic alternating unit Euler sums is also given.     

Fixed points in the family of convex representations of a maximal monotone operator

Any maximal monotone operator can be characterized by a convex function. The family of such convex functions is invariant under a transformation connected with the Fenchel-Legendre conjugation. We prove that there exists a convex representation of the operator which is a fixed point of this conjugation.