基于分区的安全关键软件体系及其时间分析研究

以综合模块化航空电子系统为研究对象,针对分时分区体系提出了其时间分析模型,结合IPET和不变量分析设计并实现了时间可分析工具IMATime.采用SNU Benchmark对IMATime进行了时间评估.并采用IMATime对分时分区软件平台FCOS进行了三级分析,分析结果除了能够指导系统通用设计外,还能提供综合模块化航空电子系统的专用参数分区周期和分区容限.最后针对某综合了飞行控制系统,导航系统和数传系统的综合航空电子系统进行了实例分析.     

西部大开发的秩序

西部大开发是一个面对巨大区域的长期、艰苦的建设过程，应以历史为鉴，建立持续推进的时间秩序，确保开发过程的连续性和开发行为的可持续性；建立资源合理配置的空间秩序，加强资源配置和生产力格局形成的整体规划；适应西部现代化过程社区建设和城镇化的需要，把中小城镇建设作为区域增长的培育重点；应协调开发过程的利益关系，建立良好的利益实现秩序；对西部开发的政策原则应讯整为社会公平与经济效率双优先；区分国家投资行为     

新婚老公射精过快算是早泄吗

<正>不少男子都有这样的经验,新婚之夜,由于夫妇间缺乏这方面的认识,第一次性生活时射精较快,以后同居一段时间,射精就会慢些。还有些分居的夫妇,因很久没有过性生活,突然相会,射精较正常也快些,同居一段时间又好转了。这种现象能算早泄吗?     

回流萃取时间对聚丙烯等规指数的影响

针对神华宁煤化工公司烯烃分公司生产的聚丙烯1102K成品等规指数测定条件的研究,根据GB2412-2008聚丙烯等规度的测试方法,考察回流萃取时间对等规指数测试结果的影响。结果表明回流时间越短回流萃取越不完全,等规指数越大。     

全球十大生命奇迹

拥有30家博物馆和研究机构的美国史密森学会发布了一份地球上"本不该有生命迹象"的十大生命生存环境奇迹的排行榜单。在这些地方的极端环境条件中,人们都已经发现了微生物和动物。这也许意味着,在火星上发现生命只是时间问题。     

慢旅游视野下的休闲旅游目的地建设

速度膜拜塑造着现代社会的时间观和效率观，催生了走马观花式的大众观光旅游。随着人们对加速现象和大众旅游的反思，慢旅游的理念日益受到重视。在慢旅游过程中，旅游者通过对时间和速度的自主控制，可以实现在异地异态生活的深度体验并充分获得自由、创造和发展。作为替代性旅游的一种方式，慢旅游将成为现代旅游发展电上的一场革命，对推进旅游转型升级具有重要意义。应借鉴慢城的经验，创新发展理念，倡导“慢规划”，整合社会资源，培育休闲氛围，完善公共服务，升级旅游产品，塑造慢游形象，建设休闲型旅游目的地。     

A 65-nm 1-Gb NOR floating-gate flash memory with less than 50-ns access time

This paper presents a 65-nm 1-Gb NOR-type floating-gate flash memory, in which the cell device and chip circuit are developed and optimized. In order to solve the speed problem of giga-level NOR flash in the deep submicron process, the models of long bit-line and word-line are first given, by which the capacitive and resistive loads could be estimated. Based on that, the read path and key modules are optimized to enhance the chip access property and reliability. With the measurement results, the flash memory cell presents good endurance and retention properties, and the macro is operated with 1-las/byte program speed and less than 50-ns read time under 3.3 V supply.     

一种计算汽车加速时间的新方法

加速时间是衡量汽车动力性好坏的重要指标之一。文中介绍了一种计算汽车加速时间的新的方法，它实质上是一种数学解析法。本文通过实例计算，并与以往采用的数值积分方法进行了比较。结果表明：此方法较简便，计算精度也有所提高，能够满足一般工程设计的要求。