程序模式

摘要： 项目式学习是深度学习的一种有效方式。本文尝试以深圳客家文化为依托,设计以“选题定项—明确目标要点—实施学习—评价反思”的程序模式,探索基于地域文化的初中历史项目式学习的实施路径。一、选题定项学习主题的选定应基于对项目参与者和学习内容的分析。分析项目参与者,主要是对指导老师、学生的兴趣点、生活背景、知识储备和自我认知等方面进行预评估,找到师生的契合点。分析项目学习内容,则需要从构筑“真实情境”的角度,从教科书切入和本土资源利用两个方面来进行。

摘要： 我国在构建个人破产程序的过程中存在各种争议,但在争议中也对诸多问题达成了共识.个人破产程序相关理论内在的争议度与共识度究竟有多少值得探究,这关乎我国个人破产程序能否得以科学地构建.通过对571位受访者进行问卷调查可知,受访者整体在个人破产制度建立的必要性、个人破产程序的程序功能、立法目的以及破产和解程序适用等问题上基本达成了共识,但对于个人破产程序建立后可能引发的社会风险、程序模式的选择、适用主体的范围以及破产清算程序的设计等问题仍有较大争议.通过使用在线SPSS软件对不同职业组别的受访者的选择进行检验后发现,不同职业组别的受访者对债务人不能清偿到期债务的态度、个人破产程序建立的必要性、破产清算程序与破产和解程序的设计与应用等问题的选择与受访者整体的选择存在显著性差异.为此,我国在构建个人破产程序的过程中,应争取更广泛的理论共识,并尽量缩小理论分歧.

摘要： 新刑诉法确立的认罪认罚从宽制度,将"认罪从宽"制度扩展为"认罪从宽+认罚从宽"制度,实现"以认罪为中心"到"以认罚为中心"的诉讼模式的结构性变革.认罪认罚程序体现出三方面的模式特征:其一是职权主导,其二是以审查起诉为中心,其三是量刑建议的有效性.长远地看,认罪认罚程序应当成为检察机关、 法院处理无争议案件的常规化程序性机制.只有当该项制度全面、 有效地运行之后,立法上正式确立以审判为中心的诉讼制度的条件才会真正成熟.

摘要： 刑事诉讼程序繁简分流的本质是程序正义在其最低限度实现的基础上,为了追求程序的经济性而将无必要保留的程序合成部分予以省略的诉讼程序样态.其分流的划分标准在于程序合成的繁杂程度;影响因素包括诉讼合意程度、当事人处分和实体正义实现的难易程度;上述三种影响因素间的组合会形成不同类型的简化性程序运行模式.我国的简化性程序模式具有类型单一、适用率低和非效率性价值因素较多等缺陷,需要通过改革简化性程序的条件和模式等措施予以完善.

摘要： 量刑规范化改革至今已经十年,虽然改革取得的成效总体上值得肯定,但实践中仍然存在不少问题,尤其是量刑程序方面的完善措施严重滞后,已经成为影响改革能否取得成功的关键所在.在当前以审判为中心的刑事诉讼制度改革和案件繁简分流机制改革的双重背景下,应当对量刑程序规范化进行完善.首先要合理选择量刑程序模式,将量刑程序分为轻微刑事案件的简易程序、被告人认罪案件的普通程序简易审程序和被告人不认罪的普通审理程序三种模式,在被告人不认罪案件中将定罪与量刑程序适度分离,适用更为独立的量刑程序模式;其次,构建两造对抗的量刑辩论模式,引入社会调查制度、量刑情节庭前交换制度和常见从轻量刑情节清单制度;再次,改革裁判文书量刑说理模式,清晰展示量刑结论的形成过程,守好量刑公正的最后一公里.

摘要： 目的对冠心病患者的院前急救护理程序模式进行探讨.方法从2014年1月至2016年1月收治的冠心病患者中,抽取32例患者的临床资料,其中有17例冠心病患者是自行来院就诊的,在院内接受常规急救治疗,设为对照组;有15例患者入院前经过急救医务人员实施急救治疗后再来院继续接受治疗,设为观察组.然后对两组患者的临床资料进行回顾性分析,并进行对比讨论.结果对照组冠心病患者经过院内急救治疗和护理后死亡率为35.29％,观察组冠心病患者经过院前急救护理和院内急救治疗和护理后死亡率为13.33％,两组患者治疗效果具有明显差异,观察组冠心病患者死亡率明显低于对照组,差异具有统计学意义(P<0.05);对照组患者并发症发生率(41.18％)明显高于观察组患者(20.00％),且其治疗总有效率(52.94％)显著低于观察组(80.00％),组间差异有统计学意义(P<0.05).结论冠心病患者发病后,对其尽早采取正确的急救护理措施,以实施院前急救护理,不仅能够有效提升冠心病患者的急救成功率,还能够对院内后续治疗产生很大的积极作用.

