A Compositional Framework for Hardware/Software Co-Design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.     

光学全交叉网络与SW榕树（F＝S＝2）网络拓扑等价的多样性

本文对有关互连网络拓扑等价的分析方法作了简单评述。并采用互连网络拓扑等价的图分析法分析了自由空间光学互连全交叉网络与ＳＷ榕树网络的拓扑等价及其多样性，拓展了全交叉网络在数字光计算、光子交换及多处理机系统的潜在应用。     

全兼容IEEE1149.1的MIPS CPU CORE可测性设计

提出了一种采用软硬件协同工作的方式来实现MIPSCPUC：ORE的可测性设计(DFT)方案。硬件全兼容IEEE1149．1(JTAG)标准，支持单步、断点(6个)，内部关键寄存器的查看，并具有可扩充性；软件采用GUI编程开发，达到可视化DEBUG。本设计对于减少DPU开发的测试成本，提高开发效率，以及CPU测试DFT策略的经验积累，都有着一定的意义。     

Theoretical Contribution towards Understanding Specific Behaviour of “Simple” Protein‐film Reactions in Square‐wave Voltammetry

Surface reactions of uniformly adsorbed redox molecules at working electrode surface are seen as adequate models to studying chemical reactivity of many lipophilic enzymes. When considered under pulse voltammetric techniques, these systems show several uncommon features, whose origin is still not completely clear. The phenomena of “quasireverible maximum”, “splitting” of the net peak in square‐wave voltammetry, and the very steep descent of Faradaic currents of simple surface redox reactions exhibiting fast electron transfer are just some of the features that make these systems quite interesting for further elaborations. In this work, we present a set of theoretical calculations under conditions of square‐wave voltammetry in order try to explain some of aforementioned phenomena. The major goal of our work is to get insight to some voltammetric and chrono‐amperometric features of two considered surface reactions, i. e. (1) the “simple” surface redox reaction, and (2) surface redox reaction coupled to follow‐up irreversible chemical reaction of electrochemically generated redox species (or surface ECirr). We focus on the role of created Red(ads) (here in the reduction pulses only) to the current components of calculated square‐wave voltammograms exhibiting fast electrode reaction. We show that the irreversible chemical removal of electrochemically generated Red(ads) species, created in the potential pulses where half‐reaction of reduction Ox(ads)+ne‐?→Red(ads) is “defined” to take place, causes significant increase of all square‐wave current components. The results presented in this work show how complex the chrono‐amperometric features of surface redox reactions under pulse voltammetric conditions might be. In addition, we point out that both half reactions of a given simple surface redox process can occur, at both, “only reduction” and “only oxidation” potential pulses in square‐wave voltammetry. This, in turn, contributes to the occurrence of many phenomena observed in simple protein‐film voltammetry reactions. The effects of chemical reaction rate to the features of calculated square‐wave voltammograms of surface ECirr systems with fast electrode reaction are reported for the first time in this work.     

氟原子与氢分子共线反应几率的量子散射计算

基于最新的6SEC势能面,用邓从豪等提出的LCAC-SW方法计算得到了共线反应F+H~2(v=0)→HF(v')+H的态-态反应几率,计算结果准确地反映出势能面的特点,进一步证明LCAC-SW方法是一成功的量子散射方法。     

Square-wave voltammetric (SWV) determination of Captopril in reconstituted serum and pharmaceutical formulations

A simple, fast and sensitive square-wave voltammetric (SWV) method for the determination of trace amounts of Captopril in pharmaceutical formulation and reconstituted serum is reported. A three-electrode system containing the static mercury drop electrode (SMDE) working electrode, Pt auxiliary electrode and Ag/AgCl reference electrode was used throughout. Sodium sulfite was used as both supporting electrolyte and oxygen removing agent. No nitrogen purging is needed for oxygen removal from sample solution. Calibration graph showed good linearity in the concentration range of 0.5-50.0 μg mL⁻¹ of Captopril and regression coefficient of 0.9957 is obtained. R.S.D. for eight replicate measurements and LOD of the proposed method are 1.2% and 6.28 × 10⁻³ μg mL⁻¹, respectively. The effect of various parameters (equilibration time, scan increment, pulse height, drop size, frequency and sodium sulfite concentration) on the determination were investigated. The procedure was successfully applied to the determination of Captopril in pharmaceutical formulation and reconstituted serum.     

离子对生成反应的LCAC-SW量子散射理论研究

离子对生成反应微观动力学的理论和实验研究有助于从本质上揭示气相、液相及上层空间大气化学反应机理.实验上已经发展到用激光-交叉分子束技术研究其态-态过程;理论上则主要是采用准经典轨迹法.     

Hybrid evolutionary algorithms in a SVR traffic flow forecasting model

Accurate urban traffic flow forecasting is critical to intelligent transportation system developments and implementations, thus, it has been one of the most important issues in the research on road traffic congestion. Due to complex nonlinear data pattern of the urban traffic flow, there are many kinds of traffic flow forecasting techniques in literature, thus, it is difficult to make a general conclusion which forecasting technique is superior to others. Recently, the support vector regression model (SVR) has been widely used to solve nonlinear regression and time series problems. This investigation presents a SVR traffic flow forecasting model which employs the hybrid genetic algorithm-simulated annealing algorithm (GA-SA) to determine its suitable parameter combination. Additionally, a numerical example of traffic flow data from northern Taiwan is used to elucidate the forecasting performance of the proposed SVRGA-SA model. The forecasting results indicate that the proposed model yields more accurate forecasting results than the seasonal autoregressive integrated moving average (SARIMA), back-propagation neural network (BPNN), Holt-Winters (HW) and seasonal Holt-Winters (SHW) models. Therefore, the SVRGA-SA model is a promising alternative for forecasting traffic flow.     

Theoretical Studies on Structures,Stabilities, NMR Spectra and Designing Methods of Dihedral Fullerenes of C3 Series

Using bowl shaped carbon intermediates to construct dihedral fullerenes is an advisable method. Assu- ming that cap shaped C21 extends the size through building pentagons and hexagons at the U and V clefts of the brims, a series of homologous carbon intermediates was generated, in which most of the members have been unknown up to now. The joins between these homologous intermediates gave the C3 dihedral series under the restriction of C3 sym- metrical axis. The investigations point out that the stabilities of these fullerenes not only relate to the shapes of cages and the co-planarities of polygons, but also associate with the equalizations of bond lengths and the pentagonal dis- tributions. The stabilities reveal that the pentagonal distribution in cages is not negligible to the Jr delocalization, be- sides the co-planarities of hexagons and pentagons. Analyzing the possible Stone-Wales（SW） rearrangements in those fullerenes with dehydrogenated pyracyclene units（DPUs） can help us to find out the highly stable isomers. Based on the geometrical optimizations, the calculations provided the theoretical chemical shifts of unknown fullerenes and the data reconfirmed the existence of members C78 and C84. The symmetry adaptation analyses for the frontier orbitals support the formative mechanism of consecutive pentagonal and hexagonal fusions, but the simulated routes are more complicated than the pentagon road（PR） mechanism, which include not only C2 but also C3 additive reactions.