192 research outputs found
MicroTEE: Designing TEE OS Based on the Microkernel Architecture
ARM TrustZone technology is widely used to provide Trusted Execution
Environments (TEE) for mobile devices. However, most TEE OSes are implemented
as monolithic kernels. In such designs, device drivers, kernel services and
kernel modules all run in the kernel, which results in large size of the
kernel. It is difficult to guarantee that all components of the kernel have no
security vulnerabilities in the monolithic kernel architecture, such as the
integer overflow vulnerability in Qualcomm QSEE TrustZone and the TZDriver
vulnerability in HUAWEI Hisilicon TEE architecture. This paper presents
MicroTEE, a TEE OS based on the microkernel architecture. In MicroTEE, the
microkernel provides strong isolation for TEE OS's basic services, such as
crypto service and platform key management service. The kernel is only
responsible for providing core services such as address space management,
thread management, and inter-process communication. Other fundamental services,
such as crypto service and platform key management service are implemented as
applications at the user layer. Crypto Services and Key Management are used to
provide Trusted Applications (TAs) with sensitive information encryption, data
signing, and platform attestation functions. Our design avoids the compromise
of the whole TEE OS if only one kernel service is vulnerable. A monitor has
also been added to perform the switch between the secure world and the normal
world. Finally, we implemented a MicroTEE prototype on the Freescale i.MX6Q
Sabre Lite development board and tested its performance. Evaluation results
show that the performance of cryptographic operations in MicroTEE is better
than it in Linux when the size of data is small.Comment: 8 pages, 8 figure
Discrete Event Simulation Models for CT Examination Queuing in West China Hospital
In CT examination, the emergency patients (EPs) have highest priorities in the queuing system and thus the general patients (GPs) have to wait for a long time. This leads to a low degree of satisfaction of the whole patients. The aim of this study is to improve the patients’ satisfaction by designing new queuing strategies for CT examination. We divide the EPs into urgent type and emergency type and then design two queuing strategies: one is that the urgent patients (UPs) wedge into the GPs’ queue with fixed interval (fixed priority model) and the other is that the patients have dynamic priorities for queuing (dynamic priority model). Based on the data from Radiology Information Database (RID) of West China Hospital (WCH), we develop some discrete event simulation models for CT examination according to the designed strategies. We compare the performance of different strategies on the basis of the simulation results. The strategy that patients have dynamic priorities for queuing makes the waiting time of GPs decrease by 13 minutes and the degree of satisfaction increase by 40.6%. We design a more reasonable CT examination queuing strategy to decrease patients’ waiting time and increase their satisfaction degrees
Provenance of late Paleozoic strata in the Yili Basin : implications for tectonic evolution of the South Tianshan orogenic belt
This research was supported by the 973 Program under grant no. 2015CB453000, the National Natural Science Foundation of China (41502109), the Cultivating Program of Middle-Aged Key Teachers of Chengdu University of Technology (KYGG201718), Innovation Team of Sedimentary Geology of Chengdu University of Technology (KYTD201703), and by the China Postdoctoral Science Foundation (2015M582528). Cawood acknowledges support from the Australian Research Council grant FL160100168.The Yili Basin in NW China preserves a late Paleozoic volcano-sedimentary succession, the provenance of which helps to constrain the tectonic evolution of the South Tianshan orogenic belt. U-Pb ages and trace-element and Hf isotopic compositions of detrital zircons from the Late Devonian to earliest early Carboniferous strata in the Yili Basin suggest that the unit contains detritus mainly derived from basement rocks and contemporaneous arc-related volcanic rocks. The age of the unconformable contact between the Dongtujinhe Formation and underlying arc-related volcanic rocks is constrained to ca. 310 Ma. This age is consistent with published data for tectonic exhumation of high- to ultrahigh-pressure ([U]HP) metamorphic rocks from the northern margin of the South Tianshan orogenic belt. Zircon U-Pb ages from the sedimentary rocks, including clasts in conglomerate, indicate that detritus of the Dongtujinhe Formation was derived from multiple sources related to uplift and erosion of the southern Yili-Central Tianshan block. The presence of abundant eclogite clasts in the conglomerate of the Keguqinshan Formation indicates that (U)HP metamorphic rocks in the South Tianshan orogenic belt were exposed and supplied detritus to the southern Yili Basin at ca. 300 Ma. The early Middle Permian clastic rocks are characterized by Early Permian detrital zircons with a single peak at 278 Ma, derived from the postcollision magmatic rocks. During the Late Permian, input of detritus from old volcanic-sedimentary rocks and basement progressively increased. Integration of the provenance data from late Paleozoic strata in the Yili Basin with the time-equivalent northern Tarim and South Tianshan regions provides a record of the northward subduction of the South Tianshan oceanic crust beneath the Yili-Central Tianshan block in the Late Devonian to late Carboniferous (380-310 Ma), followed by continent-continent collision and final amalgamation at ca. 310-300 Ma, with postcollisional extension in the Permian.Publisher PDFPeer reviewe
A Graph Regularized Point Process Model For Event Propagation Sequence
Point process is the dominant paradigm for modeling event sequences occurring
at irregular intervals. In this paper we aim at modeling latent dynamics of
event propagation in graph, where the event sequence propagates in a directed
weighted graph whose nodes represent event marks (e.g., event types). Most
existing works have only considered encoding sequential event history into
event representation and ignored the information from the latent graph
structure. Besides they also suffer from poor model explainability, i.e.,
failing to uncover causal influence across a wide variety of nodes. To address
these problems, we propose a Graph Regularized Point Process (GRPP) that can be
decomposed into: 1) a graph propagation model that characterizes the event
interactions across nodes with neighbors and inductively learns node
representations; 2) a temporal attentive intensity model, whose excitation and
time decay factors of past events on the current event are constructed via the
contextualization of the node embedding. Moreover, by applying a graph
regularization method, GRPP provides model interpretability by uncovering
influence strengths between nodes. Numerical experiments on various datasets
show that GRPP outperforms existing models on both the propagation time and
node prediction by notable margins.Comment: IJCNN 202
Productivity Evaluation Method of Horizontal Well Volume Fracturing in Tight Oil Reservoir
Tight oil resources in north Songliao basin is rich and abundant, which is the most important energy sources foundation of stable and raising oil production in Daqing oil field. However, it is difficult to develop such oil resources by the regular ways for the poor reservoir property and thin reservoir thickness. Using the way of horizontal well by volume fracturing can increase contract area of well and the reservoir, improve reservoir flow performance and reach the high oil production, which has showed good results up till now. The accurate productivity evaluation of volume fracturing horizontal well is an important content of reservoir and production engineering field, which is also to develop solutions and decision-making basis. The current formula of horizontal well in low permeability reservoirs production did not consider the effect of seepage volume form fracturing, so it is poorly adapt to calculate the productivity of volume fracturing horizontal well. Based on the tight oil reservoir geological characteristics and seepage characteristics, equation are solved coupling with flow through fractures in the substrate, productivity prediction model is established and the innovation is based on considering horizontal well reservoir heterogeneity, fracturing scale and any artificial fracture distribution form, the results of which can provides a reliable theoretical basis for tight oil reservoir developed effectively
Topological Susceptibility under Gradient Flow
We study the impact of the Gradient Flow on the topology in various models of
lattice field theory. The topological susceptibility is measured
directly, and by the slab method, which is based on the topological content of
sub-volumes ("slabs") and estimates even when the system remains
trapped in a fixed topological sector. The results obtained by both methods are
essentially consistent, but the impact of the Gradient Flow on the
characteristic quantity of the slab method seems to be different in 2-flavour
QCD and in the 2d O(3) model. In the latter model, we further address the
question whether or not the Gradient Flow leads to a finite continuum limit of
the topological susceptibility (rescaled by the correlation length squared,
). This ongoing study is based on direct measurements of in lattices, at .Comment: 8 pages, LaTex, 5 figures, talk presented at the 35th International
Symposium on Lattice Field Theory, June 18-24, 2017, Granada, Spai
Peltaspermalean seed ferns with preserved cuticle from the Upper Triassic Karamay Formation in the Junggar Basin, northwestern China
Peripheral arterial occlusive disease: Global gene expression analyses suggest a major role for immune and inflammatory responses
<p>Abstract</p> <p>Background</p> <p>Peripheral arterial disease (PAD), a major manifestation of atherosclerosis, is associated with significant cardiovascular morbidity, limb loss and death. However, mechanisms underlying the genesis and progression of the disease are far from clear. Genome-wide gene expression profiling of clinical samples may represent an effective approach to gain relevant information.</p> <p>Results</p> <p>After histological classification, a total of 30 femoral artery samples, including 11 intermediate lesions, 14 advanced lesions and 5 normal femoral arteries, were profiled using Affymetrix microarray platform. Following real-time RT-PCR validation, different algorithms of gene selection and clustering were applied to identify differentially expressed genes. Under a stringent cutoff, i.e., a false discovery rate (FDR) <0.5%, we found 366 genes were differentially regulated in intermediate lesions and 447 in advanced lesions. Of these, 116 genes were overlapped between intermediate and advanced lesions, including 68 up-regulated genes and 48 down-regulated ones. In these differentially regulated genes, immune/inflammatory genes were significantly up-regulated in different stages of PAD, (85/230 in intermediate lesions, 37/172 in advanced lesions). Through literature mining and pathway analysis using different databases such as Gene Ontology (GO), and the Kyoto Encyclopedia of Gene and Genomics (KEGG), genes involved in immune/inflammatory responses were significantly enriched in up-regulated genes at different stages of PAD(p < 0.05), revealing a significant correlation between immune/inflammatory responses and disease progression. Moreover, immune-related pathways such as Toll-like receptor signaling and natural killer cell mediated cytotoxicity were particularly enriched in intermediate and advanced lesions (P < 0.05), highlighting their pathogenic significance during disease progression.</p> <p>Conclusion</p> <p>Lines of evidence revealed in this study not only support previous hypotheses, primarily based on studies of animal models and other types of arterial disease, that inflammatory responses may influence the development of PAD, but also permit the recognition of a wide spectrum of immune/inflammatory genes that can serve as signatures for disease progression in PAD. Further studies of these signature molecules may eventually allow us to develop more sophisticated protocols for pharmaceutical interventions.</p
Modeling and simulation of an invasive mild hypothermic blood cooling system
Abstract: Nowadays, mild hypothermia is widely used in the fields of post-cardiac arrest resuscitation, stroke, cerebral hemorrhage, large-scale cerebral infarction, and craniocerebral injury. In this paper, a locally mixed sub-low temperature device is designed, and the cold and hot water mixing experiment is used to simulate the human blood transfer process. To set a foundation for the optimization of the heat transfer system, the static characteristics are analyzed by building the mathematic model and setting up the experimental station. In addition, the affection of several key structure parameters is researched. Through experimental and simulation studies, it can be concluded that, firstly, the mathematical model proved to be effective. Secondly, the results of simulation experiments show that 14.52 °C refrigeration can reduce the original temperature of 33.42 °C to 32.02 °C, and the temperature of refrigerated blood rises to 18.64 °C, and the average error is about 0.3 °C. Thirdly, as the thermal conductivity of the vascular sheath increases, the efficiency of the heat exchange system also increases significantly. Finally, as the input cold blood flow rate increases, the mass increases and the temperature of the mixed blood temperature decreases. It provides a research basis for subsequent research on local fixed-point sub-low temperature control technology
- …