基于有限状态机与Petri网的系统分析与设计

从系统组成、功能需求和体系结构方面介绍了航天器空间对接仿真系统的实时多任务控制系统,基于有限状态机和Petri网方法对其进行了单任务级和多任务级的分析建模,并以此为基础完成系统的详细设计,其中应用分叉和资源共享模型实现了系统的同步和互斥问题。实际应用中应用工程化和模块化的方法完成系统设计,系统运行性能良好。试验证明这种分析设计方法合理可行。

企业综合自动化系统体系结构

阐述了一般综合自动化系统的二维层次体系结构，以及系统的功能、信息、资源、组织四视图在三个层次的内涵及相互关系。

用光学阵列传感器的机器人物体分类系统

本文介绍用光学阵列传感器的机器人物体分类系统。传感器直接安装在机器人的两个手指上。被抓物体的阴影通过光导纤维传到安放在“安全区”的光敏元件上。计算机识别物体的轮廓后命令机器人抓握物体,并把它运送到指定的地点从而达到物体分类的目的。

基于最小二乘拟合的模糊隶属函数构建方法

针对当前模糊隶属函数构造方法中存在的问题,提出一种构造模糊隶属函数方法.采用最小二乘法拟合离散数据来获得隶属函数.为减小拟合误差,采用了3项措施以达到预期目标.所构建的隶属函数,对任意输入物理量可直接得到其对应模糊语言变量的隶属度,从而有效避免专家指定隶属度的主观臆断性及不一致性.该方法简单、求解精度高,具有广泛适用性和较强的应用价值.仿真结果证实了该方法的有效性.

利用接收函数方位变化研究地壳各向异性

Because of its sensitivity to the velocity discontinuity of the earth, receiver function technique has become a routine procedure used to probe interior structure of the earth. Receiver functions contain anisotropic information of the earth’s interior, however, traditional receiver function techniques such as migration imaging and waveform inversion method, which are based on isotropic media assumption, can not effectively extract the anisotropy information contained in the azimuth variation pattern. Only by using the anisotropic media, e.g. a model with symmetric axis of arbitrary orientation, computing the response, can we obtain the detailed anisotropy information hidden in the radial and transversal receiver function. Focusing on the receiver function variation pattern changing wtih different back azimuths, we introduced different kinds of symmetric systems of seismic anisotropy used often, and summarized some possible causes of anisotropy formation. We show details about how to calculate the response of a stratified anisotropy model with symmetric axis of arbitrary orientation. We also simulated receiver functions among different models and analyzed how the changing of anisotropic parameters influence the azimuth variation pattern of receiver functions. The anisotropy study by receiver function analysis was applied to Taihang Mountain Range (TMR) in North China in this thesis. The maximum entropy spectrum deconvolution technique was used to extract radial and transversal receiver functions from the waveforms of 20 portable seismic stations deployed in TMR. Considering the signal-to-noise ratio and the azimuth coverage, we got the variation pattern of receiver functions for 11 stations. After carefully analyzing the pattern of the receiver functions that we got, we obtained the reliable evidence on the existence of anisotropy in the shallow crust in TMR. Our results show that, although the thickness of the upper crustal layer is only about 1 km, the layer shows a strong anisotropy with magnitude of 8~15%; in the deeper of crust, the magnitudes of anisotropy is about 3%~5%, showing a pattern with fast-symmetric-axis. The crust anisotropy beneath TMR in North China obtained in this study also shows a significant difference in both the lateral and vertical scale, which might imply a regional anisotropy characteristic in the studied region.

基于工程地质力学的岩土工程加固理论、技术与实践

