无法验证信息披露有助于获得众筹项目投资者青睐吗?

在众筹平台的项目介绍中,项目发起者会增加许多无法验证真伪的信息,以获得投资者的青睐。使用众筹网863个众筹项目的数据,通过实证分析表明:不可验证信息含量越多,越不利于项目发起者获得投资者的资金支持,越不利于吸引更多的投资者进行投资;不可验证信息整体上对人均投资额度影响不是非常显著。基于Tobit模型的稳健性检验也得出了一致的结论。说明不可验证信息不利于众筹平台项目发起者获得投资者青睐。

寄存器传输级硬件设计信息流建模与安全验证

近年来,已有大量研究证明信息流分析能够有效地对设计安全属性与安全行为进行建模。然而,现有的门级抽象层次的信息流分析方法往往受制于算力和验证效力等因素难以应对大规模设计,而RTL抽象层次的信息流分析方法需借助类型系统等形式化语言对硬件设计进行重新描述。因此,提出了一种寄存器传输级硬件设计信息流建模与安全验证方法。该方法在寄存器传输级功能模型的基础上构建附加安全属性的信息流跟踪逻辑模型,从信息流角度建模设计安全行为和安全属性,并利用EDA测试验证工具,以无干扰为策略捕捉违反安全策略的有害信息流,检测硬件设计安全漏洞。以Trust-Hub硬件木马测试集为测试对象的实验结果表明:所提方法能够有效检测设计内潜藏的硬件木马。

社交媒体用户虚假信息验证行为影响模型实证研究

以社交媒体虚假信息为研究对象,本文分析影响用户信息验证行为的因素及路径,以帮助用户更好地规避网络虚假信息,实现网络空间的自净化。在精细加工可能性模型(ELM)的基础上,采用问卷调查和结构方程模型构建社交媒体用户虚假信息验证行为影响模型,并对影响用户信息验证行为的各因素进行实证分析。研究结果显示,中枢路径中的信息仿真度、信息主题热度和边缘路径中的平台信任度是影响用户情感反应的关键因素,而中枢路径中的信息相关性、信息主题热度和边缘路径中的媒介丰富度是影响用户风险认知的关键因素;情感反应和风险认知对用户信息验证行为具有显著的影响作用,是信息验证行为的关键影响因素。本研究可为社交媒体平台管理和用户虚假信息防范提供参考。

大型信息系统试点验证的必要性分析与验证方法探析——以烟叶一体化平台为例

烟叶一体化平台是贯彻落实烟草行业一体化战略的重要组成部分,是近两年烟叶信息化工作的重点。烟叶一体化平台主要以烟叶物流“两打八扫”为主线流程,建设行业统一的烟叶计划物流管控系统,从而打通烟农、商业企业、复烤企业、工业企业全产业链条,促进烟叶领域各生产要素的互联互通,通过信息资源的有效整合,实现烟叶供需协调平衡、供给优质高效、产业融合发展,进而推动烟叶产业数字化转型升级。文章对大型信息系统试点验证的必要性与验证方法进行了分析,指出为提高烟叶一体化平台的实用高效性与安全可控性,有必要从关键业务、硬件设备、关键技术等方面进行先行试点验证,全面理顺“两打八扫”各环节业务、设备与技术要求,为烟叶一体化平台的设计开发、技术选型及后续应用奠定基础。

基于有色Petri网的催化裂化分馏系统信息安全验证

催化裂化分馏系统智能化转型的同时也面临更大的信息安全威胁,而信息安全验证聚焦网络攻击下系统的安全性能研究,能降低系统的安全风险。根据系统的安全需求提出一种融合系统理论过程分析和有色Petri网的安全验证分析框架。首先通过系统理论过程分析提取完备的安全约束;然后基于有色Petri网构建逻辑与行为精准的安全验证模型;最后,以简化系统为对象进行安全验证。实验结果证明了所提框架能有效验证安全约束触发行为与系统安全性能之间的潜在关联。

时间距离对于验证性信息加工的影响

研究基于解释水平理论考察时间距离对于验证性信息加工的影响,即在个体和组织决策情境中,人们倾向于偏好选择和高估与自身观点和决策相一致的信息,而不是非一致性信息。通过4个情境决策实验,研究结果一致表明近期决策会提高信息搜寻和评估中的验证偏差,而远期决策会降低它们的验证偏差,知觉到的决策确定性在其中起到部分中介作用(实验1b)。解释水平(实验2)和期许性/可行性表征(实验3)分别在时间距离对验证性信息加工的影响中起到调节作用,结果依次表明在低解释水平(高可行性—低期许性特征)条件下,时间距离与验证性信息加工的负相关关系会得到显著增强,而在高解释水平(高期许性—低可行性特征)条件下,时间距离与验证性信息加工的负相关关系会得到显著降低。

模型驱动的安全关键系统重配置信息验证方法

