基于矩阵理论的UML类图形式化描述与检测

针对UML缺少形式化语义,使得开发UML自动检测工具变得困难的问题,提出了一种基于矩阵理论的UML类图形式化描述和自动检测方法.首先,分别给出了基于二元关系和基于矩阵的类图形式化描述规则;然后,讨论了UML类图的自动检测;最后,用一个实例说明了该方法的有效性.实验结果表明:该方法可以对UML类图进行形式化描述,且可以通过数学方法找出模型中存在的错误.

完善我国环境污染犯罪罪名体系的立法构想

我国的刑事立法对环境污染犯罪缺乏系统的规定,在司法实践中常常需要适用危害公共安全罪、重大环境污染事故罪等笼统的罪名处理案件,这极易导致定性不准、量刑失衡。我们应当针对环境要素增设相应的罪名以严密我国的环境刑事法网、控制犯罪。

改进环境犯罪刑罚制度的思考

随着经济的不断进步与发展,社会生产力水平大大提高,环境问题却日益严重,这就迫使许多国家强化对严重危害生态环境的行为推行"犯罪化"和"刑罚化",中国也不例外。如何使刑法对环境的保护更有力度、更能有效地规制环境犯罪就是我们亟待探讨的一个问题。本文针对我国的环境刑罚制度的改进做一些思考,提出一些改进意见,力求刑法对环境的保护发挥出其应有的价值。

粒子滤波目标跟踪研究

结合人工蜂群算法和粒子滤波算法,提出了基于GPU人工蜂群算法的粒子滤波方法.利用GPU多核并行计算能力和人工蜂群算法中人工蜂行为的独立性,将粒子分布作为人工蜂群算法中的食物源,通过提取粒子位置信息在GPU工作单元上实现粒子滤波.人工蜂迭代计算适应度,改善了粒子滤波中粒子贫化现象,GPU上的多核并行化计算避免了适应度陷入局部最优解.在多个具有挑战性的视频上与多种已有算法的对比实验表明,提出的粒子滤波方法可以适应光照变化、尺度变化、室内外运动模糊以及背景低对比度等问题.

共享经济时代下VI角色应用——以滴滴打车为例

随着互联网科技的创新发展,我们生活中的衣、食、住、行,都存在互联网的介入。共享经济在现代科学技术和新型价值观念的条件下应运而生。本文以共享经济中出行行业为例,结合滴滴打车为案例,分析其商业模式以及VI的设计应用。如何将共享理念带进企业产品相关设计的思考。

高校学习型党组织建构模式探究

建构一个良性、高效的高校学习型党组织,需要有一个具有较强针对性和实效性的模式体系作为支撑。这一模式要以高校发展实际为出发点,充分运用系统科学的管理方法,涵盖多个相关子系统,才能够确保高校学习型党组织的良性运转。本文从理清建构模式的内涵出发,充分分析对高校学习型党组织的建构模式进行研究的重要性,最后对这一模式的组成系统进行初步的探究,力求为高校学习型党组织的建构提供一个完善的模式体系。

老廖的清收秘笈

“小李，快点帮我在授权委托书上盖章，我约好了法院要去处理一笔不良贷款清收。”