适应多源海图数据转换的规则库设计与实现

目前海图制图资料呈现多来源、多标准多格式且与海图标准数据互不兼容的特点,为解决海图制图过程中各类资料的使用问题,主要从转换规则库结构、规则设计、规则验证三方面进行研究,设计实现了扩展性强、灵活度高的规则库,能够支持各种类型海图矢量资料向海图标准数据转换。经过实践验证,规则库已支持5种海图矢量资料,各类矢量资料转换率达90%以上。

业务规则管理技术研究

业务规则管理技术成为当前的研究热点。本文全面介绍了业务规则管理技术的基本原理、基本概念。重点介绍了对于业务规则建模和业务规则的实现两个方面的技术,介绍了当前比较公认的一种业务规则模型,通过把业务规则映射到相应的软件组件来实现,业务规则与软件组件通过连接组件联系起来,这样当业务规则发生变化时,可以通过连接组件,迅速定位到相应的软件程序代码部分,对其做出少量修改甚至不做任何修改。

论民间规则的效力

在传统观念看来,只有国家制定法才具有法律效力,而民间规则充其量只是软法不具有强制力。然而如果我们把法律分为专制型法与民主型法,则不难看到民间规则属于民主型法,与专制型法一样具有法律效力。民间规则具有法律效力的原因主要在于人们对它的自愿选择或达成共识,具体而言,民间规则具有效力的原因共有五种。因此民间规则同样具有对象效力、空间效力和时间效力。民间规则的实现形式大致可以分为两类,其一是内心强制,其二是外部强制。

论应收账款质权实现机制的完善

质权的实现,是质押制度人主要的问题。我国《物权法》并没有明确规定应收账款质权的具体实现方式,而是参照适用动产质权的实现方式,规定的较为粗糙,有损于应收账款质押的制度价值。面对此种情况,应对应收账款实现机制进行完善,保障其制度价值的实现,更好的为社会主义市场经济服务。

基于行为轮廓定义目标规则的流程建模推荐方法

为了打破基于流程库的流程建模推荐方法中路径和图结构的限制,为建模者从流程库中提取更多有用的推荐信息,进而辅助建模者建立更高质量的业务流程模型,提出了一种基于行为轮廓定义业务目标实现规则的流程建模推荐方法。首先,通过业务陈述制定用于形式化及抽象化表达业务交互规则的目标轮廓矩阵;接着,通过其与行为轮廓矩阵集中全部行为轮廓矩阵的比对,找出流程库中所有满足目标轮廓矩阵的流程作为候选流程集;最后,通过行为轮廓度量方法计算出候选流程库中与当前建模模型相似度最高的流程,并将这些流程中当前建模节点的下一节点作为推荐节点。在真实数据集上进行实验评估了所提方法,推荐能力和推荐准确率两方面的评估表明了所提方法与独立路径匹配方法相比,能够在准确率满足实际应用需求的同时为建模者提供更多有价值的推荐信息。

浅谈数据结构在网络游戏程序开发中的应用

数据结构在系统软件与普通应用软件开发中应用领域应用广泛，在网络游戏程序开发中并未系统的应用。数据结构的在软件开发中的作用就是提高程序性能，若将之系统的应用于网络游戏开发，将会大大提高网络游戏的性能与运行速度，给玩家提供更好的游戏体验，提高游戏的可玩性。文中将从数据处理、动作响应及游戏规则两方面进行探讨，希望给出数据结构在网络游戏开发中一种新思路。

系统功能语法基本概念简述

本文简述系统功能语法(SFG)的发展及其基本概念,主要介绍了功能语言学系统网络结构及其功能机制、系统纵聚合关系选择项的实现规则、功能语法三大元功能的范畴及其叠合成横组合关系的实现过程。通过对系统功能语法的起源发展及其现今的基本理论概念的介绍,旨在为我们深入研究功能语言学理论以提高英语教学水平提供参考。

高校图书馆联盟信息安全策略研究——以河南省高校图书馆为例

图书馆联盟的信息安全保障已成为影响其发展的重要因素。高校图书馆联盟,综合了技术、管理、资源、法律等多方面因素,提出了有效的信息安全规则,构建出了一个融合多种技术、具有扩展性的信息安全保障制度,为高校图书馆联盟未来发展提供了更好的保障体系。

UML状态图的检测算法生成

在软件系统设计中,经常应用UML状态图对系统行为进行完整建模,其正确性尤为重要。在其他文献中虽然已提出基于HA和EMC的检测规则,但是并未给出具体算法。因此根据算法生成的关键问题主要探讨:基于状态图HA的自动生成及存储、基于HA的Kripke自动生成、以及基于Kripke结构和EMC检测规则的算法实现。

算法行政中相对人程序权利的行使困境与实现规则

算法技术嵌入行政活动催生了算法行政方式,相对人在其中享有行政内容知情权、行政方式选择权、行政过程参与权等程序权利。但由于算法对行政程序的技术性改造,相对人行使上述程序权利时面临着不同的困境:私密化的信息收集与“黑箱化”的算法决策造成相对人对行政内容的知情不足,单方性的程序启动与高效率的行政目标导致相对人对行政方式的选择难题,封闭性的算法运行与专业性的技术内容形成相对人对行政过程的参与障碍。为了保障算法行政中相对人程序权利的实现,需要明确算法行政的程序规则,包括在算法行政过程中构建行政方式选择规则,满足相对人对行政方式的知情与选择需求;发展技术正当程序规则,将正当程序要求内化为算法透明规则和算法解释规则;完善程序权利救济规则,配置算法行政责任与对接司法审查救济方式。

试论英语句法转换的抽象表现形式

通过研究比较英语语句的聚合关系,解释了英语句法的内涵及其变化形式,揭示核心句和转换句之间的关系,描述了英语句法的抽象表现形式,将英国句法理论大师马修斯介绍给国内学者,从另外一个角度为国内学者研究句法理论提供参考。

在店铺中通过运用检查表实现规则化

各位好。上个月我们讨论了"卖场的问题是品牌的问题"?在上海开始出现品牌的差别化,通过明确定位战略,用各种方法向销售对象目标进行接近。不仅是橱窗设计和商品陈列,要"在店铺中具有魅力的品牌表现"。现在正需要企划团队团结一致构筑"能控制卖场的结构=企划主导型VMD结构"。这个月我们讨论"在店铺中通过运用检查表实现规则化"。

论机动车融资租赁交易的法律构造

机动车融资租赁交易无法在动产融资统一登记公示系统和机动车登记系统中登记。实践中采取的变通做法是,将机动车登记于承租人名下但同时为出租人办理抵押登记。这一形式抵押登记属于《民法典》第745条所称的“登记”,仅具声明登记意义,以阻断第三人善意的方式保护出租人就租赁物的所有权,但并不表明出租人就标的机动车取得了抵押权。机动车售后回租交易如兼具“融资”与“融物”属性,则属于融资租赁交易,形式抵押登记的存在并不能改变机动车售后回租交易的定性。即使存在形式抵押登记,出租人的权利实现也不是行使抵押权,而仍应遵行《民法典》第752条和相关司法解释确立的规则。在融资租赁交易的担保功能化之下,出租人就标的机动车的所有权具有非典型担保物权的性质,出租人在主张租金债权之时自可同时主张就标的机动车优先受偿。这一权利实现规则亦可适用于《民法典》实施之前的融资租赁交易所引起的纠纷。