暂无评论
设计一种结构将多个独立的Web应用集成为一个整体，使用户仅需一次登录即可完成在所有应用下的认证，实现各应用间的自由转换。结合Resin容器自身的认证授权机制，通过设计实现Resin下Authentic
为解决企业异构数据的共享问题, 提出利用本体模型和描述逻辑对元数据进行形式化的方法, 通过形式化元数据交互实现异构数据的共享。以大型单件小批制造企业为研究对象, 首先对物资管理领域数据模型进行分析,
数字权利的动态描述一直都是DRM应用系统研究的热点。提出了一种基于逻辑证书的数字权利的动态描述模型。在定义好相关的逻辑证书和逻辑规则后，利用逻辑推理的方法深入探讨和分析该模型中数字证书逻辑推理过程，通
行为时序逻辑(TLA)组合时序逻辑与行为逻辑, 可以对并发系统进行描述与验证, 它引入动作和行为的概念, 使得系统和属性可用它的规约公式表示, 但存在用TLA描述复杂系统时TLA公式复杂且难以理解的不
提出一种基于时序逻辑公式的关键节点控制图生成方法,生成的测试用例针对性强,容易扩展;并以该方法改进了一种编译优化自动化测试工具,在很大程度上消除了其测试冗余,提高了测试效率。
目前常用梯形图转语句表方法有拓扑排序、二叉树、广义表、串并联归并等，但在梯形图编辑软件中难于直接同图形编辑的描述对应起来，编程难度也较大。为解决这些问题，提出了一种等效网络合并方法，采用一个矩阵和相关
为了表示和处理AUV（AutonomousUnderwaterVehicle，自治水下机器人）的心智状态及心智活动，对Rao和Georgeff的BDI逻辑进行了拓展，定义了一种含模态词（信念、目标、能
一种新的多特性仿生统一神经元模型，吕进，郭晨，总结和归纳出了目前生物医学界和工程科学界普遍认可的生物神经元的十二大基本特性，并以此为基础提出了一种新的、更为全面反映生
数电时序逻辑电路时序逻辑电路数字逻辑电路可分为两大类：组合逻辑电路和时序逻辑电路。组合电路的输出仅由当前输入决定。时序电路是指它的输出不仅取决于当前输入，而且也取决于过去的输入序列，也就是说，过去输入
论文研究-基于混合核函数SVM水文时序模型及其应用.pdf, 核函数的选取与构造是SVM应用的关键所在.传统SVM在水文时序分析方面的应用多是默认选取单一径向基核函数，而忽略了核函数的选择对模型精度和
暂无评论