-
题名智能化住宅防盗防火报警系统设计
被引量：30
- 1
-
-
作者
王芳
马幼军
蒋国平
-
机构
大连理工大学电子工程系
-
出处
《传感器技术》
CSCD
北大核心
2002年第10期25-27,33,共4页
-
文摘
介绍了一种住宅用智能报警器 ,它集防火防盗功能于一体 ,可实现自动检测与自动电话拨号报警。红外探测器及微波探测器实现盗情报警 ,温度探测器、光电感烟探测器和一氧化碳探测器集为一体 ,构成的复合式火灾探测器可完成火灾报警 ,多传感器的应用实现了低误报率 ,增强了系统可靠性。着重给出系统各部分实用电路原理图。
-
关键词
智能化住宅
防盗
防火
报警系统
-
Keywords
theft-proof
fireproof
alarm system
intelligent
-
分类号
TP277
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名一种面向软件工程的时序逻辑语言
被引量：15
- 2
-
-
作者
唐稚松
赵琛
-
机构
中国科学院软件研究所
-
出处
《软件学报》
EI
CSCD
北大核心
1994年第12期1-16,共16页
-
基金
国家自然科学基金
电子工业部与863计划资助
-
文摘
ＸＹＺ系统由时序逻辑语言ＸＹＺ／Ｅ及一组基于该语言的ＣＡＳＥ工具集组成．ＸＹＺ／Ｅ语言的目的是欲使逐步求精，描述及验证、快速原型等一些软件工程方法更加有效．特别地，它还能表示实时通信进程中的动态成分．在统一的框架下，不仅能表示不同层次的抽象描述，而且能表示普通高级语言的各种重要性质．本文是关于这一时序逻辑语言最新、最完整的介绍．
-
关键词
软件工程
时序逻辑语言
CASE
-
Keywords
Temporal logic language, first order logic, specification, verification, proof rules, Hoars-logic, state-transition, transformation, concurrency, communicating process, real time, distributed system, channels, dynamic binding, synchronization, parallel st
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名论民事推定证据制度的完善
被引量：9
- 3
-
-
作者
陈朝阳
-
机构
厦门市中级人民法院
-
出处
《现代法学》
CSSCI
北大核心
1999年第6期107-110,共4页
-
文摘
民事推定是“谁主张谁举证”这一基本证据制度的补充，其实质是法官自由裁量权的重要内容，它免除了原告对推定事实的举证责任。国外法学对推定的研究比较成熟，而我国虽然有些立法推定，但是法学理论界未能深入探讨，导致司法审判实践的混乱。本文审视了当今民事推定的发展趋势，揭示了我国民事推定证据制度存在的问题后，对民事推定的基本概念、法律意义、法哲学基础、构成要件及其适用作全面的分析、归纳，并提出自己尝试性的观点，以期进一步完善我国的证据制度，推动民事经济审判中证据制度的改革走向深入。
-
关键词
推定
证据
制度
-
Keywords
presumption
proof
system
-
分类号
D925.1
[政治法律—诉讼法学]
-
-
题名家庭智能化防火防盗报警系统设计
被引量：12
- 4
-
-
作者
曾志辉
吕辉
李寅
车佳佳
-
机构
河南理工大学电气工程与自动化学院
-
出处
《河南理工大学学报（自然科学版）》
CAS
2009年第2期207-210,共4页
-
基金
河南省科技攻关项目(0624460012)
-
文摘
针对目前家用防火防盗报警系统现状以及所存在的问题,介绍一种基于公用电话网的家庭智能防火防盗报警系统.系统采用烟雾传感器、温度传感器、远红外线传感器、微波传感器和一氧化碳探测器集作为检测元件,以单片机作为控制核心,利用DTMF信号收发芯片、集成语音芯片等完成智能报警功能.多传感器的综合使用实现了低误报率,增强了系统的可靠性.
-
关键词
防火
防盗
传感器
报警系统
-
Keywords
fireproof
theft-proof
sensor
alarm system
-
分类号
TP277
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名高职教育大学数学课程内容设置的思考
被引量：9
- 5
-
-
作者
李广全
-
机构
天津机电职业技术学院
-
出处
《天津成人高等学校联合学报》
2004年第2期47-49,共3页
-
文摘
高职教育大学数学的课程内容设置要体现高职教育的特点。内容设置要体现改造课程体系、精化理论、优化组合、突出应用性、加强"数学建模"等原则。要采用"模块化的课程体系"来设置课程内容,要结合专业特点为专业教学服务。
-
关键词
课程体系
数学教学
高等职业教育
课程设置
教学质量
-
Keywords
college mathematics
formalized proof
modular system
equivalence module
restrictive module
arbitrary module
education according to the levels
-
分类号
O13-4
[理学—数学]
-
-
题名基于区块链技术的服装可追溯系统设计与实现
被引量：10
- 6
-
-
作者
金鹏
薛哲彬
江润恬
张弛
许晗
-
机构
江南大学纺织科学与工程学院
江南大学设计学院
-
出处
《丝绸》
CAS
CSCD
北大核心
2021年第5期62-69,共8页
-
基金
国家自然科学基金青年科学基金项目(61503154)
中国国家留学基金资助项目(201806795029)
+1 种基金
江苏常州“龙城英才计划”第八批领军人才优先支持项目(2016111412)
教育部人文社会科学研究规划基金项目(20YJAZH087)。
-
文摘
目前服装可追溯体系存在覆盖不全、产权难以保护等问题,中心化账本的数据记录方式存在数据篡改风险,二维码或RFID技术存在防伪性不足问题。针对服装产品溯源与真伪辨识问题,文章提出一种基于权威证明机制的服装可追溯系统设计方案。通过对现有可追溯系统进行分析,并对服装供应链进行剖析分解,指出各环节与区块链技术结合方式。系统借用区块链技术,结合权威证明机制、哈希算法、时间戳技术、智能合约,从数据层、网络层、共识层、激励层、合约层、应用层六部分进行研究,利用去中心化网络结构,实现对服装产品全生命周期的数据录入。同时,解决算力与存储空间不足、节点作恶、数据防篡改、服装实物与数据结合问题,保证服装产品的可溯源性与防伪性。
-
关键词
服装
可追溯系统
区块链
权威证明
系统设计
-
Keywords
clothing
traceability system
blockchain
proof-of-authority
system design
-
分类号
TS941.26
[轻工技术与工程—服装设计与工程]
-
-
题名大数据领域反垄断规制的理论证成与制度构建
被引量：9
- 7
-
-
作者
叶明
李鑫
-
机构
西南政法大学经济法学院
-
出处
《科技与法律（中英文）》
CSSCI
2021年第1期1-9,共9页
-
基金
2018年国家社科基金重大招标项目《互联网经济的法治保障研究》(18ZDA150)
2020年国家社科基金《互联网领域反不正当竞争执法疑难问题研究》(20BFX147)。
-
文摘
随着大数据拓展领域加深,数据带来的市场优势价值凸显出来,企业利用大数据实施垄断行为的可能性也随之增加。在国外,对于大数据领域是否需要反垄断干预的问题仍存在不小的争议。而现实中,企业对大数据的不当利用催生出大数据的反竞争效果,创新需要的呼应与反垄断法规制特点的适配性反映出大数据领域反垄断规制正当性,数据驱动型并购、算法共谋、滥用数据市场支配地位行为的危害,体现出大数据领域反垄断规制的必要性。对此,建议从理念与路径两个层面审视,采取包容审慎态度,坚持鼓励创新、适度干预,对传统反垄断法进行保留与创新,在严厉规制与创新激励之间寻求平衡。
-
关键词
大数据
反垄断
规制
理论证成
制度选择
-
Keywords
big data
antitrust
regulation
theoretical proof
system selection
-
分类号
D912.29
[政治法律—民商法学]
-
-
题名我国民事诉讼中证明责任制度透视
- 8
-
-
作者
万艳红
-
机构
华东交通大学人文社科学院
-
出处
《江苏工业学院学报（社会科学版）》
2006年第1期14-16,21,共4页
-
文摘
证据制度在民事诉讼制度中处于天然的核心地位,而证明责任则是这一核心中的核心。但我国证明责任制度问题重重。在弄清证明责任制度存在的问题及其成因的基础上,要从立法、理论以及司法实践等多角度进行相应完善。
-
关键词
证明责任
民事诉讼
司法
立法
-
Keywords
burden of proof
the civil lawsuit
judicial system
legislation
-
分类号
D915.13
[政治法律—诉讼法学]
-
-
题名功能安全技术讲座
被引量：7
- 9
-
-
作者
史威
熊文泽
-
机构
中国石油管道公司
机械工业仪器仪表综合技术经济研究所
-
出处
《仪器仪表标准化与计量》
2015年第3期20-23,共4页
-
文摘
本文主要介绍了检验测试对于安全仪表系统的作用．并以一些典型产品为例简要分析了实施检验测试的方式。
-
关键词
检验测试
安全仪表系统
-
Keywords
proof Test
Safety
Instrumented system
-
分类号
TP277
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名区块链技术在自然资源领域应用研究综述
- 10
-
-
作者
刘玉杰
罗强
仇巍巍
-
机构
中国科学院空天信息创新研究院
中国科学院大学
北京超图软件股份有限公司
自然资源部地理信息系统技术创新中心
自然资源部信息中心
-
出处
《自然资源信息化》
2024年第2期7-14,共8页
-
文摘
随着区块链3.0时代到来,区块链技术逐步应用于自然资源领域,解决当下自然资源领域中的信息流通困难、资源利用不合理、资源过度开采、环境污染等问题。本研究对区块链在自然资源领域应用研究进行梳理,从区块链技术特点入手,对区块链技术在天然生物资源、能源矿产、水资源、土地资源中的研究现状进行了总结。研究表明,具有防篡改、可溯源、去中心化特性的区块链技术在林业矿业供应链管理、点对点的水权交易与能源交易、自然资源信息共享方面具有巨大的应用潜力,已有相对成熟的自然资源领域某些场景应用。本文从自然资源资产管理、国土空间规划、生态保护等方面展望了区块链技术服务自然资源部“两统一”职责的建设和发展思路。
-
关键词
区块链
自然资源
防篡改
溯源系统
-
Keywords
blockchain
natural resources
tamper-proof
traceability system
-
分类号
P96
[天文地球—自然地理学]
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名智能家居防火防盗报警系统设计
被引量：6
- 11
-
-
作者
宁锐红
张晶
房圣
林应诚
刘姜
范洪博
-
机构
昆明理工大学信息工程与自动化学院
-
出处
《价值工程》
2016年第28期77-79,共3页
-
文摘
目前家用的防火防盗报警等系统存在诸多的问题,针对目前出现的问题,本文介绍了一个基于单片机和GSM模块为核心,多传感器辅助的智能防火防盗报警系统,并详细地阐述了其基本的工作原理和电路构成。来访者的检测通过红外探测器实现;遇到火情时,通过温度传感器和烟雾探测器所构成的复合式火灾检测,可及时的报警。
-
关键词
防盗
防火
报警
智能
-
Keywords
theft-proof
fireproof
alarm system
intelligent
-
分类号
TP277
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名电力机车空气管路系统防寒技术
被引量：6
- 12
-
-
作者
王欣
毛金虎
刘豫湘
-
机构
中国南车集团株洲电力机车有限公司
-
出处
《电力机车与城轨车辆》
2005年第5期5-7,共3页
-
文摘
介绍了电力机车空气管路系统目前已采取的防寒措施及存在的问题,从低温环境对管路系统的影响以及防寒工作的重点等方面进行了技术分析,并提出了改进建议。
-
关键词
电力机车
防寒
管路系统
冻结
-
Keywords
electric locomotive
cold-proof
pipeline system
freezing
-
分类号
U260.35
[机械工程—车辆工程]
-
-
题名基于STM32的室内防漏防浸系统设计
被引量：5
- 13
-
-
作者
吴宗胜
-
机构
咸阳师范学院计算机学院
-
出处
《信息技术》
2019年第8期45-48,共4页
-
基金
陕西省教育厅项目(17JK0826)
咸阳师范学院专项科研基金项目(XSYK18012)
-
文摘
文中设计了一个基于STM32微控制器的室内漏水浸水智能监测与保护系统。本系统采用非定位漏水感应绳作为漏水传感器,结合声光报警器、电磁阀、Wi-Fi通信模块以及高性能低功耗的STM32微控制器组成漏水浸水智能检测保护系统。该系统可检测到室内漏水浸水事件,能及时报警并自动关闭水源阀门,还可通过手机接收警报并进行远程控制。应用该系统可避免浪费水资源,降低财产损失。
-
关键词
防漏水
防浸水
监测系统
STM32微控制器
-
Keywords
leakproof
soaking-proof
monitoring system
STM32 microcontroller
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名家事诉讼多元化证明标准反思与层次性构建
被引量：1
- 14
-
-
作者
李亚楠
-
机构
北京理工大学法学院
-
出处
《北京理工大学学报（社会科学版）》
北大核心
2023年第6期118-128,共11页
-
基金
国家建设高水平大学公派研究生项目(留﹝2020﹞101号)。
-
文摘
家事案件纷繁复杂。有学者提出扩大现有特殊证明标准的适用范围,在家事诉讼中建立以高度盖然性为基准、以排除合理怀疑和优势证据为辅助的多元化证明标准体系。不管域外还是国内,主流观点均认为家事诉讼不宜适用排除合理怀疑标准。出于对真实利益的追求、公共利益的维护和家庭伦理道德的指引,对家事诉讼中一些特殊事实有增加或降低证明强度的要求无可厚非。但提高或降低证明标准缺乏理论依据,也容易造成法官恣意裁判,有架空实体法之嫌。家事诉讼不宜在与高度盖然性平行的第二层次抽象证明标准上构建多元化证明标准体系,而应明确以高度盖然性为统一证明标准,并辅之以第三层次具体证明标准,进一步对特殊事实的证明力度和强度提出具体的适宜要求,才是合适之选。
-
关键词
家事诉讼
证明标准
多元化体系
层次性构建
-
Keywords
family proceeding
standard of proof
diversified system
hierarchical construction
-
分类号
DF552
[政治法律—民商法学]
DF72
[政治法律—法学]
-
-
题名论纪检监察案件的证明标准
被引量：1
- 15
-
-
作者
姬亚平
王艾捷
-
机构
西北政法大学
-
出处
《西南政法大学学报》
2023年第2期167-180,共14页
-
文摘
证明标准是对案件事实认定的评价尺度,其合理设置对诉讼程序的顺利进行以及诉讼功能的实现具有重要的影响。在监察体制改革的大背景之下,纪检监察案件证明标准存在自己独特的历史背景与特有属性。构建纪检监察案件的证明标准体系,应围绕法律价值、多样性与灵活性等考量因素,以多元化、多阶段、一致性以及主客观相结合为原则,从程序上和案件最终定性上确定纪检监察案件证明标准的应然选择,从而形成多元又统一的证明标准体系。
-
关键词
证明标准
纪检监察
法律价值
体系构建
-
Keywords
standard of proof
discipline inspection and supervision
legal value
system construction
-
分类号
DF314
[政治法律—宪法学与行政法学]
-
-
题名基于Hash函数的秘密共享方案安全研究
被引量：4
- 16
-
-
作者
闫会娟
林国顺
-
机构
大连理工大学城市学院管院信息系
大连海事大学管理科学与工程系
-
出处
《计算机工程与设计》
CSCD
北大核心
2006年第24期4718-4719,4723,共3页
-
文摘
分析了当前几种秘密共享方案的不足,且给出了一个基于单向Hash函数的动态秘密共享方案的改进算法,它的特性如下:更新系统密钥时,无须更改每个子密钥;当某个子密钥泄密时,不对其它子密钥的安全构成威胁;系统为新共享者分配子密钥时,其它子密钥不受任何影响;子密钥可无限制地多次使用;具有很强的防欺诈和欺诈识别功能。该算法已在计算机上进行模拟,该文将给出一些实验数据,并对算法性能进行分析。
-
关键词
防欺诈
系统密钥
子密钥
HASH函数
秘密共享
-
Keywords
cheat-proof
system key
sub key
Hash function
secret sharing scheme
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名无罪推定原则的确立与口供制度的完善
被引量：5
- 17
-
-
作者
卫跃宁
-
机构
中国政法大学
-
出处
《证据科学》
2008年第6期654-663,共10页
-
基金
教育部后期资助重点项目"口供制度研究"(编号:07JHQ0004)的阶段性成果
-
文摘
无罪推定是被追诉者的一项基本权利,也是被追诉者各项诉讼权利的基础。在刑事诉讼中将无罪推定确立为指导刑事诉讼活动的基本准则,就是无罪推定原则。我国应当在刑事诉讼中彻底确立无罪推定原则。无罪推定及其引申的主要内容应当分为三个层次:证明责任、被追诉者的权利和对被追诉者的权利的保障。由于无罪推定假定被追诉者无罪,对控诉的举证责任应由控方承担,被追诉者不承担无罪的举证责任,所以,被追诉者就没有理由配合控方提供自己犯罪的证据,包括口供。我国刑事诉讼法关于"犯罪嫌疑人对侦查人员的提问,应当如实回答"的规定,违背了无罪推定关于被追诉者不应当承担举证或证明责任的基本精神,使得被追诉者负有帮助侦控方履行举证和证明的义务。这一规定实质上表明我国刑诉法要求被追诉者承担举证或证明责任。因此,从无罪推定的这一层面上说"应当如实回答"是不合理的,应当予以取消。
-
关键词
无罪推定
证明责任
如实陈述
口供制度
完善
-
Keywords
Presumption of innocence, Burden of proof, Truthful statement, system of confessions, Improvement
-
分类号
D915.13
[政治法律—诉讼法学]
-
-
题名600MW机组燃用印尼煤制粉系统安全措施探析
被引量：3
- 18
-
-
作者
高鹏
李占元
薛宁
-
机构
国华粤电台山发电有限公司
西安热工研究院有限公司
-
出处
《热力发电》
CAS
北大核心
2009年第5期48-50,共3页
-
文摘
印尼煤属于高挥发分、低灰分、低灰熔点、高水分、中高硫分的烟煤,具有极强的爆炸性。国华粤电台山发电公司(台山电厂)通过一年的燃用试验研究及对燃烧系统的调整试验发现,送风量控制在100～110t/h范围内,挡板开度为50%,磨煤机出口风温控制在60～65℃左右可保证制粉系统安全运行。
-
关键词
600
MW
锅炉
掺烧
印尼煤
制粉系统
防爆
-
Keywords
600 MW, Indonesia coal, explosion - proof, pulverizing system, blending
-
分类号
TK223.25
[动力工程及工程热物理—动力机械及工程]
-
-
题名基于专家系统的NC程序切削参数检验的方法研究
被引量：3
- 19
-
-
作者
解放
柯文
王宁生
范牧昌
-
机构
南京航空航天大学CIMS工程研究中心
华东船舶工业学院机械系
-
出处
《中国制造业信息化（学术版）》
2003年第3期86-87,90,共3页
-
文摘
在数控系统中 ,NC程序中切削参数的设置与检验是一个难题。在开发的NC程序检验仿真系统NCPSS中引入专家系统来评价NC程序中的切削参数 ,使得切削参数的检验变得方便可行 ,此外详细介绍了该专家系统的结构和工作原理 ,并对系统关键技术进行了研究和讨论。
-
关键词
专家系统
NC程序
切削参数
数控系统
检验仿真系统
知识库
推理机
-
Keywords
NC
proof
Expert system
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
TG659
[自动化与计算机技术—控制科学与工程]
-
-
题名试论我国证人作证制度的完善
被引量：2
- 20
-
-
作者
周斌
-
机构
湖北警官学院
-
出处
《湖北警官学院学报》
2007年第1期34-36,共3页
-
文摘
证据是诉讼的灵魂和核心,而证人证言又是证据种类中不可或缺的组成部分。然而,在司法实践中证人出庭率低、说真话率低,被法院采用的就更低。这严重妨碍法院查明案件事实真相,制约了办案效率,影响了当事人正当权益的实现。我国证据制度中有关证人出庭作证制度的不完善是其主要原因,因此,必须完善我国证人作证制度。
-
关键词
证据
证人
证人制度
-
Keywords
proof
witness
witness system
-
分类号
D925.13
[政治法律—诉讼法学]
-
