基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

激光标刻的复杂区域填充算法

为减少填充线段和提高激光加工效率,对复杂区域的填充算法进行了研究．采用延长某些岛屿边界将包含岛屿的区域变为单连通域;然后用最长边延长法和最长边平行截取法将单连通域分解为简单凸多边形,简单凸多边形填充方法是先找到凸多边形所有边对应的高最小的那条边,平行该边进行填充,最后对填充线段的连接顺序进行优化处理．与传统的固定方向扫描填充相比,采用本算法可使复杂区域和实心文字的激光标刻效率提高20％～40％．     

一种确定IFSP中迭代次数下限的算法

提出了一种求解带概率的迭代函数系统（IFSP）中迭代次数下限的自动算法,该算法基于一个基本假定,从给定的多个压缩仿射变换矩阵的谱半径入手,先分别求出每一个压缩仿射变换收敛到其对应的不动点时的迭代次数,然后根据每一个压缩仿射变换使用的概率即可计算出IFSP中迭代次数的下限．理论分析和实验计算结果表明,提出的算法能有效地确定IFSP中迭代次数的下限,且在保证分形图质量的同时避免了不必要的计算开销,为快速生成高质量的分形图提供了一种有效的方法．     

条形不耦合平面布药技术在硐室爆破中的应用

为了研究条形药包硐室爆破在复杂环境下的应用问题,首先分析了条形药包的作用机理,根据已有硐室爆破平面药包布设的半理论丰经验公式,建立了条形药包平面布设数学模型。并通过工程实例将条形药包布设理论运用于平面布药实践,缩短了平面布设条形药包的设计周期。研究表明,在山体爆破中采用条形不耦合平面布药技术能显著提高有效松动率,降低大块率,减少二次爆破量。同时也减小了爆破振动对周边环境的破坏影响。     

融合多元触觉和沉浸式视觉的可移植VR软件框架

多元触觉和沉浸式视觉反馈的时空一致性配准以及现有VR软件框架中硬件设备的接入便捷性问题,制约了医疗、商务、娱乐等不同行业中视触觉融合场景的快速开发。为解决这一难题,提出融合多元触觉和沉浸式视觉的可移植VR软件框架,根据视触觉反馈精度要求的不同设计了双层和三层架构兼顾视觉渲染、触觉渲染、硬件控制的不同需求。实验结果表明该框架具有支持视-触融合同步反馈、硬件平台可移植、图形场景开发简便和交互场景可快速替换等特点,能够满足不同领域的交互应用需求。     

空基外辐射源定位系统的可观测性分析

针对空基外辐射源定位(airborne external transmitter location, AETL)系统的可观测性问题,建立了AETL系统的二维运动学模型与量测方程,基于离散化的非线性可观测理论求解系统的可观测矩阵,并分析证明了系统不可观测的条件。基于矩阵分析理论的条件数定义了系统的可观测度,并仿真分析了观测站运动参数以及目标和外辐射源的机动参数对系统可观测度的影响。结果表明,当观测站与目标和外辐射源共线或目标和外辐射源保持径向运动时系统不可观测;当系统可观测时,观测站与目标和外辐射源之间的相对速度越小,系统可观测度越大。研究结果可为观测站制定机动策略提高系统定位性能提供有效的参考依据。     

A New Upper Bound on the Order of Affine Sub-families of NFSRs

Journal of Systems Science and Complexity - Nonlinear feedback shift registers (NFSRs) are widely used as building blocks in the design of stream ciphers. Let NFSR(f) be an NFSR with the...     

A new DFM flow for sub-100nm standard cells

DFM （Design-For-Manufacturability） method, which aims to improve manufacturability of ICs through specific design considerations, is becoming important nowadays. In particular, standard cells now should be designed by DFM method. This paper reports a new DFM flow for sub-100 nm standard cell design with a group of technologies for process modeling, manufacturability simulation and trial RETs. Based on this flow, a set of DFM-friendly 90nm standard cells were designed.     

Fabrication of solenoid-type microinductor with different magnetic core schemes by MEMS technique

0 IntroductionThere has been a great demand on micro DC/DCconverter for the applications of the portable electronicproducts such as mobile communication product CDMA(Code Division Multiple Access) ,portable notebookcom-puter ,microprocessor ,digital camcorder andso on.Mag-netic components such as inductors and transformers arethe essential components in constructingthe power supplytransformer ,filter , oscillator , amplifier and micro DC/DCconverter ,andthe miniaturization of inductor an…     

Granzyme B is recovered by natural killer cells via clathrin-dependent endocytosis

When they recognize a target cell, natural killer (NK) cells mount an attack to kill the target by exerting their cytotoxicity via the exocytosis of cytotoxic granules. Although the details of this process (which includes the movement of cytotoxic granules in the immune synapse and their fusion with the plasma membrane, releasing granzymes and perforin into the synaptic cleft) are relatively better understood, the post-exocytosis regulation of the process is still largely unknown. Here we show that a clathrin-dependent endocytosis stimulated by target cell occurs in NK92 cell line, which is closely correlated with granzyme B recovery. Inhibition of the endocytosis significantly attenuates the cytotoxicity of NK92 cells. The NK cell recovery of its released effector molecules, in turn, suggests that endocytosis may well play a key role in the post exocytosis regulation of immune cells.