可信计算的产业趋势和研究

可信计算实验研究已经进行了30多年,特别是在航空、航天、金融、证券、交通等安全关键领域取得了令人瞩目的成就.为了从数量和质量两方面综述可信计算的发展和进一步推动可信计算的研究,文中分析了可信计算的产业趋势,包括:(1)差错源的变化;(2)复杂性的迅速增加;(3)计算设备总量的增加.针对每一种趋势,指出了那些可以应用于终端产品或实验性产品以及生产这些产品过程的研究技术.文中的研究给出一个框架,既能反映可信计算过去的研究情况,也指明了今后的研究需求.     

通过全局核降低高斯核的局部风险与基于遗传算法的两阶段模型选择

支持向量分类时,由于样本分布的不均匀性,单宽度的高斯核会在空间的稠密区域产生过学习现象,在稀疏区域产生欠学习现象,即存在局部风险.针对于此,构造了一个全局性次核来降低高斯核产生的局部风险.形成的混合核称为主次核.利用幂级数构造性地给出并证明了主次核的正定性条件,进一步提出了基于遗传算法的两阶段模型选择算法来优化主次核的参数.实验验证了主次核和模型选择法的优越性.     

Hippocampal Over-Expression of Cyclooxygenase-2 (COX-2) Is Associated with Susceptibility to Stress-Induced Anhedonia in Mice

The phenomenon of individual variability in susceptibility/resilience to stress and depression, in which the hippocampus plays a pivotal role, is attracting increasing attention. We investigated the potential role of hippocampal cyclooxygenase-2 (COX-2), which regulates plasticity, neuroimmune function, and stress responses that are all linked to this risk dichotomy. We used a four-week-long chronic mild stress (CMS) paradigm, in which mice could be stratified according to their susceptibility/resilience to anhedonia, a key feature of depression, to investigate hippocampal expression of COX-2, a marker of microglial activation Iba-1, and the proliferation marker Ki67. Rat exposure, social defeat, restraints, and tail suspension were used as stressors. We compared the effects of treatment with either the selective COX-2 inhibitor celecoxib (30 mg/kg/day) or citalopram (15 mg/kg/day). For the celecoxib and vehicle-treated mice, the Porsolt test was used. Anhedonic (susceptible) but not non-anhedonic (resilient) animals exhibited elevated COX-2 mRNA levels, increased numbers of COX-2 and Iba-1-positive cells in the dentate gyrus and the CA1 area, and decreased numbers of Ki67-positive cells in the subgranular zone of the hippocampus. Drug treatment decreased the percentage of anhedonic mice, normalized swimming activity, reduced behavioral despair, and improved conditioned fear memory. Hippocampal over-expression of COX-2 is associated with susceptibility to stress-induced anhedonia, and its pharmacological inhibition with celecoxib has antidepressant effects that are similar in size to those of citalopram.     

Engineering and microstructure properties of contaminated marine sediments solidified by high content of incinerated sewage sludge ash

Management of incinerated sewage sludge ash(ISSA) and dredged contaminated marine sediments(CMSs) is a great challenge for Hong Kong and other coastal cities due to limited landfilling capacity.The present study investigates the use of high content(20% of sediment by mass) of ISSA in combination with cement/lime for solidification/stabilization(S/S) treatment of CMSs to provide a way to reuse the wastes as construction materials.The results showed that ISSA being a porous material was able to absorb a large amount of water rendering a more efficient solidification process of the marine sediment which normally had a very high water content(～80%).The S/S treatment improved the engineering properties of the sediment,but reduced the workability,especially for the lime-treated samples.Lime can be used to replace ordinary Portland cement(OPC) for better heavy metal immobilization and carbon emission reduction.The hardened sediment samples prepared with 10% of lime and 20% of ISSA could attain a strength of 1.6 MPa after 28 d of curing.In addition,leaching tests confirmed that there was no environmental risk induced by these stabilized materials.The formation of hydrated cementitious compounds including calcium silicate hydrate(C-S-H)/calcium aluminate silicate hydrate(C-A-S-H)/hydrocalumite/calcite was mainly responsible for the strength development in the ISSA/lime-treated sediments.     

联营电力市场中需求侧的直接参与

在现有的允许需求侧竞标的日前联营市场中,每当某个时段的市场清算电价高于投标报价时,需求侧的兆瓦级购电竞标就被拒绝。由于用户不参与通过削减供电量来牟利的商业运作,因此未得到满足的用户需求只能从平衡市场中在更接近于预期用电的时段中获得。这就使用户遭受更大的不能以所希望的价格来满足其对电能的需要的风险。文章介绍了一种新的市场概念,它能在日前市场对需求侧的竞标者关闭后,以合并拍卖规则中需求移动机制的方法来降低其需求不平衡的风险。     