近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素(包括模块、分区、内存、进程、通信等)到MARTE模型元素的语义映射规则,设计了基于模型驱动架构的系统配置信息模型转换的方法,并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后,通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。

动机还是认知:验证性信息搜寻的心理机制

验证性信息搜寻是社会心理学中的一个经典研究问题。可以从传统动机、认知、动机和认知相结合等三方面考察验证性信息搜寻的心理解释机制。传统动机取向的解释机制主要围绕防御性动机展开,受防御动机驱动的信息搜寻者会主动搜寻支持性信息,回避冲突性信息,并且对支持性信息进行更加深入和积极的阐释。认知取向的解释机制将动机性推理理论的不同加工目标观点与认知加工类型观点整合起来,提出"加工数量"假设,强调不一致性信息比一致性信息引发更强烈的认知分析,达到与偏好不一致的判断结论比与偏好一致的判断结论需要更多的信息,这种认知加工上的不对称性数量导致个体对不一致性信息比一致性信息更加批判性地对待。动机和认知相结合取向的解释机制认为,准确性动机并非像传统防御性动机那样表现出较为独立的因素,而总是与认知因素结合在一起,决策一致性信息主观上被认为具有性质上的优势,在搜寻过程中更加系统性地偏好一致性信息。

越可信越验证:移动端用户验证信息的动因探究

近年来,移动端假信息及其成因引起了传播学者的关注和思考。本研究引入"认知需求",构建一个手机用户信息验证需求的动因模型。路径分析结果显示:(1)对低教育程度者,认知需求是影响用户验证信息的因素之一;而对高教育程度者,信息可信度是影响用户验证信息的单一因素。(2)影响信息可信度的因素在不同教育程度用户中不同。(3)评价假信息负面影响存在第三人效应。本研究有助于理解手机用户验证信息的趋势;并为培养网民的认知需求和媒介素养,提高社会信任解决路径提供了最新的实证依据。

电力系统信息安全验证平台中广域网仿真方法

针对利用广域网技术连接电力系统各个站点形成统一的调度监控网,实际网络搭建后其架构具有难以更改,相关参数配置、调试等极大的工程难度,存在着电力广域网信息安全防护措施难以得到测试验证的诸多问题。文中提出一种在电力系统信息安全验证平台上基于OPNET的广域网仿真方法。简要阐述了OPNET仿真机制、建模方法以及仿真中的关键技术;利用OPNET广域网仿真软件搭建了一套电力系统广域网仿真场景。通过网络性能评估、协议兼容性验证、网络攻防试验,验证了该方法的可行性。

信息验证成本与P2P三方担保合约:一个比较金融组织的分析

在揭示信用的合约意涵的经济史分析基础上,本文通过构建一个考虑三阶交易成本的比较金融组织分析框架,将P2P合约选择的差异性问题归因于信息验证成本因素。主要研究结论如下:第一,基于中国相对薄弱的征信基础设施,为满足投资者的参与约束条件,平台不仅要生产出较多的信息量,还必须解决其可置信问题。第二,P2P合约包括投资者验证与专业机构验证两种类型,后者在平台生产信息量较高的情形下具有成本优势。以三方担保形式出现的专业机构验证型P2P合约,不仅具有本土化创新的理论含义,也很可能是趋向纯信息中介模式过程中的过渡形态。第三,理论与数值模拟分析表明,随着经营实践的展开,平台很可能会以市场自发的方式逐步实现"去担保化"。

审计的本质是信息验证系统

一、有关审计本质的几种不同观点及其评价 对审计本质的认识审计界一直存有不同的观点,其中有些观点随着人们对审计认识的加深,已逐步被人们所抛弃,到目前为止,有关审计的本质已逐渐形成了两大观点,即监督和鉴证。笔者认为不管是以监督还是以鉴证作为审计的本质都是不恰当的。 (一)监督和鉴证均是审计职能的具体表现,为分析的方便,这是暂且认为监督是审计的一项职能,以审计所具有的某一具体职能作为审计的本质是不正确的。我们知道会计具有核算和监督两个基本职能,但从未把会计的本质定义为监督或核算。虽然关于会计本质有不同的观点,但从会计的运作过程和会计的目的看,会计的本质是信息加工系统。职能是一事物在特定环境中所具有的特定功能,它是一事物能够满足客观环境需求的能力的外在表现。在特定的环境中,它是不以人们的主观意志为转移的,人们可以充分利用它,但不能任意地改变它。只要决定这一事物职能的客观环境保持不变。

购物订单数据库信息验证

针对网上购物时用户订单的在线修改与后台订单付货之间可能出现交叉操作,产生异常情况的问题,提出了数据库信息验证的方法,有效地解决了这一问题。

基于专利信息挖掘与验证的五味子安神用药规律研究

