异步通信系统的合理性检测

异步通信系统是一种并发分布式系统,由一组具有无界缓冲区的分布式组件通过异步通信构成。分析异步通信系统的核心问题是检测其合理性,即确保组成系统的分布式组件可以无错误地进行异步通信。然而,基于无界缓冲区的异步通信容易导致异步通信系统产生无穷状态空间,从而使得对无穷状态空间进行穷举分析是不可判定的。鉴于此,提出一种异步通信系统的合理性检测方法,用于分析具有无界缓冲区异步通信系统的合理性。首先,使用标号迁移系统建模分布式组件,并使用异步组合定义基于分布式组件的异步通信系统;其次,根据异步通信系统的特征,提出了三种合理性定义;然后,基于稳定性性质,提出了检测具有无界缓冲区异步通信系统合理性的充分条件;最后,使用进程分析工具实现了所提方法,实验结果表明了所提方法的有效性。

“收视率”对电视业的影响

在新闻改革的又一轮浪潮中，电视界的新举措让人目不暇接：中央电视台部分节目的改版以及地方电视台新闻频道和影视、教育、都市、公共等各种专业频道的接连推出和栏目改版，让业内人士和广大观众颇为关注。在这些改革中，“市场”牢牢掌握了指挥棒，“文化”——这一带有社会责任标签的指标却有被冷落弃置的趋势，而充当“市场”角色的主要是以“收视率”为代表的量化数据。一种声音在不断地被强化：收视率就是电视改革的风向标，唯收视率马首是瞻不容置疑。

浅议高校图书馆的教育职能作用

在信息化时代的环境背景下，高校图书馆的教育职能突显。本文主要针对高校图书馆的教育职能的内涵从文化知识和科学技能教育、思想品德教育和信息素质教育三个方面展开论述，并对今后发挥图书馆教育职能开展工作进行简单总结。

基于区块链的供应链可信数据管理

为解决传统供应链中贸易数据潜在伪造、篡改等安全问题,提出了一种基于区块链技术的供应链可信数据管理方案.首先,以智能合约将贸易规则代码化,防范履约风险和提高贸易数据处理可信性;其次,采用ZSS04方案和抽样技术交互完成贸易数据完整性检验;再次,设计了适用于供应链的分布式共识机制,以提高贸易数据存储可信性;最后,利用区块链技术所具有的原生特性实现非可信环境下的可信数据管理.分析以及实验结果表明,该方案能够为供应链中贸易数据管理提供新的思路和技术支持.

基于Petri网分析编排的可实现性

为了解决编排建模中存在的可实现性问题,即给定一个编排,检测编排生成的参与者间的交互与编排规约是否完全匹配,从同步通信和异步通信两个方面,提出了一种使用Petri网分析编排可实现性的方法。首先,使用映射和约简操作,实现了从编排中自动生成参与者。然后,使用强互模拟关系,分析了同步通信下编排的可实现性。最后,使用弱互模拟关系,分析了有界异步通信下编排的可实现性。实验结果表明了所提方法的有效性。

林麝小肠和肝的形态学观察

对二头林麝(Moschus berezovkii Flerov)的小肠和肝进行了形态学观察。林麝小肠较短,小肠长度与体长之比明显小于其它反刍动物。林麝的肝明显地分为左、中、右三叶。中叶的尾叶分为尾状突和乳头状突,乳头状突大而明显,尾状突和右叶的背侧有深的肾压迹。尾状突的尖端薄而锐,呈“矛”形,向后延仲。H—E染色组织切片,小肠肠腺基底部未见潘氏细胞。

基于Petri网的业务过程建模

建模业务过程是企业实施大规模编程的核心。分析了业务过程的组成元素,讨论了使用Petri网如何表示业务过程中的开始、结束、任务和路由,并通过一个例子,说明了使用Petri网建模业务过程的直观性和易沟通、理解性。

林麝大肠解剖学及组织学观察

作者对二只林麝的大肠作了大体解剖及组织学观察。大体解剖所见:大肠各段的位置、形态和结构与其它反刍动物基本相似。组织学观察:大肠不同肠段的组织构造表现出一定差异。还观察到大肠各段的淋巴细胞十分稀少,淋巴系统比较薄弱。这可能是林麝肠道防御机制差而多患肠道病的直接原因。

业务过程模型的合理性分析

合理性是业务过程模型满足正确性的最低要求。针对使用工作流网定义的业务过程模型,以Petri网为形式化基础,给出了合理性的形式定义,通过建立合理性和Petri网的活性和有界性的联系,使用工具WoPeD分析了业务过程模型的合理性。