In the engineering reinforcement of-rock and soil mass, engineers must consider how to obtain better reinforcing effect at the cost of less reinforcing expense, which, in fact, is the aim of reinforcement design. In order to accomplish the purpose, they require not only researching the material used to reinforce and its structure, but also taking into account of several important geological factors, such as the structure and property of rock and soil mass. How to improve the reinforcing effect according to engineering geomechanical principle at the respect of the reinforcement of engineering soil and rock mass is studied and discussed in this paper. The author studies the theory, technology and practice of geotechnical reinforcement based on engineering geomechanics, taking example for the soil treatment of Zhengzhou Airport, the effect analysis of reinforcement to the slope on the left bank of Wuqiangxi Hydropower Station and the reinforcing design of the No. 102 Landslide and unique sand-slide slope on the Sichuan-Tibet Highway. The paper is comprised of two parts for the convenience of discussion. In the first part, from the first chapter to the fifth chapter, trying to perform the relevant research and application at the viewpoint of soil mass engineering geomechanics, the author mainly discusses the study of reinforcing soft ground soil through dynamical consolidation and its application. Then, in the second part, from the sixth chapter to the eleventh chapter, the study of new technologies in the rock slope reinforcement and their application are discussed. The author finds that not only better reinforcing effect can be gained in the research where the principle and method of rock mass engineering geomechanics is adopted, but also new reinforcing technologies can be put forward. Zhengzhou Airport is an important one in central plains. It lies on Yellow River alluvial deposit and the structure of stratum is complex and heterogeneous. The area of airport is very large, which can result in differential settlement easily, damage of airport and aircraft accident, whereas, there are no similar experiences to dispose the foundation, so the foundation treatment become a principal problem. During the process of treatment, the method of dynamic compaction was adopted after compared with other methods using the theory of synthetic integration. Dynamic compaction is an important method to consolidate foundation, which was successfully used in the foundation of Zhengzhou Airport. For fill foundation, controlling the thickness of fill so as to make the foundation treatment can reach the design demand and optimum thickness of the fill is a difficult problem. Considering this problem, the author proposed a calculation method to evaluate the thickness of fill. The method can consider not only the self-settlement of fill but also the settlement of the ground surface under applied load so as to ensure the settlement occurred during the using period can satisfy the design demand. It is proved that the method is correct after using it to choose reasonable energy of dynamic compaction to treat foundation. At the same time, in order to examine the effect of dynamic compaction, many monitor methods were adopted in the test such as static loading test, modulus of resilience test, deep pore pressure -test, static cone penetration test and the variation of the pore volume measurement. Through the tests, the author summarized the discipline of the accumulation and dissipation of pore pressure in Yellow River alluvial deposit under the action of dynamic compaction, gave a correct division of the property change of silt and clay under dynamic compaction, determined the bearing capacity of foundation after treatment and weighted the reinforcing effect of dynamic consolidation from the variation of the soil particle in microcosmic and the parameter of soil mass' density. It can be considered that the compactness of soil is in proportion to the energy of dynamic compaction. This conclusion provided a reference to the research of the "Problem of Soil Structure-the Central Problem of Soil Mechanics in 21 Century ". It is also important to strengthen rock mass for water conservancy and electric power engineering. Slip-resistance pile and anchoring adit full of reinforced concrete are usually adopted in engineering experience to strengthen rock mass and very important for engineering. But there also some deficiency such as the weakest section can't be highlighted, the monitor is inconvenient and the diameter of pile and adit is very large etc. The author and his supervisor professor Yangzhifa invented prestressed slip-resistance pile and prestressed anchoring adit full of reinforced concrete, utilizing the advantage that the prestressed structure has better anti-tensile characteristic (this invention is to be published). These inventions overcome the disadvantages of general slip-resistance pile and anchoring adit full of reinforced concrete and have the functions of engineering prospecting, strengthening, drainage and monitor simultaneous, so they have better strengthened effect and be more convenient for monitor and more economical than traditional methods. Drainage is an important factor in treatments of rock mass and slop. In view of the traditional drainage method that drainage pore often be clogged so as to resulted in incident, professor Yangzhifa invented the method and setting of guide penetration by fiber bundle. It would take good effect to use it in prestressed slip-resistance pile and anchoring adit full of reinforced concrete. In this paper, the author took example for anchoring adit full of reinforced concrete used to strengthen Wuqiangxi left bank to simulate the strengthened effect after consolidated by prestressed slip-resistance pile, took example for 102 landslide occurred along Sichuan-Tibet highway to simulate the application of slip-resistance pile and the new technology of drainage. At the same time the author proposed the treatment method of flowing sand in Sichuan-Tibet highway, which will benefit the study on strengthening similar engineering. There are five novelties in the paper with the author's theoretical study and engineering practice: 1. Summarizing the role of pore water pressure accumulation and dissipation of the Yellow River alluvial and diluvial soil under the action of dynamical consolidation, which has instructive significance in the engineering construction under the analogical engineering geological conditions in the future. It has not been researched by the predecessors. 2. Putting forward the concept of density D in microcosmic based on the microcosmical structure study of the soil sample. Adopting D to weight the reinforcing effect of dynamic consolidation is considered to be appropriate by the means of comparing the D values of Zhengzhou Airport's ground soil before with after dynamically consolidating reinforcement, so a more convenient balancing method can be provided for engineering practice. 3. According to the deep research into the soil mass engineering geology, engineering rock and soil science, soil mechanics, as well as considerable field experiments, improving the consolidating method in airport construction, from the conventional method, which is dynamically compactmg original ground surface firstly, then filling soil and dynamically layer-consolidating or layer-compacting at last to the upgraded method, which is performing dynamical consolidation after filling soil to place totally at the extent of the certain earth-filling depth. The result of the dynamical consolidation not only complies with the specifications, but also reduces the soil treatment investment by 10 million RMB. 4. Proposing the method for calculating the height of the filled soil by the means of estimating the potential displacement produced in the original ground surface and the filled earth soil under the possible load, selecting the appropriate dynamically-compacting power and determining the virtual height of the filled earth soil. The method is proved to be effective and scientific. 5. According to the thought of Engineering Geomechanics Metal-Synthetic Methodology (EGMS), patenting two inventions (to the stage of roclamation, with Professor Yang Zhi-fa, the cooperative tutor, and etc.) in which multi-functions, engineering geological investigation, reinforcement, drainage and strength remedy, are integrated all over in one body at the viewpoint of the breakage mechanism of the rock slope.

