基于静态分析的强制访问控制框架的正确性验证

现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证.文中基于TrustedBSD MAC框架对强制访问控制框架的正确性验证问题进行了研究,在授权钩子放置验证的基础上,提出了安全标记的完全初始化验证和完全销毁验证.为了实现上述验证,文中提出了一个路径敏感的、基于用户自定义检查规则的静态分析方法.该方法通过对集成于编译器的静态分析工具mygcc进行扩展来验证强制访问控制框架的钩子放置的准确性和完备性.该方法具有完全的路径覆盖性,且具有低的误报率和时间开销.

小麦实时控制灌溉的土壤水分含量探头合理埋设深度研究

利用室内控制试验研究了根据不同深度土壤水分传感器灌溉处理对冬小麦生物学性状及水分利用率等的影响。结果显示,以10 cm探头控制灌溉最为省水,同时冬小麦生物学性状及水分利用率等最佳。由于试验冬小麦处于生育前期,随着小麦生育期延伸,当根系超过30 cm深度时,根系吸水的深度增加,探头的埋设深度需要田间试验进行更详细的研究。

Flying lemurs – The 'flying tree shrews'? Molecular cytogenetic evidence for a Scandentia-Dermoptera sister clade

Background: Flying lemurs or Colugos (order Dermoptera) represent an ancient mammalian lineage that contains only two extant species. Although molecular evidence strongly supports that the orders Dermoptera, Scandentia, Lagomorpha, Rodentia and Primates form a superordinal clade called Supraprimates (or Euarchontoglires), the phylogenetic placement of Dermoptera within Supraprimates remains ambiguous. Results: To search for cytogenetic signatures that could help to clarify the evolutionary affinities within this superordinal group, we have established a genome-wide comparative map between human and the Malayan flying lemur (Galeopterus variegatus) by reciprocal chromosome painting using both human and G. variegatus chromosome-specific probes. The 22 human autosomal paints and the X chromosome paint defined 44 homologous segments in the G. variegatus genome. A putative inversion on GVA 11 was revealed by the hybridization patterns of human chromosome probes 16 and 19. Fifteen associations of human chromosome segments (HSA) were detected in the G. variegatus genome: HSA1/3, 1/10, 2/21, 3/ 21, 4/8, 4/18, 7/15, 7/16, 7/19, 10/16, 12/22 (twice), 14/15, 16/19 (twice). Reverse painting of G. variegatus chromosome-specific paints onto human chromosomes confirmed the above results, and defined the origin of the homologous human chromosomal segments in these associations. In total, G. variegatus paints revealed 49 homologous chromosomal segments in the HSA genome. Conclusion: Comparative analysis of our map with published maps from representative species of other placental orders, including Scandentia, Primates, Lagomorpha and Rodentia, suggests a signature rearrangement (HSA2q/21 association) that links Scandentia and Dermoptera to one sister clade. Our results thus provide new evidence for the hypothesis that Scandentia and Dermoptera have a closer phylogenetic relationship to each other than either of them has to Primates.

稀疏矩阵向量乘的存储访问复杂度及自动性能优化技术应用研究

