三解析函数的一般复合边值问题

研究开口弧段Γ上三解析函数的Riemann边值问题与封闭的Liapunov曲线L上三解析函数的Hilbert边值问题复合而成的一般复合边值问题,利用消去法将问题转化为Hilbert边值问题加以求解,并给出可解性条件和解的具体表达式.     

盛京旗地探索

清入关前在盛京地区设置旗地,并有所发展,包括“计丁授田”与旗地配置。顺治年时,“龙兴之地”的盛京地区农业歉收,清廷为恢复生产,采取了重新分配旗地,鼓励满族返回盛京,招汉人出关开垦等措施。招民开垦并非一以贯之,而是反复几次,同时“旗民不交产”也几经变化。旗地的不断增加,管理办法的不断变化,尤其随着盛京各地分为旗屯、民屯,土地亦“分立界限”,有利于“各安生业”和农业生产的恢复与发展。盛京农业的丰收,不仅满足了本地民众生活需要,还将大量粮食支援了吉、黑、直、鲁等邻省,对稳定北方的社会秩序起了积极作用。     

RSA算法缺陷分析

作者在详细介绍RSA算法的基本原理、计算方法和应用技术的基础上,通过几个应用实例,对RAS算法存在的缺陷进行了深入的剖析,并提出了有效的解决方法。     

关于算子同胚映射

在算子开集理论中给出了算子同胚映射的概念,得到了算子同胚映射的若干性质.     

AOP event manager in open service gateway 〖WT5"HZ〗Abstract:〖WT5"BZ〗 〖WT5”HZ〗Key words:〖WT5”BZ〗

The Open Service Gateway Initiative (OSGi) has played an important role in ubiquitous environments that support interoperability among embedded devices, such as home appliances and network devices. However, the OSGi does not have a common event mechanism yet, and it is difficult to communicate among services asynchronously. In the present work, a common event manager, AspectOriented Event Manager (AOEM), was designed on an OSGi framework. AOEM supports services to generate and provide notification of events. This paper presents the implementation of AOEM as an OSGi bundle with AspectJ. The experiment on transferring between device service and application service demonstrate that AOEM provides good abstraction of the services and convenience.     

计算机专业实验教学模式的思考与探索

针对计算机专业实验教学在教学内容、教学模式、教学计划等方面存在的问题,借鉴国内外部分高校成功的实验教学经验,提出计算机专业实验教学开放式的改革思路,并付之教学实践,取得了较好的教学效果.     

自动化立体仓库固定货架货位的优化研究

通过对自动化立体仓库总体工作过程和存储模式的分析,提出了一种基于作业时间的固定货架的货位优化设计思想,并应用遗传算法进行了实验验证,证明优化后的货位设计确实提高了仓储作业效率。     

基于多通道观测量精确定时的算法及实现

为了提高卫星导航系统中的定时精度,在研究利用伪距方程解算来获得钟差以进行接收机时间调整的传统定时方法的基础上,提出了利用多通道信息在最大似然准则下,进行最佳估计接收机时钟钟差的算法,并在时间调整过程中实现了闭环调整接收机秒脉冲(1 PPS)的输出.对算法及闭环调整方式在ARM FPGA的硬件平台上进行了初步实现,对算法的性能进行了仿真.仿真结果表明,最大似然估计算法对进一步提高卫星导航系统中的定时精度有明显的改善.针对开环和闭环调整两种情况,也进行了仿真分析,得出闭环调整能够有效克服接收机时钟向同一方向漂移的问题.     

“翻转课堂”概念探析

随着信息技术的发展和普及,很多学校出现了新的教学模式和学习方法,“翻转课堂”作为教学模式的重要变革引起了社会各界的广泛关注,但仍有很多教师对“翻转课堂”存在误解。文章旨在探求该教学模式的概念产生过程及其本质,同时对其功能进行分析和反思,从而为现阶段我国的教育信息化进程提供助益。     

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

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