Results 71 to 80 of about 713 (143)
大数据在社会全面数字化的时代，政府的智能化趋势不可阻挡。在技术与数据的协同作用下，我国数字政府建设呈现电子化、网络化和智能化的发展趋势。数据是数字政府建设的核心资源，建设智能化数字政府必然要求充分发挥数据的价值。数据赋能推动数字政府建设的逻辑如下：数据赋能政府的开放性运行；数据赋能政府的整体性运行；数据赋能政府的协同性运行；数据赋能政府的科学性运行。通过数据赋能推动数字政府建设的具体路径要求：以数字政府的整体性运行为基础保障数据的开放共享；以数字政府的协同性运行为基础保障数据的统一与管理 ...
王蕤, 刘震
doaj +1 more source
, 1996 由给定的多值逻辑系统中的一组公式，．．．，，出发，构造出了一组有理数域上的多项式ＰＳ，使得是，．．．，的逻辑结论，当且仅当ＰＳ定义的代数簇为空集，当且仅当ＰＳ生成的理想是平凡理想．从而，利用特征列方法和Ｇｒｏｅｂｎｅｒ基方法，给出了判定是否 ...
吴尽昭
core
APPLICATION OF WU'S METHOD TO MULTI-VALUED MODEL CHECKING
, 2008 大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.国家973计划“数学机械化及其在信息技术中的应用”(2004CB318000);“需求工程 ...
吴尽昭, 赵林
core
不同增重性能大黄鱼
Haiyang yu huzhao分析影响大黄鱼幼鱼同生群内速生子群和普通子群体质量的体尺形态性状组合差异，进而解构导致两者间增重机制差异的内在逻辑，对于指导大黄鱼幼鱼速生种质发掘与选育具重要价值。于象山西沪港海域，随机取样经板式网箱养殖3个月的3 000尾大黄鱼同生群幼鱼并全数称量后，按体质量大小筛得速生子群[体质量取值居于前5%, 范围(3.01~4.81 g), 记为FG]和普通子群[体质量取值居中, 出现率50%, 范围(1.61~2.33) g, 记为CG]。随机取FG和CG子群各30尾，逐尾测得体质量(BW)、体长(X1 ...
齐 琦 +6 more
doaj +1 more source
Huli yanjiu, 1993 护理工作者要把自己多年的工作经验及科研成果在同行中交流公布于世,必须以医学论文的方式撰写,一篇护理专业的论文除了要具备护理实践的素材之外,还要把原始的素材加以归纳整理,统计分析,逻辑推理,得出科学论据,使某一问题得到阐明。 1 护理专业论文的分类及要求 1.1 分类 护理专业论文分为原始护理报告和文献综述两种。 1.2 要求 1.2.1 科学性 实验数据和护理记录必须准确可靠,不能任意取舍和自造数据。 1.2.2 先进性 新发现,新发明,前人没有提到的经验。 1.2.3 实践性 实践经验 ...
刘德文, 杨晓卫
doaj
浙江大学学报. 医学版目的分析生物学衰老标志物表型年龄和表型年龄加速与心脏瓣膜病的关联性。方法从英国生物库2006—2010年纳入的人群中筛选符合纳排标准的研究对象。计算表型年龄和表型年龄加速，运用Cox多因素分析探究表型年龄和表型年龄加速是否是心脏瓣膜病的独立危险因素，并采用剔除缺失值和亚组分析的方法进行敏感性分析。通过受试者操作特征（ROC）曲线比较表型年龄、表型年龄加速对心脏瓣膜病的预测准确性，并绘制基于逻辑回归的临床决策曲线。结果本研究共纳入411 687名参与者，其中患有心脏瓣膜病14 258例（中位随访时间12 ...
刘 湘婧 +5 more
doaj +1 more source
, 1988 近来,朱梧槚、肖奚安等同志发表了一个称为“中介逻辑”的形式命题逻辑系统MP(见文献[1,2]及其所附参考文献),引起了国内一些学者与青年学生的注意。朱、肖等同志在系统内做了大量的形式推演而迄今未能给出系统的语义,并就此认定他们的中介逻辑“与通常的三值逻辑或任何多值逻辑系统是不同的”,是“精确性经典数学和未来的 ...
李广元, 李祥
core
, 2007 西方知识观正经历从近现代追求知识的客观必然性、整体性与绝对性,到后现代张扬知识的"游戏"性、意义的可解释性与多样性的变化。后现代知识观是一种人文思维的逻辑,它与量子力学的测不准原理、逻辑学中的"多值逻辑"以及科学解释理论中的转向有其一致性。这显示出人类认识发展的一种趋向,即从对"一"(整体性)的认识,进入到对"多"(差异性)的认识。Concept of knowledge in the West is changing from the modern one pursuing the objective
陈嘉明
core
Zhongguo shiyan zhenduanxue目的 探讨基于常规多参数MRI影像组学模型术前预测脑膜瘤的Ki67表达状态的价值。方法 回顾性分析吉林大学中日联谊医院2013年3月至2021年11月305例经术后病理结果确诊为脑膜瘤患者的资料。获取所有患者术前轴位T1WI、T2WI、T2-FLAIR及T1WI增强(T1C)图像，手动标注肿瘤实质区作为感兴趣区(EnHROI),并将病灶边缘向周围膨胀3 mm、5 mm分别得到EnH3mmROI、EnH5mmROI。对图像进行灰度归一化后提取影像组学特征，并使用相关系数法与最小绝对收缩和选择算子 ...
温艳鲁 +7 more
doaj
[The Relationship Between Serum Very Long-chain Saturated Fatty Acids and Chronic Kidney Disease]. [PDF]
Sichuan Da Xue Xue Bao Yi Xue BanLiu K, Wang Y, Wang L.
europepmc +1 more source