摘要： Embedded control systems normally have modes such as startup mode,normal mode and emergency mode.Program modes are expressed by the combination of value ranges of input parameters,which are input parameter expressions.Deriving program modes from code cannot only verify the consistency between the design and implementation,but also improve the accuracy of WCET estimation.Based on the analysis of source code,we propose a new method which can automatically analyze program modes.We achieve an input-dependent control flow graph (ICFG) by working on the control flow graph of the source code,then redirecting the control flows of nodes in loops and deleting input variables independent nodes.We construct a linear programming problem for each path of the ICFG and gain an input parameter expression for a potential mode if the problem has a solution.Expression results for a benchmark program show that the method is feasible and effective.%嵌入式控制系统通常都有模式,比如启动模式、正常工作模式以及紧急模式等.程序模式是由其输入变量值范围组合构成的输入变量约束表达式表示的.基于源程序,获取其模式,不仅能够验证实现的模式与设计是否一致,还能够更加精确地计算程序的WCET.在对源程序进行分析的基础上,提出了一种自动获取程序模式的新方法.该方法基于C语言源程序,针对程序控制流程图,通过调整循环中节点流向以及去除与输入变量无关的节点,获得输入变量相关控制流程图ICFG,通过对ICFG每条路径建立线性规划问题并求解,获得每一个潜在的程序模式及其输入变量约束表达式.对基准程序的实验结果,表明了该方法的可行性和有效性.

摘要： 基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准.为此,提出一种自动分析实时控制系统程序模式的方法.通过分析C语言源程序生成程序控制流图,对输入变量相关节点进行切片,形成依赖输入变量的控制流图(ICFG),建立ICFG每条路径的线性规划问题并求解,从而获得潜在的程序模式.在此基础上,计算指定模式下针对现代RISC处理器程序的WCET.在基准程序上的实验结果验证了该方法的可行性和有效性.%Obtaining program modes of real-time control system from source codes cannot only verify the consistence of the design and implementation,but also improve the accuracy of Worst-Case Execution Time(WCET)calculation.Based on this consideration,this paper proposes an automatic analysis method for program mode of real-time control system.The Control Flow Graph(CFG)of program is generated by analyzing the C source codes,and by means of slicing input variables dependent nodes,an Input-dependent Control Flow Graph(ICFG)is formed.Linear programming problem is constructed and solved for each path of ICFG.If the problem has a solution,a potential program mode will be achieved.On this basis,the WCET of given mode for program in modern RISC processor is calculated.Experimental result for a benchmark program shows that the proposed method is feasible and effective.

摘要： 针对传统的WCET(Worst-Case Execution Time)分析方法面临的精度不高和用户使用繁琐问题,提出一种自动分析程序模式的方法并据此设计实现了一个面向Web的WCET分析系统.首先在对源程序进行分析的基础上,利用程序控制流程图,通过数据流框架进行切片,获得依赖于输入变量的无循环控制流程图ICFG.然后,通过对ICFG每条路径求解,获得程序的模式及其输入表达式,并计算其对应的WCET.最后,将上述分析方法设计实现为针对C语言的动态链接库(DLL),并利用该DLL实现一个面向Web的WCET自动分析系统——WCET Mode Analyzer.WCET Mode Analyzer对基准程序的分析结果,验证了该方案的有效性和应用的简便性.%In light of the problems of deficient precision and troublesome usage the traditional WCET analysis systems usual suffer,a new automatic analysis method based on program modes is proposed and a WCET analysis system on the idea of the method for Web is designed.Firstly,a method is presented based on the analysis of source code which produces an acyclic input parameter dependent control flow graph called ICFG by using program control flow graph and a specific program slicing under data flow framework.Secondly,by constructing a solution system for each path in ICFG,a mode and its input parameter expression maybe conducted,and the WCET value of a mode can be computed.Finally,a Dynamic link library (DLL) is implemented based on the method above for C language in order to be used by different systems,and an automated analysis system in the Web by using the DLL is realized,which is called WCET Mode Analyzer.The result for a Benchmark implemented by the analysis system shows the effectiveness of the solution and the characteristics of using conveniently.

摘要： 量刑直接关系到刑罚目的的实现与案件当事各方的权：利保护，关系到刑事审判和法院的权威和公信。我国现行的是定罪与量刑相对独立的量刑程序模式，这种模式没有实现定罪与量刑的真正分离，不能解决被告人的诉讼权利被弱化以及不能有效地对法官的自由裁量权进行监督与制约等在刑事诉讼中长期存在的问题。

