Verifying data secure flow in AUTOSAR models

This paper presents an approach for enhancing the design phase of AUTOSAR models when security annotations are required. The approach is based on information flow analysis and abstract interpretation. The analysis evaluates the correctness of the model by assessing if the flow of data is secure with respect to causal data dependencies within the model. To find these dependencies an exhaustive search through the model would be required. Abstract interpretation is used as a trade-off between the precision and complexity of the analysis. The approach also provides annotated models without oversizing the set of annotations.     

UTILIZATION OF PRETREATED MOLASSES FOR SERINE ALKALINE PROTEASE PRODUCTION WITH RECOMBINANT BACILLUS SPECIES

Recombinant Bacillus amyloliquefaciens, Bacillus cereus, Bacillus subtilis , and Bacillus licheniformis were used for the production of serine alkaline protease (SAP) utilizing chemically and/or physically pretreated molasses. The highest enzyme activity was obtained with r- Bacillus subtilis , with the complex medium involving physically treated molasses having 20 kg m -3 initial sucrose concentration in small-scale, agitation- and heating rate-controlled bioreactors at t=63 h. Effects of oxygen transfer were investigated in 3.5 dm 3 laboratory bioreactors under two different agitation rates with r- B. subtilis . Increase in the oxygen transfer rate increased the observed activity and caused the cultivation time of maximum activity shift to the earlier stages of the fermentation. At Q/V=0.5 vvm and N=750 min -1 , SAP activity reached 2250U cm -3 at t=36 h.     

古堡 西风 瘦马——古邑开阳堡建筑环境艺术探析

开阳堡根据周易八卦之形而建,运用八卦、风水学,选址在一个形如龟背的沿河高地上.街区规划有别于传统的以南北中轴线为南北大街的格局,而采用南北两条较对称的大街,与东西二条街形成＂井＂字型结构,把整个堡划分为九部分,称＂九宫街＂.     

传统精神与现代文明共生——瓦当的优秀传统与现代运用

结合陕西地区实例,古代瓦当在现代文明中的再现,来说明瓦当文化在今日的辉煌.瓦当在现代文明中更显其艺术价值,展示出特有的生命力.它体现了传统精神与现代文明的共生性.     

Monoclonal antibody-based enzyme immunoassay for detection of porcine plasma in fish surimi

Detection of porcine plasma using indirect ELISA was developed using mAb B4E1 for the prevention of their usage in human food that creates religious and health conflicts. The immunoassay has a CV < 20% and did not cross-react to other meat and non-meat proteins. The sensitivity of the assay is 0.25% (w/w) of porcine plasma in spiked raw and cooked fish surimi. The assay did not produce a false positive result for any of the commercial fish surimi tested that were not contain porcine plasma. Determination of a 60-kDa antigenic protein of porcine blood using Western blot confirmed its presence in the plasma fraction of the porcine blood. Further proteomic analysis involving liquid chromatography–tandem mass spectrometry (LC-MS/MS) revealed the 60-kDa protein to be porcine serum albumin.     

Characterization and Properties of Treated Oil Palm Empty Fruit Bunch Regenerated Cellulose Biocomposite Films with Butyl Methacrylate Using Ionic Liquid

Regenerated cellulose biocomposite films from oil palm empty fruit bunch and microcrystalline cellulose were prepared using N,N-dimethylacetamide and lithium chloride. The effects of oil palm empty fruit bunch contents and butyl methacrylate on properties of regenerated cellulose biocomposite films were investigated. At 2?wt% of untreated oil palm empty fruit bunch content showed highest crystallinity index, tensile strength, modulus of elasticity, and thermal stability but lower elongation at break than other oil palm empty fruit bunch content. The treated regenerated cellulose biocomposite films with butyl methacrylate showed better tensile strength, modulus of elasticity, thermal stability, and crystallinity index while Fourier transform infrared spectroscopy study showed interaction between cellulose and butyl methacrylate.     

Modelling the linear viscoelastic rheological properties of bituminous binders

An extensive literature review on the modelling of the linear viscoelastic (LVE) rheological properties of bitumen over the last six decades is presented in this paper. The use of reliable models can, in general, be considered as a valuable alternative tool for estimating the LVE rheological properties of bitumen. These properties are normally presented in terms of complex modulus and phase angle master curves at a particular reference temperature. The review in this paper consists of three nonlinear multivariable models, 13 empirical algebraic equations and four mechanical element approaches. The details as well as the advantages and disadvantages of the models are discussed. In general, all the models are able to predict the LVE rheological properties of unmodified bitumen as well as follow the time–temperature superposition principle (TTSP). However, the observations suggest a lack of agreement between predicted and experimental LVE rheological properties for materials that contain a phase transition, such as found for highly crystalline bitumen, structured bitumen with high asphaltenes content and highly modified bitumen.     

LTE‐Based Passive Bistatic Radar System for Detection of Ground‐Moving Targets

Use of a passive bistatic radar (PBR) system in the surveillance or monitoring of an area has its advantages. For example, a PBR system is able to utilize any available signal of opportunity (for example, broadcasting, communication, or radio navigation signals) for the purposes of surveillance. With this in mind, there are potentially many research areas to be explored; in particular, the capability of signals from existing and future communication systems, such as 4G and 5G. Long‐Term Evolution (LTE) is the world's most current communication system. Given this fact, this paper presents the latest feasibility studies and experimental results from using LTE signals in PBR applications. Details are provided about aspects such as signal characteristics, experimental configurations, and SNR studies. Six experimental scenarios are carried out to investigate the detection performance of our proposed system on ground‐moving targets. The ability to detect is demonstrated through use of the cross‐ambiguity function. The detection results suggest that LTE signals are suitable as a source signal for PBR.     

A new method for the quantification of nucleation of fretting fatigue cracks using asymptotic contact solutions

This paper introduces a recently developed family of local, self-contained contact solutions which can be used to compare rigorously the states of stress in the microslip region of a range of contacts. This provides (a) a rigorous means of designing experimental fretting fatigue test geometries to match those in complex prototypes rigorously, and (b) gives the possibility of developing a reliable database of generalszed stress intensity thresholds for design against crack nucleation.