小龙咖啡馆

由“《牧场物语》系列”之父和田康宏与Marvelous打造的《小龙咖啡馆》,和《牧场物语》一样,依然以模拟经营和清新治愈风格为卖点,人设更悬请来了长年担任《牧场物语》角色设计的キコヴくけ,在久久未有《牧场物语》新作的当下,喜欢经营类风格的玩家们对本作可以说抱有不小的期待。     

基于聚类分析的业务流程模型抽象

业务流程模型抽象的一个最突出的用例是对包含大量元素的业务流程细节模型进行“简要视图”的构造,以便对流程进行快速理解。很多学者对流程抽象方法进行了研究,提出根据行为的语义相似性对行为进行聚合,其中多数研究基于k-means聚类分析,即根据事先指定的抽象行为个数对行为进行聚类,在将行为聚合到某一个行为簇时,选择距离该行为簇的图心最近的行为。但实际上,抽象行为(子流程)个数是一个未知的量,哪些行为属于同一个子流程往往取决于建模者的经验和抽象习惯,而且在聚合时,若行为从业务意义角度或建模者的抽象习惯角度并不属于该子流程,则合并往往会产生抽象错误。因此,引入虚拟文档表示行为和流程模型,以消除固定属性作为表示行为的向量空间维度带来的约束。并且设计算法从大量包含人工设计子流程的真实的业务流程模型库中获取行为与所在子流程的距离阈值,利用该阈值指导生成可能获得的抽象行为个数k。以k为参数对流程模型进行行为聚类,在聚类过程中,进一步利用距离阈值对聚合行为进行限制。对真实的流程模型库进行实验分析,结果表明提出的行为聚类方法更加接近人工设计的抽象结果。     

不完备离散事件系统的可诊断性

在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模型完备.用经典的双树方法判断离线可诊断性,根据观测序列的时序及语言的前缀判断并处理不完备行为.提出判定不完备行为的方法,向模型中添加不完备行为,并根据不完备行为增量地在双树中判定在线可诊断性.通过在线的可诊断性判定,当前系统能够得到在有限观测内唯一判定故障发生与否的结论.该方法适用于具有离散性质的系统.     

半扩展规则下分解的定理证明方法

基于扩展规则的定理证明方法在一定意义上是与归结原理对偶的方法,通过子句集能否推导出所有极大项来判定可满足性.IER(improved extension rule)算法是不完备的算法,在判定子句集子空间不可满足时,并不能判定子句集的满足性,算法还需重新调用ER(extension rule)算法,降低了算法的求解效率.通过对子句集的极大项空间的研究,给出了子句集的极大项空间分解后子空间的求解方法.通过对扩展规则的研究,给出了极大项部分空间可满足性判定方法PSER(partial semi-extension rule).在IER算法判定子空间不可满足时,可以调用PSER算法判定子空间对应的补空间的可满足性,从而得到子句集的可满足性,避免了不能判定极大项子空间可满足性时需重新调用ER算法的缺点,使得IER算法更完备.在此基础上,还提出DPSER(degree partial semi-extension rule)定理证明方法.实验结果表明:所提出的DPSER和IPSER的执行效率较基于归结的有向归结算法DR、IER及NER算法有明显的提高.     

形式化智能世界的建模过程

各种网络化实体或智能实体的嵌入将物理世界转变为智能世界,增加了基于物理世界统一抽象模型的推理复杂性.基于Saitta和Zucker定义的知识重构与抽象模型,提出一种新的表示智能世界的方法.通过感知重构过程,根据构成实体之间的通信关系自动构建3个可区分的、相互关联的子模型,即物理世界、网络化世界和虚拟世界,3个子模型之间的关系构成了智能世界的一个集成化模型.着重介绍了感知重构过程的形式化表示和推理机制.实际搭建的智能世界设计诊断推理实验表明,与基于知识重构和抽象一般物理世界模型相比,基于提出的智能世界模型的推理过程可以将系统故障限制在一个子模型中,从而较大程度地缩小了诊断的搜索空间.     

锁相环解调Chirp-UWB通信系统仿真研究

在通信系统优化的研究中,通信系统的质量优劣主要取决于接收机的性能。设计结构简单,复杂度低,可靠性高的Chirp-UWB接收机一直是系统实现的重点和难点。针对匹配滤波接收机解调Chirp-UWB系统成本高、灵活性不好等问题,设计了锁相环解调的Chirp-UWB接收机方案,调整锁相环参数使其工作在载波跟踪状态是方案的核心内容。研究了系统结构原理、各部分电路设计,通过Simulink软件进行建模和仿真,并对接收机系统进行性能分析。同时利用锁相环解调方案对发射机部分进行了进一步改进。从系统结构,误码率等方面将锁相环解调系统与匹配滤波解调系统进行了分析比较。仿真结果表明,改进锁相环解调Chirp-UWB系统电路成本低,灵活性好,抗干扰能力强,传输可靠性高。     

极小碰集求解算法的性能分析与比较

基于模型的诊断为人工智能领域中一个重要的研究分支,极小碰集即候选诊断的求解过程极大影响最终的诊断效率.本文关注当前主要的极小碰集求解算法,简要介绍了它们的基本思想,从算法描述和实例比较了它们的异同和复杂性,并设计实现了一个统一的实验平台,测试并比较了它们的实际执行效率,为实际选择合适的算法提供了重要参考依据.     

基于核化双线性卷积网络的细粒度图像分类

双线性卷积网络（Bilinear CNN,B-CNN）在计算机视觉任务中有着广泛的应用.B-CNN通过对卷积层输出的特征进行外积操作,能够建模不同通道之间的线性相关,从而增强了卷积网络的表达能力.由于没有考虑特征图中通道之间的非线性关系,该方法无法充分利用通道之间所蕴含的更丰富信息.为了解决这一不足,本文提出了一种核化的双线性卷积网络,通过使用核函数的方式有效地建模特征图中通道之间的非线性关系,进一步增强卷积网络的表达能力.本文在三个常用的细粒度数据库CUB-200-2011、FGVC-Aircraft以及Cars上对本文方法进行了验证,实验表明本文方法在三个数据库上均优于同类方法.     

曲线立面高空悬挑型钢施工技术

重庆来福士广场项目塔楼外立面呈曲线造型,在彰显艺术感的同时,也给结构施工带来了一定的难度。为此,结合工程特点,采用曲线立面高空悬挑型钢施工技术,成功地解决了水平结构随斜柱每层往外扩展的施工难题,切实保障了施工过程中操作人员的安全,同时也保证了结构施工质量。实践证明,该技术具有成熟可靠、操作性强等特点,为今后类似工程施工积累了经验和借鉴。     

3-溴-5-氯水杨醛缩间苯二胺的热氧降解过程及动力学研究

以3-溴-5-氯水杨醛和间苯二胺为原料,通过缩合反应生成一种新的席夫碱BCMP,用紫外-可见光谱、红外光谱、核磁共振等对化合物的结构进行表征。同时采用TG/DTG联用技术,分别测定了BCMP在5、10、15、20 K/min不同升温速率下的热氧降解曲线。通过单扫描速率法和多重扫描速率法相结合的方法,确定其最可几的机理函数,计算反应的活化能。