在科学计算中，稀疏矩阵向量乘（SpMV, y=Ax）是一个十分重要的，且经常被大量调用的计算内核，广泛应用在科学计算、信息检索、气象、航天、油藏模拟、天体物理、数据挖掘等科学计算和实际应用中。在实际工程应用中，重复调用稀疏矩阵向量乘内核的次数常常会达到成千上万次。但在现代基于Cache存储层次的计算平台上，稀疏矩阵向量乘的性能很低。如果能够提高稀疏矩阵向量乘的运算速度，整个工程计算的运行效率将会得到很大的改善，计算时间也会大幅度的减少。因此优化稀疏矩阵向量乘的性能成为提高工程效率的关键，在实际应用中有着十分重要的意义。 SpMV的传统算法实现形式运行效率很低，主要原因是浮点计算操作和存储访问操作比率非常低，且稀疏矩阵非零元分布的不规则性使得存储访问模式非常复杂。寄存器分块算法和启发式选择分块算法,通过自适应选择性能最佳的分块大小，然后将稀疏矩阵分成小的稠密分块，所有的非零子块顺序计算，达到重用保存在寄存器中向量x元素的目的，减少存储访问次数和时间，从而提高这一重要内核的性能。我们在Pentium IV、Alpha EV6和AMD Athlon三个平台上，分别测试了十个矩阵下的两种不同算法形式(压缩行存储算法和寄存器分块算法)的性能，平均加速比分别达到1.69、1.90和 1.48。同时也测试了不同次数调用SpMV两种算法所用的时间，发现在实际的迭代算法应用过程中，若想采用启发式-寄存器分块算法达到性能提高的目的，一般情况下，迭代次数需要达到上百次才能有加速效果。 DRAM(h)模型是基于存储层次的并行计算模型，指出算法的复杂性包括计算复杂性和存储访问复杂性，具有近乎相同时间和空间复杂性的同一算法的不同实现形式，会有不同的存储访问复杂度，导致程序实际运行性能的差异；利用DRAM(h)模型进行分析并比较不同算法实现形式的存储访问复杂度，可以判断两种算法形式的优劣，从而为选取性能更高的实现形式提供指导。但利用DRAM(h)模型分析SpMV存储访问复杂度的工作以前没有人做过，并且SpMV的计算性能和存储访问行为跟具体的稀疏矩阵有关，只有到程序运行的时候才能知道。本文中，我们提出模板法和动态统计分析法两种分析SpMV存储访问复杂度的方法。在Pentium IV和Alpha EV6平台上，用RAM(h) 模型分析和计算了稀疏矩阵向量乘两种算法实现形式（即压缩行存储算法和寄存器分块算法）的存储访问复杂度，通过分析和计算在SpMV过程中需要访问的所有数据的存储访问复杂度，可知存储访问行为对整体程序的实际性能有直接影响。我们还在Pentium IV平台上，测试了七个稀疏矩阵的SpMV性能，并统计了两种算法中L1, L2,和TLB的缺失率，实验结果与模型分析的结果一致。

Controlled synthesis of L-lactide-b-epsilon-caprolactone block copolymers using a rare earth complex as catalyst

Well-defined block copolymers of L-lactide-b-epsilon-caprolactone were synthesized by sequential polymerization using a rare earth complex, Y(CF3COO)(3)/Al(iso-Bu)(3), as catalyst system. The compositions of the block copolymers could be adjusted by manipulating the feeding ratio of comonomers. The characterizations by GPC, H-1 NMR, C-13 NMR, and DSC displayed that the block copolymer, poly(epsilon-caprolactone-b-L-lactide) [P(CL-b-LLA)], had a narrow molecular weight distribution and well-controlled sequences without random placement.

COBALT PORPHYRIN NAFION FILM ON CARBON MICROARRAY ELECTRODE TO MONITOR OXYGEN FOR ENZYME ANALYSIS OF GLUCOSE

A microcarbon array electrode was modified by the placement of a Nafion film containing cobalt tetramethylpyridyl phorphyrin on its surface. This electrode was applied to the analysis of solution glucose when it was further modified by the immobilization of glucose oxidase on the outermost surface of the Nafion by the cross-linking of serum albumin with glutaraldehyde. The concomitant decrease in the concentration of oxygen, as it was consumed in the enzymatic reaction of glucose with glucose oxidase, was determined by either cyclic voltammetry or a double potential step method at the porphyrin-Nafion catalytic electrode. Glucose could be determined in the range of 0.01-4 mM rapidly, without interference from substances such as ascorbate or other saccharides.

基于加速度传感器的机器人极点配置控制

