公诉决定的确定性:以《刑事诉讼法》再修改为视角

公诉权行使的程序法目标在于形成并维系特定诉讼系属关系,诉讼系属关系一旦形成,便对控辩审三方构造产生约束效力。不起诉旨在宣告诉讼系属关系不能建立,撤回起诉和终局裁判旨在消灭已建立的诉讼系属关系,以上作为诉讼系属关系评价机制的裁判或者决定,均具有不同程度的确定效力。实质确定力产生的前提是实体裁判消灭诉讼系属关系,以不起诉和撤回起诉决定为代表的公诉决定不涉及实体罪责关系评价,不具有实质确定力。出于法安定性和法平和性的考量,不起诉和撤回起诉决定作出后,再行起诉应当有所限制,这种限制体现为作为程序启动门槛的“新的事实”和“新的证据”要件的实质化。

城市道路横断面形式的确定研究

城市道路是城市空间及各功能区连接的枢纽.在新时代的背景下,我国城市经济得到了空前发展,原有城市道路横断面设计已不能适应新形势发展需要.因此,研究城市道路横断面形式确定具有重要意义.本文就针对城市道路横断面形式确定展开了研究.

统计模型的“不确定性”问题与倾向值方法

量化社会学研究往往基于特定的统计模型展开。近十几年来日益流行的倾向值方法也不例外,其在实施过程中需要同时拟合估计倾向值得分的"倾向值模型"与估计因果关系的"结果模型"。然而,无论是其模型形式还是系数估计,统计模型本身都具有不可忽视的"不确定性"问题。本研究在倾向值分析方法的框架下,系统梳理和阐释了模型形式不确定性与模型系数不确定性的内涵及其处理方法。通过分析"蒙特卡洛模拟"数据与经验调查数据,本文展示了在使用倾向值方法进行因果估计的过程中,研究者如何通过"贝叶斯平均法"进行多个备选倾向值模型的选择,以及如何通过联合估计解决倾向值模型与估计模型中的系数不确定性问题。本文的研究也表明,在考虑倾向值估计过程的不确定性之后,结果模型中对于因果关系的估计呈现更小的置信区间和更高的统计效率。

判定非确定离散事件系统稳定性的梯度搜索算法

讨论基于非确定自动机/形式语言模型的非确定离散事件系统(NDES)稳定性问题.引入非确定离散事件系统稳定性的定义,并得到了稳定性的判据定理.给出了基于梯度的搜索算法,该算法可有效消除观测器的冗余,从而降低了计算复杂度.

确定“不确定性”的确定性——妹岛和世和西泽立卫的建筑思想解读

论文将主要对妹岛和世和西泽立卫的建筑思想进行研究和解读。首先是对他们的师承的前辈伊东丰雄和库哈斯的相关建筑思想进行了介绍,其次对妹岛和世和西泽立卫的建筑思想进行了探讨:主要把他们的建筑思想分为三个方面进行了介绍:形式的不确定性、功能的不确定性和方法的不确定性。

判定非确定离散事件系统稳定性的多项式复杂度算法

本文讨论基于非确定自动机/形式语言模型的非确定离散事件系统稳定性的多项式算法.在引入拟距离的概念之后,根据拟距离形式化地定义了非确定离散事件系统稳定性.以往判定非确定离散事件系统稳定性的算法基于系统的观测器实现,该观测器在结构上具有指数复杂度,因此本文分析系统结构和观测器结构之间的关系,基于对系统状态对的讨论,提出了判定系统稳定性的有效多项式搜索算法.

推理形式问题辨正──兼与龚启荣先生商榷

龚启荣先生在《贵州大学学报》１９９７年第２期发表文章，认为重言蕴涵式不是判定命题推理的有效方法，并认为不能用数理逻辑来“改造”或“取代”传统形式逻辑。这涉及传统逻辑中的一些重要问题，如推理的形式定义与判定问题、命题推理的有效性如何判定问题、蕴涵怪论的本质问题、传统逻辑与数理逻辑的关系问题等。这些问题不解决，将直接影响传统逻辑的地位、发展与教学。也有学者不同意龚先生的观点。本刊编发的倪荫林先生的文章即是一例，以期引起更多同志对这些问题的关注和研究，热忱欢迎大家参与讨论。

如何上好班会课——我的一次班会课开展过程

班会课是班级建设中的一个重要环节,开好班会课对班主任的要求很高,一次成功的班会课需要班主任全心的付出,精心的准备,从发现班级问题,确定班会主题,到收集素材,制作班会课件,最后充分调动学生积极性,营造优秀的班级氛围,每一个环节都凝聚着班主任的智慧和付出。