BPMN2.0过程模型的语义和分析

BPMN 2.0已成为了建模业务过程事实上的标准。BPMN 2.0过程模型中建模元素的混用会产生控制流方面的语义错误。首先,建立了BPMN 2.0过程模型到工作流网的映射,并使用Petri网来形式定义过程模型的语义;其次,借助Petri网的分析技术,使用这种定义的语义对BPMN 2.0过程模型进行了合理性分析。实验结果表明,这种形式化可以识别BPMN 2.0过程模型中的语义错误。

Petri网到进程代数的转换

Petri网和进程代数作为Web服务组合和业务过程建模的理论模型,各有优劣。提出了Petri网到进程代数的转换方法,用于把一个Petri网转换为通信进程代数。通过一个例子,说明了本文方法的有效性。

基于Mooc的翻转课堂设计、实践与反思

本文开篇从角色扮演、教学形式、评价方式三个角度阐述了基于MOOC翻转课堂对于传统课堂的影响。基于Robert Talbert 翻转课堂教学模型,提出信息化环境下基于MOOC的翻转课堂教学模式,结合教学实践,实现了知识/技能传递、内化、提升。总结教学效果、反思不足并提出改进措施,以期为其他课程实施翻转课堂提供实践经验。

业务过程模拟研究

业务过程模拟被广泛使用在摘业务过程模型的定量分析中。本文要首先阐述了业务过程模拟的原理;接着,分析了业务过程模拟的输入;然后,给出了业务过程模拟的输出;最后,列举了当前流行的业务过程模拟工具,并着重介绍了在线过程模拟工具BIMP。

时间感知的业务过程管理研究

时间管理是业务过程管理的核心组成部分。本文以时间Petri网为形式化基础,从构建阶段、实例化阶段和运行阶段三个方面,讨论了对业务过程的时间管理,包括:活动的时间约束描述、活动间的时间约束描述、对时间约束的违背检测等。

基于科技入滇的人才培养模式研究

为了在“十四五”时期深入落实科技入滇中“人才落地”情况,促进云南高层次科技人才的培养,助推云南社会经济的发展。本文以科技人才培养为突破口,研究了科技入滇对接、沪滇科技合作、科技招商引资、创新驱动中心建设、科技入楚等系列活动中人才培养的情况,解析科技入滇的云南科技人才培养方式,针对性的提出了人才培养中存在的问题。基于科技入滇升级版-科技人才培养的要求,提出了“十四五”时期科技人才培养的建议;将人才培养与模型研究相结合,提出了构建科技人才培养的新型模式,为培养云南高层次、多种类的科技型人才提供参考。

基于展开的状态空间搜索方法

对于Petri网,与基于可达图的状态空间搜索方法相比,基于展开的状态空间搜索方法不需要考虑并发事件间的所有可能交织,可避免状态空间爆炸问题。通过例子,直观比较可达图和出现网的规模,由此说明基于展开的状态空间搜索不会产生状态空间爆炸。

BPMN 2.0编排在交互契约定义中的应用

定义业务过程间协同的交互契约是跨组织业务过程建模的核心关键问题。对象管理组织提出的业务过程模型和符号BPMN 2.0是业务过程管理领域事实上的工业标准。将BPMN 2.0中的编排应用于定义业务过程间的交互契约,不仅可直观描述交互契约,还可得到众多工具的支持,有利于业务过程间协同的实施。

BPMN 2.0过程编制在业务过程建模中的应用

建模业务过程是企业实施业务过程管理技术的核心。对象管理组织提出的业务过程模型和符号BPMN2.0是业务过程管理领域事实上的工业标准。将BPMN2.0中的过程编制应用于建模组织内的业务过程,不仅可直观,还可得到众多工具的支持,有利于业务过程的实施。

知识图谱在云南省高层次科技人才工作中的应用探析

在云南省“万人计划”等人才引进培养计划以及“科技入滇”等创新机制的支持下,云南省高层次科技人才工作成效显著,积累了大量的科技信息数据。本文分析了将知识图谱技术引入云南省高层次科技人才工作中的可行性,重点探讨了知识图谱技术在云南省高层次科技人才工作中的应用。

协作图在编排定义中的应用

编排从全局视角,描述了业务过程间的交互契约,是实施自上而下式跨组织业务过程建模的关键。协作图具有直观性和简易性。将协作图应用于定义编排,通过直观的方式显示业务过程间交互,有利于业务人员间的沟通和交流,从而提高跨组织业务过程的质量。