Analysis and control of general logical networks – An algebraic approach

Since Boolean network is a powerful tool in describing the genetic regulatory networks, accompanying the development of systems biology, the analysis and control of Boolean networks have attracted much attention from biologists, physicists, and systems scientists. From mathematical point of view, the dynamics of a Boolean (control) network is a discrete-time logical dynamic process. This paper surveys a recently developed technique, called the algebraic approach, based on semi-tensor product. The new technique can deal with not only Boolean networks, which allow each node to take two values, but also k-valued networks, which allow each node to take k different values, and mix-valued networks, which allow nodes to take different numbers of values.The paper provides a comprehensive introduction to the new technique, including (1) mathematical background of this new technique – semi-tensor product of matrices and the matrix expression of logic; (2) dynamic models of Boolean networks, and general (multi- or mix-valued) logical networks; (3) the topological structure of Boolean networks and general networks; (4) the basic control problems of Boolean/general control networks, which include the controllability, observability, realization, stability and stabilization, disturbance decoupling, identification and optimization, etc.; (5) some other related applications.     

Network traffic classification via HMM under the guidance of syntactic structure

Network traffic classification is the basis of many network technologies including intrusion detection, traffic scheduling, and quality of service. Given the limitations of existing classification approaches based on the port number, the packet-payload and statistical characteristics of network traffic, in this paper we propose a novel classification method via a hidden Markov model. With the analysis about the time series characteristics and statistical properties of network traffic, we use a hidden Markov model to model for a type of traffic under the guidance of syntactic structure of it. And then a classification approach is presented based on the model. Experiment results on several typical network applications indicate that the combination of time series characteristics and the statistical properties not only make the established model more precise, but also improve the accuracy of network traffic classification.     

封闭循环TEA CO2激光器用催化剂的实验研究

在不同的催化剂和不同温度的条件下,用磁氧分析仪监测了封离型TEA C0₂激光器中O₂含量随时间或脉冲次数的变化。对实验现象进行了分析。对几种催化剂的特性给出了详细的比较。     

基于ADSP-BF561的视频图像采集系统设计

校本文基于ADI公司BF561的嵌入式处理器,以OV7660 CMOS图像传感器为视频图像输入源,以uClinux为操作系统,采用先进的JPEG2000图像压缩算法,设计了一种视频图像采集系统的实现方案,实现了视频图像的采集,处理及传输。测试结果表明,在上位机端可以看到比较清晰的图像。     

一种基于EPID的安全OA系统

文章对OA系统中存在的安全问题进行了讨论,引人了一种新的基于远程匿名身份认证EPID模式,它能通过保存设备拥有者私密信息的硬件设施进行身份鉴定。一个嵌入EPID私密的硬件设备可以向远程机构证实它的有效性,而不必暴露自己的身份和其他私密信息。可以撤消一个签名的EPID私钥,即使不知道密钥的身份。同时,把EPID和其它的一些方法进行了对比。     

浅谈中等职业学校计算机基础教学

当今社会对中职学校毕业生的计算机应用能力要求越来越高,计算机技术水平的高低以及计算机应用能力的强弱,已经成为今天衡量中职学校毕业生质量和水平的重要尺度之一。而目前计算机基础教学存在教学内容过分单一、教学手段落后等弊端,为了解决这些问题,汲取多年计算机基础教学的实践经验,针对新形式下计算机基础课程的课程体系、教学内容和教学方法的改革进行了探讨。     

高校餐饮服务信息化综合解决方案

高校餐饮服务相比较于社会化餐饮服务具有其独特特性,在购买原材料完全遵循市场规则而销售定价不能完全市场化的限制下,还要面对窗口自选以及餐厅点餐两种销售模式并存的影响,以及伴随着扩招带来了多校区、多食堂、多窗口的状况,如何通过信息化手段提高其工作流程和效率,成为当前迫切需要。文中提出一种符合实际工作需要的信息化解决方案,对整个高校餐饮服务过程中所涉及的人、物、财进行综合管理,并形成决策,以最大化信息系统的效用,真正做到开源节流。     

温度对Ni—P化学镀层结合力影响的研究

用弯曲法、划痕法研究了镀后加热温度对Ni-P化学镀层结合力的影响,结果表明:镀后退火温度越高,镀层结合力越好,但温度过高时,镀层硬度将下降。用金相观察及电子探针分析,探讨了镀后退火温度影响结合力的机理。结果指出:退火时将在镀层和基体界面上发生Ni与Fe的互扩散,形成Ni-Fe合金扩散层,从而提高了结合力。为了能在保证镀层硬度的前提下提高结合力,本文提出了二次镀覆的设想,获得较好试验结果。     

铝阳极氧化膜颜色的检验和观察法

介绍铝及铝合金阳极氧化膜颜色的概念和描写,对颜色的儿种测量方法进行了比较,重点分析观察法及其在各国标准中的异同。在此基础上,提出了GB8013中的对颜色进行观察的条件和理论根据。     

基于改进下垂控制的多微网并联运行控制策略研究

多微网并联的电网系统结构复杂、连接方式多样,在并网、解列的过程中由于子微网之间的频率和电压偏差,会在平衡点产生较大的电动力,对系统产生冲击,影响系统的动态稳定。本文针对多微网并网、解列过程中控制精度和动态稳定的问题,基于长距离线路电压降落和电压相角偏移,提出了一种改进的下垂控制方法,减少了系统的电压震荡和频率波动。最后基于Matlab/Simulink建立仿真模型,仿真结果验证了改进控制策略的合理性和有效性。