“前衡猜想”:6×64的原生性——易学最简关系式与希望哲学

吴前衡先生提出了这样一个理论假设,六十四卦的卦画不是传统易学逻辑演算的结果,而是整个易学的前提。也就是说,六十四卦的出现是最早的、原生性的。这样,六十四卦作为巫源性的法器符号,就既是科学的又是信仰的。在"前衡猜想"源于命运关怀以解读数字卦的前提下,对传统易学的学术路向和版本误置进行了反思,用"唯一确定性"形式系统的易学思想方法探讨了易学最简关系式及其相关的希望哲学问题。这样理解的易学既蕴涵着数理逻辑的形式理性和科学秉赋,又为人类的信仰自由问题提供了无限的可能方式,并将其谓之开放神学。

基于多模型的参数空间预测推断

当建立多个模型对工程结构进行数值仿真时,为了得到更可靠的预测结果,需要综合考虑模型选择不确定性和模型形式不确定性对预测结果的影响.联合贝叶斯方法与实验数据计算不同模型的可信度,采用调节因子方法传播模型选择不确定性得到系统响应置信区间,并叠加模型形式不确定性的影响获得综合模型计算结果的置信区间,再通过插值得到关心量在预测点的置信区间.最后通过某飞行器气动力系数的预测推断检验了该方法的可行性.

犯罪结果分层与罪过形式的确定

我国刑法学界对于个罪故意、过失等罪过形式的判断标准向无定论。本文从对犯罪结果进行分层着手观察,认为犯罪结果可以分为定罪性犯罪结果和量刑性犯罪结果,其中定罪性犯罪结果是表征个罪具体法益的犯罪结果,行为人对定罪性犯罪结果的故意过失心态,就是个罪的罪过形式。各种构成要件所要求的行为人对量刑性犯罪结果的心态非常复杂,常常与行为人对定罪性犯罪结果的主观心态不同。分析各种情形中犯罪构成所要求的行为人对量刑性犯罪结果所持主观心态,可以帮助我们正确解决结果加重犯、包容犯等诸多问题。

论傻子视角的现实性平行与边缘性交叉

阿来《尘埃落定》中的“傻子”是土司制度巩固、走向瓦解的参与者、思想者、见证人,是作品在历史的厚重中凸显空灵的灵魂人物,他以其自我审视与历史审视的眼睛,既显示出他对土司权力的略带侥幸的患得患失的不懈图谋,又显示出他长远瞩望不得其真的无奈,他只能无可奈何地站在广漠历史天幕下踟躇独行,矛盾重重地成了一个历史“文化亡灵”的记忆者。

非讼裁判的效力与变更

非讼裁判和诉讼裁判虽形式相同,但效力内容却差异很大。不仅如此,因实体法目的不同,不同类型非讼案件的裁判效力也有所差异。裁判变更程序虽很好地解决了非讼案件须因应情势变化不断调整裁判的需要,但同时也影响到裁判效力的稳定性;因而裁判变更程序存在着严格的条件限定,其对裁判效力的影响在具体内容上也呈现出不同的表现形式。

基于组合建模技术的串行多阶段参数优化

针对串行生产系统中模型形式不确定导致模型误差累积问题,提出结合组合建模技术和最大最小满意度函数的多阶段多响应优化方法。首先,利用单个元模型自身绝对预测精度及其在全体元模型中相对预测精度,改进一般组合建模技术;其次,针对不同阶段所有响应,利用改进组合建模技术进行组合响应面的构建;然后,采用最大最小满意度法集成串行系统的多个阶段;最后,通过蚁群优化算法获得各阶段的最佳参数组合。仿真案例结果表明:与单一元建模和一般组合建模方法相比,所提方法的模型预测精度更高,优化结果更可靠。

On a Spectral Sequence for Twisted Cohomologies

Let （Ω＊ （M）, d） be the de Rham cochain complex for a smooth compact closed manifolds M of dimension n. For an odd-degree closed form H, there is a twisted de Rham cochain complex （Ω＊ （M）, d ＋ H∧） and its associated twisted de Rham cohomology H＊ （M, H）. The authors show that there exists a spectral sequence {Ep/r.q, dr } derived from the filtration Fp（Ω＊ （M）） = （¤i〉p Ωi（M） of Ω＊ （M）, which converges to the twisted de Rham cohomology H＊（M, H）. It is also shown that the differentials in the spectral sequence can be given in terms of cup products and specific elements of Massey products as well, which generalizes a result of Atiyah and Segal. Some results about the indeterminacy of differentials are also given in this paper.