摘要： 本文提出外部工业设计师与小型企业的工业设计合作程序,主要是运用「以人为中心的设计」(Human-Centered Design)、「建构产品竞争优势」与「设计风格为企业美学力量」等理念,协助小企业检视其产品的核心价值,建构专属的企业风格并建立具有竞争优势的产品.设计程序包含六项内容:竞争利基、设计摘要、质量机能展开、产品趋势分析、产品设计、量产前设计准备等项目,协助小企业开发设计的进行。

摘要： 本文提出外部工业设计师与小型企业的工业设计合作程序,主要是运用「以人为中心的设计」(Human-Centered Design)、「建构产品竞争优势」与「设计风格为企业美学力量」等理念,协助小企业检视其产品的核心价值,建构专属的企业风格并建立具有竞争优势的产品.设计程序包含六项内容:竞争利基、设计摘要、质量机能展开、产品趋势分析、产品设计、量产前设计准备等项目,协助小企业开发设计的进行。

摘要： 本文提出外部工业设计师与小型企业的工业设计合作程序,主要是运用「以人为中心的设计」(Human-Centered Design)、「建构产品竞争优势」与「设计风格为企业美学力量」等理念,协助小企业检视其产品的核心价值,建构专属的企业风格并建立具有竞争优势的产品.设计程序包含六项内容:竞争利基、设计摘要、质量机能展开、产品趋势分析、产品设计、量产前设计准备等项目,协助小企业开发设计的进行。

摘要： 本文提出外部工业设计师与小型企业的工业设计合作程序,主要是运用「以人为中心的设计」(Human-Centered Design)、「建构产品竞争优势」与「设计风格为企业美学力量」等理念,协助小企业检视其产品的核心价值,建构专属的企业风格并建立具有竞争优势的产品.设计程序包含六项内容:竞争利基、设计摘要、质量机能展开、产品趋势分析、产品设计、量产前设计准备等项目,协助小企业开发设计的进行。

摘要： 提出了一种基于TOPS300数控编程NC模块改进方法，通过典型零件编程的实践。分析影响MCAD数控制造效率的因数，强调[动作与时间的研究](motion and timc study)。改变程序默认模式，应用于船用机柜等零件绿色制造编程，在时间、能耗，质量，效率等方面体现更多的优越性。

摘要： 提出了一种基于TOPS300数控编程NC模块改进方法，通过典型零件编程的实践。分析影响MCAD数控制造效率的因数，强调[动作与时间的研究](motion and timc study)。改变程序默认模式，应用于船用机柜等零件绿色制造编程，在时间、能耗，质量，效率等方面体现更多的优越性。

摘要： 提出了一种基于TOPS300数控编程NC模块改进方法，通过典型零件编程的实践。分析影响MCAD数控制造效率的因数，强调[动作与时间的研究](motion and timc study)。改变程序默认模式，应用于船用机柜等零件绿色制造编程，在时间、能耗，质量，效率等方面体现更多的优越性。

摘要： 提出了一种基于TOPS300数控编程NC模块改进方法，通过典型零件编程的实践。分析影响MCAD数控制造效率的因数，强调[动作与时间的研究](motion and timc study)。改变程序默认模式，应用于船用机柜等零件绿色制造编程，在时间、能耗，质量，效率等方面体现更多的优越性。

摘要： 提供一种网络控制设备，其甚至当包括在网络中的节点之一的中继功能停止时，也能确定地发布内容，而不影响该节点之下的节点中的处理，同时改善网络系统自身的可靠性。当控制包含在下述网络系统NS中的节点N时，其检查内容发布中位于相对于节点N的上行链路的节点的内容中继功能是否已经停止，其中所述网络系统NS包括服务器S和构成多个层级并彼此连接的多个节点N，其中内容从服务器S发布到各节点N。当检测到中继功能停止时，执行控制以便在节点N中执行的处理中在下节点N中积累的内容的消耗速度小于中继功能停止之前的消耗速度。

摘要： 一种行驶路径生成系统，该行驶路径生成系统生成一边在田地的未作业地(CA)中通过自动行驶沿相互并列的行驶路径进行往复行驶一边收获未作业地(CA)的作物的联合收割机的自动行驶路径，其中，具备：产量取得部，其取得田地中的每单位面积的产量即产量率；面积取得部，其取得未作业地(CA)的面积；总产量推断部，其根据产量率和面积来推断未作业地(CA)中预计收获的谷粒的总产量；行驶路径设定部，基于未作业地(CA)的形状以及总产量，生成在往复行驶之前进行自动行驶的预调整路径(LR)，以使未作业地的形状成为最适合往复行驶的形状。

摘要： 本发明无需大幅度增加电路规模即可实现一种在SIMD处理时不会产生性能下降的混合模式并行处理器系统。把N个可实现SIMD操作的处理元件PE分组成进行MIMD操作的M(＝N÷S)个处理单元PU。MIMD操作时，各个PU内的属于每个PE的共计S个存储器中的P个(P＜S)作为命令超高速缓冲存储器来操作，剩余的存储器作为数据存储器或者数据超高速缓冲存储器来操作。另外，属于每个PE的共计S组的通用寄存器中，1组保持原状作为PU的通用寄存器来操作，剩余的S－1组中T组(T＜S－1)或必要数目组作为命令超高速缓冲存储器的标记保存用寄存器来操作。