本文为工业机器人提出了一种极点配置控制法．这种控制方法的优点有：一是它的积分作用消除了机器人的微小扰动和稳态误差；二是能任意设置系统的极点，因此能保证闭环系统的稳定性和规定状态变量的暂态响应；三是加入了加速度反馈，抑制了由电枢电感所引起的机械手的振动．最后，给出了ＰＵＭＡ５６２机器人的计算机仿真和实验结果验证了此控制法的有效性。

广义预测极点配置前馈控制的一种算法

本文提出了广义预测极点配置前馈自校正控制算法,计算机仿真结果表明,该算法控制质量好,能够消除系统可测扰动对输出的影响。

湘西地区上震旦统上部－下寒武统底部黑色岩系沉积学及地球化学

Widespread black chert-shales occur in the Ediacaran-Cambrian(E-C) boundary successions along the flank of Yangtze Platform, South China, remarkable changes in sedimentology, geochemistry and biology were recorded. Although extensive studies were carried out upon this boundary succession, the origin of black chert-shales still remain controversial. This paper focuses on the E-C black chert-shales in western Hunan, South China, upon which detailed depositional and geochemical changes are documented, accordingly a depositional model for black chert-shales is proposed. Stratigraphic anatomy across the depositional strike demonstrates that the shallow-water Dengying dolostone along the platform margin sharply pass basinward into the Liuchapo chert successions, which indicate syndepositional extensional faulting at depth could have occurred along the platform margin. The deep-water Niutitang phosphorite-rich black shales are either underlain by the Dengying dolostones on the platform margin toward platform interior or directly by the Liuchaopo chert successions farther basinwards. By detailed investigation, silica chimneys are firsly identified approximately in the chert along platform margin; two types of silica chimneys, including mounded and splayed/funnelized chert(generally brecciated) bodies are further sorted out. The mounded chert are exitbited by domed or hummocky surfaces on the top and irregular spongy to digitiform internal fabrics; within the silica mounds, abundant original vesicles/voids and/or channels were mostly plugged by initial chalcedony, quartze crystals with minor dolomite and bladed barite crystals. Splayed/funnelized brecciated chert “intrusion” cross-cut the uppermost dolostones capping to the horizon underneath, and are directly overlain by the Niutitang phosphorite-rich black shales. Their similarities to the silica chimneys reported from the oceanic spreading centres suggest a similar origin responsible for these unique silica bodies which is also supported by the microthermonmetric data and element geochemistry. High P, Ba, Fe contents and positive correlation between Fe and TOC concentrations in the Niutitang black shales indicate a high palaeo-productivity in the Early Cambrian ocean. The low Th/U and the high V/Cr, V/Sc, V/(V+Ni) ratios in the black shales suggest an anoxic water condition during this interval. Furthermore, Positive Eu anomalies and high Ba contents in the sediments also imply a hydrothermal influence on the formation of Niutitang black shales. To better constrain the placement of deep-water successions straddling the E-C boundary and the timing of hydrothermal silica chimneys, sensitive high-resoluton ion microprobe(SHRIMP) U-Pb dating of zircon grains from tuffs within the chert succession of Liuchapo Formation at Ganziping was conducted and yields a weighted-mean 206Pb/238Pb age at 536.6±5.5Ma, younger than E-C boundary age(542.0±0.3Ma). This age combined with carbon isotopic data is then proposed to correspond to the U-Pb age of zircons(538.2±1.5Ma) from the Zhongyicun member of Meishucun Formation at Meishucun in eastern Yunna, thus, the E-C boundary in Gazngziping was placed between the Dengying formations and Liuchapo formatioms. therefore, the silica chimneys took place at the beginning of the Cambrian period. The temporal coincidence of silica chimneys and negative excursions of δ13C and δ34Spy pairs suggest hydrothermal activities were likely responsible for the isotopic changes. Under such a circumstance, vast amounts of greenhouse gases(CO2, CH4, H2S), with highly 13C-depleted carbon and 34S-depleted sulfur would be released into the ocean and atmosphere. A positive shift in δ34Scas and Δ34S values from the late Ediacaran to the Early Cambrian could be a reflection of enhanced bacterial sulfate reduction(BSR), strengthened by the intensified oceanic anoxia stimulated by hydrothermal activities. Based on the analyses of sedimentology and geochemistry, a model- “oceanic anoxia induced by hydrothermal–volcanic activies” was proposed to responsible for the formation of black chert-shales during this E-C transition. Under this case, hydrothermal-volcanic activies could release large large amount of greenhouse into atmosphere and metal micronutrients into the ocean, which may lead to global warming, stratified ocean, thereby a high palaeoproductivity; on the other hand, the massive releasing of reduced hydrothermal fluids with abundant H2S, could have in turn enhanced the ocean anoxia. All of these were favourable the for preservation of organic matter, and subsequent extensive deposition of black silica-shales.

