RLL码的计算机辅助设计

本文着重讨论计算机辅助设计RLL码的具体实现问题.该过程首先根据RLL码两个参数d,k确定一个编码率p/q,然后构造出RLL码的高阶状态转换-输出符号矩阵并求相应的近似特征向量.最后通过状态分裂和状态归并过程,即可得到一个满足d,k约束的编码输出表.其中状态转换-输出符号矩阵为实现计算机辅助设计RLL码提供了有效的数据结构,而且要优化RLL码编码器,就必须有选择地进行状态分裂.     

A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity.     

几何造型的自由畸变方法

几何造型是计算机图形学的重要研究内容，ＣＡＤ／ＣＡＭ的核心技术，现行的许多造型系统仅限于造型二次曲面及旋转曲面，没有自由曲面造型能力，本文研究的自由畸变为法，很容易扩展这些系统的自由曲面造型功能，该方法已成功地用于扩展ＭＯＶＩＥ．ＢＹＵ系统的自由曲面造型功能。     

Test Generation for Crosstalk-Induced Faults: Framework and Computational Results

Due to technology scaling and increasing clock frequency, problems due to noise effects lead to an increase in design/debugging efforts and a decrease in circuit performance. This paper addresses the problem of efficiently and accurately generating two-vector tests for crosstalk induced effects, such as pulses, signal speedup and slowdown, in digital combinational circuits. These noise effects can propagate through a circuit and create a logic error in a latch or at a primary output. We have developed a mixed-signal test generator, called XGEN, that incorporates classical static values as well as dynamic signals such as transitions and pulses, and timing information such as signal arrival times, rise/fall times, and gate delay. In this paper we first discuss the general framework of the test generation algorithm followed by computational results. Comparison of results with SPICE simulations confirms the accuracy of this approach.     

FEATURE SOLID MODELING TOOL SYSTEM:FSMTS

In conformity with the principle of Design for Manufacture,feature-based design strate-(?)es have been developed.As the“feature”is relevant to the“macro process plan”and“macro NCprograms”,obviously,“feature”is beyond the power of conventional solid modellers.Neverthe-less,substantial breakthrough has not been made in the solid modeling field,except“feature at-taching”or“feature recognizing”methods have been taken on.In this paper,the theory,concepts,system architecture,and algorithm principles of solid modeling tool system have beenrepresented.The practice of Feature Solid Modeling Tool System (FSMTS) developed atHuazhong University has proved that the tool may be a new foundation of Feature-Based Design.     

Automated model generation for performance engineering of building automation networks

Large technical systems need to be designed both reliable and efficient. Specialized design tools offer therefore a simplified, abstract design and extend details autonomously in the background. Analytic and simulation based models could improve the quality by testing and dimensioning the design before implementation, but setting up the necessary models is time-consuming and expensive. Therefore many developers ask for analysis tools which are able to create their models from the available information in the design tools. This paper presents such an automated modeling approach basing on an existing design database at the example of a network analysis for building automation fieldbuses. The process of automated modeling is unfolded, and the potentials and limitations are discussed.     

Predictive modeling of mercury speciation in combustion flue gases using GMDH-based abductive networks

Modeling mercury speciation is an important requirement for estimating harmful emissions from coal-fired power plants and developing strategies to reduce them. First-principle models based on chemical, kinetic, and thermodynamic aspects exist, but these are complex and difficult to develop. The use of modern data-based machine learning techniques has been recently introduced, including neural networks. Here we propose an alternative approach using abductive networks based on the group method of data handling (GMDH) algorithm, with the advantages of simplified and more automated model synthesis, automatic selection of significant inputs, and more transparent input–output model relationships. Models were developed for predicting three types of mercury speciation (elemental, oxidized, and particulate) using a small dataset containing six inputs parameters on the composition of the coal used and boiler operating conditions. Prediction performance compares favourably with neural network models developed using the same dataset, with correlation coefficients as high as 0.97 for training data. Network committees (ensembles) are proposed as a means of improving prediction accuracy, and suggestions are made for future work to further improve performance.     

高校组织建模方法研究

从高校组织元素的构成与描述方法研究入手,分别建立了高校组织机构视图和高校办学活动过程模型.通过人流、物流、资金流、信息流在组织机构视图与办学活动过程模型之间的交换,建立了各组织元素之间的链接关系,从而构建出了整体性、系统性的高校组织模型.引入学科专业作为建模构件,通过基于进程的办学活动过程分析,反映了高校组织的特点,基本满足了高校组织建模的复杂性、特异性要求.     

三峡工程明渠提前截流方案及水力学试验研究

论述了三期明渠提前截流方案的综合比较分析及截流水力学试验研究成果。认为拟定的提前截流诸方案各有利弊 ,其截流难度较初设方案显著增加。对于截流“基本方案”及“比较方案”的成功实施 ,必须辅之以一定的工程技术措施降低截流难度