In vitro iontophoretic release of lithium chloride and lidocaine hydrochloride from polymer electrolytes

Ionically conducting polymers, frequently known as polymer electrolytes, are potential candidates as hosts for drugs to be delivered iontophoretically. The iontophoretic delivery of lithium or lidocaine from polymer electrolyte films through a cellophane membrane was examined using different delivery current regimes. Thin, mechanically strong, polymer electrolyte films were fabricated from poly(ethylene oxide) (PEO) with lithium chloride or lidocaine hydrochloride. Experiments showed that iontophoretic transport of both lithium chloride and lidocaine hydrochloride might be achieved from these PEO-based films. Cation transport number determinations give values for PEO-based films of about 0.4 for lithium chloride systems and 0.12 for lidocaine hydrochloride systems. The mechanism of transport from these PEO-based polymer electrolyte films allows the delivery of ionic salts such as lithium chloride and lidocaine hydrochloride to be controlled solely by current, thus providing a system that can deliver precise amounts of drug.     

Process control in CNC manufacturing for discrete components: A STEP-NC compliant framework

With today's highly competitive global manufacturing marketplace, the pressure for right-first-time manufacture has never been so high. New emerging data standards combined with machine data collection methods, such as in-process verification lead the way to a complete paradigm shift from the traditional manufacturing and inspection to intelligent networked process control. Low-level G and M codes offer very limited information on machine capabilities or work piece characteristics which consequently, results in no information being available on manufacturing processes, inspection plans and work piece attributes in terms of tolerances, etc. and design features to computer numerically controlled (CNC) machines. One solution to the aforementioned problems is using STEP-NC (ISO 14649) suite of standards, which aim to provide higher-level information for process control. In this paper, the authors provide a definition for process control in CNC manufacturing and identify the challenges in achieving process control in current CNC manufacturing scenario. The paper then introduces a STEP-compliant framework that makes use of self-learning algorithms that enable the manufacturing system to learn from previous data and results in eliminating the errors and consistently producing quality products. The framework relies on knowledge discovery methods such as data mining encapsulated in a process analyser to derive rules for corrective measures to control the manufacturing process. The design for the knowledge-based process analyser and the various process control mechanisms conclude the paper.     

混合配置的PLC在邯钢7#高炉热风炉自动控制系统中的应用

本文简介了邯钢7#高炉热风炉的工艺状况，重点描述了基于Quantum PLC的热风炉本体仪控系统、基于西门子S7-400PLC（软件配置按PCS7系统模式）的热风炉热油预热控制系统和基于西门子S7与S5系列PLC混合配置的热风炉换炉电控系统的构成、软硬件配置、工作原理、主要控制功能和应用效果。     

Contaminant transport with adsorption and their inverse problems

In Constales et al. (water Resources Res. 39(30), 1303, 2003) dual-well tests are used to reconstruct the flow and dispersion parameters in contaminant transport. A tracer is introduced by the injection well, which is considered to be in steady-state regime with the extraction well. Then, from measurements of the time evolution of the extracted tracer (breakthrough curve) the required model data has been recovered. In Constales et al. (water Resources Res. 39(30), 1303, 2003), a very precise numerical method has been developed for the solution of the direct problem. In Kačur et al. (Comput. Meth. Appl. Mech. Engo. 194(2–5), 479–489, 2005); Remešiková (J. Comp. Appl. Math. 169(1), 101–116, 2004) an extension has been discussed which adds adsorption terms to the model. The inverse problem of determination of sorption isotherms in nonequilibrium mode was solved by a Levenberg–Marquardt iteration method. In the present paper we develop the adjoint system to evaluate the sensitivity of the solution (via the breakthrough curve) on the sorption parameters in equilibrium and nonequilibrium modes. Possible use of the adjoint system in determining the several parameters occuring in the model is a crucial point for iteration methods. The obtained model parameters then can be used in a 3D flow and transport model with adsorption. The numerical experiments we present, justify the used method.     

软件本地化过程中的流程优化

本文简要介绍了软件本地化过程的流程构成，流程优化的重要性；并结合流程优化理论和方法，通过应用实例：文件存放，人员安排和项目记录，增强互动，简繁体转换、本地化总体实践、图形图像处理、用户界面和技术文档本地化等过程的改进和优化，对流程优化与改进在软件本地化过程中的应用进行了说明。     

基于Web service的油田生产自动化系统集成研究与实现

文中利用先进的Web Service技术在BizTalk Server平台上，对油田生产自动化系统实现了应用集成，为企业进行复杂的业务流程集成提供了参考。     

一个基于跟踪的计算机取证过程模型

为了克服基于“事后取证”理念而设计的计算机取证过程模型的不足，借鉴传统刑事案件侦查的“秘密侦查措施”，在计算机取证技术体系中引入“跟踪”、“监控”、“网络渗透”等主动采集技术，提出了一个基于跟踪的计算机取证过程模型。介绍了该模型的工作流程，分析了该模型的特色，指出了该模型的适用范围。     

Compositional State Space Reduction Using Untangled Actions

We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a failure-based equivalence which preserves divergences) that determines their sets of “conflict-free” actions, called untangled actions. Untangled actions are compositional, i.e. synchronisation on untangled actions will not destroy their “conflict-freedom”. For networks of processes, using global untangled actions derived from local ones, efficient reduction algorithms have been devised for systems with a large number of small processes running in parallel.     

硬x射线同轴相衬成像相位恢复的模拟

分析了硬x射线同轴相衬成像过程,在菲涅耳衍射的基础上,提出了基于强度传播方程（Transport of Intensity equation）的相位恢复算法,并利用数值法模拟研究了相衬成像和相位恢复过程,从而验证了这一相位恢复算法。     

一种基于活动网络图扩展的工作流过程模型

本文在活动网络图的基础上进行扩展,提出了Exd-ANBD(Extended Activity-Network-Based Diagram)工作流过程模型,并给出模型的形式化定义。构造的模型改善了活动网络图在描述能力和逻辑性上的不足,使之更能贴近企业实际需求。