退出
我的积分:
中文文献批量获取
外文文献批量获取
田光辉; 吴江; 张德同; 秦宝生;
西北大学信息科学与技术学院;
西安;
710127;
使用控制; 授权模型; 动态描述逻辑; 逻辑模型;
机译:新型水两相系统的液-液相平衡相图:Ucon 50-HB5100 +硫酸铵+水,Ucon 50-HB5100 +聚(乙烯醇)+水,Ucon 50-HB5100 +羟丙基淀粉+水和聚(乙二醇)8000+聚乙烯醇+水
机译:使用时间描述逻辑对静态结构和动态行为进行集成模型检查
机译:基于授权模型使用Pi演算对动态Web服务组合建模
机译:普遍存在系统的基于基于UCON_A的授权策略规范
机译:基于格理论和描述逻辑作用模型的阿尔茨海默氏病患者计划识别模型
机译:再次探讨了医学本体论中的整体推理-将SEP三元组引入基于分类的描述逻辑中。
机译:电网计算的高性能UCON和基于语义授权框架
机译:Ucon r润滑剂50-hb-5100对大鼠进行14周的气溶胶吸入研究 - 联合碳化物公司给Ucon Lubricant 50-hb-5100的客户的一封信。
机译:A u6216B uff08 u5355 u6216 u53cc u03b1 u03bb u03ba u03c9 u03bd u03b1 u03bc u03b9 u03bd u03bf u03bc u03b5 u03b8 u03c5 u03bbc u03bb uff3- u03bf u03c5 u03c4 u03c5 u03c1 u03bf u03bb u03b1 u03b5 u03c4 u03bf u03bd u03b5 u03c2 u548c u4ed6 u4eec u4e00 u6837 u03c4 u1c u03c4 u03c4 u03b4 u03b4 u03c1 u03bf u03c6 u03bf u03c5 u03c1 u03b1 u03bd u03b9 u03ba u03b1 u5206 u522b u6839 u636e u65b0 u03c0 c3 u03c9 u03c9 u03c9 u03b1 u03bd u03bf u03bf u03c4 u03c1 u03bf u03c0 u03b1 u3001 u6297 u03b1 u03bd u03bf u03b9 u03ba u03b1s uff08 u963f u5c14 ucon u09c u9c6 ucon u77c和
机译:基于统一电话地址获取基于Web的硬件和软件的在线状态,身份验证,验证,授权,通信和交易服务的方法和系统,以及数字证书(dc)的组成,发行和管理提供的方法基于DC和公钥基础结构(PKI)的多层DC分配模型和多个帐户访问
机译:通过认证,授权和审计服务器在网络元件上动态配置电路属性的方法,与认证,授权和审计服务器耦合以动态配置电路属性的网络元件以及通过网络在网络元件中动态配置电路属性的系统认证,授权和审核
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。