目的:对五味子专利文献进行技术信息挖掘,并统计分析具有安神功效的遣药配伍规律,对相关研究结果进行信息验证,以期为五味子的药食效用开发及专利审查提供参考。方法:通过智慧芽专利数据库检索五味子相关有效专利信息,经过人工去噪、筛选确定分析数据样本,利用中医药传承计算平台软件进行聚类分析,形成用药频次、对药、角药及核心遣药配伍组成等规律结果,并参照国家药品标准、上市产品实证及科技文献等对结果进行验证。结果:在五味子安神功效的专利信息分析中发现,对药组合五味子-酸枣仁的频次最高,角药组合五味子-酸枣仁-远志的频次最高,五味子-酸枣仁-丹参-地黄为五味子发挥安神功效拟合的最优组方;在百乐眠胶囊、枣仁安神胶囊等上市中成药的组成配伍信息验证中,五味子组方配伍发挥安神功效拟合新组方是五味子-酸枣仁-丹参-地黄,这一结果与药品标准、上市产品及科技文献等综合信息的系统性验证完全一致。结论:基于有效专利信息拟合的五味子遣药配伍规律能够为该药材的开发利用及专利性审查提供参考,为加强中医药专利信息的挖掘和运用提供路径。

金融机构信息管理系统年度信息验证问题及建议

金融机构信息管理系统是人民银行依据《金融机构编码规范》开发，提供注册、维护、查询和统计金融业机构相关信息的应用系统。为规范和加强金融业机构信息管理工作，确保金融业机构相关信息在金融机构信息管理系统中的准确和完整，人民银行定期组织金融机构开展信息核对和验证工作（见图1）。金融机构信息管理系统信息验证是一项年度性、常规性工作，通过集中的信息核对、治理和整改，对保证金融机构信息数据质量起到了重要作用。人民银行徐州市中心支行在2013年度金融机构信息验证工作中，对存在的问题进行了分析，并提出了相关建议。

基于TrustZone的TEE设计与信息流形式化验证

基于可信硬件构建安全关键应用的可信执行环境(TEE),是嵌入式安全领域的一个研究热点。虽然底层硬件可信,但TEE软件仍可能因错误使用硬件指令或存在其他安全漏洞而导致机密信息泄露。该文基于ARM TrustZone技术提出了多层次的TEE架构,并建立了安全通信通道,用户层可信应用不能直接访问非可信环境的软硬件资源,只能通过内核层的安全通信通道API与外界通信,因此整个TEE的信息流不再受用户层影响。该文进一步提出了TEE形式化模型(TEEFM),借助Coq辅助证明器验证了TEE信息流无干扰性并证明了TEE安全监控模块不存在整型溢出、程序返回地址异常等资源边界类软件漏洞,以此保证了TEE的自身安全性。

社交媒体环境下大学生虚假信息甄别行为研究

[目的/意义]社交媒体环境下虚假信息的传播速度更快、范围更广、特征更加复杂,因此仅从其特征识别视角开展虚假信息治理的难度较大。聚焦用户视角探索大学生虚假信息甄别行为,可以为激励用户参与网络空间治理提供帮助。[方法/过程]综合采用小规模实验、自我报告与扎根理论探索大学生对社交媒体虚假信息的甄别过程并构建理论模型。[结果/结论]大学生受兴趣爱好、社会责任等内外部因素驱动而产生多维信息评价、原始信息溯源、多源交叉验证等甄别行为活动,同时甄别过程也伴随着内在情感与认知的动态演化。

可验证的(n,n)门限量子秘密共享方案

基于中国剩余定理和Bell态,构造了一种可验证的秘密共享方案。在分发阶段,分发者Alice通过量子信道将秘密份额分发给参与者。在恢复阶段,Alice产生一个2 bit的Bell态,参与者与Alice对该Bell态进行一系列酉变换以重构秘密信息。分析结果表明,该方案能抵抗截获-重发攻击、纠缠-测量攻击、参与者攻击和特洛伊木马攻击。

降低信息验证门槛,提升社会防诈骗力度

9月是各大高校的开学季,备受社会关注的＂徐玉玉案＂,随着2017年9月15日山东省高级人民院驳回陈文辉、黄进春、陈宝生上诉,维持原判的刑事裁定书的宣布,尘埃落定。该案充分暴露出通过非法获取个人信息实施定向网络诈骗犯罪活动的猖獗,也显示了国家严厉打击诈骗犯罪活动的决心和力度。近年来,通过电话、短信息、微信、邮件等网络方式实施远程诈骗的活动禁而不绝,花样翻新,而且还有愈演愈烈的趋势,

防假冒网上银行有新招工行率先推出网银“预留信息验证”服务

近日，为帮助客户有效识别假冒银行网站，中国工商银行在国内率先推出了网上银行“预留信息验证”服务。工行电子银行部负责人称，这项服务是该行新推出的一系列保障网上银行安全的措施之一，可有效避免因向假银行网站或网页输入账号、密码等敏感信息而导致的客户资金损失，对不法分子利用假银行网站进行网上诈骗活动将起到有效的防范作用。