阿片药物依赖的神经机制---内侧前额叶与药物的心理依赖

Mental dependence, characterized by craving and impulsive seeking behavior, is the matter of intensive study in the field of drug addiction. The mesolimbic dopamine system has been suggested to play an important role in rewarding of drugs and relapse. Although chronic drug use can induce neuroadaptations of the mesolimbic system and changes of drug reinforcement, these mechanisms cannot fully account for the craving and the compulsive drug-using behavior of addicts. Acknowledging the reinforcement effects of drugs, most previous studies have studied the impact of environmental cues and conditioned learning on addiction behavior, often using established classical or operant conditioning model. These studies, however, paid little attention to the role of cognitive control and emotion in addiction. These mental factors that are believed to have an important influence on conditioned learning. The medial prefrontal cortex (mPFC) has close anatomic and functional connections with the mesolimbic dopamine system. A number of the cognitive neurological studies demonstrate that mPFC is involved in motivation, emotional regulation, monitoring of responses and other executive functions. Thus we speculated that the function of abnormality in mPFC following chronic drug use would cause related to the abnormal behavior in addicts including impulse and emotional changes. In the present study of a series of experiments, we used functional magnetic resonance imaging to examine the hemodynamic response of the mPFC and related circuits to various cognitive and emotional stimuli in heroin addicts and to explore the underlying dopamine neuromechnism by microinjection of tool drugs into the mPFC in laboratory animals. In the first experiment, we found that heroin patients, relative to the normal controls, took a much shorter time and committed more errors in completing the more demanding of cognitive regulation in the reverse condition of the task, while the neural activity in anterior cingulate cortex (ACC) was attenuated. In the second experiment, the scores of the heroin patients in self-rating depression scale (SDS) and Self-rating anxiety scale (SAS) were significantly higher than the normal controls and they rated the negative pictures more aversive than the normal controls. Being congruent with the behavioral results, hemodynamic response to negative pictures showed significant difference between the two groups in bilateral ventral mPFC (VMPFC), amygdala, and right thalamus. The VMPFC of patients showed increased activation than normal controls, whereas activation in the amygdala of patients was weaker than that in normal subjects. Our third experiment showed that microinjection of D1 receptor agonist SKF38393 into the mPFC of rats decreased hyperactivity, which was induced by morphine injection, in contrast, D1 receptor antagonist SCH23390 increased the hyperactivity, These findings suggest: (1) The behavior and neural activity in ACC of addicts changed in chronic drug users. Their impulsive behavior might result from the abnormal neural activity in the mPFC especially the ACC. (2) Heroine patients were more depress and anxiety than normal controls. The dysfunction of the mPFC---amygdala circuit of heroine addicts might be related to the abnormal emotion response. (3) Dopamine in the mPFC has an inhibitory effect on morphine induced behavior. The hyperactivity induced by chronic morphine was reduced by dopamine increase with D1 receptor agonist, confirm the first experiment that the neuroadaption of mPFC system induced by chronic morphine administration appears to be the substrate the impulse behavior of drug users.