摘要： 恶意通信模式提取装置(10)具备：统计值计算部(132)，其由通信量日志(31)和通信量日志(21)计算对于字段及值的组即每个通信模式的出现频度的统计值，该通信量日志(31)是恶意软件所产生的通信量获得的，该通信量日志(21)是由规定的通信环境中的通信量获得的；恶意列表候选提取部(134)，其根据通过统计值计算部(132)而计算的统计值，针对每个通信模式，比较通信量日志(21)的出现频度和通信量日志(31)的出现频度，在两者的出现频度之差为规定的阈值以上的情况下，将该通信模式作为恶意通信模式而提取；及阈值设定部(135)，其以如下方式设定所述阈值：使错误地检测恶意软件所产生的通信量的概率即误检测率为一定值以下且使检测恶意软件所产生的通信量的概率即检测率为一定值以上。

摘要： 本发明提供模式搜索程序、模式搜索装置以及模式搜索方法。基于有关多个属性模式所包含的各属性的在多个样本中的出现集合的包含关系，来决定多个属性模式所包含的各属性的优先级，其中，上述多个属性模式分别表示一个以上的属性，根据基于决定的优先级的搜索顺序，来进行多个属性模式中的每个属性模式是否是显露模式的判定，在进行判定的处理中，在第一属性模式在多个样本中的出现频率为第二属性模式在多个样本中的出现频率以上的情况下，不进行有关第一属性模式的判定，其中，第二属性模式具有第一属性模式所包含的属性中的除了优先级最低的属性以外的所有属性。

摘要： 本发明提供模式切换控制装置、模式切换控制系统、模式切换控制方法及程序，在适当的位置切换驾驶模式，提高安全性。模式切换控制装置控制模式切换。模式切换是指在手动驾驶模式与自动驾驶模式之间切换车辆的驾驶模式的处理。模式切换控制装置具备获取部及计算部。获取部从监视车辆的周围的传感器获取感测数据，所述感测数据表示用于模式切换而设定的切换区间中的周围情况。计算部基于感测数据，计算模式切换推荐位置，模式切换推荐位置是切换区间中所述模式切换的推荐位置。

摘要： 本发明提供一种结构体的部件的变形模式分析方法，通过对由单一或多个部件构成的结构体进行结构分析或结构实验，分析所述各部件的变形模式，将所述结构体分成多个区域，求出分出来的每个区域的变形，从而分析所述结构体的所述变形模式。

摘要： 损失计算装置，针对每个类别计算特征向量的损失，特征向量对属于该类别的数据的特征加以指示。损失差计算装置，基于针对每个类别而计算的损失，来计算类别之间损失差的总和。识别字典创建装置，基于损失计算装置针对类别而计算的损失总和以及类别之间损失差的总和，来创建识别字典。识别字典创建装置基于输入特征向量来校正识别字典，以使损失计算装置针对类别而计算的损失总和与损失差计算装置计算的类别之间损失差的总和之和最小化，并且模式分类装置使用校正后的识别字典来对数据的模式进行分类。

摘要： 以往技术中存在不能分析成为转换对象的源程序，无法提高转换率的问题。本发明提供的程序模式分析装置具备：模式信息保存部(201)，可保存一个以上的第一源程序的第一指令模式信息；第一源程序接受部(202)，接受第一源程序；比较部(203)，从第一源程序中取出一个以上转换单位信息，将取出的各个转换单位信息和被保存在模式信息包存部(201)的第一指令模式信息进行比较；以及模式存储部(204)，将表示指令模式的信息、即比较指令模式信息，作为第一指令模式信息存储到模式信息保存部(201)，其中，该指令模式与被比较部(203)判断为同第一指令模式信息的哪一个都不一致的转换单位信息相对应。

摘要： 以往技术中存在不能分析成为转换对象的源程序，无法提高转换率的问题。本发明提供的程序模式分析装置具备：模式信息保存部(201)，可保存一个以上的第一源程序的第一指令模式信息；第一源程序接受部(202)，接受第一源程序；比较部(203)，从第一源程序中取出一个以上转换单位信息，将取出的各个转换单位信息和被保存在模式信息包存部(201)的第一指令模式信息进行比较；以及模式存储部(204)，将表示指令模式的信息、即比较指令模式信息，作为第一指令模式信息存储到模式信息保存部(201)，其中，该指令模式与被比较部(203)判断为同第一指令模式信息的哪一个都不一致的转换单位信息相对应。