左消半群M与幂单半群B的Schǔzenberger积

本文讨论了每个元都有幂等元作为右单位元的左消半群与幂单半群N的Schuzenberger积M◇N的ρ类，证明了这种半群M与N的Schuzenberger积M◇N的ρ类是右E一半适合半群和弱E-headged半群．     

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.     

关于C++中继承方式问题的研究

针对C＋＋语言中继承方式及访问权限的理解极易混淆的问题，详细讨论了对C＋＋语言中的继承方式及成员访问权限的教学，并给出具体的继承访问控制的例子。     

Homology Priority Task Scheduling in μC/OS-Ⅱ Real-Time Kernel

μC/OS-Ⅱ is an open source real-time kernel adopting priority preemptive schedule strategy. Aiming at the problem of μC/OS-Ⅱ failing to support homology priority tasks scheduling, an approach for solution is proposed. The basic idea is adding round-robin scheduling strategy in its original scheduler in order to schedule homology priority tasks through time slice roundrobin. Implementation approach is given in detail. Firstly, the Task Control Block （TCB） is extended. And then, a new priority index table is created, in which each index pointer points to a set of homology priority tasks. Eventually, on the basis of reconstructing μC/OS-Ⅱ real-time kernel, task scheduling module is rewritten. Otherwise, schedulability of homology task supported by modified kernel had been analyzed, and deadline formula of created homology tasks is given. By theoretical analysis and experiment verification, the modified kernel can support homology priority tasks scheduling, meanwhile, it also remains preemptive property of original μC/OS-Ⅱ.     

浅谈素质教育与图书馆工作

简述了素质教育的含义,分析了图书馆在素质教育中所处的地位和具备的优势,探讨了图书馆开展素质教育的有效途径。     

Structural hierarchy of rock masses and the mechanisms of its formation

The formation mechanisms for the structural hierarchy in geological media are discussed. It is shown that the formation of such a hierarchy is caused by certain external and internal circumstances. The first ones consist in the fact that, because of external actions, the Earth’s poles continuously execute the translational and rotational motions responsible for a regular structure of rock fracture and for the appearance of the scale factor √2. The second ones consist in the fact that, under the action of many random factors and because of external actions, during the formation of geological media there appear dissipative structures and, hence, some self-similar fractal structures are formed.     

Living/controlled radical copolymerization of N‐substituted maleimides with styrene in 1‐butyl‐3‐methylimidazolium hexafluorophosphate and anisole

The atom transfer radical copolymerization of N‐substituted maleimides such as N‐phenylmaleimide (PhMI), N‐cyclohexylmaleimide (ChMI), and N‐butylmaleimide (NBMI) with styrene initiated with dendritic polyarylether 2‐bromoisobutyrates in an ionic liquid, 1‐butyl‐3‐methylimidazolium hexafluorophosphate ([bmim][PF₆]), at room temperature and anisole at 110 °C was investigated. The dendritic‐linear block copolymers obtained in ionic liquid possessed well‐defined molecular weight and low polydispersity (1.05 < M_w/M_n < 1.32) and could be used as a macroinitiator for chain‐extension polymerization, suggesting the living nature of the reaction system. The ionic liquids containing catalyst could be recycled in the atom transfer radical polymerization systems without further treatment. Compared with polymerization conducted in anisole, the polymerization in ionic liquid had a stronger tendency for alternation. The tendency for alternation decreased in the order PhMI > NBMI > ChMI in [bmim][PF₆] and PhMI > ChMI > NBMI in anisole. © 2003 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 41: 2156–2165, 2003