Petri网模型代码映射研究

为了简化仿真系统的实现过程,分析总结了Petri网到程序代码的映射准则,从Petri网的基本元素和关系入手,根据逻辑关系建立映射的三类原子语句,并通过两种合成方式形成分子语句。以原型Petri网为例,遍历可达标识图的各种分支路径,提出循环路径到循环结构语句的代码映射方法。最后给出了带抑制弧的扩展Petri网和受控Petri网的代码映射方案,为Petri网向程序代码的转换提供了理论依据。     

Software structure evaluation based on the interaction and encapsulation of methods

Software structure is the most important factor affecting the quality of a program.The evaluation of software structure is a foundational technique for software development.However,the traditional evaluation criteria,such as "high cohesion and low coupling",are no longer appropriate for the new web applications,which are designed with a hierarchical framework.A novel approach is proposed in this paper to evaluate software quality based on the interaction and encapsulation of methods.In particular,two criteria for high quality software,the functional and hierarchical structure,are proposed to support widely used web applications.The cohesion and coupling and layer matching ratios between methods within a software package are calculated to determine whether the package is well implemented in terms of functional or hierarchical structure.This approach enables us to quantify the quality of a software system according to the structural types of its packages.Experiments were carried out on 18 versions of Struts and six open-source software packages.Our evaluation concurs with the intuition that minor upgrades,aimed at fixing bugs and adding minor functionality quickly,reduce software quality,whereas major upgrades,which normally clean up messy code and re-construct the software,improve software quality.     

Terahertz switch and polarization controller based on photonic crystal fiber

Theoretical studies on liquid crystal filled photonic crystal fiber(LC-PCF)are presented.The eects of electric birefringence of liquid crystal(LC)in the LC-PCF and the transmitting properties of photonic crystal fiber(PCF)are investigated by using the full vector plane wave expansion and beam propagation method.The simulation results show that the electrically controlled LC-PCF can act as not only a terahertz(THz)switch with about 0.55 THz bandwidth,but also a tunable polarization controller for changing the polarization state of the fundamental mode.     

低能X射线替代~（55）Fe测厚的研究

对比分析了X射线和55Fe对物体厚度测量的原理以及在实际应用中的优缺点,介绍了X射线测厚仪的结构构成,各部分实现原理和具体实现方案、措施,并针对X射线和55Fe的现场测厚进行对比实验。     

RFID复杂事件处理关键技术的研究与改进

RFID复杂事件处理是一个新兴的技术领域,它用来处理大量的简单事件,并从中整理出有价值的事件。RFID事件和传统的事件相比较具有海量性、空间性和时间性、数据不准确性等特征。文中在分析RFID数据特点的基础上,对RFID复杂事件处理的关键技术进行研究和改进,主要介绍RFID数据的清洗和事件检测技术。对于RFID数据清洗部分,提出了多层次过滤的方法使得到的数据更接近真实情况,而事件检测方面则提出了局部检测和全局检测相结合的方法对相关数据进行检测以得到更有意义的数据供上层应用使用。最后,对RFID复杂事件处理的发展趋势做出展望。     

智能视频监控中运动目标检测的研究

针对某武器试验中背景复杂,现有的背景差分法在背景模型的维持和更新不能用于长期和复杂的场景,以及对近地目标提取检测困难的问题,提出一种改进的背景差分法。该算法采用结合邻域信息的背景差分法和最大方差阈值法,能够在一定程度上减小背景滞后更新引起的运动目标检测误差,且使目标边缘提取更加明确,从而提高了系统的运行速度,实现复杂背景下的运动目标检测。在Visual C＋＋6.0中用OpenCV实现了相关算法的设计,并给出了完成系统任务所需的部分关键代码,实现了运动目标和试验场景的分离与提取。仿真实验验证了该算法的有效性以及实时性。     

一种高可用性的计划任务管理方法

针对当前计划任务管理方法的缺陷,提出一种高可用性的计划任务管理方法。该方法采用集群技术,当系统发生故障时,不丢失计划任务,能够快速地恢复系统的正常运行。本文在研究Linux系统中的crontab和at的基础之上,将计划任务以执行时间分类,提高了计划任务执行的准确性,实现了对周期性的和非周期性的计划任务的统一管理。原型实验证明,该方法具有较高的可用性和性能。     

基于ASP的Flash作品管理系统设计与实现

介绍Flash作品管理系统的设计方法及实现技术。系统基于ASP开发,后台使用Access数据库,系统功能是实现注册、登录、作品提交、作品下载、推荐评价、作品评级、签到记录、作品浏览、成绩查询和问答等功能,服务于Flash课程的教学。     

冻融循环下云母石英片岩三轴力学特性与强度预测模型

为探究云母石英片岩物理力学特性受冻融循环作用的影响,对饱水云母石英片岩开展了0、25、50、75、100次冻融循环试验,并对试样分别进行了4级围压下的常规三轴压缩试验,研究了其动弹性参数、三轴压缩破坏形式及三轴抗压强度的变化规律,取得如下成果:①随着冻融循环次数的增加,三轴抗压强度、动弹性模量、动剪切模量及动体积模量呈指数衰减,黏聚力及内摩擦角则呈线性衰减趋势;②随着冻融循环的进行,围压对试样强度的增大作用逐渐削弱,冻融循环对试样强度的劣化作用逐渐凸显;③冻融作用使云母石英片岩三轴压缩破坏形态由张拉破坏逐步演化为顺片理剪切破坏;④基于Jaeger破坏准则建立了一种以冻融循环次数、片理面倾角及围压为控制参数的斜交片理云母石英片岩三轴抗压强度预测模型,预测结果与实测数据具有较好的一致性。研究成果可为研究云母石英片岩冻融损伤劣化规律提供参考。