Modeling for parallel scheduling and performance evaluation of MANET using stochastic Petri nets

In this paper, Petri nets technique is introduced into mobile ad hoc networks (MANET) and a packet-flow parallel scheduling scheme is presented using Stochastic Petri Nets (SPN). The flowing of tokens is used in graphics mode to characterize dynamical features of sharing a single wireless channel. Through SPN reachability analysis and isomorphic continuous time Markov process equations, some network parameters, such as channel efficiency and, one-hop transmission delay, can be obtained. Compared with Those of The conventional performance evaluation methods, the above parameters are mathematical expressions instead of test results from simulator.     

海洋石油平台管件加工的精确几何建模

结合目前国产数控相贯线切割机普遍配备双倾角构型割炬的技术特点,对传统管材切割工艺进行了改进.通过对传统切割工艺中的几何近似部分进行精确几何建模,获得精确几何解,并通过双旋转自由度构型的割炬,完成基于该精确几何解的切割角精确切割.仿真实验表明:相对于传统的近似切割工艺,该切割角精确切割工艺可有效减少管件端面的有效切割长度,提高了切割速度和时间效率,且切割出的管材端面更符合曲面的几何性质,有利于焊接面之间的曲面匹配度.     

网络协议的形式化分析与设计

随着形式化方法和技术的日趋完善,网络协议的开发已逐步从非形式化描述、手工方法实现过渡到已形式化描述技术为基础,渗透到网络协议分析、综合、测试等各环节的软件工程方法。本文从网络协议的基本要素、协议的形式化模型介绍了网络协议,并从协议的性质描述、不变性分析、可达性分析、基于有序二叉判决图的符号模型检验对网络协议进行了形式化设计与验证,最后进行了测试。     

基于EP9315的呼吸机监护平台设计

研制了一种基于嵌入式技术的呼吸机监护平台,以高性能ARM9微处理器EP9315和ARM7微处理器LPC2368为核心,融合CAN现场总线技术,包含主节点子节点的cAN模块、空气氧气的压力温度采集、AD转换、触摸屏模块、流量控制等多个组成部分.采用WINCE操作系统和Embedded Visual C++4.0软件开发工具,实现了CAN设备驱动程序的开发以及对人体呼吸气体信号的采集、显示、实时分析、反馈控制等功能.     

浅谈排球扣球教学中助跑与起跳技术

扣球是排球的基本技术之一,也是排球中攻击性最强的一项技术,在比赛中占有十分重要的地位。扣球是得分的主要手段,也是取胜的关键。在扣球的教学中助跑与起跳的衔接是重要的一个环节!是否掌握正确的助跑步伐,是否有效的衔接起跳显得尤为重要!在此基础上才能使进攻更富有变化和威胁。     

Future Performance Prediction of Research Infrastructure Based on Past Performance

Research infrastructure is crucial for development of research,and thus the evaluation of its performance is important.However,existing researches mostly focus on its past observations,lacking of a prediction for future. In this paper, procedures are proposed to predict the distribution for the number of papers published in a certain future year. The publication reliability,which is defined as the probability that the number of published papers in the future year is bigger than a pre-specified number,is evaluated. Illustrative examples are proposed to show the applications of the model.     

基于SOA的有源光开关技术的研究

研究了ＳＯＡ 有源光开关原理与光开关矩阵的基本构成,给出了相关的主要性能参数,包括开关速度、消光比、噪声指数、动态范围以及开关增益等,实际制备了一个有源光开关基本单元矩阵,并给出初步实验结果     

浅析网页的设计

随着网站建设越来越接近于一门而不仅仅是一项技术。网页的艺术设计,日益被网站建设者所注重。在国内对此领域甚少的情况下,作者将网页艺术设计与其他艺术设计形式进行比较,尝试从网页艺术设计的、原则和特点等三个方面,对这个新的艺术设计领域进行初步的归纳和探讨。     

基于LPC2148的远程环境监测平台设计

针对现代监测技术的发展,研制了一种基于嵌入式技术的环境监测平台,以高性能ARM7处理器LPC2148为核心,融合GPRS技术,包含对监测环境的各传感器数据采集、GPRS短信远程传输、语音播放、显示模块等多个组成部分.采用μC/0S-Ⅱ操作系统,给出了接收终端软件运行流程,并着重论述了利用短消息实现远程通信的具体实现方法,实现了对监测环境数据采集、远程传输和显示等功能.     

Performability of Research Infrastructure Comsidering Costs and Values for Different Outputs

The research infrastructure is very crucial for the development of some fundamental research. However,it is costly to buy,install and operate the infrastructure. This paper analyzes the costs and benefits of research infrastructure using a concept termed as investment reliability. Both the costs and the outputs are represented by a cash flow diagram,and the investment reliability is modeled. Different types of outputs are taken into concern in the model formulation. Illustrative examples are proposed to show how to apply the model.