Replication-Deficient Lymphocytic Choriomeningitis Virus-Vectored Vaccine Candidate for the Induction of T Cell Immunity against Mycobacterium tuberculosis

Mycobacterium tuberculosis (Mtb) represents a major burden to global health, and refined vaccines are needed. Replication-deficient lymphocytic choriomeningitis virus (rLCMV)-based vaccine vectors against cytomegalovirus have proven safe for human use and elicited robust T cell responses in a large proportion of vaccine recipients. Here, we developed an rLCMV vaccine expressing the Mtb antigens TB10.4 and Ag85B. In mice, rLCMV elicited high frequencies of polyfunctional Mtb-specific CD8 and CD4 T cell responses. CD8 but not CD4 T cells were efficiently boosted upon vector re-vaccination. High-frequency responses were also observed in neonatally vaccinated mice, and co-administration of rLCMV with Expanded Program of Immunization (EPI) vaccines did not result in substantial reciprocal interference. Importantly, rLCMV immunization significantly reduced the lung Mtb burden upon aerosol challenge, resulting in improved lung ventilation. Protection was associated with increased CD8 T cell recruitment but reduced CD4 T cell infiltration upon Mtb challenge. When combining rLCMV with BCG vaccination in a heterologous prime-boost regimen, responses to the rLCMV-encoded Mtb antigens were further augmented, but protection was not significantly different from rLCMV or BCG vaccination alone. This work suggests that rLCMV may show utility for neonatal and/or adult vaccination efforts against pulmonary tuberculosis.     

Heterogeneous catalysts with programmable topologies generated by reticulation of organocatalysts into metal-organic frameworks: The case of squaramide

A well-established strategy to synthesize heterogeneous,metal-organic framework(MOF)catalysts that exhibit nanoconfinement effects,and specific pores with highly-localized catalytic sites,is to use organic linkers containing organocatalytic centers.Here,we report that by combining this linker approach with reticular chemistry,and exploiting three-dimensioanl(3D)MOF-structural data from the Cambridge Structural Database,we have designed four heterogeneous MOF-based catalysts for standard organic transformations.These programmable MOFs are isoreticular versions of pcu IRMOF-16,feu UiO-68 and pillared-pcu SNU-8X,the three most common topologies of MOFs built from the organic linker p.p'-terphenyldicarboxylic acid(tpdc).To synthesize the four squaramide-based MOFs,we designed and synthesized a linker,4,4’-((3,4-dioxocyclobut-1-ene-1,2-diyl)bis(azanedyil))dibenzoic acid(Sq_tpdc),which is identical in directionality and length to tpdc but which contains organocatalytic squaramide centers.Squaramides were chosen because their immobilization into a framework enhances its reactivity and stability while avoiding any self-quenching phenomena.Therefore,the four MOFs share the same organocatalytic squaramide moiety,but confine it within distinct pore environments.We then evaluated these MOFs as heterogeneous H-bonding catalysts in organic transformations:a Friedel-Crafts alkylation and an epoxide ring-opening.Some of them exhibited good performance in both reactions but all showed distinct catalytic profiles that reflect their structural differences.     

Simulating the Feasibility of Using Liquid Micro-Jets for Determining Electron–Liquid Scattering Cross-Sections

The extraction of electron–liquid phase cross-sections (surface and bulk) is proposed through the measurement of (differential) energy loss spectra for electrons scattered from a liquid micro-jet. The signature physical elements of the scattering processes on the energy loss spectra are highlighted using a Monte Carlo simulation technique, originally developed for simulating electron transport in liquids. Machine learning techniques are applied to the simulated electron energy loss spectra, to invert the data and extract the cross-sections. The extraction of the elastic cross-section for neon was determined within 9% accuracy over the energy range 1–100 eV. The extension toward the simultaneous determination of elastic and ionisation cross-sections resulted in a decrease in accuracy, now to within 18% accuracy for elastic scattering and 1% for ionisation. Additional methods are explored to enhance the accuracy of the simultaneous extraction of liquid phase cross-sections.     

Kynoid: Real-time enforcement of fine-grained,user-defined,and data-centric security policies for Android

We introduce Kynoid, a real-time monitoring and enforcement framework for Android. Kynoid is based on user-defined security policies which are defined for data-items. This allows users to define temporal, spatial, and destination constraints which have to hold for single items. We introduce an innovative approach to allow for the real-time tracking and enforcement of such policies. In this way, Kynoid is the first extension for Android which enables the enforcement of security policies of data-items stored in shared resources. We outline Kynoid's architecture, present its operation and discuss it in terms of applicability, and performance. By providing a proof-of-concept implementation we further show the feasibility of our framework.