10-14岁超常儿童的亲社会行为特点及影响因素

Is prosocial behavior of supernormal children distinguished from normal children? Is there any difference between the supernormal children’s prosocial behavior from different educational placement? What are the mechanisms underlying the difference? The aim of this study was to examine these issues. With multiple methods of prosocial behavior, including other-rating, self-rating and hypothetical dilemma, we investigated the 10 to 14 year-old children. Firstly, the development of prosocial behavior and its relationship with prosocial behavior was examined. Secondly, we investigated the features of supernormal children’s prosocial behavior and analysed its difference with normal children. Finally, we tried to find the difference of supernormal children’s prosocial behaviour from different educational placement, and the mechanisms underlying the difference, such as social value orientation and peer relation. The results are as follows: 1)The altruistic and compliant prosocial tendency of 14 year-old children was obviously lower than those younger children. Intelligence was positively related with altruistic and emotional prosocial tendency for 10 year-olds, and with prosocial behaviour of peer nominated for 12 year-olds. 2)There was no significant difference of prosocial behaviour between supernormal and normal children. The peer nominated prosocial behaviour of 12 year-old supernormal children was higher than of 11 and 13 years old supernormal children. In addition, girls’ other-rating prosocial behaviour was significantly higher than boys’, but no gender difference was detected in the prosocial behaviour of self-rating and hypothetical dilemma. 3)With regard to the supernormal children’s prosocial behaviour in different educational placement, we found that the prosocial degree of the supernormal children of homogeneous groups was higher than that of heterogeneous groups in the role-change of ultimatum game. 4)The supernormal children from different educational placement had different social value orientation. More supernormal children of homogeneous groups belonged to the type of group enhancement, while more supernormal children of heterogeneous groups belonged to the type of equality. The types of social value orientation did not have impact on the supernormal children’s prosocial behaviour from different educational placement. 5)Peer relation moderated the impact of different educational placement on supernormal children’s prosocial behaviour.

植入式广告与普通插播广告的效果比较及其影响因素

Brand placement is to present the information of products and brands through certain entertainments and non-commercial areas. Since 1990's, brand placement has become a major way of spreading advertisement and a new growing point of the global advertising market. In china, it is easily seen from spring festival evening gala of CCTV to all kinds of movie and TV shows, and is thus interested by many brand owners, advertisers and communication researchers. Since 2006, the people in the media circles have begin to take full care of the study of the brand placement. In general, there is still certain distance between the theoretical studies and the reality. It's a general problem over the world and is especially true for China as this was just a new idea. As the biggest global economic entity, China is the most potential and powerful market, thus the market of the brand placement will be huge. To push its development, it's then crucial to have theoretical studies on it. Many questions have not been explained yet in this area, mostly essential is to ask what kind of advantage it acquires compared with the traditional advertisement, if there is, how does such advantage show? What kind of factors influents the market effect of the brand placement? All these questions are not answered yet. Also it's well-known that a successful advertisement relies heavily on the understanding of the culture. Thus a specific thing to deal with is to study the effects according to the Chinese culture, which can make constructive suggestion to the whole industry. Our research is to compare the effects between the brand placement with the ordinary media advertisements, discuss its possible influences, and try to make certain suggestions to the future running and development. Our research obtains the following results by using the movie and advertisement in reality: (1) Like ordinary media ad’s, brand placement can improve the brand recognition of the audience significantly. (2) The ordinary ad's make the people easier to remember them than brand placement, while not too much difference in the brand recognition. (3) The brand placement has a significant 'emotional shifting' effect, i.e. the more positive to the movie, the more you love the built-in brand. (4) It is an important factor that how much brand information is involved in the movie; while how much the plot is involved has great impact on the 'emotional shifting' effect. (5) The familiarity is a great factor for the ad's, it's obvious that the popular products get way better effects through brand replacement. (6) An effective way is to choose those positive, interesting and eye-catching movies and TV shows as carriers of the brand and to use it as natural as possible.

