全文获取类型
收费全文 | 234篇 |
免费 | 5篇 |
国内免费 | 2篇 |
专业分类
教育 | 152篇 |
科学研究 | 41篇 |
体育 | 7篇 |
综合类 | 14篇 |
信息传播 | 27篇 |
出版年
2023年 | 1篇 |
2022年 | 3篇 |
2021年 | 4篇 |
2020年 | 10篇 |
2019年 | 5篇 |
2018年 | 7篇 |
2017年 | 2篇 |
2016年 | 9篇 |
2015年 | 7篇 |
2014年 | 15篇 |
2013年 | 13篇 |
2012年 | 16篇 |
2011年 | 14篇 |
2010年 | 13篇 |
2009年 | 14篇 |
2008年 | 11篇 |
2007年 | 14篇 |
2006年 | 25篇 |
2005年 | 14篇 |
2004年 | 14篇 |
2003年 | 8篇 |
2002年 | 13篇 |
2001年 | 4篇 |
1999年 | 1篇 |
1998年 | 2篇 |
1996年 | 2篇 |
排序方式: 共有241条查询结果,搜索用时 146 毫秒
11.
为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出了基于时空自动机的CPS建模与验证框架。在框架中,首先使用STe C语言对CPS进行了描述并使用时空自动机对CPS进行建模。文中采用的形式化验证方法为微分动态逻辑(differential dynamic logic,DL),其操作模型为HP(hybrid program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的CPS属性进行规约,最后使用定理证明器Ke Ymaera对属性进行自动化验证。 相似文献
12.
13.
"C"标志是定量包装商品生产企业计量保证能力合格的标志,它代表了生产企业对消费者的一种承诺,可以提高企业的形象和消费者对定量包装商品的信任度。文章从建立计量管理体系、计量器具配备、量值溯源、定量包装商品净含量检验等方面论述了进行"C"标志认证工作应重点关注的问题,为定量包装商品生产企业申请认证工作提供指导。 相似文献
14.
浅议科研管理中的项目查新 总被引:4,自引:0,他引:4
本文针对当前科研项目查新的现状,结合作者多年的查新实践,论述了项目查新的作用、查新的程度以及研究者在委托查新中应注意的问题. 相似文献
15.
介绍了温湿度检定系统的工作原理与应用方法,指出了当前工作中的不足,提出了检定系统的改进方案。针对具体问题,充分运用计算机技术,以vb编程语言为基础,利用当前设备中现有的RS232和RS485串行接口,并采用USB摄像头图像采集技术,由计算机按照检定规程实时采集温湿度数据和控制检定过程,完成了温湿度检定系统的自动化改造。同时,针对改造后应用过程中的问题,提出了进一步的改进思路和方法。本次改造充分利用了当前设备的功能和接口,以及市场上廉价的普通USB摄像头,实现了检定过程的自动化,节省了大量的人力、提高了工作效率和检定精度,具有一定的推广价值。 相似文献
16.
由于Android系统不能有效甄别ZIP文件中的重复项,导致攻击者可以通过构造同名但包含任意恶意程序代码的classes.dex文件,并改变文件的字典顺序,利用Android系统的数字签名验证及文件装载机制的漏洞,欺骗签名验证程序,验证通过后装载的是包含恶意代码的classed.dex文件,从而严重威胁用户的使用安全.本文通过Android程序源代码深入剖析了数字签名及文件装载机制漏洞的成因,并提出了解决方法. 相似文献
17.
18.
信息化建设测度模型的设计是企业有效地进行信息化管理的前提,而模型设计要密切结合于企业信息化建设的现实性实践活动。探索性因子分析和验证性因子分析可以对基于理论框架所建立的测度模型进行实证检验,同时揭示了我国企业信息化建设过程中存在的若干问题。 相似文献
19.
张丽 《黑龙江教育学院学报》2008,27(7):9-11
意义标准是逻辑经验主义关心的一个重要问题。亨普尔批判了可检验标准和可翻译性原则,并且在此基础上修正了逻辑经验主义的意义标准,认为在确有认知意义和确无此种意义的句子之间没有明确的界限,而只有程度之别。 相似文献
20.
为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机(WCFA)对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机(NWA)对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机(NWA)的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性(SAT)求解工具对这些断言进行验证. 相似文献