认知电位时空模式研究

This report mainly focused on methodology of spatiotemporal patterns (STP) of cognitive potentials or event-related potentials (ERP). The representation of STP of brain wave is an important issue in the research of neural assemblies. This paper described methods of parametric 3D head or brain modeling and its corresponding interpolation for functional imaging based on brain waves. The 3D interpolation method is an extension of cortical imaging technique. It can be used with transformed domain features of brain wave on realistic head or brain models. The simulating results suggests that it is a better method in comparison with the global nearest neighbor technique. A stable and definite STP of brainwave referred as microstate may become basic element for comprehending sophisticated cognitive processes. Fuzzy c-mean algorithm was applied to segmentation STPs of ERP into microstates and corresponding membership functions. The optimal microstate number was estimated with both the trends of objective function against increasing clustering number and the decorrelation technique base don microstate shape similarity. Comparable spatial patterns may occur at different moments in time with fuzzy indices and thus the serial processing limit generated from behavioral methods has been break through. High-resolution frequency domain analysis was carried out with multivariate autoregressive model. Bases on a 3D interpolation mentioned above, visualization of dynamical coordination of cerebral network was realized with magnitude-squared partial coherence. Those technique illustrated with multichannel ERP of 9 subjects when they undertook Strop task. Stroop effects involves several regions during post-perception stage with technique of statistical parameter mapping based F-test [SPM(F)]. As SPM(F) suggested task effects occurred within 100 ms after stimuli presentation involved several sensory regions, it may reflect the top-down processing effect.

Evolutionary approaches to fuzzy modelling for classification

M. Galea, Q. Shen and J. Levine. Evolutionary approaches to fuzzy modelling. Knowledge Engineering Review, 19(1):27-59, 2004.

The rpf gene of Micrococcus luteus encodes an essential secreted growth factor

Galina V. Mukamolova, Obolbek A. Turapov, Konstantin Kazarian, Miroslav Telkov, Arseny S. Kaprelyants, Douglas B. Kell and Michael Young (2002). The rpf gene of Micrococcus luteus encodes an essential secreted growth factor. Molecular Microbiology, 46 (3), 611-621. Sponsorship: BBSRC / Russian Foundation for Basic Research (grant 00-04-48691)/ WHO Global Programme for Vaccines and Immunization / Wellcome Trust RAE2008

Possible Exotic Phases in the One-Dimensional Extended Hubbard Model

We investigate numerically the ground state phase diagram of the one-dimensional extended Hubbard model, including an on--site interaction U and a nearest--neighbor interaction V. We focus on the ground state phases of the model in the V >> U region, where previous studies have suggested the possibility of dominant superconducting pairing fluctuations before the system phase separates at a critical value V=V_PS. Using quantum Monte Carlo methods on lattices much larger than in previous Lanczos diagonalization studies, we determine the boundary of phase separation, the Luttinger Liquid correlation exponent K_rho, and other correlation functions in this region. We find that phase separation occurs for V significantly smaller than previously reported. In addition, for negative U, we find that a uniform state re-enters from phase separation as the electron density is increased towards half filling. For V < V_PS, our results show that superconducting fluctuations are not dominant. The system behaves asymptotically as a Luttinger Liquid with K_rho < 1, but we also find strong low-energy (but gapped) charge-density fluctuations at a momentum not expected for a standard Luttinger Liquid.