The M-Machine Multicomputer

The M-Machine is an experimental multicomputer being developed to test architectural concepts motivated by the constraints of modern semiconductor technology and the demands of programming systems. The M- Machine computing nodes are connected with a 3-D mesh network; each node is a multithreaded processor incorporating 12 function units, on-chip cache, and local memory. The multiple function units are used to exploit both instruction-level and thread-level parallelism. A user accessible message passing system yields fast communication and synchronization between nodes. Rapid access to remote memory is provided transparently to the user with a combination of hardware and software mechanisms. This paper presents the architecture of the M-Machine and describes how its mechanisms maximize both single thread performance and overall system throughput.

The use of transvaginal synthetic mesh for anterior vaginal wall prolapse repair: a randomized controlled trial

The aim of the study was to compare the efficacy and safety of transvaginal trocar-guided polypropylene mesh insertion with traditional colporrhaphy for treatment of anterior vaginal wall prolapse.This is a randomized controlled trial in which women with advanced anterior vaginal wall prolapse, at least stage II with Ba a parts per thousand yenaEuro parts per thousand+1 cm according to the Pelvic Organ Prolapse Quantification (POP-Q) classification, were randomly assigned to have either anterior colporrhaphy (n = 39) or repair using trocar-guided transvaginal mesh (n = 40). the primary outcome was objective cure rate of the anterior compartment (point Ba) assessed at the 12-month follow-up visit, with stages 0 and I defined as anatomical success. Secondary outcomes included quantification of other vaginal compartments (POP-Q points), comparison of quality of life by the prolapse quality of life (P-QOL) questionnaire, and complication rate between the groups after 1 year. Study power was fixed as 80 % with 5 % cutoff point (p < 0.05) for statistical significance.The groups were similar regarding demographic and clinical preoperative parameters. Anatomical success rates for colporrhaphy and repair with mesh placement groups were 56.4 vs 82.5 % (95 % confidence interval 0.068-0.54), respectively, and the difference between the groups was statistically significant (p = 0.018). Similar total complication rates were observed in both groups, with tape exposure observed in 5 % of the patients. There was a significant improvement in all P-QOL domains as a result of both procedures (p < 0.001), but they were not distinct between groups (p > 0.05).Trocar-guided transvaginal synthetic mesh for advanced anterior POP repair is associated with a higher anatomical success rate for the anterior compartment compared with traditional colporrhaphy. Quality of life equally improved after both techniques. However, the trial failed to detect differences in P-QOL scores and complication rates between the groups.

Moodle on the Move.

Recent shifts in technology have seen some writers question the value of tablet computers as phones becomes bigger, more powerful and their battery life improves: (http://www.wired.com/2015/01/nobody-knows-ipad-good-anymore/ In trying to encourage greater student engagement with their studies, lecturers can be caught unsure of how to proceed. Moodle has improved since its introduction and now it adjusts the content to match the screen size. Does that matter? Results from a recent module survey suggests that 75% of students access Moodle from their phone which would suggest that when we design our Moodle pages we may need to think about the placement of information. What works on a 21" HD monitor in our office may not give the same result on a laptop, tablet or phone.