课程文献中心 更多>>

关键词： 智能合约   公平性   SPIN工具   LTL公式   垄断  

摘要： 智能合约是区块链技术的重要应用，在数字经济中发挥着重要作用。智能合约本质上是程序代码，相关部门的监管较少，难以保证完全合法合规，可能会扰乱市场秩序，造成经济损失，一旦出现垄断行为会影响市场公平性和效率，进而损害用户权益。为此，以监测垄断行为出发点，提出一种基于形式化验证的智能合约垄断行为检测方法。首先，采用线性时序逻辑（LTL）表示法，将垄断中涉及的平等性、公正性属性形式化为相应公式；其次，将待检测的智能合约进行建模，利用SPIN工具验证智能合约是否满足定义的两种属性，以分析其是否违反了公平性属性。实验表明，该方法能较好地检测智能合约中的垄断行为，为智能合约的设计和审计提供了新思路。

关键词： 乳腺癌筛查   选择偏好   门诊患者   上海  

摘要： 目的:分析上海市某区妇科门诊患者乳腺癌筛查选择偏好,为提高患者乳腺癌筛查依从性提供参考。方法:基于离散选择实验,确定乳腺癌筛查时间间隔、筛查地点、筛查疼痛感、医生性别、筛查漏诊率、筛查误诊率、筛查自付费用7个属性,采用部分析因设计方法设计问卷。于2023年8月-2024年3月抽取上海市某区4家医院妇科门诊患者进行问卷调查,采用Stata 17.0进行混合logit模型、支付意愿、相对重要性分析。结果:上海市某区妇科门诊患者更偏好自付费用低(β=-0.005)、筛查时间间隔短(β=0.738)、公立医院(β=2.633)、筛查医生为女医生(β=1.728)、漏诊率(β=0.466)及误诊率较低(β=1.019)的乳腺癌筛查方案,筛查疼痛感对方案选择的影响没有意义;筛查属性的改变对方案选择的边际效应有不同程度的影响。结论:筛查地点、筛查自付费用、筛查医生性别是上海市某区妇科门诊患者较为关注的乳腺癌筛查属性,筛查时间间隔、筛查漏诊率、筛查误诊率也是影响筛查方案选择的因素。应做到公立医院与基层医疗卫生机构的乳腺癌筛查项目同步发展,加强乳腺癌筛查知识的宣传教育,增强居民的自我健康意识。

关键词： 网络事件重提   集体记忆   信息扩散   记忆量化   社交媒体  

摘要： [目的/意义]通过探究数字时代网络事件重提如何触发和塑造公众记忆,旨在揭示社交媒体如何作为一个动态互动平台参与记忆的再现、传播和演变,为理解事件网络重提的公众记忆特征和信息传播机制提供新视角。[方法/过程]构建记忆强度、广度、速度和偏好的量化指标,采用计算模型分析网络事件重提情景下公众记忆的演变规律,并结合实际案例对384510条社交媒体数据进行深入分析。[结果/结论]刺激事件显著触发了公众对原始事件的记忆回溯和情感共鸣,且不同类型的事件对记忆强度、广度和速度具有不同的影响;公众记忆偏好揭示了记忆重构过程中的主题敏感性和情感倾向。网络事件重提不仅促进了记忆的再现和交流,而且重塑了公众对过去事件的认知和情感。研究结果进一步深化了对数字时代集体记忆构建过程的理解,并提供了从事件簇的视角预测公众记忆动态的方法,以公众记忆连接为线索捕捉网络事件信息间断性传播规律,为优化网络事件信息应急管理提供了策略参考。

关键词： 城市治理现代化   社会治理体系   志愿服务供给体系   精准高效  

摘要： 中共中央办公厅、国务院办公厅印发的《关于健全新时代志愿服务体系的意见》强调,健全精准高效的志愿服务供给体系。这既体现了志愿服务供给体系与社会治理体系的紧密联结,又赋予其在社会治理体系建设中的全新历史使命。习近平总书记视察天津时指出,“提高城市治理现代化水平是建设现代化大都市的重大任务”,健全精准高效的志愿服务供给体系作为提高城市治理现代化水平的重要内容。

关键词： 民族预科教育   发展历程   实践经验   优化策略  

摘要： 民族预科教育在70多年的发展过程中形成了多元培养模式：从民族院校集中培养、高等院校分散培养到预科基地集中办学、重点院校自主培养。文章以S大学的民族预科生培养实践为研究案例，分析面对不同培养模式和要求，院校如何调整人才培养机制，应对管理体制、教学模式、课程设置等方面的困境：正视差距，充分认识少数民族学生群体的水平差距和学习困难；分类施策，针对高校民族预科生生源特点选择不同的培养模式；推动教改，预科课程设置与预科生课程教育改革双管齐下。