Hardware design of cryptographic accelerators

With the rapid growth of the Internet and digital communications, the volume of sensitive electronic transactions being transferred and stored over and on insecure media has increased dramatically in recent years. The growing demand for cryptographic systems to secure this data, across a multitude of platforms, ranging from large servers to small mobile devices and smart cards, has necessitated research into low cost, flexible and secure solutions. As constraints on architectures such as area, speed and power become key factors in choosing a cryptosystem, methods for speeding up the development and evaluation process are necessary. This thesis investigates flexible hardware architectures for the main components of a cryptographic system. Dedicated hardware accelerators can provide significant performance improvements when compared to implementations on general purpose processors. Each of the designs proposed are analysed in terms of speed, area, power, energy and efficiency. Field Programmable Gate Arrays (FPGAs) are chosen as the development platform due to their fast development time and reconfigurable nature. Firstly, a reconfigurable architecture for performing elliptic curve point scalar multiplication on an FPGA is presented. Elliptic curve cryptography is one such method to secure data, offering similar security levels to traditional systems, such as RSA, but with smaller key sizes, translating into lower memory and bandwidth requirements. The architecture is implemented using different underlying algorithms and coordinates for dedicated Double-and-Add algorithms, twisted Edwards algorithms and SPA secure algorithms, and its power consumption and energy on an FPGA measured. Hardware implementation results for these new algorithms are compared against their software counterparts and the best choices for minimum area-time and area-energy circuits are then identified and examined for larger key and field sizes. Secondly, implementation methods for another component of a cryptographic system, namely hash functions, developed in the recently concluded SHA-3 hash competition are presented. Various designs from the three rounds of the NIST run competition are implemented on FPGA along with an interface to allow fair comparison of the different hash functions when operating in a standardised and constrained environment. Different methods of implementation for the designs and their subsequent performance is examined in terms of throughput, area and energy costs using various constraint metrics. Comparing many different implementation methods and algorithms is nontrivial. Another aim of this thesis is the development of generic interfaces used both to reduce implementation and test time and also to enable fair baseline comparisons of different algorithms when operating in a standardised and constrained environment. Finally, a hardware-software co-design cryptographic architecture is presented. This architecture is capable of supporting multiple types of cryptographic algorithms and is described through an application for performing public key cryptography, namely the Elliptic Curve Digital Signature Algorithm (ECDSA). This architecture makes use of the elliptic curve architecture and the hash functions described previously. These components, along with a random number generator, provide hardware acceleration for a Microblaze based cryptographic system. The trade-off in terms of performance for flexibility is discussed using dedicated software, and hardware-software co-design implementations of the elliptic curve point scalar multiplication block. Results are then presented in terms of the overall cryptographic system.

Chlamydia trachomatis Infection Leads to Defined Alterations to the Lipid Droplet Proteome in Epithelial Cells.

The obligate intracellular bacterium Chlamydia trachomatis is a major human pathogen and a main cause of genital and ocular diseases. During its intracellular cycle, C. trachomatis replicates inside a membrane-bound vacuole termed an "inclusion". Acquisition of lipids (and other nutrients) from the host cell is a critical step in chlamydial replication. Lipid droplets (LD) are ubiquitous, ER-derived neutral lipid-rich storage organelles surrounded by a phospholipids monolayer and associated proteins. Previous studies have shown that LDs accumulate at the periphery of, and eventually translocate into, the chlamydial inclusion. These observations point out to Chlamydia-mediated manipulation of LDs in infected cells, which may impact the function and thereby the protein composition of these organelles. By means of a label-free quantitative mass spectrometry approach we found that the LD proteome is modified in the context of C. trachomatis infection. We determined that LDs isolated from C. trachomatis-infected cells were enriched in proteins related to lipid metabolism, biosynthesis and LD-specific functions. Interestingly, consistent with the observation that LDs intimately associate with the inclusion, a subset of inclusion membrane proteins co-purified with LD protein extracts. Finally, genetic ablation of LDs negatively affected generation of C. trachomatis infectious progeny, consistent with a role for LD biogenesis in optimal chlamydial growth.

