水库周边违建问题清查整治中的依法行政与权利救济

针对临近水库的别墅等建筑物的清查整治,在实体层面,尤其对于五证齐全的建筑物,如何定性为违建需要慎重把握,对水库管理范围的界定是一个重点问题;在程序层面,应避免执法中因急于求成而催生的程序违法.强拆行为会产生重大损失,涉及多方主体和多重法律关系,应理清其中各方的法律责任,妥善解决纠纷.     

面向计算思维培养的大学计算机基础教学

针对大学计算机课程的教学特点,探讨以计算思维为核心内容的大学计算机基础课程的教学改革,提出"分类培养、专业融合"的理论教学方法和"两个阶段培养"的实验教学方法,指出该教学改革能有效提高计算机基础教学效果、使学生在获得专业知识与技能过程中,训练和培养计算思维能力。     

服务协同环境中的业务过程建模与验证

服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境。文章基于进程代数方法研究了服务协同环境中服务基本活动建模、控制模式建模和业务过程的建模等问题。提出一种从用户设计界面有向图到服务过程表达式的生成算法。同时,文中还研究了如何用μ演算描述流程性质,并使用验证工具研究了流程正确性验证问题。     

软件能力可信研究综述

能力可信是可信计算研究领域中的重要研究内容,它要求系统的功能是可信赖的,如今,系统的开发方式,系统规模、应用模式已发生巨大变化,这使得获得功能的可信赖性的任务更具挑战性,首先综述能力可信的概念、内涵等,详细介绍了能力可信的性能指标,从缺陷分析、可靠性模型、恢复技术三个方面讨论了能力可信的研究现状、和存在问题,最后对能力可信的未来发展趋势进行了探讨.     

多分辨率融合输入的U型视网膜血管分割算法

针对视网膜血管拓扑结构不规则、形态复杂和尺度变化多样的特点,该文提出一种多分辨率融合输入的U型网络(MFIU-Net),旨在实现视网膜血管精准分割。设计以多分辨率融合输入为主干的粗略分割网络,生成高分辨率特征。采用改进的ResNeSt代替传统卷积,优化血管分割边界特征;将并行空间激活模块嵌入其中,捕获更多的语义和空间信息。构架另一U型精细分割网络,提高模型的微观表示和识别能力。一是底层采用多尺度密集特征金字塔模块提取血管的多尺度特征信息。二是利用特征自适应模块增强粗、细网络之间的特征融合,抑制不相关的背景噪声。三是设计面向细节的双重损失函数融合,以引导网络专注于学习特征。在眼底数据用于血管提取的数字视网膜图像(DRIVE)、视网膜结构分析(STARE)和儿童心脏与健康研究(CHASE_DB1)上进行实验,其准确率分别为97.00%, 97.47%和97.48%,灵敏度分别为82.73%, 82.86%和83.24%,曲线下的面积(AUC)值分别为98.74%, 98.90%和98.93%。其模型整体性能优于现有算法。     

混合关键度驱动的实时调度研究

针对当前运行于不可预测开放环境下的嵌入式多使命复杂关键型系统,需要减少运行成本和处理不可预测工作负载情况的问题,文章提出一种混合关键度驱动的非对称式过载保护最小空闲调度策略。系统过载时,为共享同一处理器的不同关键度任务提供非对称式保护,禁止低关键度任务干扰高关键度任务,完全避免了传统的"关键度反转"问题。在恢复暂时阻塞的不同关键度任务时,在速率单调调度的基础上,引入关键度主导的截止期驱动动态调度策略,可使潜在处理器利用率达到100%。实验结果表明,这种新算法的综合性能优于当前已有的混合关键度任务调度算法。     

流媒体技术在多媒体课件开发中的应用

本文利用流媒体技术实现了一个用户界面友好的、操作方便的多媒体课件制作平台，利用此平台可以制作出适合于进行流式传输的课件；简单介绍了平台的功能模块，重点讨论了平台开发中采用的数据处理和组织方法，并将此平台制作好了的课件发送到一个基于校园网的课件点播系统上供用户点播。试验结果表明，课件点播过程比较流畅且响应
应用户交互时间短，达到了预期的效果。     

多级自适应尺度的U型视网膜血管分割算法

针对视网膜血管细小和尺度变化复杂的特点,提出一种多级自适应尺度的U型视网膜血管分割算法。首先以编码-解码结构为基础引入残差模块,加强通道特征传播能力。其次在网络底部嵌入多尺度特征提取模块,旨在调整感受野有效地提取多尺度特征。同时在跳跃连接部分增加改进的自适应特征融合模块,促进相邻层次特征之间的有效融合,以提取更多的细小血管特征。最后在解码部分设置侧输出的多级注意结构对多层次特征进行自适应细化。实验结果表明,该算法在DRIVE、STARE和CHASEDB1数据集上准确率分别达到0.9645、0.9694和0.9671,灵敏度分别达到0.8417、0.8465和0.8545,AUC分别达到0.9866、0.9908和0.9877,整体性优于现有算法。     

地铁施工对邻近基坑建筑物影响及保护分析研究

本文利用 PLAXI 软件进行地铁基坑对邻近建筑物的影响进行了理论分析,对相应保护措施的效果进行了分析。结合南昌轨道交通1号线子固路站施工的反馈数据,论证了理论分析的合理性,希望能为今后的类似工程提供参考和借鉴。     

长江采砂执法若干法律问题思考

作为当前水行政执法的热点工作,长江采砂执法中面临着较多难题.从行政执法和刑事责任等方面对其中的一些法律问题进行了探讨,对常见的一般偷采江砂的行为,认为<刑法>中最接近的罪名是非法采矿罪.非法开采长江江砂同一般的非法采矿又有不同,它不仅造成国有资源损失,还影响河势稳定,威胁防洪和水上交通安全,社会危害性更大;另外,其主管机关是水行政部门,而非地矿部门.同时,直接适用该罪名还有障碍,如刑法条文中"对矿产资源造成破坏"难以解释.建议最高人民法院对非法采砂专门出台司法解释,并明确当事人因偷采次数、数量和造成其他后果而承担刑事责任的具体界限.