基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

电子海图平台下的航线自动设计方法

为优化舰船计划航线设计,提出了一种基于电子海图的自动设计方法.通过追踪安全等深线和处理障碍区,得到可航渡区域.在可航渡区域内,进行路径的可航渡性测试,自动搜索一条安全的最短计划航线,并根据障碍区的动态变化,实时调整和优化航线.实验结果表明,与传统的手工作业方法相比,该方法在效率、经济性、可靠性等方面都具有明显的优势.     

基于组织机构图的改进RBAC模型

针对电子政务工作流系统的特点,在基本RBAC模型的基础上,引入了组织机构图和额外授权的概念,提出了改进的RBAC模型,并给出模型各要素的形式化描述．模型根据组织机构图划分出原子权限,借助拓扑集合完成角色的设置．在实现用户-角色和角色-权限的指派过程中,考虑了角色的继承,并给出模型实现过程中应该注意的原则．模型具有实现快捷和管理方便的特点,可以加快工作流管理系统的开发进程．并通过开发的办公自动化系统实例加以证明．     

发挥社会体育指导员作用的对策研究

采用调查法、文献资料法及数理统计法,对发挥社会体育指导员作用的对策进行研究,并提出相应的对策.对于了解社会体育指导员工作情况、贯彻落实《全民健身条例》,使社会体育指导员在满足人民群众日益增长的体育健身需求中不断发挥重要作用,具有一定的现实意义.     

中国北方地区茸毛寄蝇亚属分类研究(双翅目:寄蝇科)

寄蝇属％如i舰的幼虫寄生于鳞翅目夜蛾科、毒蛾科等幼虫，成虫取食花粉，主要分布于全北、东洋及新热带动物地理区，是动植物协同进化和农林生态系统害虫生物控制的重要调节者。整理了沈阳师范大学、中国农业大学、北京林业大学和国家林业局森林病虫害防治总站昆虫标本馆藏，采自我国北方15省区市290号茸毛寄蝇亚属Servillia标本，分类鉴定出16种：蛇肛寄蝇T．（S．）anguisipennis和陈氏寄蝇T．（S．）cheni侧条寄蝇T．（S．）laterolinea为中国特有，阿穆尔寄蝇T．（S．）amurensis、火红寄蝇T．（S．）ardens、拟蜂虻寄蝇 T．（S．）bombylia、短头寄蝇T．（S．）breviceps、小寄蝇T．（S．）iota、毛肋寄蝇T．（S．）jakovlewii、艳斑寄蝇T．（S．）lateromaculata、黄寄蝇 T．（S．）luteola、什塔寄蝇T．（s．）stackelbergi、黄白寄蝇T．（S．）ursina、蜂寄蝇T．（s．）ursinoidea、济氏寄蝇T．（s．）zimini和T．（S．）sp．，增补了10个种的省级新分布地。     

心跳机制在DHCP协议中的应用

在DHCP协议运行的过程中引入心跳机制,从心跳包的设计、心跳机制的触停机制、"休克期"的设定方面做了尝试,在无可分配IP地址时,强制释放用户列表中因连接中断等原因造成的活跃度较低但租赁期限未到的客户端IP资源,实现有限IP地址资源的合理分配使用,并尽量减少心跳包占用的系统负载及网络带宽。     

借助绘制函数图像探讨直观性教学原则

在数学教学中,采用临时手工绘制既费时又没有好的效果.运用多媒体进行教学时,教师如果事先把图形绘制好,讲授时直接展示可节省时间,但无绘图过程而缺乏真实感.有了数学软件Mathematica后,可以很好地解决这些多年来让数学教师棘手的问题.本文借助数学软件Mathematica,通过对各种形式函数的图像绘制,得到常见曲线及曲面的绘制方法,并以此为例说明如何在相关课程中实现教学的直观性原则.     

在《数学分析》教学中如何加强基本训练

本文总结了“数学分析”教学中如何加强对学生进行基本训练的实践与体会，这对该课程的建设很有参考价值．     

论信念在认识活动中的双重作用

信念在人们的认识活动中发挥着双重作用。一方面，信念起到纽带、选择、动力、预测和定向的积极作用；另一方面，它起到僵化、误导和抑制的消极作用。     

基于质量功能展开的高职院校市场营销专业课程体系的构建

职业能力培养是高职教育的目标和特色,按照职业标准和专业能力要求转化成课程设置规划,有利于高职学生职业能力的培养。根据质量功能展开方法,探讨高职院校市场营销专业课程体系的构建。