Development of an in-situ, non-destructive ultrasonic monitoring technique for solder pastes

This paper concerns the use of a non-destructive ultrasonic technique for characterising the rheological properties of solder paste and specifically, the use of through-mode microsecond ultrasonic pulses for evaluation of viscoelastic properties of paste materials at the molecular level. Ultrasonic techniques are a widely used and a reliable form of non-destructive testing of materials. This is because techniques such as ultrasounds while used for testing or monitoring material properties, has offered immense benefits in applications where access to the sample is restricted or when handling the sample for testing could interfere with the monitoring or analysis process. Very often, this would mean that the measurements taken are not a true representation of the behaviour of the material (due to externally incorporated changes into the material's physical state during the removal or testing process). Ultrasonic based techniques are being increasingly used for quality control and production monitoring functions which requires evaluation of the changes in material properties over wide range of industrial applications such as cement paste quality, plastic/polymer extrusion process, dough, and even sugar content in beverage drinks. In addition, ultrasound techniques are of great interest for their capacity to take rapid measurements in systems which are optically opaque. The viscometer and rheometer are two of the most widely used rheological instruments used in industry for monitoring the quality of solder pastes, during the production and packaging stage. One of the potential limitations of viscometer and rheometer based measurements is that the collection and preparation of the solder paste samples can irreversibly alter the structure and flow behaviour of the sample. Hence the measurement may not represent the actual quality of the whole production batch. Secondly, rheological measurements and the interpretation of rheological data is a very technical and time consuming process, which requires professionally trained R&D personnel. It is for these reasons that materials suppliers (who formulate and produce solder pastes) and solder paste consumers (especially, contract electronics manufacturers) are keen to see the development of simple, easy to use and accurate techniques for the theological characterisation of solder pastes. The results from the work show that the technique can be used by R&D personnel involved in paste formulation and manufacture to monitor the batch-to-batch quality and consistency.

In-situ non-destructive ultrasonic rheology technique for monitoring different lead-free solder pastes for surface mount applications

This paper investigates the application of a non-destructive ultrasonic technique for characterising the rheological properties of solder paste through the use of through-mode microsecond ultrasonic pulses for evaluation of viscoelastic properties of lead-free solder paste containing different types of flux. Ultrasonic techniques offer a robust and reliable form of non-destructive testing of materials where access to the sample is restricted or when sample handling can interfere with the monitoring or analysis process due to externally incorporated changes to the material’s physical state or accidental contamination during the removal or testing process. Ultrasonic based techniques are increasingly used for quality control and production monitoring functions which requires evaluation of changes in material properties for a wide range of industrial applications such as cement paste quality, plastic/polymer extrusion process, dough and even sugar content in beverage drinks. In addition, ultrasound techniques are of great interest for their capability to take rapid measurements in systems which are optically opaque. The conventional industry approach for characterising the rheological properties of suspensions during processing/packaging stage is mainly through the use of viscometer and some through the use of rheometer. One of the potential limitations of viscometer and rheometer based measurements is that the collection and preparation of the solder paste samples can irreversibly alter the structure and flow behaviour of the sample. Hence the measurement may not represent the actual quality of the whole production batch. Secondly, rheological measurements and the interpretation of rheological data is a very technical and time consuming process, which requires professionally trained R&D personnel. The ultrasound technique being proposed provides simple, yet accurate and easy to use solution for the in-situ rheological characterisation of solder pastes which will benefit the materials suppliers (who formulate and produce solder pastes) and solder paste consumers (especially, contract electronics manufacturers). The results from the work show that the technique can be used by R&D personnel involved in paste formulation and manufacture to monitor the batch-to-batch quality and consistency.