排序方式： 共有40条查询结果，搜索用时 828 毫秒
1.
为了描述信息物理融合系统(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对属性进行自动化验证。 相似文献
2.
This paper is concerned with the twinning of sustainability with priorities of economic neoliberalization in education, and in particular via the mobility or diffusion of education policy. We discuss the literature on policy mobility as well as overview concerns regarding neoliberalism and education. The paper brings these analyses to bear in considering the uptake of sustainability in education policy. We ask to what extent sustainability as a vehicular idea may be twinning with processes of neoliberalization in education policy in ways that may undermine aspirations of, and action on, environmental sustainability. Toward the end of the paper, we draw on data from an empirical study to help elucidate how the analytic frames of policy mobility can inform our analyses of the potential concerns and possibilities of sustainability as a vehicular idea. In particular, we investigate how sustainability and related language have been adopted in the policies of Canadian post-secondary education institutions over time. The paper closes by suggesting the potential implications of the proceeding analyses for policymakers, practitioners, and researchers concerned with sustainability in education policy. 相似文献
3.
Families with complex needs related to domestic violence, mental health, and substance use have some of the worst child protective services (CPS) outcomes. Although many of these families are identified during a CPS investigation and subsequently referred to home-based postinvestigation services (HBPS), many are re-reported to CPS, so it is important to understand the postinvestigation experiences of this vulnerable group. Therefore, this study compared families with and without complex needs to understand their uniquedemographics, needs, and postinvestigation outcomes.The sample consisted of 2008 caregivers who received HBPS following an initial CPS investigation. The Family Assessment Form (FAF) was used to measure family functioning in eight domains using a 1–5 scale with higher ratings representing worse functioning. Complex needs were indicated by a mean FAF score of 3 or higher for either domestic violence, mental health, or substance use. Using Pearson chi-square analyses and two-sample t-tests, comparisons were made between families with (n = 836) and without (n = 1172) complex needs. Half of caregivers with complex needs had a history of abuse, 25% had three to five needs, and nearly half had six to eight needs; 90% of caregivers without complex needs had zero to two needs. Furthermore, caregivers with complex needs had higher mean scores for concrete, educational, and clinical needs. These findings highlight the importance of recognizing variation among families referred to HBPS and accurate screening to ensure that families with complex needs are offered and receive services matched to their unique characteristics and needs. 相似文献
4.
信息物理融合系统被认为是继计算机、互联网之后信息技术的第三次浪潮。文章结合目前图书馆的实际,从CPS的定义、特点出发,围绕CPS的核心内容3C(计算、通信、控制),智能图书馆的概念、特征,论述了智能图书馆CPS的技术基本要求,提出了智能图书馆CPS构建和使用过程中的关键问题。 相似文献
5.
[目的/意义]研究数字经济时代，知识作为关键战略资源和核心资产，对理论和实践提出的新挑战。[方法/过程]采用文献资料调研法和理论分析法，基于网络实体系统（CPS）对数字经济时代知识管理的挑战和趋势进行分析阐述。[结果/结论]数字经济时代，知识管理在对象上对数据的获取和整合要求更高，在增值体系上对数据到信息再到知识的精度、实时性和准确性要求更高，异构整合和数据挖掘成为知识管理的关键，人机交互和人工智作为关键技术将发挥关键作用，在知识管理的目标上，数据驱动的价值创造成为核心。未来知识管理的发展将在战略上向实时动态精准决策演化，在架构上转向全域知识管理，在组织上通过无障碍知识流打造高效创新型组织，在内容上系统整合碎片化知识，在方法上重视基于人机交互的隐性知识转化，在技术上打造基于平台的知识图谱。 相似文献
6.
大同市道路交通噪声污染的调查及防治对策 总被引：1，自引：0，他引：1
施虹 《雁北师范学院学报》2004,20(5):54-56
本文通过对大同市交通噪声的详细调查和研究,找出了噪声污染源的特征、规律并分析噪声产生的原 因,探讨交通噪声的解决办法. 相似文献
7.
Traffic monitoring is of major importance for enforcing traffic management policies. To accomplish this task, the detection of vehicle can be achieved by exploiting image analysis techniques. In this paper, a solution is presented to obtain various traffic parameters through vehicular video detection system( VVDS). VVDS exploits the algorithm based on virtual loops to detect moving vehicle in real time. This algorithm uses the background differencing method, and vehicles can be detected through luminance difference of pixels between background image and current image. Furthermore a novel technology named as spatio-temporal image sequences analysis is applied to background differencing to improve detection accuracy. Then a hardware implementation of a digital signal processing (DSP) based board is described in detail and the board can simultaneously process fourchannel video from different cameras. The benefit of usage of DSP is that images of a roadway can be processed at frame rate due to DSP‘s high performance. In the end, VVDS is tested on realworld scenes and experiment results show that the system is both fast and robust to the surveillance of transportation. 相似文献
8.
9.
设计了一种改进的基于共面波导和带状线传输的超宽带平面巴伦.采用低介电常数材料作为介质基板,引入一段切比雪夫多节阻抗变换器,并改进了使共面波导两地等势的方式.这些措施有效地增加了工作带宽,降低了介质损耗.设计并制作了一种50Ω非平衡到100Ω平衡馈电转换的超宽带平面巴伦,在0.1~3GHz的频率范围内,测试得到的插入损耗小于1.5dB,输出端接匹配负载时电压驻波比小于2,实验结果和仿真结果吻合良好. 相似文献
10.
Comprehensive reviews of child death are increasingly conducted throughout the world, although limited information is available about how this information is systematically used to prevent future deaths. To address this need, we used cases from 2005 to 2009 in the U.S. National Child Death Review Case Reporting System to compare child and offender characteristics and to link that information with actions taken or recommended by review teams. Child, caretaker, and offender characteristics, and outcomes were compared to team responses, and findings were compared to published case series. Among 49,947 child deaths from 23 states entered into the Case Reporting System during the study period, there were 2,285 cases in which child maltreatment caused or contributed to fatality. Over one-half had neglect identified as the maltreatment, and 30% had abusive head trauma. Several child and offender characteristics were associated with specific maltreatment subtypes, and child death review teams recommended and/or planned several activities in their communities. Case characteristics were similar to those published in other reports of child maltreatment deaths. Teams implemented 109 actions or strategies after their review, and we found that aggregating information from child death reviews offers important insights into understanding and preventing future deaths. The National Child Death Review Case Reporting System contains information about a large population which confirms and expands our knowledge about child maltreatment deaths and which can be used by communities for future action. 相似文献